{"entities":{"Q3711743":{"pageid":5741649,"ns":120,"title":"Item:Q3711743","lastrevid":80991299,"modified":"2026-05-06T17:28:05Z","type":"item","id":"Q3711743","labels":{"en":{"language":"en","value":"On relative completeness of Hoare logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3940712"}},"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":"Q3711743$1AAE2A3D-3F87-4F14-BB00-C9A2F8E0BA44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52bcaf8de4959942528411f1dad16c036870d90d","datavalue":{"value":{"text":"On relative completeness of Hoare logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3711743$069030A1-CB5B-4B25-941F-4DDE4C7F2BC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc108f967fc7420cd2c9119fc79096b6dd011d95","datavalue":{"value":"0586.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3711743$AE198871-AD8A-4FD2-B9C3-3B9EEEE3C8AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63a1ce4a0b86863dcec1795247a79735163b200e","datavalue":{"value":"10.1016/S0019-9958(85)80010-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3711743$7AF7D111-07AF-429A-B0F6-33B49167A0E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80918d07e2444d7026e4c565b9b730b5c917c4b8","datavalue":{"value":{"entity-type":"item","numeric-id":689287,"id":"Q689287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3711743$108B3BA7-7B03-40B8-83B4-26629E7A0F23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3711743$FEB513C0-B968-4E70-A239-55F6D51FC8F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3711743$73E04C77-A7D0-4525-9850-C7C3E959F858","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3711743$52F6C6F6-E760-4E2F-B2A2-0370F55ABB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3711743$BD052EA3-1F6B-4CEC-9EFA-81F083BDC40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3711743$DEEBF13F-0D00-4483-B356-E9C21E18920F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2957e5bcf8fd0c86a8a58b77be28549d095bd508","datavalue":{"value":"3940712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3711743$2D5C76D4-F1F9-4369-B0EA-1D9EF63543F2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3711743$4D258542-1386-42AA-B2F1-506127605CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a33fa712b5ad34e0b9952788c1cab1c3096b90","datavalue":{"value":"Lipton's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3711743$EE56A166-E45F-48B7-BD9E-3F62B05C3F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3711743$D6915C8D-7926-47EE-94C5-4E690E11F95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74f9b71b983d3a01435a5888727d5a8b1b793c02","datavalue":{"value":"halting property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3711743$AE9BB6CF-A6C9-4B15-8B56-C3A4BEBD3FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a814dce708ab809797360a8f01f39631656b7c90","datavalue":{"value":"finite interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3711743$1AC36C17-E9F0-4481-A626-0027E4E97709","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":"Q3711743$7EC83F55-17B5-4F20-8914-5DDFCF55F349","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ae49cf223900108061449596843f5e829fbcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3327706,"id":"Q3327706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc539b4b8f3e08b6fb8bbabe240b571c7a82d59c","datavalue":{"value":{"amount":"+0.8570206761360168","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":"Q3711743$8EF7EEE5-F59E-4118-8C4D-52159664019E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6be2716a73939a8ef5f5bd209f6b1fa11bcbaa2","datavalue":{"value":{"entity-type":"item","numeric-id":800082,"id":"Q800082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32f6f85abe84e3535300f72ae825db20d83265d6","datavalue":{"value":{"amount":"+0.8562890887260437","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":"Q3711743$9A6AA60A-C508-4C13-9925-3BF7F4CF1399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2881e7c0d7243e58908d2b9fda25fb7edf66838","datavalue":{"value":{"amount":"+0.8560681343078613","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":"Q3711743$524B61A6-DCC2-4F9C-B153-F0A143CD1992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2201ceba745f8f4bc88d73a6cab694ed61248d5","datavalue":{"value":{"entity-type":"item","numeric-id":794426,"id":"Q794426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d0e75739a71828e4eb00c5476a2f7e5a09f93b","datavalue":{"value":{"amount":"+0.8510651588439941","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":"Q3711743$B2BFE786-1A84-42E7-B7F5-E85D455A8E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06b4dbc68b06bc8ecd04f5d1802c7e4cf586f269","datavalue":{"value":{"entity-type":"item","numeric-id":1110500,"id":"Q1110500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef3d62a679901a16767eb74c20cb5934a5c9791","datavalue":{"value":{"amount":"+0.8477087616920471","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":"Q3711743$8CF44C98-066D-4CB1-9F4A-E876D996F56E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On relative completeness of Hoare logics","badges":[]}}}}}