{"entities":{"Q1930180":{"pageid":1940922,"ns":120,"title":"Item:Q1930180","lastrevid":69324363,"modified":"2026-04-13T06:14:39Z","type":"item","id":"Q1930180","labels":{"en":{"language":"en","value":"Loop invariant synthesis in a combined abstract domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6124238"}},"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":"Q1930180$77942B0D-2B24-4027-955B-F5F20D948BA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2be3ae629fba43c70a2fef5d6e91e6c9b032727f","datavalue":{"value":{"text":"Loop invariant synthesis in a combined abstract domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1930180$01530A06-B863-4CDD-8FD2-EC07CFAE3E4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5914e627b0c87bf945b3c9687e3af7f11353899","datavalue":{"value":"1256.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$8F34B7E7-12F3-44B7-A77D-D3ACDF986632","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$31B9D2DF-5088-40FB-9696-158FFC7B9EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4c46ae2cd65a679608f350a393ed0f1acbebcc9","datavalue":{"value":{"entity-type":"item","numeric-id":604388,"id":"Q604388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$BFB7690B-4D92-4C52-885C-81753975A6CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0231ff2bded767dc0200d21edbb86fdaf62bd4a","datavalue":{"value":{"entity-type":"item","numeric-id":604386,"id":"Q604386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$9C185327-DA57-4D23-88E6-648E3419756E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7350aed0b0267db3934820cd5357095f0cb6b7b1","datavalue":{"value":{"entity-type":"item","numeric-id":238508,"id":"Q238508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$C41A0D4D-B072-4F83-81E8-67F9DA6A1257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa8972201d7d84d4437d2b00f83963a037f2b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":217070,"id":"Q217070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$55B7CA34-2A0D-4580-A12E-8EB123810051","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$AF5C5157-6CE1-42FD-8DAF-E5B90C0CD126","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f73384387181e740d0320d4931fc1cd66aeb99c","datavalue":{"value":{"time":"+2013-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1930180$69BD42F2-1EE7-4CE1-82F6-F61D3D9D98E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$EAD0C3B1-5477-44FC-80FF-8D4415484D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$51F796B8-CEDB-4D3E-A7C1-2F0D6CABC372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$86D99C07-68CD-48A6-9E9C-31C25D83D0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$AB6362F9-D94F-40C9-8852-0C6D52F3E13B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8de468d1dce6167e207401fb19cb3b333f427796","datavalue":{"value":"6124238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$AC1426E0-9885-4A9B-A20D-7DCF4272F6AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa0a4da572274ad55899bfb2fae87dc4ba0cbad2","datavalue":{"value":"loop invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$2BACE52F-BBB3-4C92-9A62-1AD53B0B33D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d41984c435978ee426d0aa6ec382b8c1801ca65","datavalue":{"value":"fixpoint analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$276BAFD2-FB5B-47E3-A733-CE9BB0AE7B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$923AA7C2-AE71-4241-BB24-B43E342534F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20c51e22a0ee4048d5e60ba15ed52b3efaf7ba5","datavalue":{"value":"combining analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$DF2387F1-F287-467A-8516-F11306189F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de129244198698b13a77bd931d64d05e13de4a9c","datavalue":{"value":"shape analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$FA29470D-276B-46D1-9F66-65E536B3FED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c63f4b05707b550cfb67a57522ffdf0a6ea1fb73","datavalue":{"value":"numerical analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$33419E7A-7ED4-4016-B4C4-C26E51991C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930180$6D429B6B-BBE1-4160-849E-EE1907545205","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930180$11F2AD24-AC1B-4B05-A367-BA0827DB4FDC","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":"Q1930180$DED51A48-FDDF-4DE4-A62F-ED7C9033B09F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70f3d3119c88d21888be0f1a08658beb6ec8ddd7","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2012.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1930180$2C828E12-5A04-4AAB-880E-085AA251FAF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c777178cc7ab4ec84d52b656b46ee317d1116ab","datavalue":{"value":"W2146373156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$4B8B4B15-7ACF-43A3-AFBE-75973E1968EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83e4f72f051e17bb75ecd8642f3502c966961d6f","datavalue":{"value":"10.1016/J.JSC.2012.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930180$EDD019C0-84DF-4FE1-99B2-4610E6CD1E9E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df382d8d1b86451a6937787c5c53ef4f54c6c488","datavalue":{"value":{"entity-type":"item","numeric-id":2842643,"id":"Q2842643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a804bdf15269081ea999ef2bb1c24a6d042e09b","datavalue":{"value":{"amount":"+0.8842805027961731","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":"Q1930180$2AADD413-D7DA-4DAC-A008-2A76736F658A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d950c362d3801fde912fba8bdf9587069d04358","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a404981b8659af24852ededfd4d6b7e77d09e4e6","datavalue":{"value":{"amount":"+0.7624354362487793","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":"Q1930180$AAF50123-D1A6-4419-93A3-15B725CF1039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea93506793d7ae3e9f100eda6c9ed8d96448d9b1","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ea37c1dc9321ec2324596543be711671a5bd6e","datavalue":{"value":{"amount":"+0.7510450482368469","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":"Q1930180$89CD8D98-FC02-4E01-88C1-8132EC9641A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba2dd604750052f6347b1d760a77fa2c990e8d03","datavalue":{"value":{"entity-type":"item","numeric-id":5452612,"id":"Q5452612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a61e3f2008f58ddb5776a3640fa87c0302f7d2d","datavalue":{"value":{"amount":"+0.7378153800964355","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":"Q1930180$B1006473-7213-49FE-8B1B-A2B7237415EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7c0f25fdd29c1e3bb4670eec321a1ff4075728","datavalue":{"value":{"amount":"+0.7316669821739197","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":"Q1930180$2589276A-2E9F-42BC-B671-ADDF576C69CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop invariant synthesis in a combined abstract domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Loop_invariant_synthesis_in_a_combined_abstract_domain"}}}}}