{"entities":{"Q5738904":{"pageid":7768456,"ns":120,"title":"Item:Q5738904","lastrevid":41562045,"modified":"2025-05-05T21:55:17Z","type":"item","id":"Q5738904","labels":{"en":{"language":"en","value":"A note on the complexity of propositional Hoare logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6729714"}},"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":"Q5738904$F0C14FCD-CFD2-437A-BD54-E033A2078C69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e0c0e7a9f6d5e59b14b7384106d096546764b8","datavalue":{"value":{"text":"A note on the complexity of propositional Hoare logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5738904$8F1FCDA2-31EE-4DA4-ADB2-C57E1B8433E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9aa32634017346330cba863230ecc38d2f18208","datavalue":{"value":"1365.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$C27C9A7B-804F-4960-AFE4-B4AE6AE15998","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c03c8b2c0f9aba0debb66ccd55af8248458d0b1c","datavalue":{"value":"10.1145/343369.343404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$BC2157EF-F6D0-4F08-86DF-0C0B84821663","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"def36e59cee71763aa5efb3e73270aa8cdfb45a3","datavalue":{"value":{"entity-type":"item","numeric-id":853723,"id":"Q853723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738904$5B882CB5-6CAE-4732-A220-3417ECE81C4A","rank":"normal"},{"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":"Q5738904$B121645B-A0D0-4B83-B746-1894C0FE411F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5738904$F965ECD3-402F-43C4-830D-1C271C107318","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9fb82429bb4ba602ab7d5caf04c575952ba3fb53","datavalue":{"value":{"time":"+2017-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5738904$3A2F7B76-B14C-421A-BF01-B639980A1428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$F4C0FDC0-3A5A-4887-8896-BAB030D6309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$58C0480F-9E37-46CE-8044-6572996289C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$ADEE61D1-D671-4B38-90A3-07F6D511789D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c5c6d068a9dd6df457cef438d72fd2a9da274e4","datavalue":{"value":"6729714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$37147AE1-D38E-49B7-8499-132A7DE4C2CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738904$8815B399-1DF9-471F-949E-3916CC16C29F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5738904$241A7BBC-04B2-456A-B4EB-47EA4CF76FB4","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":"Q5738904$5D2A9727-891C-4FD2-8920-B730BC838BC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0900ff4bf0dbe680cdc5a903fbcd5b2bc82605ed","datavalue":{"value":"https://doi.org/10.1145/343369.343404","type":"string"},"datatype":"url"},"type":"statement","id":"Q5738904$26590E80-6B56-452B-9778-4DE44772457A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65bb048c308e2202514b620ae7cdfedc32b9584c","datavalue":{"value":"W2027983931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5738904$3C15DD92-9169-48E2-B676-4A16792C410C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424b0f6a9d699a8a1a69eda02350a485b1a3bfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4723713,"id":"Q4723713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ff0bf59b807dd079e9b5ff5b445b2aca83d9d3","datavalue":{"value":{"amount":"+0.93930054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$F90FF60C-DC97-41A2-A457-8692471BE671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a9eb2c3aecd5852cb566db5e92ab211a171283b","datavalue":{"value":{"amount":"+0.92711157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$E805BDC0-20BD-4632-BEC8-75EE506E6BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a02dd3cc93ca3c9a0e16106fae253dc2e0af80","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c6fd664727989ff0e2f02c83bdb86cf08407b0","datavalue":{"value":{"amount":"+0.9247745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$048EB825-0FAB-43C6-9607-0D266991F2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb762ae3bbc65e5590a06cac76013aaf2d0868f","datavalue":{"value":{"entity-type":"item","numeric-id":4729773,"id":"Q4729773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7d3d99741dfd33c00a75f8c0675aeb7cb47cde","datavalue":{"value":{"amount":"+0.9204337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$C46E2CB0-F710-4B3D-97A7-98BA734D9559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96dc708fbd1384cb0999928a24e57600bbe45be5","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc24b39a213eecad205eba63cf5d8e98c7d42382","datavalue":{"value":{"amount":"+0.91942936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$E87BDBBE-EE3E-4625-85E6-435C80173CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b47d5008fb5444114c966ed6f511fa02db28fb","datavalue":{"value":{"entity-type":"item","numeric-id":4790400,"id":"Q4790400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eca6f9653aa504c5a0cf24ebeb49107e33a4d81b","datavalue":{"value":{"amount":"+0.913497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$C3F6A071-C950-4491-A7EE-2792A0FAF8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ede333e06f1da3162b3a541fa4bbf91926fc13b5","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d80c80de18eda78135c2d39551abae23be6ae4","datavalue":{"value":{"amount":"+0.9134969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$658E512B-EF00-4A65-B9F7-04131976A9D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d2414746d0c17a096536954eb7fca1268bd6b97","datavalue":{"value":{"entity-type":"item","numeric-id":5444711,"id":"Q5444711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d80c80de18eda78135c2d39551abae23be6ae4","datavalue":{"value":{"amount":"+0.9134969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$F6B8DE1D-362B-4C96-89A6-66E9A1A7443B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3f7c93d713abbc3351371e7962089974f86353","datavalue":{"value":{"entity-type":"item","numeric-id":4390867,"id":"Q4390867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47d80c80de18eda78135c2d39551abae23be6ae4","datavalue":{"value":{"amount":"+0.9134969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$7821292F-1F02-4F73-B62E-0C91AB45293C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2277ff7c41191c25c17b3cafdb32706d5effd7a","datavalue":{"value":{"entity-type":"item","numeric-id":4010371,"id":"Q4010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51b2cb26103ae73d513a22a4dc1675df46cd524","datavalue":{"value":{"amount":"+0.90894884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5738904$C057C3F1-C55D-4B5C-9774-033172ADD52F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5738904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5738904"}}}}}