{"entities":{"Q5310681":{"pageid":7340255,"ns":120,"title":"Item:Q5310681","lastrevid":41669348,"modified":"2025-05-07T00:04:54Z","type":"item","id":"Q5310681","labels":{"en":{"language":"en","value":"Predicate Abstraction with Under-approximation Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200151"}},"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":"Q5310681$86684DCD-62EF-43E1-B3AE-177674CEEB72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"009f93331bf1b76b2cf3c780a6167c379381c530","datavalue":{"value":{"text":"Predicate Abstraction with Under-approximation Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310681$1CCF21CD-0CFE-4FB9-AED5-D454145E590F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb32261fb23853664ab72afb13bf6e706e60023d","datavalue":{"value":"1128.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310681$CA4BEF14-E068-4DE4-93F2-EBECEF21ADF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64ff4eceec5e63cda579ba72be4d7302edd53d42","datavalue":{"value":"10.2168/LMCS-3(1:5)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310681$36EE13EB-4CEC-46AF-B623-FD58314D38EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea1ae1e223d6edc906d962ce069d2e155a87ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":3408486,"id":"Q3408486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310681$85876644-9FC3-4B94-8C01-F68E104C6353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"04935240de55a949343a0104f6137af940dc941e","datavalue":{"value":{"entity-type":"item","numeric-id":816188,"id":"Q816188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310681$D998EC84-C22E-407E-802A-890118882BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2309e6110ac2efa5167ce01726a2626b32a049ad","datavalue":{"value":{"entity-type":"item","numeric-id":934702,"id":"Q934702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310681$1B39927A-9B3C-482C-AACE-BB0BFDF5FC63","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310681$462A6A79-711C-4708-8318-B9929B4CA571","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310681$9B59993D-AC63-4397-B6E6-4AA8DAB6F0AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310681$4B3FC1A3-B78C-4643-B539-2CFE696A7F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310681$44C6EF86-3BFA-4E1A-8DC6-4D9AC85A2DE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2eaf87e4020b6c5dae0f3720aafcd9a5e4aba5b","datavalue":{"value":"5200151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310681$C0DAE36C-A935-40D9-9FE7-9FC23649EA0B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0a1367a5ea2cd5c83ae5b11a0c101245ae190595","datavalue":{"value":"Q62039406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310681$C673B419-5B8F-4ED1-BC26-508EE818F455","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":"Q5310681$EB1E0F93-8615-4688-A13E-618C09748E17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f665c572367093997ece4b413563438c29d28d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4571129,"id":"Q4571129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb318eadf0c49ac875bfb3f078426eefb34d570","datavalue":{"value":{"amount":"+0.93336666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$8743B9B3-E13A-4E1D-B97F-07ADA3EF89EA","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":"1a74bada8e1d66a3aa26e5877720d63dbd6eea24","datavalue":{"value":{"amount":"+0.9234472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$2681A2C4-9056-444C-A47D-AEB27E13E4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5770f880e2e730cacd433f9d4db01a8e6a8db9a","datavalue":{"value":{"amount":"+0.9067609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$2DE2014A-6F62-42AE-A3EE-ACF3EDF93CFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5770f880e2e730cacd433f9d4db01a8e6a8db9a","datavalue":{"value":{"amount":"+0.9067609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$9D2448CC-E006-4DCB-A36E-2E60A4B46406","rank":"normal"},{"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":"fc8e39b13d8ba598680867d75f6c2739cf442bf1","datavalue":{"value":{"amount":"+0.9036071","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$3A33FE71-3F8B-4738-B601-5E512EE01E4B","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":"9ff69d7e544885dce0832cc0eb6a6b42d6bdeef0","datavalue":{"value":{"amount":"+0.9029931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$AC287A54-B16E-46FD-A914-AAC4A7DB1173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c28fd55a29f6d32a1c55565c108241b7d263d37","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf019c9dea2fac4ed5cdf851eb6d52f9803c613","datavalue":{"value":{"amount":"+0.899933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$652B46A5-9E68-47C7-8255-920F7ACE06E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d84554ebf41d0cd4d1e786abcbacf5b6ec0ec0","datavalue":{"value":{"entity-type":"item","numeric-id":3522920,"id":"Q3522920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"288a19bbd501db9123a101380616eb734f3813c5","datavalue":{"value":{"amount":"+0.8936692","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$2D20672F-669C-4F05-91B9-A72A1F64CBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ac78345bf4b123188e46cf39b9cc0686336332c","datavalue":{"value":{"entity-type":"item","numeric-id":5310686,"id":"Q5310686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523f5e9bdde1d488fe4ebcde816f0b26dd40826f","datavalue":{"value":{"amount":"+0.8905713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$E0118651-8748-41E5-9647-793CC498B705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b91559bd30f3b8b0605475a027817190720da81","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523f5e9bdde1d488fe4ebcde816f0b26dd40826f","datavalue":{"value":{"amount":"+0.8905713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5310681$DB52E540-8747-487B-8743-A1CC5DB5241E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310681"}}}}}