{"entities":{"Q3003346":{"pageid":3014070,"ns":120,"title":"Item:Q3003346","lastrevid":79705787,"modified":"2026-05-06T14:31:45Z","type":"item","id":"Q3003346","labels":{"en":{"language":"en","value":"Hoare logic for higher order store using simple semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900219"}},"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":"Q3003346$2EE6F301-94B7-4F6C-B2DD-D35DC71A4108","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50050be49657f436b5825e1ce8e8192415350854","datavalue":{"value":{"text":"Hoare Logic for Higher Order Store Using Simple Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003346$01BE4C2F-7DB4-4B2F-97BD-8A8882BF68DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b05693eb4ee4a4e074e42af69f14d435d499522","datavalue":{"value":"1326.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003346$9FF0BE1E-F74F-4F10-828B-C93514925EAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6995f11a570909b32da13058478093eb7a798f7f","datavalue":{"value":"10.1007/978-3-642-20920-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003346$6CC36761-F5DF-44BC-B36B-F83E0BABCB78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003346$7AE0DDF9-C99F-4647-9BC9-CE766C3621B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ed383584163989cdc199f2dc33d683a90414662b","datavalue":{"value":{"entity-type":"item","numeric-id":2915012,"id":"Q2915012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003346$95366EB4-76DA-4E8B-A09A-D377E1625AEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003346$5916CA1B-52EF-4ADB-821E-6B73984A8C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003346$AF6DB90F-4090-4191-B1A3-B3049E7BF414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003346$772730FA-E9FA-4605-B8DA-121863751A31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f0e27bee52f6b2c2b5821f97c0c2cebf7c510af","datavalue":{"value":"5900219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003346$DA493971-3358-4920-8A67-0D29D69AFCFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b4e448ea1371d66daba30c4600aa040e4e43e9a","datavalue":{"value":"higher-order store","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003346$2AB17DE7-BFFC-4852-9CCE-DC3972FAEDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003346$B89C94C1-6729-4AC9-8E05-E96363F04407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b4e92a2f0780a3118ab4609aae97a2a0262059","datavalue":{"value":"modular proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3003346$5ABE76A1-99BD-4F1B-AF82-F3000F308D6E","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":"Q3003346$0A694EED-8D59-46CE-A176-5D7FAA723741","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfe9778e25f53c4696e1247b371d949ac4f7f37c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20920-8_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003346$E860B42E-2870-46B5-A606-27581E789AE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"724103fe96fe03b1d6bcbd926cce5493eaa5aa50","datavalue":{"value":"W1517654114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003346$28C6FF53-383E-4268-9D2C-E0E097C0671C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"377b1d5502759ebc115a62ad833eea695690908f","datavalue":{"value":{"amount":"+0.8877570033073425","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":"Q3003346$867BCC34-E672-417F-AB98-F0556D0C4F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21efc034af96e008d34a3eb4aa44cfdc5225fde5","datavalue":{"value":{"entity-type":"item","numeric-id":287265,"id":"Q287265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb5935f5ff1bab22bb548012838b5934046184c","datavalue":{"value":{"amount":"+0.840071439743042","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":"Q3003346$91F38A3E-29B5-44AC-AE04-D89BBC927CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb5e80290f5edb83ca9f5192b55855c9c9835e51","datavalue":{"value":{"entity-type":"item","numeric-id":3519513,"id":"Q3519513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d4b8e82b781fc859ecb8e97380b5bd30f8df9c6","datavalue":{"value":{"amount":"+0.7942769527435303","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":"Q3003346$A73690B6-3900-4722-9912-73FC37622876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe8948a2efa99f04ff097351e554f04c02771d0","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"795c8c055e10ff10d77d060105380917b665ef45","datavalue":{"value":{"amount":"+0.7836322784423828","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":"Q3003346$443C92F1-4C1B-44E6-97DE-AEA023D4DA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6087ddf13f015c6d6a1c1c797af62cbb3730ab2","datavalue":{"value":{"amount":"+0.7824031114578247","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":"Q3003346$D7FB4797-85D7-4F86-9C97-AA5929EDC8DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hoare logic for higher order store using simple semantics","badges":[]}}}}}