Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/13227002
Formal sentential entailment
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://schema.org/Book
http://schema.org/CreativeWork
about
http://schema.org/about
http://id.worldcat.org/fast/912582
http://id.loc.gov/authorities/subjects/sh85044066
creator
http://schema.org/creator
http://worldcat.org/entity/person/id/2637998327
name
http://schema.org/name
"
Formal sentential entailment
"
@
en
"
Formal sentential entailment
"
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/3915366
http://www.worldcat.org/oclc/301529202
http://www.worldcat.org/oclc/701746326