{"entities":{"Q2284176":{"pageid":2294919,"ns":120,"title":"Item:Q2284176","lastrevid":43819221,"modified":"2025-11-14T18:41:43Z","type":"item","id":"Q2284176","labels":{"en":{"language":"en","value":"Specifying program properties using modal fixpoint logics: a survey of results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150807"}},"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":"Q2284176$B6C5A61F-AE61-4A47-99FB-A2DAFC23E51D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfdac4ce3801ff9c457dfe3d87be400ffaa113f7","datavalue":{"value":{"text":"Specifying program properties using modal fixpoint logics: a survey of results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284176$A70D9274-E2AD-4FA6-9C31-73FC23B1A706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2762544cc6f03785dba124194fbe071935ff353","datavalue":{"value":"10.1007/978-3-662-58771-3_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284176$22B92A70-AB95-4C82-9E97-35D298A5F6DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284176$92811AFC-C6B4-4E93-85B9-BB2ACBD3DBF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284176$53C652FA-1309-4F7A-B503-0CF2BC0F9203","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284176$91F085DD-F69D-40AE-AA1B-A74B44EEC5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284176$CDD48662-974C-42CD-B9F5-F9755101F033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ca4bb257300bbeef02566148b4de2376dd198e7","datavalue":{"value":"7150807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284176$16850FBF-90D1-4926-9911-46B6C37C398C","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":"Q2284176$009D99C0-505F-47FE-A853-1AAE4934F6FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e17dd93a57e4c179e8bed986c8304b38c10f0fe7","datavalue":{"value":"https://doi.org/10.1007/978-3-662-58771-3_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284176$EB1060C7-36D0-411D-A4DD-1BDF724637EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2604308c3933b54c02e3f917de34909e907d8e13","datavalue":{"value":"W2912727057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284176$A5F9CF52-58E0-4053-95D9-6CA764BD6AF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beac1a2789e0b5a4281a7f96134071f404f043bc","datavalue":{"value":{"entity-type":"item","numeric-id":2759366,"id":"Q2759366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1666949074ad194d9a3199a5725684e0131f5ce7","datavalue":{"value":{"amount":"+0.9146111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$072E6FC5-1EAA-4312-8E3E-158E73D461F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9edea8ec4d70547c745d0bf7258d9082466327f3","datavalue":{"value":{"amount":"+0.88531816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$A9CAA50A-B445-461E-B450-240178A86803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ebe357397e139e529ba9b664ef544616600ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3043798,"id":"Q3043798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa7fef6096ba1e9afe47a40872329587f231cba","datavalue":{"value":{"amount":"+0.88080996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$DDDB643E-1B2E-44AB-8441-CA70CB2E5841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e2afa8a8b8ab30110e5749895017a16fbc7603f","datavalue":{"value":{"entity-type":"item","numeric-id":3746877,"id":"Q3746877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac84bb32b76777379df6d963f3d9a1de0575dd1f","datavalue":{"value":{"amount":"+0.87896085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$D1A4436E-43EB-4D52-B12D-13DB21BADE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a55e94f6099ffc982216ba04842319b5e4c428b4","datavalue":{"value":{"entity-type":"item","numeric-id":4454845,"id":"Q4454845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8ba41a041b6e2f89c203f95734cb61d09b3779f","datavalue":{"value":{"amount":"+0.87663555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$5B15C5F2-7F01-4D42-B14E-4CE3AB82C682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62914308c0631b8c8027cd93d5a4c76e0e98147","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfb6d38e31929bedc9030808284a8448e3fa14e","datavalue":{"value":{"amount":"+0.87422895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$FB507088-CAB2-44A2-BAEE-F7C729CCFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982e6f58388861cd999ded83376c67f25ff648df","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9be6c2c61bcda09424b4330920654a5469f1ac","datavalue":{"value":{"amount":"+0.8699137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$CDEBC526-1265-4A07-9FAF-9C3C7C9E5DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c01b01210d82eed6ea34f27ec2c7c76446fbdd","datavalue":{"value":{"amount":"+0.86977315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$8F4436A5-6298-4F6F-B3A8-FA1C79D68B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce8704f0d31fa877a102d6228c4e3ca9bb2f92e","datavalue":{"value":{"entity-type":"item","numeric-id":3749041,"id":"Q3749041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f9078ce5af03b600d11ee9fcfa1a0c0b596cd7","datavalue":{"value":{"amount":"+0.8685749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$250AE781-B23F-4D8D-950E-860F93B0C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0257ad22f725b477ae43f1a68278b432eb395209","datavalue":{"value":{"entity-type":"item","numeric-id":3326827,"id":"Q3326827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d1fdb3eb972a963b58f064407f3bea241b8e3b","datavalue":{"value":{"amount":"+0.8680104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2284176$6E749644-A282-4F81-90F7-42B73F06606D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284176"}}}}}