{"entities":{"Q3172870":{"pageid":3183580,"ns":120,"title":"Item:Q3172870","lastrevid":85992707,"modified":"2026-06-03T13:15:56Z","type":"item","id":"Q3172870","labels":{"en":{"language":"en","value":"Monotonic abstraction for programs with multiply-linked structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5954748"}},"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":"Q3172870$EABF3670-A1E9-4256-8AEC-A23BAD52BE41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dce9032d5c3227c05ec3121b49c920a70832e19","datavalue":{"value":{"text":"Monotonic Abstraction for Programs with Multiply-Linked Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3172870$C60316B8-31A5-4557-B282-202C92DBC431","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4cea1c20c181e314621a616493d92718b996d58","datavalue":{"value":"1348.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$7E36DB41-966C-4CE9-B1A8-7DA851710BAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78305e2b248a68af937b0f2b76cce92dd2227095","datavalue":{"value":"10.1007/978-3-642-24288-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$BD68AADC-E7B9-4D74-A15F-2289C8CDABFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a75d1fd3e24727d5d5ad95de4882818fdb7a04b1","datavalue":{"value":{"entity-type":"item","numeric-id":2841993,"id":"Q2841993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172870$9B1C1665-5366-4A7B-A95C-F5F11366B006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172870$1AB42A58-AA26-4468-8B0F-D869BB1AC77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3172870$2BFCAFE6-9D3B-4B04-A9DF-DFABDFE5A11E","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":"Q3172870$BB51D1DC-5D54-4C87-B0A9-6D0B0C830171","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d9bd2d9b28ae12e022b2e08f4abf17c1216ac47","datavalue":{"value":{"time":"+2011-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3172870$017C9E38-3468-468F-98E7-9182310343AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$A48CD7A9-8541-4EFA-ACAF-EB98A996AFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$5DDBDB2E-2F04-4F37-8A62-84A6D2E7A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$8EAFBFB7-93C5-4C3F-BD15-93D973E8765E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aae4b43898b02c9b25434ccb276c7be8f3f492d1","datavalue":{"value":"5954748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$D96FBEE5-5ED9-43C1-9887-B8DA02A36F54","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":"Q3172870$07B825C8-58AC-45EB-8BCD-6715D24FB20B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"728ab860ac2f6b2e20d22e8e298cdc3b76c6ba42","datavalue":{"value":"https://doi.org/10.1007/978-3-642-24288-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3172870$5ECDFA35-69F5-47B8-B995-4535D432EDE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4ab534fe05c7ce56b2356d1f9f6125b40facced","datavalue":{"value":"W2203901048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3172870$62E6448B-B2F3-4F49-99F3-2124917CFCC7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea2dd295f99231d879a578fbc415779b0145aef","datavalue":{"value":{"entity-type":"item","numeric-id":2841994,"id":"Q2841994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c416a2de604a331897eae3558c83d36668842f0","datavalue":{"value":{"amount":"+0.9979868531227112","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":"Q3172870$F3B458E6-354D-48A6-9E21-3EC00A5E0896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84f21daf21253346d5fd3946a70e0683c5928c1","datavalue":{"value":{"entity-type":"item","numeric-id":3512503,"id":"Q3512503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1381b6636af1ed57ed33a83157fdb1371d7f3a1b","datavalue":{"value":{"amount":"+0.791337788105011","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":"Q3172870$0F58D958-2C01-4A5F-889E-752E3292B27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5291b9b1607e541e9d0488c090faa6f672eb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":5711489,"id":"Q5711489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b99c3bc007b39f5fb42f6e58d86024e61dc592c","datavalue":{"value":{"amount":"+0.7748201489448547","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":"Q3172870$DF9820FA-5C55-4077-B80C-17A40C18785F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"940c3a33a3076683d6f422e45b5d13fafa1aa8df","datavalue":{"value":{"entity-type":"item","numeric-id":3613386,"id":"Q3613386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb044150bd37cf6cf4c0c0c1ba2f8ff1c71a513","datavalue":{"value":{"amount":"+0.7715916633605957","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":"Q3172870$9EB2F820-C781-4DDA-823E-D60AF3DC7CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed86bfeb3c017556493245f5a8372a48e2d19d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5758098,"id":"Q5758098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605befb96b467ab1b8df82dd3cb6eceed9a258fe","datavalue":{"value":{"amount":"+0.7674131393432617","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":"Q3172870$E1CE3509-F4BE-4404-BA80-13DB8927EAEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Monotonic abstraction for programs with multiply-linked structures (scientific article; zbMATH DE number 5954748)","badges":[]}}}}}