{"entities":{"Q4636558":{"pageid":6666139,"ns":120,"title":"Item:Q4636558","lastrevid":58309071,"modified":"2026-04-04T16:11:31Z","type":"item","id":"Q4636558","labels":{"en":{"language":"en","value":"Relational logic with framing and hypotheses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6862039"}},"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":"Q4636558$2CA4F14C-4A00-4891-B24D-00382EFEF456","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa7964b0a0a3980729e98799fd73242cd9bdc392","datavalue":{"value":"1391.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636558$88ED471E-156A-4244-B006-F50AEB1A6D66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f34fe5b0fd83cb1c5e8ef43bf8fb3b8852cebeca","datavalue":{"value":{"entity-type":"item","numeric-id":859952,"id":"Q859952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636558$27AE9356-7789-468E-B605-7A4CC7F4D689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636558$C8F3A5C6-496E-4FF0-A4BC-AC8D5B87ABA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98c271972fc371c76c6e9d899839e7ebda22ac90","datavalue":{"value":{"entity-type":"item","numeric-id":1946990,"id":"Q1946990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636558$099AB87D-6154-4EC3-9622-74F936D8882B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3ac251e44e84bc30b6cb9875893b13ee454afd0","datavalue":{"value":{"time":"+2018-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636558$2D9E22A5-F154-4EA6-B657-B4C6F3973B69","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81c082f250b47a9aacf923f961e7a18d7917d1c0","datavalue":{"value":"https://arxiv.org/abs/1611.08992","type":"string"},"datatype":"url"},"type":"statement","id":"Q4636558$58053E7C-B625-49FB-8194-5139EC95C507","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636558$F7D4CAB1-C2E2-43B7-8F8A-91CFDE857E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636558$09D30B06-2D9E-4ECB-B6C4-60CC8F5D5C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636558$EEFD27F6-30E6-432A-ABC4-E737A1DE0A51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa9b728060c17ad0f55c5082dd46074af30bc7c4","datavalue":{"value":"6862039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636558$A3B2E51A-A764-4AE7-AC7C-5747C51CCA28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6bbfa4b42148e1a89c6dabdc97e8005fe5e2fab","datavalue":{"value":"relational Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636558$8B205CCA-0841-4EA4-B2E2-690F9536F6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636558$D9048603-3DE7-497A-A991-C5E03156ECC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d788ed076ff7452039931ec099e185e3815b3c23","datavalue":{"value":"product programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636558$CF2D5301-4101-4707-8DFC-61950BFEEEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be4dde536a3997ac9c5c6af20180c459225bc0da","datavalue":{"value":"frame conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636558$38B90CF0-8F60-433B-8C70-B3E10092FA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9216d5aae6f8873187b0caaf708ffb8e231eb6e","datavalue":{"value":"region logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636558$F0ED269B-F2F3-477A-B530-0277FC35C20A","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":"Q4636558$78190944-9D39-46D2-AF76-B9D439C24AAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"110d00a41984ae4fe0ece7b151a69268247205a2","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2016.11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636558$B077DC84-9E23-4E47-8487-1132B1C4826C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed27f131784e91e2db977464f9320c3291042a3","datavalue":{"value":{"entity-type":"item","numeric-id":879369,"id":"Q879369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de081cd841a7173c26d32760903ea9135339589b","datavalue":{"value":{"amount":"+0.8006036877632141","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":"Q4636558$CB520F99-0DF2-4811-A283-0BC93B849B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4392861c3eb71f2ca17be6465901766e073b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2374302,"id":"Q2374302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d55c51fe8cf5856668251c6e225bc07abf30c59","datavalue":{"value":{"amount":"+0.7869994044303894","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":"Q4636558$F0C6979C-2E13-4A18-B914-842FCA59D822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ded45e887ea185744e20a58699abb596f0374f","datavalue":{"value":{"entity-type":"item","numeric-id":3095237,"id":"Q3095237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2f01a0d27e0c5a7e9f98d3e7c83dd1055edb68","datavalue":{"value":{"amount":"+0.7827485799789429","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":"Q4636558$8F36EC1F-6E58-4715-9B61-FADB6BA7AEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f454abf275f8e58ce421c6247db6cd56c55c62d8","datavalue":{"value":{"entity-type":"item","numeric-id":3087994,"id":"Q3087994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f055b73c1a944eb657443979672232fc24ac39","datavalue":{"value":{"amount":"+0.7753373384475708","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":"Q4636558$082BE176-78D6-4AD7-84F8-8485028491E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63788981b7c866a3f5b42652f1cd9ec7cab3bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3204444,"id":"Q3204444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66af242214da9eeb8e9e05ed8b76cf1e7983e90e","datavalue":{"value":{"amount":"+0.7725533246994019","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":"Q4636558$AC315419-B5B9-4001-BAC8-DAEFF103D54B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636558","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636558"}}}}}