{"entities":{"Q3512491":{"pageid":5542395,"ns":120,"title":"Item:Q3512491","lastrevid":50405669,"modified":"2026-01-13T23:51:02Z","type":"item","id":"Q3512491","labels":{"en":{"language":"en","value":"Probabilistic CEGAR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5301106"}},"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":"Q3512491$059F73BA-7918-42A7-B7CA-E3798FA96E0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"164540d3d87b114a431107bda7cb598679641917","datavalue":{"value":{"text":"Probabilistic CEGAR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3512491$5B609F65-C858-4958-A165-E88134D6CB2F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3776698dba27d22080c03d690064bc23188a08","datavalue":{"value":"1155.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512491$CF093728-23E7-4923-A148-52333A573511","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"800e7724da2b4e8f8a4af49deddc3282227fea55","datavalue":{"value":"10.1007/978-3-540-70545-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512491$62FF78F3-A95B-4381-95AA-307BA91CA9FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d570ab9528618e94eac06ac4735a35751c2a1ea4","datavalue":{"value":{"entity-type":"item","numeric-id":236071,"id":"Q236071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$58F7BE8C-E7B3-4B29-AD9B-D5E44691B191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1c04c4d3aa82402df548239aa67b1fec7b261d7","datavalue":{"value":{"entity-type":"item","numeric-id":627127,"id":"Q627127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$E4C1AB72-6479-4860-BCBA-E826BB75ECE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$4E8E6705-478B-4C09-9031-319B6F7E7853","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$B412C149-74C1-437D-9A23-9F7D98C5FD1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe6d7edb29c3b9253535d2fc716f213464cdfbcd","datavalue":{"value":{"time":"+2008-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3512491$FEB5E076-049D-4595-AAD3-75551CFFDED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512491$0A80FF00-1724-49A9-BBD4-D8399FF3DF6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fcb0046a1bb4d09b72d020f94a4cd522c64143c","datavalue":{"value":"5301106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512491$DAEE6638-C2F1-440C-A0E5-F2CB44B1ADFC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$59D0416D-9721-4EE6-84B7-7E70074DCB51","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":"Q3512491$7DFC9F66-F1D9-4806-BC76-EEC4AD348EEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"396d188efa3a8f6487b67a3e9847ba7fa0dbb741","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70545-1_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3512491$92B7A641-D798-4FF6-B728-9E372BA0D241","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98b893633682ed95302dc3d333e0452bdf6b808b","datavalue":{"value":"W2913788705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3512491$B0BBB980-7B05-4420-A031-AEFD3C936F3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$35093B80-9C44-413B-824B-D874BC8534EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce71a5e212a8c5cd65d66580e9075eb5aa319ca","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$967340B7-7721-49A3-BE31-A540623CDECC","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":"Q3512491$1A1B6CA7-4C15-4C5D-AA92-7B1FCF4CB6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$5E97465C-AC17-463A-ADE9-18C11A1E6CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$DDB824D5-56F4-46AD-89A0-5B407A96C2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"080dc2a317ac2282f34ff9b2d843ed33fb8989db","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$A71CA3F7-1EB0-47B9-B75C-F305D5CD17D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6133d293bb8bfa149948ffdc9b0f276ef45523","datavalue":{"value":{"entity-type":"item","numeric-id":1186548,"id":"Q1186548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$E390A9FC-5810-4358-A02C-AB48455F62ED","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":"Q3512491$D8C214B0-6A67-49FC-9448-09E7991C4E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30979d60df1170827847b57833021188af6b113","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$1A89204A-CB2A-4B4C-B87A-11AEB02B87B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79fc7f17988ce0e0429ab759ddfd29ad9a08df14","datavalue":{"value":{"entity-type":"item","numeric-id":4813198,"id":"Q4813198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$AD526418-55B4-4190-9116-65AE56F78006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7f3f2f2ebce38bf116ec41928db66587659e692","datavalue":{"value":{"entity-type":"item","numeric-id":5429327,"id":"Q5429327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$7A49111A-FB65-49C6-8901-67D33BA1F0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96eeec6f235d21a7744312a54a3904016dbe38db","datavalue":{"value":{"entity-type":"item","numeric-id":5899037,"id":"Q5899037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$ACBD8D38-F8A4-4574-875C-36EB683A5E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42899df5b07f98507ca87f01b80430013eb00ad3","datavalue":{"value":{"entity-type":"item","numeric-id":4315289,"id":"Q4315289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$0FB66A87-A197-49FA-A2BD-061CFC2B82A4","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":"Q3512491$FF41F31E-D37B-432B-92DD-87E17A6E55EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c96fb590a8a14ff5629ca877091a92ef28bc5c3","datavalue":{"value":{"entity-type":"item","numeric-id":3768428,"id":"Q3768428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$F8B70FA9-F3AE-4633-8DB0-713ED433FB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3512491$9640934A-0AA5-4430-9C76-6A46BBF76FC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd906a9ab8709e04e5f8bf25406df6fd2ecf413","datavalue":{"value":{"entity-type":"item","numeric-id":2946618,"id":"Q2946618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed514a20ae29ae33e16f2cfccdcd2d453ab41625","datavalue":{"value":{"amount":"+0.8488056063652039","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":"Q3512491$A34202B0-145D-44F6-AC5F-7DED1D0C8D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4658c5e72a4c0ea75cbbf4d0f19e95055ca4e499","datavalue":{"value":{"entity-type":"item","numeric-id":3646262,"id":"Q3646262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b79e17772d0d2d8696b731ddbe93ff53d09b6b","datavalue":{"value":{"amount":"+0.8136189579963684","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":"Q3512491$18B2FCB2-A6BC-48AD-9FEE-3542BB27FF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c88dc7aa8f7fccf9ba33d8a1bed9c20e8182d788","datavalue":{"value":{"entity-type":"item","numeric-id":3584923,"id":"Q3584923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbcc73cd071c5474da330ea26424b3b842acad97","datavalue":{"value":{"amount":"+0.7966797947883606","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":"Q3512491$F0172AE7-4332-402F-AE2C-3A0C69D69AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e0fff1b4bc3f8bda7efaf271f7270e4d54d584","datavalue":{"value":{"entity-type":"item","numeric-id":2291815,"id":"Q2291815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ef6233e0bd18e49ead7b0b34eab4604ad1b215f","datavalue":{"value":{"amount":"+0.7963147759437561","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":"Q3512491$9C3F9455-95C1-4197-9EBF-30EADA44EBD3","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":"3f04c82d702e256e437fce755fbda2db0738e5b3","datavalue":{"value":{"amount":"+0.7847203612327576","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":"Q3512491$9041B997-56EA-4030-B1A2-8A0A90EF6BFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3512491","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3512491"}}}}}