PropertyValue
rdf:type
rdfs:label
  • Turing's proof
owl:sameAs
prov:wasDerivedFrom
skos:prefLabel
  • Turing's proof
skos:altLabel
  • On Computable Numbers, with an Application to the Entscheidungsproblem
  • ''On Computable Numbers''
  • Turing's first and second proofs
  • ''On Computable Numbers, with an application to the Entscheidungsproblem''
is clgo:knownFor of