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 "runtimeverification.com"
165
Business Relations
164
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 165
From Domain
Role
To Domain
Path
Aktionen
runtimeverification.com
>>isReferenceFrom
gaper.io
/user/patrick-mackay/
runtimeverification.com
>>isReferenceFrom
galois-redesign-fc8dd3cc487e33de529c1a3.webflow.io
/articles/crux-in-sv-comp-2022-a-retrospective
runtimeverification.com
>>isReferenceFrom
folks.finance
/
runtimeverification.com
>>isReferenceFrom
pact.fi
/
runtimeverification.com
>>isReferenceFrom
shape-of-code.com
/tag/tools/
runtimeverification.com
>>isReferenceFrom
certora.com
/blog/formally-verifying-webassembly
runtimeverification.com
>>isReferenceFrom
techannouncer.com
/bugs-found-in-compiler-for-readable-ethereum-smart-contracts-team-downplays-concerns/
runtimeverification.com
>>isReferenceFrom
jonbell.net
/gmu-cs-475-spring-2019/cs475-s2019-homework-2/
runtimeverification.com
>>isReferenceFrom
iti.illinois.edu
/news/30646
runtimeverification.com
>>isReferenceFrom
legitgambling.com
/news/next-gen-virtual-machine-deployed-cardano-ada/
runtimeverification.com
>>isReferenceFrom
cryptovalley.swiss
/239-grigore-rosu-the-k-framework-a-framework-to-formally-define-all-programming-languages/
runtimeverification.com
>>isReferenceFrom
projectcatalyst.io
/funds/2/challenge/develop-the-kevm-and-iele
runtimeverification.com
>>isReferenceFrom
essentialcardano.io
/article/new-certification-levels-for-smart-contracts-on-cardano
runtimeverification.com
>>isReferenceFrom
fsl.cs.illinois.edu
/publications/
runtimeverification.com
>>isReferenceFrom
formalmethods2019.inesctec.pt
/
runtimeverification.com
>>isReferenceFrom
ideasoft.io
/blog/scaling-securely-how-web3-startups-can-grow-without-compromising-security/
runtimeverification.com
>>isReferenceFrom
trackawesomelist.com
/aorumbayev/awesome-algorand/
runtimeverification.com
>>isReferenceFrom
moonbeam.network
/t/xcm-disclosure-hydradx/791
runtimeverification.com
>>isReferenceFrom
thebitcoinpodcast.com
/doe-38/
runtimeverification.com
>>isReferenceFrom
helius.dev
/blog/solana-p-token
Vorherige
1
...
3
4
5
6
7
...
9
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