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 "boolector.github.io"
35
Business Relations
35
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 35
From Domain
Role
To Domain
Path
Aktionen
boolector.github.io
>>isReferenceFrom
bitsbytesgates.blogspot.com
/2020/
boolector.github.io
>>isReferenceFrom
verit.loria.fr
/
boolector.github.io
>>isReferenceFrom
yowasp.org
/
boolector.github.io
>>isReferenceFrom
sigflag.at
/blog/2019/writeup-newbiectf2019-foxyfox/
boolector.github.io
>>isReferenceFrom
decomposition.al
/CSE290Q-2019-09/readings.html
boolector.github.io
>>isReferenceFrom
verit-solver.org
/
boolector.github.io
>>isReferenceFrom
hexgolems.com
/2015/04/reverse-game-of-life/
boolector.github.io
>>isReferenceFrom
alastairreid.github.io
/verification-competitions/
boolector.github.io
>>isReferenceFrom
wayranks.com
/website-list-591/
twitter.com
>>isReferenceFrom
boolector.github.io
/system-description/NiemetzPreinerBiere-SMT-Competition-2016.pdf
help.github.com
>>isReferenceFrom
boolector.github.io
/system-description/NiemetzPreinerBiere-SMT-Competition-2016.pdf
imn.htwk-leipzig.de
>>isReferenceFrom
boolector.github.io
/contrib.html
gnu.org
>>isReferenceFrom
boolector.github.io
/archive.html
smtcomp.sourceforge.net
>>isReferenceFrom
boolector.github.io
/smt-comp.html
vsl2014.at
>>isReferenceFrom
boolector.github.io
/smt-comp.html
smt-comp.github.io
>>isReferenceFrom
boolector.github.io
/smt-comp.html
cs.stanford.edu
>>isReferenceFrom
boolector.github.io
/slides.html
content.iospress.com
>>isReferenceFrom
boolector.github.io
/publications.html
dblp.org
>>isReferenceFrom
boolector.github.io
/publications.html
dx.doi.org
>>isReferenceFrom
boolector.github.io
/publications.html
1
2
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