Burrows-Abadi-Needham logic

http://dbpedia.org/resource/Burrows-Abadi-Needham_logic

rdfs:label

rdf:langString Burrows-Abadi-Needham logic

dbpedia-owl:wikiPageID

xsd:integer 22528408

dbpedia-owl:wikiPageRevisionID

xsd:integer 341991566

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 65

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Burrows–Abadi–Needham_logic>

dbpedia-owl:wikiPageRedirects

<http://dbpedia.org/resource/Burrows–Abadi–Needham_logic>

dbpprop:wikiPageUsesTemplate

<http://dbpedia.org/resource/Template:R_from_modification>

prov:wasDerivedFrom

<http://en.wikipedia.org/wiki/Burrows-Abadi-Needham_logic?oldid=341991566&ns=0>

foaf:isPrimaryTopicOf

<http://en.wikipedia.org/wiki/Burrows-Abadi-Needham_logic>

data from the linked data cloud