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 "compcert.inria.fr"
108
Business Relations
109
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 108
From Domain
Role
To Domain
Path
Aktionen
compcert.inria.fr
>>isReferenceFrom
wiki.bootstrapping.world
/
compcert.inria.fr
>>isReferenceFrom
members.loria.fr
/VLaporte/
compcert.inria.fr
>>isReferenceFrom
certora.vercel.app
/blog/solidity-code-generation-bug-can-cause-memory-corruption
compcert.inria.fr
>>isReferenceFrom
hannes.robur.coop
/About
compcert.inria.fr
>>isReferenceFrom
vignat.github.io
/
compcert.inria.fr
>>isReferenceFrom
purebasic.developpez.com
/actu/22770/Quel-est-votre-langage-de-programmation-prefere/
compcert.inria.fr
>>isReferenceFrom
philomates.github.io
/articles/2013-01-28-compiler-verification-intro/
compcert.inria.fr
>>isReferenceFrom
unix.developpez.com
/actu/22781/Quel-est-votre-langage-de-programmation-prefere/
compcert.inria.fr
>>isReferenceFrom
gtk.developpez.com
/actu/22753/Quel-est-votre-langage-de-programmation-prefere/
compcert.inria.fr
>>isReferenceFrom
tspi.at
/2020/03/02/framacwpdynamic.html
compcert.inria.fr
>>isReferenceFrom
ocamlbook.org
/preface/
compcert.inria.fr
>>isReferenceFrom
cullmann.dev
/posts/cmake-meson-compcert/
compcert.inria.fr
>>isReferenceFrom
deathking.github.io
/2016/04/11/software-security-ideas-ahead-of-their-time/
compcert.inria.fr
>>isReferenceFrom
tekkix.com
/articles/ai/2025/01/fundamental-mathematics-the-theory-of-ev
compcert.inria.fr
>>isReferenceFrom
wmula.blogspot.com
/2015/
compcert.inria.fr
>>isReferenceFrom
hintlink.com
/development.htm
compcert.inria.fr
>>isReferenceFrom
velus.inria.fr
/
compcert.inria.fr
>>isReferenceFrom
bsd.developpez.com
/actu/22750/Quel-est-votre-langage-de-programmation-prefere/
compcert.inria.fr
>>isReferenceFrom
cedeela.fr
/curry-howard-scam/
compcert.inria.fr
>>isReferenceFrom
ai.works-hub.com
/learn/introduction-to-ocaml-26078
1
2
3
...
6
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