Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3/Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
CSV
JSON-LD
About:
Mathematische Logik
An Entity of Type :
Concept
, from Named Graph :
http://de.dbpedia.org
, within Data Space :
de.dbpedia.org
Property
Value
dbo:
wikiPageID
2463051
(xsd:integer)
dbo:
wikiPageRevisionID
116515762
(xsd:integer)
rdf:
type
skos
:Concept
rdfs:
label
Mathematische Logik
(de)
Mathematische Logik
(de)
owl:
sameAs
dbc
:Mathematische Logik
wikidata
:Mathematische Logik
dbpedia-cs
:Mathematische Logik
dbpedia-el
:Mathematische Logik
dbpedia-es
:Mathematische Logik
dbpedia-eu
:Mathematische Logik
dbpedia-fr
:Mathematische Logik
dbpedia-id
:Mathematische Logik
dbpedia-it
:Mathematische Logik
dbpedia-ja
:Mathematische Logik
dbpedia-ko
:Mathematische Logik
dbpedia-nl
:Mathematische Logik
dbpedia-pl
:Mathematische Logik
dbpedia-pt
:Mathematische Logik
dbpedia-wikidata
:Mathematische Logik
skos:
broader
category-de
:Mathematik_nach_Teilgebiet
category-de
:Logik
skos:
prefLabel
Mathematische Logik
(de)
Mathematische Logik
(de)
prov:
wasDerivedFrom
wikipedia-de
:Kategorie:Mathematische_Logik?oldid=116515762
is
dct:
subject
of
dbpedia-de
:Theorie_(Logik)
dbpedia-de
:Diagramm_(Logik)
dbpedia-de
:Konstantenexpansion
dbpedia-de
:Berechenbarkeitstheorie
dbpedia-de
:Boolesche_Algebra
dbpedia-de
:Falsifikation
dbpedia-de
:Gödelscher_Unvollständigkeitssatz
dbpedia-de
:Mengenlehre
dbpedia-de
:Peano-Axiome
dbpedia-de
:Russellsche_Antinomie
dbpedia-de
:Zermelo-Fraenkel-Mengenlehre
dbpedia-de
:3-SAT
dbpedia-de
:Beweistheorie
dbpedia-de
:Boolesche_Variable
dbpedia-de
:Boolescher_Operator
dbpedia-de
:De_Morgansche_Gesetze
dbpedia-de
:Erfüllbarkeitsproblem_der_Aussagenlogik
dbpedia-de
:Horn-Formel
dbpedia-de
:Konjunktive_Normalform
dbpedia-de
:Mathematische_Logik
dbpedia-de
:Resolution_(Logik)
dbpedia-de
:Schaltalgebra
dbpedia-de
:Deduktionstheorem
dbpedia-de
:Negationsnormalform
dbpedia-de
:Algorithmus_von_Gilmore
dbpedia-de
:Boolesche_Funktion
dbpedia-de
:Disjunktive_Normalform
dbpedia-de
:Gödelscher_Vollständigkeitssatz
dbpedia-de
:Herbrand-Expansion
dbpedia-de
:Herbrand-Struktur
dbpedia-de
:Herbrand-Universum
dbpedia-de
:Infiniter_Regress
dbpedia-de
:Satz_von_Herbrand
dbpedia-de
:Sequenzenkalkül
dbpedia-de
:Vollständigkeit_(Logik)
dbpedia-de
:Formale_Begriffsanalyse
dbpedia-de
:Goodstein-Folge
dbpedia-de
:Karnaugh-Veitch-Diagramm
dbpedia-de
:Strukturelle_Induktion
dbpedia-de
:Verfahren_nach_Quine_und_McCluskey
dbpedia-de
:Wp-Kalkül
dbpedia-de
:Ableitung_(Logik)
dbpedia-de
:Computation_Tree_Logic
dbpedia-de
:Markierungsalgorithmus
dbpedia-de
:Prädikatenlogik_zweiter_Stufe
dbpedia-de
:Aussageform
dbpedia-de
:Disjunktionsterm
dbpedia-de
:Gentzenscher_Hauptsatz
dbpedia-de
:Inversionssatz_von_Shannon
dbpedia-de
:Konjunktionsterm
dbpedia-de
:Maschinengestütztes_Beweisen
dbpedia-de
:Primterm
dbpedia-de
:Principia_Mathematica
dbpedia-de
:Begriffsschrift
dbpedia-de
:Computerbeweis
dbpedia-de
:Freie_Variable_und_gebundene_Variable
dbpedia-de
:Hoare-Kalkül
dbpedia-de
:Kompaktheit_(Logik)
dbpedia-de
:Lemberg-Warschau-Schule
dbpedia-de
:Alphabet_(Mathematik)
dbpedia-de
:Semi-Thue-System
dbpedia-de
:Termkalkül
dbpedia-de
:Logik_höherer_Stufe
dbpedia-de
:Zaunpfahlproblem
dbpedia-de
:Kombinatorische_Logik
dbpedia-de
:Lambda-Kalkül
dbpedia-de
:Schnittregel
dbpedia-de
:Craig-Interpolation
dbpedia-de
:Isabelle_(Theorembeweiser)
dbpedia-de
:Matrizenmethode
dbpedia-de
:Atomarer_Ausdruck
dbpedia-de
:Baumkalkül
dbpedia-de
:Formale_Logik
dbpedia-de
:Gentzentypkalkül
dbpedia-de
:Mathesis_universalis
dbpedia-de
:Situationskalkül
dbpedia-de
:Stratifikation_(Mathematik)
dbpedia-de
:Applicative_Order_Reduction
dbpedia-de
:Erzeugungssystem
dbpedia-de
:Konstante_(Logik)
dbpedia-de
:Normal_Order_Reduction
dbpedia-de
:Wohlfundierte_Induktion
dbpedia-de
:Neumann-Bernays-Gödel-Mengenlehre
dbpedia-de
:Spec-Sharp
dbpedia-de
:Elementare_Sprache
dbpedia-de
:Deskriptive_Komplexitätstheorie
dbpedia-de
:Resolventenmethode
dbpedia-de
:Church-Kodierung
dbpedia-de
:Currys_Paradoxon
dbpedia-de
:Shannon-Zerlegung
dbpedia-de
:Bitweiser_Operator
dbpedia-de
:Erfüllbarkeitsproblem_für_quantifizierte_boolesche_Formeln
dbpedia-de
:Kanonische_Normalform
dbpedia-de
:Klassenlogik
dbpedia-de
:Reverse_Mathematik
dbpedia-de
:Prädikatabbildung
dbpedia-de
:Signatur_(Modelltheorie)
dbpedia-de
:Ω-konsistente_Theorie
dbpedia-de
:Algebraische_Linguistik
dbpedia-de
:Variable_(Logik)
dbpedia-de
:Funktor_(Logik)
dbpedia-de
:Heyting-Algebra
dbpedia-de
:Aussageschema
dbpedia-de
:Fundierungsaxiom
dbpedia-de
:Vollfreie_Variable
dbpedia-de
:Allabschluss
dbpedia-de
:Prädikatenlogik_erster_Stufe
dbpedia-de
:Lineare_partielle_Information
dbpedia-de
:Wohlfundierte_Relation
dbpedia-de
:Koinzidenzlemma
dbpedia-de
:Lineare_temporale_Logik
dbpedia-de
:Boolescher_Differentialkalkül
dbpedia-de
:Coq_(Software)
dbpedia-de
:Satz_von_Church-Rosser
dbpedia-de
:Merkmalexploration
dbpedia-de
:Negationstreu
dbpedia-de
:Konstruierbarkeitsaxiom
dbpedia-de
:Konversion_(Logik)
dbpedia-de
:Delta-elementare_Klasse
dbpedia-de
:Rahmenproblem
dbpedia-de
:Satz_von_Fraïssé
dbpedia-de
:Satz_von_Henkin
dbpedia-de
:Tseitin-Transformation
dbpedia-de
:Satz_von_Lindenbaum
dbpedia-de
:Satz_von_Tennenbaum
dbpedia-de
:Schwache_Negation
dbpedia-de
:Arithmetische_Hierarchie
dbpedia-de
:Axiomenschema
dbpedia-de
:Beweise_der_gödelschen_Unvollständigkeitssätze
dbpedia-de
:Satz_von_Friedberg_und_Muchnik
dbpedia-de
:Satz_von_Löb
dbpedia-de
:Turinggrad
dbpedia-de
:Robinson-Arithmetik
dbpedia-de
:Einheitsresolution
dbpedia-de
:Kreative_und_produktive_Mengen
dbpedia-de
:Boolescher_Primidealsatz
dbpedia-de
:Gaifman-Graph
dbpedia-de
:Gaifman-Lokalität
dbpedia-de
:Hanf-Lokalität
dbpedia-de
:Lokalität_(Logik)
dbpedia-de
:Monadische_Prädikatenlogik_zweiter_Stufe
dbpedia-de
:Satz_von_Gaifman
dbpedia-de
:Isomorphiesatz_von_Dedekind
dbpedia-de
:Satz_von_Büchi
is
skos:
broader
of
category-de
:Fuzzylogik
category-de
:Mengenlehre
category-de
:Modelltheorie
category-de
:Typentheorie