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 "z3.codeplex.com"
40
Business Relations
41
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 40
From Domain
Role
To Domain
Path
Aktionen
z3.codeplex.com
>>isreferencefrom.png
CID: 0
formal.kastel.kit.edu
/~grahl/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
sultanik.com
/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
fixedpoint.jp
/2015/03/27/opensource-z3.html
z3.codeplex.com
>>isreferencefrom.png
CID: 0
csiac.dtic.mil
/articles/a-science-of-network-configuration/5/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
leodemoura.github.io
/publications/index.html
z3.codeplex.com
>>isreferencefrom.png
CID: 0
msoos.org
/tag/collaborative-effort/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
swt.informatik.uni-freiburg.de
/teaching/SS2013/DecisionProcedures
z3.codeplex.com
>>isreferencefrom.png
CID: 0
intelligence.org
/2013/12/21/josef-urban-on-machine-learning-and-automated-reasoning/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
kristerw.blogspot.com
/2015/02/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
gowers.wordpress.com
/2013/09/19/preprint-about-theorem-proving-program-up-on-arxiv/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
cvc4.github.io
/papers/cav2014-strings.html
z3.codeplex.com
>>isreferencefrom.png
CID: 0
aprove.informatik.rwth-aachen.de
/contributors
z3.codeplex.com
>>isreferencefrom.png
CID: 0
hxp.io
/blog/16/CONFidence-CTF-2015-Reversing-400-Deobfuscate-Me-writeup/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
shell-storm.org
blog/Triton-under-the-hood
z3.codeplex.com
>>isreferencefrom.png
CID: 0
imperialviolet.org
/2014/09/11/moveprovers.html
z3.codeplex.com
>>isreferencefrom.png
CID: 0
compilers.cs.uni-saarland.de
/teaching/spa/2014/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
preining.info
/blog/2015/06/talos-principle-puzzles-sat-solvers/
z3.codeplex.com
>>isreferencefrom.png
CID: 0
blog.regehr.org
/archives/1192
z3.codeplex.com
>>isreferencefrom.png
CID: 0
ocharles.org.uk
./guest-posts/2013-12-09-24-days-of-hackage-sbv.html
z3.codeplex.com
>>isreferencefrom.png
CID: 0
ajlopez.wordpress.com
/2014/12/17/
Vorherige
1
2
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