http://schema.org/description
|
notational system for constructing formal proofs
, Methode für Beweise in Prädikatenlogik erster Stufe
|
http://schema.org/name
|
Fitch-Kalkül
, Style de Fitch pour la déduction naturelle
, Fitch notation
, systeem van Fitch
, Fitch-notacio
|
http://www.w3.org/2004/02/skos/core#altLabel
|
Style de Fitch pour la deduction naturelle
, Fitch-style calculus
, Fitch calculus
|
http://www.w3.org/2004/02/skos/core#prefLabel
|
Fitch-Kalkül
, Style de Fitch pour la déduction naturelle
, Fitch notation
, systeem van Fitch
, Fitch-notacio
|
http://www.wikidata.org/prop/P138
|
http://www.wikidata.org/entity/statement/Q1142450-78429876-472f-5944-7093-4aaf8b508204 +
|
http://www.wikidata.org/prop/P31
|
http://www.wikidata.org/entity/statement/Q1142450-3c9386d2-42f3-2010-8e67-3d865a532b26 +
|
http://www.wikidata.org/prop/P646
|
http://www.wikidata.org/entity/statement/Q1142450-2734D6F9-7CC8-4DF6-9C06-FF8872EB6CC5 +
|
http://www.wikidata.org/prop/direct/P138
|
http://www.wikidata.org/entity/Q1452702 +
|
http://www.wikidata.org/prop/direct/P31
|
http://www.wikidata.org/entity/Q1799072 +
|
http://www.wikidata.org/prop/direct/P646
|
/m/025yz83
|
rdf:type |
http://wikiba.se/ontology#Item +
|
rdfs:label |
Fitch-Kalkül
, Style de Fitch pour la déduction naturelle
, Fitch notation
, systeem van Fitch
, Fitch-notacio
|