{"entities":{"Q3400921":{"pageid":3411624,"ns":120,"title":"Item:Q3400921","lastrevid":80408558,"modified":"2026-05-06T16:07:47Z","type":"item","id":"Q3400921","labels":{"en":{"language":"en","value":"Program logics for sequential higher-order control"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5663813"}},"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":"Q3400921$ED444018-C65A-4D1B-8BD2-B2005019B1F2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f360660d32bcb8236367e6b38cf24ad46623ed05","datavalue":{"value":{"text":"Program Logics for Sequential Higher-Order Control","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3400921$B6F10435-3397-4C26-A71D-9D9F06B59E01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d132434bc2e69093dc45d0f0d975e53a546b254","datavalue":{"value":"1274.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400921$9E207C79-64D9-4A77-8A8A-D7D9E663F94A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b48d13e84f262b72042c82810977b47391ea67eb","datavalue":{"value":"10.1007/978-3-642-11623-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400921$AD26342E-7DB5-484B-AF7F-F60374B5F5FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d282958e04681531582731636278bb22489808b","datavalue":{"value":{"entity-type":"item","numeric-id":387993,"id":"Q387993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400921$721E6E69-F4D2-40E7-8C90-3C4C0722B45A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dead0a4f465a856a9668a57715bd30d3d7951a4f","datavalue":{"value":{"entity-type":"item","numeric-id":2894546,"id":"Q2894546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400921$47B3CE29-EB6B-49E8-B3DE-B951C3F06F7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12a65b7d3eabbb46878e927de404f33a8ce894af","datavalue":{"value":{"time":"+2010-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400921$FEAD1E5F-2D5F-47BA-8C3A-E7FA425FED04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400921$F3231EC1-615E-49D5-9C03-F6CB1422AA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400921$AD2F0810-12DF-42FB-8D95-3A9109E29D4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd9a2cb3dd43743fc7b271be81d62f1074f6b3cd","datavalue":{"value":"5663813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400921$15361F5C-CC56-42A4-98F7-E123F556AFB0","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":"Q3400921$E97A8501-704C-4A64-813A-2BB61351FBCF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c733125274259e6c588aa7e287ce249dc1d2cbf7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11623-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3400921$6026A13E-ED2E-466E-A680-C58EAB94D0BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b9a91757f31805cf1e262765d0fa2cbc255abc23","datavalue":{"value":"W2119916221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400921$19C24C5A-C1C7-487C-988C-7BE8AF461A76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df993a0de9f0f6da702c8596b3b4f08d09079716","datavalue":{"value":{"entity-type":"item","numeric-id":5244817,"id":"Q5244817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1efa4df03c1edc2d1ff8062f9acec459796e6609","datavalue":{"value":{"amount":"+0.8214718103408813","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":"Q3400921$E468AFF8-2121-4E0C-9167-ADF1E397368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c13034916854b58b7bf44dfbcff8d0f3f380639","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0080a9157ec2223c8fad30bbfe86993847e7f37b","datavalue":{"value":{"amount":"+0.7777402400970459","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":"Q3400921$CD298A53-713D-4B6D-A045-C5073DC769C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2100b422bb21b17977e053bf5509de51685db641","datavalue":{"value":{"entity-type":"item","numeric-id":5758044,"id":"Q5758044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89bff2dc23b4fdb5a57663a676cdada9fbfe092","datavalue":{"value":{"amount":"+0.7732182145118713","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":"Q3400921$CCE674D2-ADAE-419B-B7EC-C31A2338D569","rank":"normal"},{"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":"5a2e9691337740de1840b77e92078eee07a9d6b6","datavalue":{"value":{"amount":"+0.7687573432922363","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":"Q3400921$E6ADA57E-756A-4C96-8F1F-F147D5F4BB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49b85748a9f96ff27e054a570beedd9e2a6d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":444460,"id":"Q444460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee85e9b4ed20e4c6acadc017465bb5a26f2319e","datavalue":{"value":{"amount":"+0.7607274651527405","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":"Q3400921$224600BD-6EDA-4158-ADFE-F5BB6030C83C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Program logics for sequential higher-order control","badges":[]}}}}}