Business Relations Table - o4.fyi ()
Anmelden
Gast|Guest
FYI
SCG
Symbole
Bliss Symbols
Bliss Search
TLDS
BNS
CBT
Suchen
Zurücksetzen
Beispiel:
brt.php?search=wide&s=wide&p=adjective&o=wideness
s
p
o
Einfügen
BR-Editor
Speichern
Als neuen Datensatz speichern
Abbrechen
Domain-Statistiken für "kframework.org"
64
Business Relations
64
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 64
From Domain
Role
To Domain
Path
Aktionen
kframework.org
>>isReferenceFrom
tezos.foundation
/announcing-second-cohort-of-tezos-ecosystem-grants/
kframework.org
>>isReferenceFrom
apriorit.com
/dev-blog/581-security-tips-for-smart-contracts
kframework.org
>>isReferenceFrom
lmf.cnrs.fr
/Seminar/Lucanu2023
kframework.org
>>isReferenceFrom
a16zcrypto.com
/posts/article/symbolic-testing-with-halmos-leveraging-existing-tests-for-formal-verification/
kframework.org
>>isReferenceFrom
siebelschool.illinois.edu
/research/areas/programming-languages-formal-methods-and-software-engineering
kframework.org
>>isReferenceFrom
msuiche.com
/posts/smart-contract-languages-to-follow/
kframework.org
>>isReferenceFrom
ajlopez.wordpress.com
/2018/12/14/
kframework.org
>>isReferenceFrom
philipzucker.com
/notes/Logic/software-verification/
kframework.org
>>isReferenceFrom
compilers.iecc.com
/comparch/article/14-06-022
maps.app.goo.gl
>>isReferenceFrom
kframework.org
/
runtimeverification.com
>>isReferenceFrom
kframework.org
/
2011.icse-conferences.org
>>isReferenceFrom
kframework.org
/
channel9.msdn.com
>>isReferenceFrom
kframework.org
/
youtu.be
>>isReferenceFrom
kframework.org
/
matching-logic.org
>>isReferenceFrom
kframework.org
/
fsl.cs.illinois.edu
>>isReferenceFrom
kframework.org
/
drive.google.com
>>isReferenceFrom
kframework.org
/
t.me
>>isReferenceFrom
kframework.org
/
matrix.to
>>isReferenceFrom
kframework.org
/
discord.com
>>isReferenceFrom
kframework.org
/
Vorherige
1
2
3
4
Nächste
BLS speichern
Basis-Informationen
Aktueller Dateiname:
Neuer Dateiname:
Optional: Neuer Dateiname (z.B. example.png). Leer lassen, um den Dateinamen beizubehalten.
Aktuelle ID:
Wordtype:
Optional: Wortart des Symbols (z.B. noun, verb, adjective, etc.). Leer lassen, um das Feld zu leeren.
Semantic Compound (is_sc)
Wenn aktiviert, handelt es sich um ein Semantic Compound.
NSM (is_nsm)
Wenn aktiviert, handelt es sich um ein Wort aus NSM (Natural Semantic Metalanguage).
LDV (is_ldv)
Wenn aktiviert, handelt es sich um ein Wort aus LDV (Longmans Defining Vocabulary).
is_root
Das Konzept ist das Basis-Begriff für eine Familie von Konzepten (FoC).
Cantor ID:
Die Cantor ID wird verwendet, um die BNS-Nummer zu berechnen.
BNS-Nummer (bns_nbr):
Automatisch berechnet aus der Cantor ID mit BNS_Num2Str_corrected
Szudzik ID:
Optionale Szudzik-Kodierung (Paarungs-ID), siehe Szudzik.mdc
Sprachübersetzungen & Details
Name Reverse:
Automatisch generiert aus dem Dateinamen (rückwärts, ohne .png)
Beschreibung:
Semset (semantic set):
Semantic set für das Symbol (max. 256 Zeichen)
Alle Sprachen übersetzen (von EN)
Übersetzt automatisch alle leeren Sprachfelder basierend auf dem englischen Text