Toggle navigation
Faceted Browser
Sparql Endpoint
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Formats
RDF:
N-Triples
N3/Turtle
JSON
XML
CSV
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
About:
dbkwik:
resource/ctE0OAWDu6_EKiLRNQpn6g==
Property
Value
rdfs:
label
Logic
is
dcterms:
subject
of
If and only if
Boolean logic in Programming Languages
Theorem
Logic
Relation between sets
Definitions and axioms of logic
Boolean logic
Modus ponens
Proof
Equivalence relation
Mathematical induction
Distributivity
Operations of logic
Exclusive or
Identity
De Morgan's laws
History of logic
QED