{"entities":{"Q2948549":{"pageid":2959269,"ns":120,"title":"Item:Q2948549","lastrevid":85142237,"modified":"2026-06-03T06:02:25Z","type":"item","id":"Q2948549","labels":{"en":{"language":"en","value":"Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6487982"}},"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":"Q2948549$1478BECA-FB15-4FDC-AE2A-0806858BDDF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea574497189c2d5e5a64b76b511118578507f05c","datavalue":{"value":{"text":"Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2948549$4EE731F9-6EED-403C-97AA-91123098A3FC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"238eb7c09adf80d443913eb59c9761b7a19cb77f","datavalue":{"value":"1459.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$FF5A19E6-8A64-4E60-A850-2FD13FE9986F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6ff730207456772189427251e976a7cee87bb52","datavalue":{"value":"10.1007/978-3-662-46678-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$4CC7F9F4-F243-4AC9-B6CE-37A07581D378","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1843352b6f444e474b458244b096b619e5cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2044208,"id":"Q2044208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948549$110834E8-B5BB-4DE4-8E62-70C9CE1BBFA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2948549$EA020502-703D-4DFE-888E-8776DB3890DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9cc25a3f929f7dc4cd6afff1695aa56ef6a0364","datavalue":{"value":{"time":"+2015-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2948549$FF367C24-606F-4B4D-A3EE-96E6550F8077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$8721E5C1-50CA-490A-8D78-6063E433DA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$35D152A7-2CAA-4500-851E-C54FE1848D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$5220B90E-1F07-45B1-B0CF-F0CD1E739C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$7663378C-A2E4-4091-B451-3B5FA5521A4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff87586a432e73d9e081719edc77acd3bb2b6901","datavalue":{"value":"6487982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$0728186C-9E25-4A7F-AF26-BAA40918F78C","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":"Q2948549$945B2251-C4D4-4577-91A7-B215623057E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c7d8ced9726bc887b9ad911f1bc6320cf4fc2d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46678-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2948549$166B971B-74D9-4F27-A6A8-2FAB734D757C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"398267129526c2d4f1a657b4f84f56df7a9b31a7","datavalue":{"value":"W324507974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2948549$A7B604E0-9E39-43AF-B3A1-0221E7865843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e12458522c0b85ec210392091f8bacb9f22c0ac","datavalue":{"value":{"entity-type":"item","numeric-id":2974777,"id":"Q2974777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c0e294c0e9884a050b35aebb47c720a15eb25e","datavalue":{"value":{"amount":"+0.98090225","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":"Q2948549$BFF74879-468A-407F-8EBA-3803FE8F4C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616776eb0c1c07140e105d4888c87eacb8c49d22","datavalue":{"value":{"entity-type":"item","numeric-id":851128,"id":"Q851128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c0d22b9a973b6d67c169c1eb843f9370afb228","datavalue":{"value":{"amount":"+0.8340401","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":"Q2948549$9B5B9F78-3E05-4362-8EA4-F66E9E47691A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d400d490482635f508c12a6d76f8b70fae90c376","datavalue":{"value":{"entity-type":"item","numeric-id":894440,"id":"Q894440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686b0eefe8518aa9643f82c830e8014b838d7a08","datavalue":{"value":{"amount":"+0.83001554","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":"Q2948549$BF4E4606-DF19-4E31-9E7C-E29F16D933B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91574d13fd6e5374a445f53ab5094f555d549705","datavalue":{"value":{"entity-type":"item","numeric-id":2863831,"id":"Q2863831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d760e71a197316533de7be14a0fa4d8e9c92a99b","datavalue":{"value":{"amount":"+0.8297445","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":"Q2948549$63EB39A3-868B-4197-A1AB-8C89ABE97C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0496bf5b26a1face8cf0d233be02dbd44a825006","datavalue":{"value":{"entity-type":"item","numeric-id":2016081,"id":"Q2016081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11eafea14c8d36d54c37e605c6445859bc9ec307","datavalue":{"value":{"amount":"+0.8244712","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":"Q2948549$05F79CF1-9C48-47C0-A4FE-129ECC414344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a1b58f43d73c57fc55d29ffcef359889a0c5b6","datavalue":{"value":{"entity-type":"item","numeric-id":3304133,"id":"Q3304133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d56594f8977e48e51751c61ebca5465fb9c7e7","datavalue":{"value":{"amount":"+0.81178355","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":"Q2948549$D9B18F0E-4F00-47AA-954F-B5C2D46252BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab410a8de82d45929a0b6543aa265e0e35a6b75","datavalue":{"value":{"entity-type":"item","numeric-id":1987514,"id":"Q1987514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d56594f8977e48e51751c61ebca5465fb9c7e7","datavalue":{"value":{"amount":"+0.81178355","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":"Q2948549$5B2F2740-0835-4B09-98CC-F696DEB1FE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d584fc572102d4791af42b5f644debddcd5746a2","datavalue":{"value":{"entity-type":"item","numeric-id":4898177,"id":"Q4898177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3f6d55f1636ea445992bd72fe2712b337e1471","datavalue":{"value":{"amount":"+0.8089189","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":"Q2948549$BAAB301A-4817-4A6E-B189-9FC92580F6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e518703f404cf1af48874303b11d87742b0afae","datavalue":{"value":{"entity-type":"item","numeric-id":5079747,"id":"Q5079747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002e2c2b7d1df4d18c53432b281a6d83e8ce0c66","datavalue":{"value":{"amount":"+0.806478","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":"Q2948549$B6BB99E8-9583-49D7-8603-1F04D23260B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e9104f9c22f76197e10143bbd74b17313d16c30","datavalue":{"value":{"entity-type":"item","numeric-id":908894,"id":"Q908894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848ff845f42a271658d4638b5af954240d937970","datavalue":{"value":{"amount":"+0.8064189","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":"Q2948549$E472986C-3361-4A2D-BDC1-16392096E0B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism","badges":[]}}}}}