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 "uppaal.org"
97
Business Relations
95
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 97
From Domain
Role
To Domain
Path
Aktionen
uppaal.org
>>isReferenceFrom
lmf.di.uminho.pt
/ac-1920/
uppaal.org
>>isReferenceFrom
randour.com
/projects/FMSD/
uppaal.org
>>isReferenceFrom
veriaal.dk
/
uppaal.org
>>isReferenceFrom
cis.upenn.edu
/~alur/cis673.html
uppaal.org
>>isReferenceFrom
durere.wordpress.com
/2011/02/17/infrastructura-pt-3-10-real-time-systems/
uppaal.org
>>isReferenceFrom
momut.org
/modeling-languages/timed-automata/
uppaal.org
>>isReferenceFrom
tutor2017.inria.fr
/uppaal/
uppaal.org
>>isReferenceFrom
ccvanishing.hateblo.jp
/entry/2021/01/24/185819
uppaal.org
>>isReferenceFrom
ocw.nagoya-u.jp
/courses/0305-並行分散計算特論-2011/
uppaal.org
>>isReferenceFrom
kgl.cs.aau.dk
/
uppaal.org
>>isReferenceFrom
tech-champion.com
/software-engineering/integration-of-real-time-formal-verification-in-ide-based-programming-assistants/
uppaal.org
>>isReferenceFrom
mluckcuck.github.io
/model-checking-cheatsheet
uppaal.org
>>isReferenceFrom
tis.ios.ac.cn
/SETSS2025/speakers/
uppaal.org
>>isReferenceFrom
tapaal.net
/download/
uppaal.org
>>isReferenceFrom
processalgebra.blogspot.com
/2022/
research.compaq.com
>>isReferenceFrom
uppaal.org
/benchmarks/
homepage.iis.sinica.edu.tw
>>isReferenceFrom
uppaal.org
/benchmarks/
update.uu.se
>>isReferenceFrom
uppaal.org
/benchmarks/
mitpress.mit.edu
>>isReferenceFrom
uppaal.org
/casestudies/smc/
doc.utwente.nl
>>isReferenceFrom
uppaal.org
/casestudies/smc/
1
2
3
...
5
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