<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P50>	<http://www.wikidata.org/entity/statement/Q56575983-8A125035-F3F3-4BCB-9DCC-3DD3C536FBEE> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P50>	<http://www.wikidata.org/entity/Q62861> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P433>	"5" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P1433>	<http://www.wikidata.org/entity/Q1120519> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://wikiba.se/ontology#Item> .
<http://www.wikidata.org/entity/Q56575983>	<http://schema.org/name>	"Social processes and proofs of theorems and programs"@en .
<http://www.wikidata.org/entity/Q56575983>	<http://www.w3.org/2000/01/rdf-schema#label>	"Social processes and proofs of theorems and programs"@nl .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P5875>	<http://www.wikidata.org/entity/statement/Q56575983-33E536AC-0819-4A8A-BDBA-7C4BF06DEA3F> .
<http://www.wikidata.org/entity/Q56575983>	<http://schema.org/description>	"wetenschappelijk artikel"@nl .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P31>	<http://www.wikidata.org/entity/Q13442814> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Social processes and proofs of theorems and programs"@nl .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P5875>	"220997139" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.w3.org/2000/01/rdf-schema#label>	"Social processes and proofs of theorems and programs"@en .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P433>	<http://www.wikidata.org/entity/statement/Q56575983-EA9FB2C3-448D-4FE4-B61E-C10ABBC3059E> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P304>	"271-280" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P478>	<http://www.wikidata.org/entity/statement/Q56575983-847A39E3-F5EA-4E4E-B0C1-D9112F3F4CCF> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.w3.org/2004/02/skos/core#prefLabel>	"Social processes and proofs of theorems and programs"@en .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P478>	"22" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P304>	<http://www.wikidata.org/entity/statement/Q56575983-83D52DD3-4844-400C-97C3-5C47DEA1DEB7> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P577>	<http://www.wikidata.org/entity/statement/Q56575983-D8B03563-4D3B-45AE-9732-83EEB090A9A9> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P577>	"1979-05-01T00:00:00Z"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct-normalized/P8978>	<https://dblp.org/rec/journals/cacm/DeMilloLP79> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P31>	<http://www.wikidata.org/entity/statement/Q56575983-493A0679-BF76-46A9-938F-033FEC8C0368> .
<http://www.wikidata.org/entity/Q56575983>	<http://schema.org/description>	"im Mai 1979 ver\u00F6ffentlichter wissenschaftlicher Artikel"@de .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P1476>	<http://www.wikidata.org/entity/statement/Q56575983-001AC66E-2E12-496C-A120-3C4B8813EA45> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P407>	<http://www.wikidata.org/entity/Q1860> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P1476>	"Social processes and proofs of theorems and programs"@en .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P407>	<http://www.wikidata.org/entity/statement/Q56575983-E43AFC42-2616-404A-96B9-09F4AF106565> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P2093>	<http://www.wikidata.org/entity/statement/Q56575983-7FD23A6C-4806-4D5D-A6A8-84EAF1046B59> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P1433>	<http://www.wikidata.org/entity/statement/Q56575983-2B098637-BCE1-47A5-A503-69E6740B401A> .
<http://www.wikidata.org/entity/Q56575983>	<http://schema.org/description>	"\u043D\u0430\u0443\u043A\u043E\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044F, \u043E\u043F\u0443\u0431\u043B\u0456\u043A\u043E\u0432\u0430\u043D\u0430 \u0432 \u0442\u0440\u0430\u0432\u043D\u0456 1979"@uk .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P2093>	<http://www.wikidata.org/entity/statement/Q56575983-537B8E23-3034-4861-82D1-98AB92D01E38> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P356>	<http://www.wikidata.org/entity/statement/Q56575983-9478B351-90D3-4631-9593-A8760FB97162> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P2093>	"Richard J. Lipton" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P2093>	"Richard A. De Millo" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P356>	"10.1145/359104.359106" .
<http://www.wikidata.org/entity/Q56575983>	<http://schema.org/name>	"Social processes and proofs of theorems and programs"@nl .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct/P8978>	"journals/cacm/DeMilloLP79" .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/P8978>	<http://www.wikidata.org/entity/statement/Q56575983-F77D6561-E438-452A-AE6F-89DA99AE20EC> .
<http://www.wikidata.org/entity/Q56575983>	<http://www.wikidata.org/prop/direct-normalized/P356>	<http://dx.doi.org/10.1145/359104.359106> .