{"entities":{"Q3612008":{"pageid":5641914,"ns":120,"title":"Item:Q3612008","lastrevid":80815598,"modified":"2026-05-06T17:03:49Z","type":"item","id":"Q3612008","labels":{"en":{"language":"en","value":"Fixpoint-Guided Abstraction Refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5522592"}},"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":"Q3612008$A96036B2-A144-4D1D-A1F9-087E93186BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b72ae37afb4fa28fb0e71893c9883cfd2f0ab35c","datavalue":{"value":{"text":"Fixpoint-Guided Abstraction Refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612008$0B5D73FD-C804-40FA-BF6A-DF9142392627","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8ad68a1cdf1b4f83819d7769e1fe600619e25e2","datavalue":{"value":"1211.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612008$06139721-A1DB-4B9E-9123-89CE060FCEC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56a58c62af107464687cddcc0018cc0f46462d84","datavalue":{"value":"10.1007/978-3-540-74061-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612008$F315E9A0-E3BC-47E6-89F3-1A3E73969116","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66475c89deaa1b82e2a733011ec9769bb2327168","datavalue":{"value":{"entity-type":"item","numeric-id":655408,"id":"Q655408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612008$4553B758-91F3-4E14-B914-8F86E11B49BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612008$1F56D3AC-C482-4391-B1F9-143611E00B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612008$16C655F8-A27C-41AD-887C-D8E304CB82DB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612008$4A84EB03-54FF-400D-B991-D5B03C6B54BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc5b863e9c4f72af24ca9701a767310d5b89836d","datavalue":{"value":{"time":"+2009-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612008$78AA367D-D315-443D-A6A0-21ED2FB0E46D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612008$3BF59F7B-B97E-4F59-8A40-03057F350398","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae5dabf0c13c937b73154b3f1aa26ff317f326a0","datavalue":{"value":"5522592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612008$D16FED7E-4FC5-4FD5-8179-340D43602982","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612008$9000F7FB-D74F-49E1-9186-29A6AA5165A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612008$47A18C1F-B99C-4C2E-81D7-663EF78BC12F","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":"Q3612008$E97335FB-69D7-485B-8B87-C62C947FA5E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cca5c5d1409d8b4bdd1cded6a3d5258f7de93e41","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74061-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612008$E2676222-FFD2-4EF7-833F-A1FFCE0AE32A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4fdfea961d778195affaf9fbaae267ae8a14f6eb","datavalue":{"value":"W1514640333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612008$05C01173-972D-4920-A3C4-8311E93D73BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd3417357b4cb83cc52718350f3ca7e09ea7f585","datavalue":{"value":{"entity-type":"item","numeric-id":5452721,"id":"Q5452721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ea0b693b23a3ba4896dad9188094c3f7f08976a","datavalue":{"value":{"amount":"+0.8543945550918579","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":"Q3612008$E227DB82-4BD0-445B-98A0-396CE7FC2E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07c9093e060847b9e13d15dbfc9b71e30450b11","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ec6ac469b10817e4709d4e14448660dc6f2c58","datavalue":{"value":{"amount":"+0.8030211329460144","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":"Q3612008$15685657-3DB5-4D82-A2F7-E0D6D762396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356609ae3d55d23c02586fd1f83879a316c099d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626da613e1c0af8cf818d2262ba200df7ac977b5","datavalue":{"value":{"amount":"+0.7958298325538635","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":"Q3612008$8636C3F3-BC90-4C11-847D-A2278D7494F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8d890d1f5b1f1f49c7b957ac03411862b636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3637352,"id":"Q3637352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3925a06e725f221b746f8e6e7a08e2b5b4b2a01f","datavalue":{"value":{"amount":"+0.7880593538284302","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":"Q3612008$9E957441-4E02-4CD0-A27B-D6E1470AC59A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e55007e39b2ec350cc88cd6063e1a5ba81599","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"059b7e8d17f5be622eacb0fc201392565c777942","datavalue":{"value":{"amount":"+0.7874210476875305","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":"Q3612008$828119FB-5052-441E-94CE-8C07D642E703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fixpoint-Guided Abstraction Refinements","badges":[]}}}}}