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 "afp.sourceforge.net"
21
Business Relations
22
Eindeutige Domains
20
Gefundene Einträge
BR-Relations: 21
From Domain
Role
To Domain
Path
Aktionen
afp.sourceforge.net
>>isReferenceFrom
schoepe.org
/
afp.sourceforge.net
>>isReferenceFrom
hosking.github.io
/pubs
afp.sourceforge.net
>>isReferenceFrom
wimhesselink.nl
/fermat/wilesEnglish.html
afp.sourceforge.net
>>isReferenceFrom
modellansatz.de
/incredible-proof-machine
afp.sourceforge.net
>>isReferenceFrom
holdenlee.wordpress.com
/2014/08/19/talk-proving-mathematical-theorems-using-computers/
afp.sourceforge.net
>>isReferenceFrom
kestrel.edu
/research/hyperproperties/
afp.sourceforge.net
>>isReferenceFrom
ignougroup.com
/2017/01/solved-types-of-automated-theore/
afp.sourceforge.net
>>isReferenceFrom
lara.epfl.ch
/w/sav09/lecture_03a
afp.sourceforge.net
>>isReferenceFrom
binkley.blogspot.com
/2004/08/
afp.sourceforge.net
>>isReferenceFrom
pp.ipd.kit.edu
/culture/IFC.php
afp.sourceforge.net
>>isReferenceFrom
akihisayamada.github.io
/
afp.sourceforge.net
>>isReferenceFrom
bp.io
/archive/2008-07-07-isabelle-theorem-proving/
afp.sourceforge.net
>>isReferenceFrom
wiki.thingsandstuff.org
/Maths
afp.sourceforge.net
>>isReferenceFrom
anggtwu.net
/e/coq.e.html
afp.sourceforge.net
>>isReferenceFrom
intelligence.org
/2013/12/21/josef-urban-on-machine-learning-and-automated-reasoning/
afp.sourceforge.net
>>isReferenceFrom
joshuatan.com
/ux-experiments-and-real-mathematics-part-1/
afp.sourceforge.net
>>isReferenceFrom
lmf.cnrs.fr
/isabelleclub/IsabelleClub/20151104Meeting
afp.sourceforge.net
>>isReferenceFrom
joachim-breitner.de
/blog/690-A_multitude_of_early_Christmas_presents
afp.sourceforge.net
>>isReferenceFrom
andreipopescu.uk
/
afp.sourceforge.net
>>isReferenceFrom
irt-systemx.fr
/featherweight-ocl-a-proposal-for-a-machine-checked-formal-semantics-for-ocl-2-5/
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