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
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Syntax (logic)
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
34846657
(xsd:integer)
dbo:
wikiPageRevisionID
876211429
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons
dbt
:Cat_main
dbt
:Contrast
rdf:
type
skos
:Concept
rdfs:
label
Syntax (logic)
(en)
owl:
sameAs
dbpedia-commons
:Syntax (logic)
skos:
broader
dbc
:Syntax
dbc
:Philosophy_of_logic
skos:
prefLabel
Syntax (logic)
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Syntax_(logic)?oldid=876211429&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Propositional_formula
dbr
:Metasyntactic_variable
dbr
:Metavariable
dbr
:The_Logical_Syntax_of_Language
dbr
:Logical_Syntax_of_Language
dbr
:Proposition
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Formal_proof
dbr
:Formal_system
dbr
:Formation_rule
dbr
:Logical_consequence
dbr
:Logical_constant
dbr
:Well-formed_formula
dbr
:Atomic_sentence
dbr
:Rule_of_inference
dbr
:Variable_(mathematics)
dbr
:WFF_'N_PROOF
dbr
:Unate_function
is
dcterms:
subject
of
dbr
:Propositional_formula
dbr
:Metasyntactic_variable
dbr
:Metavariable
dbr
:The_Logical_Syntax_of_Language
dbr
:Logical_Syntax_of_Language
dbr
:Proposition
dbr
:Symbol_(formal)
dbr
:Syntax_(logic)
dbr
:Formal_proof
dbr
:Formal_system
dbr
:Formation_rule
dbr
:Logical_consequence
dbr
:Logical_constant
dbr
:Well-formed_formula
dbr
:Atomic_sentence
dbr
:Rule_of_inference
dbr
:Variable_(mathematics)
dbr
:WFF_'N_PROOF
dbr
:Unate_function
is
skos:
broader
of
dbc
:Logical_consequence
dbc
:Logic_symbols
dbc
:Proof_theory
dbc
:Formal_languages
dbc
:Rules_of_inference
dbc
:Formal_systems
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License