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
researchpark.illinois.edu
/impact/startup-graduates/runtime-verification
runtimeverification.com
>>isReferenceFrom
boxmining.com
/top-blockchain-security-firms/
runtimeverification.com
>>isReferenceFrom
serokell.io
/blog/optimizing-k-framework-part-2
runtimeverification.com
>>isReferenceFrom
story.foundation
/blog/security-recap-mainnet
runtimeverification.com
>>isReferenceFrom
defiprime.com
/gnosis-safe
runtimeverification.com
>>isReferenceFrom
fmeurope.org
/industry/tool-support/
runtimeverification.com
>>isReferenceFrom
tezos.foundation
/fourth-cohort-grants/
runtimeverification.com
>>isReferenceFrom
chainbroker.io
/projects/runtime-verification/
runtimeverification.com
>>isReferenceFrom
coinbureau.com
/review/alchemix/
runtimeverification.com
>>isReferenceFrom
docs.hydration.net
/security/intro
runtimeverification.com
>>isReferenceFrom
apriorit.com
/dev-blog/592-formal-verification-with-k-framework
runtimeverification.com
>>isReferenceFrom
cryptoevents.global
/blockswap-to-host-multichain-erc20-side-event-at-ethcc/
runtimeverification.com
>>isReferenceFrom
lmf.cnrs.fr
/Seminar/Lucanu2023
runtimeverification.com
>>isReferenceFrom
haskellweekly.news
/issue/254.html
runtimeverification.com
>>isReferenceFrom
a16zcrypto.com
/posts/article/generalized-property-tests-for-erc4626-vaults/
runtimeverification.com
>>isReferenceFrom
cryptocurrencyjobs.co
/startups/runtime-verification/
runtimeverification.com
>>isReferenceFrom
siebelschool.illinois.edu
/news/acm-recognizes-meseguer-tong-for-contributions-to-the-computing-field
runtimeverification.com
>>isReferenceFrom
valuewalk.com
/investors-pouring-millions-blockchain-projects/
runtimeverification.com
>>isReferenceFrom
coinbound.io
/top-crypto-audit-companies/
runtimeverification.com
>>isReferenceFrom
tinyman.org
/faq
Vorherige
1
...
4
5
6
7
8
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