{"entities":{"Q3510827":{"pageid":5540731,"ns":120,"title":"Item:Q3510827","lastrevid":50400710,"modified":"2026-01-13T23:36:19Z","type":"item","id":"Q3510827","labels":{"en":{"language":"en","value":"Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297063"}},"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":"Q3510827$29DA8A96-BEAF-4021-AEC6-9DFC579B6AA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a52a88d369281a851286960bc3be54477213934","datavalue":{"value":{"text":"Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510827$7ED272B0-83ED-48EC-BFD9-0DA77BB9F334","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b325a1bbd9a055db42bd46ec67bf790e81bd99e9","datavalue":{"value":"1141.68489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510827$92AD9B42-7149-4B26-BD33-05B81878B171","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"224f607e5cfe2e2e392e6d51d6eddd3a0f6457d7","datavalue":{"value":"10.1007/978-3-540-75596-8_40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510827$2A9B3FC5-E3F9-4F36-8F70-0CFC627761B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e79e3917b686969062a36dbb52b8e139826c240","datavalue":{"value":{"entity-type":"item","numeric-id":3510826,"id":"Q3510826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$9244FA3B-69B2-4D20-8466-4BF13B01FAFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f931931f7a6c3335bb6ec662b18be7b87714162f","datavalue":{"value":{"entity-type":"item","numeric-id":2303499,"id":"Q2303499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$FC835E9D-5CCE-4FBD-AD80-AC97C5498225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7e9556fdf51de0d72d9c6d19343bfd14f1e1dd1","datavalue":{"value":{"entity-type":"item","numeric-id":728779,"id":"Q728779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$08D5F0C9-691D-4185-956C-86D998FED9C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$3926C0E5-31A8-4E01-9489-D767BD0FDE2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-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":"Q3510827$D525C266-C4A7-45F2-8817-BD874C6CD718","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510827$6E1D2F33-CA46-4491-9CE6-B684F3281CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36e448abc3bdbd01439c302d849f328f1274e1af","datavalue":{"value":"5297063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510827$EB39077F-7CA0-4946-94FD-A6C7DDEE6F6F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$DBED8CBB-FC6C-4CC7-9959-71299BCC02B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bee5cb1919919ea97c6e467c1806a0893670d996","datavalue":{"value":{"entity-type":"item","numeric-id":14223,"id":"Q14223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$7CD71504-3231-4ADD-B26D-4964AA4B1B72","rank":"normal"},{"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":"Q3510827$9524AA59-2C9E-4FA9-8B00-4A29CDE9E954","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":"Q3510827$18CB12AA-8A2B-45D3-9E0F-6F3FCDED92AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62029a8810fb056fced8cdc19711c24e7285cb18","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_40","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510827$95047145-3E50-4DED-83C9-5B4CEA87DCCC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c1939704647141d4b281aba01d06c6428c4b373","datavalue":{"value":"W2097257018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510827$91503C6F-9F8A-411A-A3AE-2BB1A2E97139","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$E40E0376-E4DD-4189-90F4-CD61F36451D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$987F6610-4621-4E4A-AB6F-4C5AEB1C1633","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":"Q3510827$6808209E-394C-4A2B-BEDD-99EEDE20AFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ded2d96ebea8516d3e49b9ca2d94fa3ed939d9","datavalue":{"value":{"entity-type":"item","numeric-id":5703774,"id":"Q5703774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$CF048AD0-6486-47B0-81CA-AE95B3D76CFD","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":"Q3510827$C973E234-765E-4415-B570-F16777DA226C","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":"Q3510827$6AA55196-F838-4738-87A3-FEDD6CDBB02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216a174f9b94581ec80a6e29700e89650d5819b8","datavalue":{"value":{"entity-type":"item","numeric-id":5096757,"id":"Q5096757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$F3D4AB04-F602-48A9-85D1-E589EAADF9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161c39c62daa5665a57aa85651fc82decea6c02c","datavalue":{"value":{"entity-type":"item","numeric-id":1888196,"id":"Q1888196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$EA2055A5-DCC5-4816-B727-FD1DB96E00CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a56b756fcb81161749b861092c1cc65647dd9b99","datavalue":{"value":{"entity-type":"item","numeric-id":2369884,"id":"Q2369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510827$D1851F96-0E85-49B3-A55F-47CC5B2B23A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ffa5ff30461cd51e0211fecdb41174f0327193","datavalue":{"value":{"entity-type":"item","numeric-id":5897055,"id":"Q5897055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84cac4312eed0e451059448322b684c3d6ac0b0c","datavalue":{"value":{"amount":"+0.8189026713371277","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":"Q3510827$98A9F8CD-C7B6-486E-B8BE-69EE74F0C6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb0e9b3dbee4bdb0590f729f77b329e548a2945","datavalue":{"value":{"entity-type":"item","numeric-id":5703774,"id":"Q5703774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55f25fe9fbfb4e586d2c384ec03f736c6c3f956","datavalue":{"value":{"amount":"+0.8018292784690857","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":"Q3510827$3CC19EDC-64A7-4554-BCE3-6F1D43DD1F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1373cabe5746a8dd10b6ff4b8db85586af5ee1cf","datavalue":{"value":{"entity-type":"item","numeric-id":5325852,"id":"Q5325852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae118c5993fe8cb4a71a9026dfcb82282e0febf","datavalue":{"value":{"amount":"+0.7967877388000488","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":"Q3510827$218CCC8C-8047-4E87-88B2-7D7EF74EF185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18177d8357753c8dd75456ee7c56c747f213d512","datavalue":{"value":{"entity-type":"item","numeric-id":5308422,"id":"Q5308422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2252db7909d836255e813421d94f88ca218eed67","datavalue":{"value":{"amount":"+0.7944186925888062","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":"Q3510827$7E4AA873-2D35-45C3-B890-E056E810AEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0326817086a8218b0336decea7c68feddafa52","datavalue":{"value":{"entity-type":"item","numeric-id":4417924,"id":"Q4417924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"353805f71bc8a66e1e23c51c3e6637650eeb0971","datavalue":{"value":{"amount":"+0.7814884185791016","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":"Q3510827$FCCF48C0-2CCC-4187-8911-CB20DCE5FB4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510827","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510827"}}}}}