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 "plfa.github.io"
71
Business Relations
72
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 71
From Domain
Role
To Domain
Path
Aktionen
plfa.github.io
>>isReferenceFrom
noo2555.wordpress.com
/2026/03/27/notation-shapes-mathematical-perception/
plfa.github.io
>>isReferenceFrom
git.ionchy.ca
/ionchy/HoTT
plfa.github.io
>>isReferenceFrom
rkirov.github.io
/posts/lean3/
plfa.github.io
>>isReferenceFrom
amenzwa.github.io
/stem/CS/Curriculum/
plfa.github.io
>>isReferenceFrom
functional.computer
/blog/running-agda-with-nix
plfa.github.io
>>isReferenceFrom
chungyc.org
/links/education/books/
plfa.github.io
>>isReferenceFrom
hackerpublicradio.com
/eps/hpr3796/index.html
plfa.github.io
>>isReferenceFrom
rvarago.github.io
/2020-10-20-type-driven-designing-haskell-filter/
plfa.github.io
>>isReferenceFrom
matteocapucci.wordpress.com
/2019/05/30/setting-up-agda-on-debian/
plfa.github.io
>>isReferenceFrom
opencourse.inf.ed.ac.uk
/tspl
plfa.github.io
>>isReferenceFrom
steshaw.org
/plt/
plfa.github.io
>>isReferenceFrom
compscicabal.github.io
/
plfa.github.io
>>isReferenceFrom
inaimathi.ca
/posts/papers-project
plfa.github.io
>>isReferenceFrom
asafe.dev
/notes-on-c
plfa.github.io
>>isReferenceFrom
emacs-china.org
/t/best-font-for-proof-assistants/28943
plfa.github.io
>>isReferenceFrom
legacy.arisuchan.jp
/λ/res/749.html
plfa.github.io
>>isReferenceFrom
functionalstatistics.com
/posts/2023-01-16-agda-unary-examples/
plfa.github.io
>>isReferenceFrom
jaked.org
/blog/2021-07-30-Recurse-Center-Retro
plfa.github.io
>>isReferenceFrom
typetheoryforall.com
/episodes/ty-de-systems
morganclaypoolpublishers.com
>>isReferenceFrom
plfa.github.io
/20.07/Preface/
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