Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/2243483528
Social processes and proofs of theorems and programs
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://schema.org/CreativeWork
about
http://schema.org/about
http://id.loc.gov/authorities/subjects/sh85107310
http://id.worldcat.org/fast/872390
contributor
http://schema.org/contributor
http://worldcat.org/entity/person/id/2629243636
http://worldcat.org/entity/person/id/2743827487
http://viaf.org/viaf/128296912
http://worldcat.org/entity/person/id/2633307701
http://worldcat.org/entity/person/id/2724596279
http://id.loc.gov/authorities/names/nr99007252
creator
http://schema.org/creator
http://worldcat.org/entity/person/id/2660428417
http://worldcat.org/entity/person/id/2647935770
name
http://schema.org/name
"
Social processes and proofs of theorems and programs
"
@
en
"
Social processes and proofs of theorems and programs
"
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/11301774
http://www.worldcat.org/oclc/897761640
http://www.worldcat.org/oclc/897761661