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.org"
74
Business Relations
74
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 74
From Domain
Role
To Domain
Path
Aktionen
compcert.org
>>isReferenceFrom
sgeos.github.io
/math/development/ai/2026/02/10/writing-proofs.html
compcert.org
>>isReferenceFrom
tspi.at
/2026/01/08/proofllm.html
compcert.org
>>isReferenceFrom
cs-www.uchicago.edu
/news/popl-compiler/
compcert.org
>>isReferenceFrom
gillianplatform.github.io
/instantiations/c/index.html
compcert.org
>>isReferenceFrom
concerningquality.com
/verification-gap/
compcert.org
>>isReferenceFrom
patiachvili.fr
/
compcert.org
>>isReferenceFrom
inferara.com
/papers/verification-driven-development/
compcert.org
>>isReferenceFrom
www1-stage.cs.uchicago.edu
/news/popl-compiler/
compcert.org
>>isReferenceFrom
marketing-website-git-safe-ai-form-certora.vercel.app
/blog/finding-compiler-bugs-with-formal-verification
compcert.org
>>isReferenceFrom
wyomingdigitalnews.com
/safegcds-implementation-formally-verified/
compcert.org
>>isReferenceFrom
formal.land
/blog/2026/02/23/revm-formal-specification-report
compcert.org
>>isReferenceFrom
o-santi.github.io
/blog/rust-is-not-about-memory-safety/
compcert.org
>>isReferenceFrom
discourse.writefreesoftware.org
/t/libre-c-compilers/428
compcert.org
>>isReferenceFrom
mbgsec.com
/archive/2022-12-20-are-100-security-guarantees-possible
compcert.org
>>isReferenceFrom
georgiadigitalnews.com
/safegcds-implementation-formally-verified/
compcert.org
>>isReferenceFrom
aarinc.org
/Newsletters/136-2021-11.html
compcert.org
>>isReferenceFrom
opimedia.be
DS/languages/
compcert.org
>>isReferenceFrom
newsletter.danielmiessler.com
/p/unsupervised-learning-no-509
compcert.org
>>isReferenceFrom
compound.vc
/thesis/thesis/government-modernization
compcert.org
>>isReferenceFrom
c-language.org
/tools
1
2
3
4
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