{"entities":{"Q2291815":{"pageid":2302558,"ns":120,"title":"Item:Q2291815","lastrevid":57841170,"modified":"2026-04-02T18:31:23Z","type":"item","id":"Q2291815","labels":{"en":{"language":"en","value":"Partial predicate abstraction and counter-example guided refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7161314"}},"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":"Q2291815$AF7D6DAD-22AD-4483-B914-033E260F36DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9faaf1f6fbf5a7276e62792aa99d5494bee63e5","datavalue":{"value":{"text":"Partial predicate abstraction and counter-example guided refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2291815$BB0FAD1F-4F6F-4938-BFAB-C84E2FA89B08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ab91cef1251ec3e05fb8fff7fff93e98bd7fa8d","datavalue":{"value":"1494.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$BAC53995-E6DE-4A36-BB76-A903B05A8355","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84df6d0cdf6a56aa84e726643fed58817dc6e1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2291814,"id":"Q2291814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$5E9693A4-E386-4566-B5E6-6ADA1A4B469D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$4295E9F9-4FDD-474D-85CB-553239E4ECD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db01f1f293a86902f326559cf8c2d6c6f3d0ad08","datavalue":{"value":{"time":"+2020-01-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":"Q2291815$B34900F6-37CF-495A-82C6-4A99AABAC3ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f98ece16ad3a5f9e16a83d4ff915757d877a7ff7","datavalue":{"value":"https://arxiv.org/abs/1712.01734","type":"string"},"datatype":"url"},"type":"statement","id":"Q2291815$984F6398-2933-44F9-8713-945FCD2220F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$1A04983B-303A-4998-AEA1-63D5214B7C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$B6890D3A-6CB8-4BED-AE9C-297ACA441C60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36bcb358c11da5563dd66dc0f92205ed94c5c39b","datavalue":{"value":"7161314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$C26823B1-311D-4217-AD29-3AAD3745C7A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291815$7BD9439E-7708-423A-B880-95F211D03965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291815$1487E04B-DC8B-41E7-8227-BF04056F2827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96466b6724f085b9728efd592f367156ba94d07b","datavalue":{"value":"fixpoint approximations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2291815$0ACBC3DB-8607-43A5-8E78-585101BA58D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff8d721b29de79a699d23cbb86d8119387ea8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":26931,"id":"Q26931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$8D094834-0B62-4F78-A004-AEB6BDBF29E1","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":"Q2291815$2A61BA94-68C7-495E-8FD8-712671A3E2B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d003f11f7aede048f428bacd75010e98a73f0a8","datavalue":{"value":"W2963357686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$62F551E8-BF00-4D05-ABC8-E47AB85F6D30","rank":"normal"}],"P223":[{"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":"Q2291815$46933D82-BB0B-45F6-B38C-C6DD779F8494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89398ad3e2930cc547170fac6e41094053781490","datavalue":{"value":{"entity-type":"item","numeric-id":845244,"id":"Q845244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$517E66B0-E240-4D6C-8506-72119552FF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95e6cf81a9719e109afd90db5ba87e81f7eac23","datavalue":{"value":{"entity-type":"item","numeric-id":4571129,"id":"Q4571129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$C03E001D-AC4E-4302-8E11-F0ECD71AF6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$E32E430C-134C-453E-B1A3-669B3BF1FBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929f7e544511b2b63177183faeeced418480a038","datavalue":{"value":{"entity-type":"item","numeric-id":5900674,"id":"Q5900674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$D3A4C840-7C7B-4A3B-B0A3-3043288AED5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$09A6E002-D74E-4EC1-80D6-8DB0CF099DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$18A3863E-FDA2-44BB-86F0-3CDB1AE58DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$DEF1F960-C711-4EBF-B439-FB9266CA8DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5c6e7b0eb37ef56f1e2077a4894dc6f294127a","datavalue":{"value":{"entity-type":"item","numeric-id":5325852,"id":"Q5325852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$ABE67669-C474-499D-90FB-7E0F5CE65E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379ece3606eabbe1fbbdc5e7cdc7a3417d651daa","datavalue":{"value":{"entity-type":"item","numeric-id":4737125,"id":"Q4737125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$CB20B4E5-F3C7-4FE5-A5FA-3A536BCCD002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3bb918603ae315ee0224631b7326b49acf86c5","datavalue":{"value":{"entity-type":"item","numeric-id":5899073,"id":"Q5899073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$BA18E5E9-36AC-48F4-B398-28285FB39E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08bb2f5a5ebc73f0a575f25524296d953329a9c3","datavalue":{"value":{"entity-type":"item","numeric-id":5276141,"id":"Q5276141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$6DE469FA-43E3-4ACD-9905-134C852A0714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52399dbd6e9bc23018f1172efb05b548b6e91780","datavalue":{"value":{"entity-type":"item","numeric-id":4804901,"id":"Q4804901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$0881BC57-0618-44DD-A36A-8D3CB33543E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb19e18c12ddea2b553dcb695cb9473546265295","datavalue":{"value":{"entity-type":"item","numeric-id":4427894,"id":"Q4427894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$5BEA8F41-D4D2-4F98-A4C4-E7610F7EC6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2291815$9565F373-395F-4576-A3F7-7E2179E21ADA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e76d77267cd12e83a72c519b563ee665dd7f2159","datavalue":{"value":"Q128537623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$202E4AAC-D61A-4F9C-B08B-9141528CC5F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f86831fef59cffc88ddb7309367e91d9524c5a29","datavalue":{"value":"10.1016/J.JLAMP.2019.01.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2291815$AC779FBC-5E8D-4C7B-8D6C-0BD51DC50649","rank":"normal"}],"P1643":[{"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":"da49429ea39f0aae88073dac502140525982ede6","datavalue":{"value":{"amount":"+0.8268808126449585","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":"Q2291815$A49D3580-A39A-4110-8C17-978571DD9D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b7a8c6f01dfecc18f5236dd4a0db19a4b41985","datavalue":{"value":{"entity-type":"item","numeric-id":5899075,"id":"Q5899075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c201f5cf5e65ef583d3def49b778cdc5a87c4473","datavalue":{"value":{"amount":"+0.8062133193016052","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":"Q2291815$F8CA2270-4E34-4DE8-97A0-41944D4E96FB","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":"370ba853e20991c22ec9171d4af6cddc93d11510","datavalue":{"value":{"amount":"+0.8033025860786438","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":"Q2291815$32624F54-41EC-4D6F-A714-E6B687A6B696","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":"1c8619a0e01c2479ade3b5604ca50153529f66cb","datavalue":{"value":{"amount":"+0.7993428707122803","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":"Q2291815$B9328C6C-3633-4899-B698-7A9825D696A2","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":"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":"Q2291815$9479C8D1-3194-4AF7-A7DD-4A77F3B6136E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2291815","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2291815"}}}}}