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 "docs.runtimeverification.com"
35
Business Relations
35
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 35
From Domain
Role
To Domain
Path
Aktionen
docs.runtimeverification.com
>>isReferenceFrom
kontrol.runtimeverification.com
/
docs.runtimeverification.com
>>isReferenceFrom
ercx.runtimeverification.com
/
docs.runtimeverification.com
>>isReferenceFrom
university.mitosis.org
/the-tokenization-of-everything-a-new-paradigm-for-value-ownership-and-access/
docs.runtimeverification.com
>>isReferenceFrom
allthingsfuzzy.substack.com
/p/an-introduction-to-formal-verification
developers.cloudflare.com
>>isReferenceFrom
docs.runtimeverification.com
/cdn-cgi/l/email-protection
cloudflare.com
>>isReferenceFrom
docs.runtimeverification.com
/cdn-cgi/l/email-protection
jellopaper.org
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/guides/kontrol-example/k-control-flow-graph-kcfg
kaas.runtimeverification.com
>>isReferenceFrom
docs.runtimeverification.com
/kaas/guides/kaas-cli_connecting-using-tokens
docs.docker.com
>>isReferenceFrom
docs.runtimeverification.com
/kaas/overview/readme/kaas-cli_installation
twitter.com
>>isReferenceFrom
docs.runtimeverification.com
/kaas/overview/readme/kaas-web_setup
app.screencast.com
>>isReferenceFrom
docs.runtimeverification.com
/kaas/overview/readme/kaas-web_setup
Www.youtu.be
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/learn-more/resources
Www.youtube.com
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/learn-more/resources
nixos.org
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/cheatsheets/kup-cheatsheet
evm.codes
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/guides/kontrol-example
hub.docker.com
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/overview/readme/installations
en.wikipedia.org
>>isReferenceFrom
docs.runtimeverification.com
/kontrol/overview/readme/the-significance
kframework.org
>>isReferenceFrom
docs.runtimeverification.com
/kaas
multiversx.com
>>isReferenceFrom
docs.runtimeverification.com
/kasmer/
coindesk.com
>>isReferenceFrom
docs.runtimeverification.com
/ercx/
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