{"entities":{"Q2827465":{"pageid":2838203,"ns":120,"title":"Item:Q2827465","lastrevid":52652108,"modified":"2026-01-23T04:53:19Z","type":"item","id":"Q2827465","labels":{"en":{"language":"en","value":"A configurable CEGAR framework with interpolation-based refinements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6641197"}},"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":"Q2827465$C5CE1C5D-3D36-43CA-B983-79DCFBD7E77E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b630482fefeb2189fae1d304e9ff6cf25040e8fe","datavalue":{"value":{"text":"A Configurable CEGAR Framework with Interpolation-Based Refinements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2827465$7386D234-7CED-4345-935C-FF371AC653E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed9a4611cccbf125ca26a5000c89d7cac38f4d7d","datavalue":{"value":"1347.68226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$904311AB-48A0-4230-8B2B-7E90BC219200","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c920b8f93c7e9c75457da87d8ac82f81779de0c0","datavalue":{"value":"10.1007/978-3-319-39570-8_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$1984193F-E8F2-4BEF-B32D-4FA56E9E2CD0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d55ed1eccf0c74033df0ea1863e30c55258a672","datavalue":{"value":{"entity-type":"item","numeric-id":2209547,"id":"Q2209547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$14D18646-075C-43FB-A8D4-746DCFEE524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efcc69b7f846cbdb8b197e4c2b509fbd5727bebe","datavalue":{"value":{"entity-type":"item","numeric-id":1683454,"id":"Q1683454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$6510BCC5-34E9-4FAE-BD46-01E29A54DB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ea6ceef3ce1a0bfb8053b2ffda2d5c16a41c9e","datavalue":{"value":{"entity-type":"item","numeric-id":510890,"id":"Q510890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$441ED418-C095-41DB-90F8-9F8EACF772CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32dc381fd422071be3266824655b7cf0738e9e6c","datavalue":{"value":{"entity-type":"item","numeric-id":510893,"id":"Q510893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$9079CC3C-4AA1-4341-AE36-66CA20FCB835","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e8e0f6f00e5973d13e51da0f168b1db06ae6cf95","datavalue":{"value":{"entity-type":"item","numeric-id":2827444,"id":"Q2827444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$EB1D246F-1127-4E95-8E5D-DF6ECA19B3AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1535619fd8f94633f3128b0ce8819699cf6d5d0","datavalue":{"value":{"time":"+2016-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2827465$04A8843F-DA9F-4464-9BB2-5D7D72909417","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21a12926ad414c8bd2395763fe3796156da0d64a","datavalue":{"value":"https://hal.inria.fr/hal-01432916/file/426757_1_En_11_Chapter.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2827465$D0C1B282-46C1-41AD-9FDC-FB947C6ED74F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$EC1DDEF4-6D78-478E-A8E4-C60F3869F2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$C34DF3DC-5FFD-4E05-B33B-F126859719FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7760bc5c17f61bc940b4160d10bc21af7bc1241f","datavalue":{"value":"6641197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$2B8136C0-D951-411F-A1BF-CC347EDBBB5C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$D70A8E75-911A-4FEE-B9AF-DCE388615E95","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":"Q2827465$7EB7C11E-E098-4A18-98E4-946304572F0D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0618a54e593d3f3dd3a104e9e2ebfbe646051c5a","datavalue":{"value":"W2474905024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$9E60210E-BE04-4FA4-A80A-D9CBFE947C44","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0d76c9c82ad7d08ee48b9b12added4c4e23d48b1","datavalue":{"value":"Q57086291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2827465$CE48D0B6-2CC7-4421-AAFA-53B56DCFF6E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be745c1e3c92f55b154456d6a9b2f6da7bdd3c7","datavalue":{"value":{"entity-type":"item","numeric-id":3508510,"id":"Q3508510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$254A8DD8-C34C-434D-8BE4-8CB3904BBB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$6DA71518-EFC9-4983-A3DB-F6056624BCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$30A51AF4-A3D2-4749-821D-0DDC48BDC278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c0c766394f5e5ce0b65882d3a1a29dff11575f5","datavalue":{"value":{"entity-type":"item","numeric-id":2891411,"id":"Q2891411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$7DF7A7F3-7FFA-4C10-8CD3-4B9231AC072B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4e94238a6a5ddf3dd15f03313efac1f027d9611","datavalue":{"value":{"entity-type":"item","numeric-id":3452263,"id":"Q3452263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$63D8B121-57C2-4DD7-8743-2525F641A8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$E06B58D1-93DE-4607-A599-933D8C6477AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$B33700BC-AC1D-4CD0-81E3-A6279BB4A46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f54bc0e2f92beb50e9c6902664de23aa76daffd","datavalue":{"value":{"entity-type":"item","numeric-id":5703754,"id":"Q5703754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2827465$4AE1AB43-4C2C-47EA-8EAA-BA0A2E1AE72D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63e09fda22996e75f3158c29079f797b728da94","datavalue":{"value":{"entity-type":"item","numeric-id":2209549,"id":"Q2209549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421653ff10e89d4a7d3e148243413827a42f2a6c","datavalue":{"value":{"amount":"+0.7770788073539734","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":"Q2827465$4948D357-FAA6-4299-8250-2455CFDEE743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9fc369e46fc329463fea3bac110c1110bcfcc7","datavalue":{"value":{"entity-type":"item","numeric-id":5716541,"id":"Q5716541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15457bcf20f96f6bc0c1e356c56e3ec7d755f1e3","datavalue":{"value":{"amount":"+0.7205610275268555","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":"Q2827465$68357F85-EE36-4463-920B-3702BF5D5A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d85ba03971fe956c280b3779be1ee177de192bf2","datavalue":{"value":{"entity-type":"item","numeric-id":5429342,"id":"Q5429342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d62c175e581f952214b860f7639f2204a3acc335","datavalue":{"value":{"amount":"+0.7054190039634705","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":"Q2827465$20794B2A-6264-430D-9EF8-C4F6603C153B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fd47484c6b00d882d3302f057fc283b851b47a","datavalue":{"value":{"entity-type":"item","numeric-id":4930739,"id":"Q4930739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dac4bc3faf10696c364a26e2fa88319ba87af61","datavalue":{"value":{"amount":"+0.7020947337150574","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":"Q2827465$ABD8A20C-3BB6-40A9-8BA7-CB3D14EB035B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"845c6a34d5cf90adb1e6aba8bdc40b3cb575db45","datavalue":{"value":{"entity-type":"item","numeric-id":2852081,"id":"Q2852081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ac7d1ba12f02dc6224ddbe9130996818ca0b32","datavalue":{"value":{"amount":"+0.6976766586303711","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":"Q2827465$6A005D97-5857-4EAD-AB29-00919F355384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2827465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2827465"}}}}}