PropertyValue
?:linkContext
  • MacKenzie D.A. (2001) Mechanizing proof: computing, risk, and trust, The MIT Press. (xsd:string)
  • MacKenzie, Donald (2001): Mechanizing Proof. Computing, Risk, and Trust, Cambridge, Mass., London: MIT Press. (xsd:string)
  • Mackenzie, Donald A. 2001. Mechanizing Proof. Computing, Risk, and Trust. Cambridge, MA: MIT Press. (xsd:string)
?:linkSource
  • OUTCITE pipeline (xsd:string)
?:linkingMethod
  • automatic (xsd:string)
?:mainEntity
?:name
  • D.A, M. (2001). Mechanizing proof: computing, risk, and trust. Cambridge, Mass., London: The MIT Press. (xsd:string)
is ?:referenceMetadata of
?:toSource
  • sowiport (xsd:string)
rdf:type