{"entities":{"Q2986777":{"pageid":2997501,"ns":120,"title":"Item:Q2986777","lastrevid":85744814,"modified":"2026-06-03T11:21:16Z","type":"item","id":"Q2986777","labels":{"en":{"language":"en","value":"On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718057"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986777$B0F52CEA-5768-4CA7-B64E-289A6E1C529E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d91a77c8f00b93be0ea3db8704f2732efcb4c5f6","datavalue":{"value":{"text":"On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986777$EC70064C-29D5-411C-94CD-BF8BF3E4583D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"76150449ca2838ac42693237c6a96a79538ced09","datavalue":{"value":"1362.68250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$040918C5-A515-4070-918E-834B46EEE7CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49d56089ef9cd16d1c7a52af78a81b40f835bef","datavalue":{"value":"10.1109/LICS.2012.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$0991EF5A-F7DA-4905-A537-17A0842CBF11","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986777$7F796683-D026-42B2-930C-67E10FF0C5F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986777$752873D9-2B81-4803-9F22-769B996B424B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$C8C9CA38-883C-4223-AF58-E09BC8A94005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$1CB66856-B39B-4ADA-9AFC-59A3C71F5FC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d26bcc4c886c90b735d04561541e8e495bf4b68","datavalue":{"value":"6718057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$4FEB851D-6FF4-44A8-8F6A-C4F973158932","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de49e14205df8bdd7d6d3cbd394fe81b49aa2fa2","datavalue":{"value":"attack-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$B7CFEC72-6801-4ADA-8131-DBE2565CF1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$A9F5593A-0811-472C-8CDE-004145C3E9C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$08AF85DA-5BAF-4AF4-85F4-5B7FDD528DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$D1703153-6F5C-4117-BAE3-C30376F1B693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6e1b5a674fbd89847f691ac61c6a5e6f0fdb62","datavalue":{"value":"FLP theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$E962D84B-359E-4234-9FB9-73756BD3F0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$38FF2014-DFF1-4CAD-AC74-F35959DB6E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef42d5623f449957d9a229a1b490b65858535497","datavalue":{"value":"logic of events","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$60C8362F-4D49-4DED-BFF8-8D846FD4E4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efaf681fa46ac3de36993134e18f2efa737a2c0f","datavalue":{"value":"Nuprl","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$943885C0-5E23-4582-8B07-B4B8757D34FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$B24787A7-651A-44A1-8524-3EF9640F13DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49740d11f2ca42abb2212f8e0e649aa705368dee","datavalue":{"value":"propositions-as-types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$3ABC891A-44AB-4272-8592-824946AB8C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97dbbb6032b84f7b7a5ef9b00e178034379eb366","datavalue":{"value":"protocol synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986777$8EE1C2DE-AE0B-4F89-BD49-1A89E27C4D25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986777$8AEB7B14-C0F3-471A-925C-AF9D92139FDF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986777$A97F395F-3426-4A01-A1DA-4EB13416F98C","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986777$D00105DB-1888-452D-A42A-D54405355665","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f37d847eea05e153b8aecace51a6bea6110fc264","datavalue":{"value":"https://doi.org/10.1109/lics.2012.9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2986777$F81FFB7B-CC76-4E94-B0E6-1ADC5543E8FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce7cd16b6c78fde86d28c6eaa1354c7d6d8bdeeb","datavalue":{"value":"W2170862285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$841470D4-E287-4718-821E-399A80FD2519","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5df6c43d0fc51e35156a43affbd1599523e3ac25","datavalue":{"value":"Q130953763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986777$DFFD5B12-9CDA-4F2C-9F95-BB79519A27B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44e15fa022b0c67534bbf909fcfbd966f7f1fd11","datavalue":{"value":{"entity-type":"item","numeric-id":5212039,"id":"Q5212039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c636354e330a88a81682a881751dc3974ab07ffa","datavalue":{"value":{"amount":"+0.7144293189048767","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986777$1D332A3D-29D3-44FB-AA8C-FA19F512740D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73124ac6a3cd9c13d79448c43935324f05f53da","datavalue":{"value":{"entity-type":"item","numeric-id":3319764,"id":"Q3319764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3b9eb9f42ea214b014e8ef2581fd073194905ba","datavalue":{"value":{"amount":"+0.7020976543426514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986777$2F9B3D5B-E5BE-4C55-B95F-142E09017C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"593402c20af71348f82863c63f2b4116c280a271","datavalue":{"value":{"entity-type":"item","numeric-id":1274450,"id":"Q1274450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"905f02e66db33a24ad93229177e9690245812242","datavalue":{"value":{"amount":"+0.6987375617027283","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986777$F81A6388-76F9-4B5D-AE6B-4817EC1D4145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b45e2d51627c2374ad16eb48dbafb3a849986e","datavalue":{"value":{"entity-type":"item","numeric-id":5096219,"id":"Q5096219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1c2868c9524cced916937f59e4de84c276bd739","datavalue":{"value":{"amount":"+0.6961565613746643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986777$9A7DF649-7BF3-4D38-B84F-8AB2A6106B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c926c635655052aecdc7c33c805b09eacd39ab36","datavalue":{"value":{"entity-type":"item","numeric-id":3814769,"id":"Q3814769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e22072118881fd8ebb4ad754a06509629227c8","datavalue":{"value":{"amount":"+0.6944988965988159","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2986777$551727CF-E4C4-49E9-88E7-9A3C87EF3091","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On building constructive formal theories of computation noting the roles of Turing, Church, and Brouwer","badges":[]}}}}}