{"entities":{"Q3763566":{"pageid":5793472,"ns":120,"title":"Item:Q3763566","lastrevid":51834944,"modified":"2026-01-20T06:55:31Z","type":"item","id":"Q3763566","labels":{"en":{"language":"en","value":"Effective Axiomatizations of Hoare Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4020447"}},"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":"Q3763566$AEFBD671-6956-410A-B4F7-4A55CDFC68A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"56fb292f3d08ed47b282a00778b3c7d4c5b6faa9","datavalue":{"value":{"text":"Effective Axiomatizations of Hoare Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3763566$653930F2-C09E-4558-A284-0894CCF5C735","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e40006001b0bcbfa95861bb091bdf1e8ea3a8894","datavalue":{"value":"0627.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763566$78684A65-5757-40B6-A6B4-DA45AB0E51C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4df19421924c6ff282977a23b1075ab028f0f2a","datavalue":{"value":"10.1145/2402.322394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763566$AA191C52-BE3C-41F8-80FD-FE45D40FEF5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a6e36d9d587a56953e3909f37c87e2be24e3aeb","datavalue":{"value":{"entity-type":"item","numeric-id":583873,"id":"Q583873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763566$8B84628B-8A4D-4194-8B8A-C4C60E8160B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddea5ba0eeb9138fb9e2a8de5e2cddb8c80bf84a","datavalue":{"value":{"entity-type":"item","numeric-id":272148,"id":"Q272148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763566$F1421694-331A-46CE-9C41-D9931B022096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763566$FB8F80D5-30E8-4449-9963-102099120B64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3763566$974E9C0C-04F8-471C-AB16-881E7A826A45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3763566$A1B292DA-3A56-404D-9AF4-25FA25AF2205","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763566$10EFD62F-02A2-4FB1-9985-3F8DE1571279","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79ade340d68538c6d3cdb6193a2c8c6125e094f9","datavalue":{"value":"4020447","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763566$1EE6FCD8-B0F5-4326-97C4-DA301D9DD31F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015618b713ad99c2a99f063d6bbefb5bcfc38856","datavalue":{"value":"sound and relatively complete axiomatization expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$0FA4C224-FA77-4408-8359-8257F8A7197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43a33fa712b5ad34e0b9952788c1cab1c3096b90","datavalue":{"value":"Lipton's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$96035047-A6FA-4E88-8375-F6D8BD8BADDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$4A4AA799-4583-4BC2-988E-F5431A1CCC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdbf83437d9be239add16c891acf21b86f3e526e","datavalue":{"value":"expressive interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$0CF8F63F-6649-4930-BB95-E674CC81A924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc48089b178fc83272d27617ac839e89561a006d","datavalue":{"value":"partial- correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$EF008450-2E62-468D-BFDB-3C0F8303DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c0de96e8d0dd87ca8158fef92406196b37b5d53","datavalue":{"value":"termination assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$A064DB50-BD52-48DA-846C-E4BFDFD700FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b38447a3ea959cbe95310edeeb21e7ef6903f8","datavalue":{"value":"halting problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$905786FE-83AF-484D-A645-D2BED7FE2704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a814dce708ab809797360a8f01f39631656b7c90","datavalue":{"value":"finite interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$BF53B2D0-1674-459D-ACF0-E039DE414449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6efcd5bdb801686bb0b343789f33d306a58352e","datavalue":{"value":"total-correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3763566$EFC5F063-190E-46C5-AC0E-D395D0124BB1","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":"Q3763566$C426B40C-F811-4EA6-ACA4-F8A2A86C95CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"181e85f9fdb0f9cb8f8f115de0e02906c3c41127","datavalue":{"value":"https://doi.org/10.1145/2402.322394","type":"string"},"datatype":"url"},"type":"statement","id":"Q3763566$65A94C8D-C838-4D89-8984-29FFD7F57F31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0156aa9a920907d79aaa6da0b6f6f0f0eac9212","datavalue":{"value":"W2063113502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3763566$0A3897D9-7F7C-4BC3-95B1-5A7204225B0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033de07e3d56708ecacab644c5d61e90a196357","datavalue":{"value":{"entity-type":"item","numeric-id":3711743,"id":"Q3711743"},"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":"Q3763566$88E5621D-5935-4358-B16A-7BF2CD7D4195","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":"6994b6e5ead8f3bb4cb2eadac5b1dfcc6996a57d","datavalue":{"value":{"amount":"+0.8428801894187927","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":"Q3763566$021EAEF1-45E5-4DDC-9649-AA6A6B4A6199","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":"5f9a05db657e276a5343bc6ea39309753f444c05","datavalue":{"value":{"amount":"+0.824967086315155","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":"Q3763566$0DA57F32-A469-44DA-9622-EC2365DE5D9F","rank":"normal"},{"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":"3dcd3dbd63c870aeddc916554616d3a219fd54c1","datavalue":{"value":{"amount":"+0.8118398189544678","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":"Q3763566$88D60019-7DB0-45D7-BF04-DC7207899D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9357f030428601ed694758b55100476237598b8","datavalue":{"value":{"entity-type":"item","numeric-id":3765226,"id":"Q3765226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5c3d9002744836fa253d916c1dec3537b64239","datavalue":{"value":{"amount":"+0.8099061250686646","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":"Q3763566$3012AE9B-B062-4C1A-9FE6-A2D6C2364BC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3763566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3763566"}}}}}