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.certora.com"
27
Business Relations
28
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 27
From Domain
Role
To Domain
Path
Aktionen
docs.certora.com
>>isReferenceFrom
bretzel.blog
/articles/certora_verification_tool/lesson_5/
docs.certora.com
>>isReferenceFrom
mapo.gitbook.io
/dev-docs/fundamentals/smart-contracts/formal-verification
docs.certora.com
>>isReferenceFrom
certora.vercel.app
/prover
docs.certora.com
>>isReferenceFrom
sourcebaran.com
/solidity-mutation-testing.html
docs.certora.com
>>isReferenceFrom
pt.w3d.community
/paulogio/como-otimizar-seu-consumo-de-gas-sem-se-dar-mal-3lo6
docs.certora.com
>>isReferenceFrom
blockchainvault.xyz
/best-smart-contract-auditors-and-web3-security-companies-2026-ranked-by-verifiable-public-evidence/
docs.certora.com
>>isReferenceFrom
cryptohoppers.com
/best-smart-contract-auditors-and-web3-security-companies-2026-ranked-by-verifiable-public-evidence/
docs.certora.com
>>isReferenceFrom
blockwiseon.com
/best-smart-contract-auditors-and-web3-security-companies-2026-ranked-by-verifiable-public-evidence/
docs.certora.com
>>isReferenceFrom
marketing-website-git-safe-ai-form-certora.vercel.app
/prover
docs.certora.com
>>isReferenceFrom
ethereum.org
/developers/docs/smart-contracts/formal-verification/
docs.certora.com
>>isReferenceFrom
allthingsfuzzy.substack.com
/p/formal-verification-guide-by-alexzoid
docs.certora.com
>>isReferenceFrom
justdravee.github.io
/posts/the-3-prompts-of-spec-thinking/
docs.certora.com
>>isReferenceFrom
commonprefix.com
/blog/formal-verification.html
docs.certora.com
>>isReferenceFrom
blog.delv.tech
/hyperdrive-security-update-pre-testnet-audit-reports-are-in/
docs.certora.com
>>isReferenceFrom
blockapex.io
/smart-contract-auditing-tools/
sphinx-doc.org
>>isReferenceFrom
docs.certora.com
/
certora.com
>>isReferenceFrom
docs.certora.com
/
discord.com
>>isReferenceFrom
docs.certora.com
/
certora-sunbeam-tutorials.readthedocs-hosted.com
>>isReferenceFrom
docs.certora.com
/
github.com
>>isReferenceFrom
docs.certora.com
/
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