{"entities":{"Q3521987":{"pageid":5551891,"ns":120,"title":"Item:Q3521987","lastrevid":90245579,"modified":"2026-06-04T19:40:09Z","type":"item","id":"Q3521987","labels":{"en":{"language":"en","value":"The B\u00f6hm\u2013Jacopini Theorem Is False, Propositionally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317302"}},"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":"Q3521987$A9958178-3CEE-4944-9F7D-C2450E45F041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85bd1eb2d1ffb502096ee79f66a30b4ce2472d59","datavalue":{"value":{"text":"The B\u00f6hm\u2013Jacopini Theorem Is False, Propositionally","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3521987$B4338E54-CB2E-4A59-8A5A-EAB1B7A99957","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aaa0121dea68c56cb1dc472f73c714c82b5469c9","datavalue":{"value":"1156.68354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$105A41DB-2284-4C0C-B1A3-A5CB732C0A60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"122648b429904ed1ab47f665dd690e2d33bbe238","datavalue":{"value":"10.1007/978-3-540-70594-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$DD6FD424-1B7C-411A-A597-3C651ADDF2E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$646A305C-8567-4EEA-BE6B-84B8DAAC8CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c8f44e133f4c860edbcfed65b8d0a523eeed03e","datavalue":{"value":{"entity-type":"item","numeric-id":1946591,"id":"Q1946591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$B55AF043-CD7F-4CC1-A10C-662042BE12E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$54338996-768E-45C7-BFF7-32305555F5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3521987$286808F4-419A-4AF3-95DD-8811690C35BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$BA9594EB-F7A6-43A5-9AB9-5E4EEF2950FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$E8630E9F-145B-473A-8590-EF9FE6D74C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$41C19366-9864-4697-8B11-3EAAFC4768D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43ea5fbc9512c032de3304d01e3dbd767d78463b","datavalue":{"value":"5317302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$632C3C6C-2EB6-4658-B77C-C8F669D39F72","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":"Q3521987$22E8F8E1-1D96-4D0D-89CA-C383EB1AF789","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2368fb176958885e059830844c277d338dcbdd3f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70594-9_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3521987$A3D5D68C-4FFA-42A2-ADD0-3E82457CEDA0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f257e6beb0ff6ac9cd4e40da1380e200e9df9ad7","datavalue":{"value":"W1560923948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$FDC2582B-C3AD-41CA-A0C9-609E736C84A4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8df8e1ae375e5c6a036bcf82b4da62f2a9c5610b","datavalue":{"value":"Q55880202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3521987$9BB81D35-A9EB-430B-96A3-92B0B369E5BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$7CDFE390-D8C0-4AA2-A7DF-3648B84D5E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbefee8ac70a32a00150a28c30ad99d87aa7464","datavalue":{"value":{"entity-type":"item","numeric-id":2536436,"id":"Q2536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$F33EF97E-10C4-4DAB-A049-734D4C3A69F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb276cb85e9230a5be3c3844ca6847a98fa1383","datavalue":{"value":{"entity-type":"item","numeric-id":4061932,"id":"Q4061932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$0BD53144-D157-4439-BFFF-214CB95444CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8525cdd12dc8a205f20af2cd22c19a69d38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5693581,"id":"Q5693581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$141F8FCA-7DD7-4E3C-9DD9-C3BC769AAB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e47c349c2ca4e5b11e9b18ab3ba10049f9a7a","datavalue":{"value":{"entity-type":"item","numeric-id":3942367,"id":"Q3942367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$216B0F3A-BBD4-426A-B2E3-1C836A239C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e0a2c141bc4bc38781a0b15b80c0dfd7a788cc","datavalue":{"value":{"entity-type":"item","numeric-id":4766002,"id":"Q4766002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$105B89F8-92A1-41D4-9043-05B34B353364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fc2d7bc9ca6c7ba441906213b7c03ae925be05","datavalue":{"value":{"entity-type":"item","numeric-id":3813271,"id":"Q3813271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$B651573E-2E6F-4E0F-BF50-11393F9AF2AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70337ba065bc8c076fd60250654bd06725e58207","datavalue":{"value":{"entity-type":"item","numeric-id":4151717,"id":"Q4151717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3521987$3B3BB137-57E0-464D-8FBE-6E75A5576729","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63e136a3f99c164e16dc4b22d6c6e40b53b4bba","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f365bf3b436d6fa680c6d66536f1d2eed52f2a","datavalue":{"value":{"amount":"+0.7123072743415833","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":"Q3521987$1039B5CE-46F8-4021-977E-CB69C59AA263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd263da95997ea9a6ea4749cc81e015365ae4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3318103,"id":"Q3318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8bf560381ec0fd9f69232d996bb48c6cf88849","datavalue":{"value":{"amount":"+0.7050699591636658","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":"Q3521987$F667FA90-AF6B-42D1-A588-8E0E00741077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c6038cc0b3deee21532b850f3d8a53ea00279a","datavalue":{"value":{"entity-type":"item","numeric-id":1314351,"id":"Q1314351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb414f884e37e96ea87758c1879bcf7e11ff164","datavalue":{"value":{"amount":"+0.7041543126106262","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":"Q3521987$21703D61-EABE-4BD0-9335-302DA7D0C8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4745a00efc0fce5057f6e01db10644d5bf287ddc","datavalue":{"value":{"entity-type":"item","numeric-id":1186551,"id":"Q1186551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb414f884e37e96ea87758c1879bcf7e11ff164","datavalue":{"value":{"amount":"+0.7041543126106262","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":"Q3521987$077B798A-7098-4030-8FE3-F6301B171862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffff10fe6c17253b7641c1e1d5d15c1be098367","datavalue":{"value":{"entity-type":"item","numeric-id":3651525,"id":"Q3651525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54e5c1c2c7243a637c668175f1f229e8d86ee5ed","datavalue":{"value":{"amount":"+0.7034223675727844","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":"Q3521987$4D7E25A4-5AA0-4B3D-BA97-4A88A9799646","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The B\u00f6hm\u2013Jacopini Theorem Is False, Propositionally","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_B%C3%B6hm%E2%80%93Jacopini_Theorem_Is_False,_Propositionally"}}}}}