{"entities":{"Q3584923":{"pageid":5614827,"ns":120,"title":"Item:Q3584923","lastrevid":80766119,"modified":"2026-05-06T16:57:04Z","type":"item","id":"Q3584923","labels":{"en":{"language":"en","value":"Constrained monotonic abstraction: a CEGAR for parameterized verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776455"}},"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":"Q3584923$2987BB16-BFC8-4FEC-9CC8-814393D12627","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d898e1281b3d91f7cd1cfa75435fc42a608b0d67","datavalue":{"value":{"text":"Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3584923$C91273EF-6D44-4F04-A4AA-22152A23B1D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f87aa82a4b4994ddd2cd02cbde98bc0564d52d13","datavalue":{"value":"1287.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584923$4C40F013-22B6-479A-8A37-0CCC81E8C5B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8c4ffd45cf3e765134f260ae21573b364827c08","datavalue":{"value":"10.1007/978-3-642-15375-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584923$BD78397D-F278-47F8-81E0-3056DED05662","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$C2BBAAC4-853A-4E6B-81F5-63F53359E855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b90d9553e24a1f43d2ac6e846cb604300bf898","datavalue":{"value":{"entity-type":"item","numeric-id":198013,"id":"Q198013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$2C83B59A-A0B6-467B-8CBB-CFCD58152388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c037f0d1306d2af9203e29cd112727d9f4fb9216","datavalue":{"value":{"entity-type":"item","numeric-id":2796062,"id":"Q2796062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$1FED48D0-BCDD-464E-AF9D-F02BCE0D7BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c715c03e7b714d73de239e05cbc52210bd821daf","datavalue":{"value":{"entity-type":"item","numeric-id":1702934,"id":"Q1702934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$7DBBE864-57D2-4955-B666-CBFDEA113F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5db2b9505b07169ac2970e5fecc30e68f1e9e332","datavalue":{"value":{"entity-type":"item","numeric-id":1039840,"id":"Q1039840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$D1CB294E-6C98-475D-A786-1006A3217930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$2333223F-2C64-4240-9B58-B2303AD1865A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"405abd31eec1b567fb53a842d4fed5a014e7096f","datavalue":{"value":{"entity-type":"item","numeric-id":3584918,"id":"Q3584918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$66729D71-EBBC-47C1-958F-B037D168D73A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3584923$D3A57B32-050B-4714-8AB8-6CCE297C9946","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584923$DE881250-4422-44AE-B139-92BBAFB49719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584923$D85F1957-E2A5-4429-8F97-6785B4F824DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c33f1a852b862b2b8c974d82cd46e14765fbcf1","datavalue":{"value":"5776455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584923$E29C4775-2E13-4C82-84C9-71AD22AFE844","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":"Q3584923$3DF4036D-4F71-440E-8AED-32A74CB1FC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3584923$E539AB1C-3F73-4277-921F-68448FF22F02","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":"Q3584923$2CD3224A-D330-48FD-98E8-5A0843E6031C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"754d6224a98aed91fe3a42a0f84c1ae703e71d41","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15375-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3584923$7BB99EA1-5A7B-4820-967D-791A1170FE78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"415eb1e5337ea5d2af30edc57c5ccd1621cc8056","datavalue":{"value":"W1853246977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3584923$632DF36F-3A3D-4171-9700-9BD9E44663C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645d893a7875744c63d65efa51e508c50bbf6e40","datavalue":{"value":{"amount":"+0.8384361267089844","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":"Q3584923$D503553D-8D02-469E-91F1-A725E86FCE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74747c930fd16f41c41b115f19236c7f065dcbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70b93792132763209536d62121daae52f996950","datavalue":{"value":{"amount":"+0.8206143379211426","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":"Q3584923$B272B492-C3D7-42C5-BCA1-A6CCF67554BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f882e8c8c3f3b35fb5d6d6ebc7b6d3533c1972","datavalue":{"value":{"entity-type":"item","numeric-id":5505593,"id":"Q5505593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f84765c8bf5ff9c8023e1a764f53d088b1fc1c3","datavalue":{"value":{"amount":"+0.7971939444541931","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":"Q3584923$C5F8B493-85E5-450D-8DDE-4A4BB40AC970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48ed85000d694d87daf631567dfd347f73b7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":3512491,"id":"Q3512491"},"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":"Q3584923$791930D7-1300-4377-B10E-84B90F1CDB81","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":"6a25c603dc7004e00c8ae26a7f2d9df7d1669a17","datavalue":{"value":{"amount":"+0.7827125787734985","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":"Q3584923$05851FBF-497E-4103-9C39-D3D6D282FFB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constrained monotonic abstraction: a CEGAR for parameterized verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constrained_monotonic_abstraction:_a_CEGAR_for_parameterized_verification"}}}}}