{"entities":{"Q3087967":{"pageid":3098682,"ns":120,"title":"Item:Q3087967","lastrevid":58108719,"modified":"2026-04-03T20:24:00Z","type":"item","id":"Q3087967","labels":{"en":{"language":"en","value":"Making abstraction-refinement efficient in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940028"}},"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":"Q3087967$64AD5ADB-10B7-41DB-B874-0FE922671A12","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4660e1dd12ee8a0eba1f23c628201e06c09d1e8c","datavalue":{"value":{"text":"Making Abstraction-Refinement Efficient in Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087967$28A6EC09-072A-4F2D-97D5-09EAB0069B26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b5a8f078f0c1d75309ae05813a4f712fcc03b92","datavalue":{"value":"1353.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087967$3805DAD0-384B-4B87-80D3-D20BEB1CA04C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ffc3c8a82b6fc81acdcf0fdc049a7bb78de4dcf","datavalue":{"value":"10.1007/978-3-642-22685-4_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087967$D5FE4477-86EC-4A14-B15D-672CA16082CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087967$285A4577-4F81-41F0-BB44-9BE30DD207F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087967$BD750EB5-9139-41C0-8E0D-1DADB5F48B94","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087967$240100D4-89AE-4478-BCC5-A42D33B0C82D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087967$3DE6928F-1442-4B3E-8D1A-B18AFC9E2E79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbacd855d6287ed9ef64d40ce4a4f9b5d43a86b8","datavalue":{"value":"https://arxiv.org/abs/1007.3569","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087967$8E7E2796-A03E-4FAE-BC66-5E8DA253BE61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087967$A8DE5864-AA6E-4D68-993F-79BA5BD34DA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13dd8254090f1fb93bf6591fa69ce118d366b71f","datavalue":{"value":"5940028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087967$B53B7A49-CDB6-42A6-A198-5F4DE0211DC0","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":"Q3087967$890A2065-6855-4C8E-8B54-1038A4FD2E3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"44cb3027dba3b76a8cf5369d1bf677cb0dc9f37f","datavalue":{"value":"W1680791603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087967$6BBC654F-9A29-4FDB-BD50-512F568F115B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcea35360f549dc4de2bbdf898ef087dd457f694","datavalue":{"value":{"entity-type":"item","numeric-id":690465,"id":"Q690465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94cca76910e22b862110a7c935dd604a2ccf61e6","datavalue":{"value":{"amount":"+0.9701761603355408","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":"Q3087967$F36A84FE-3E37-4D52-93B9-33073C6EC1E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dcaf33d8224da81af869beb2208957a94926492","datavalue":{"value":{"amount":"+0.823020339012146","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":"Q3087967$9EFD4E22-85B3-4213-91D7-9114F2321B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52f9d34f55ac2024fba6ecaaa315c1a42fa46bb","datavalue":{"value":{"entity-type":"item","numeric-id":5493216,"id":"Q5493216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177467cce56fee7bfb25035458c9e66ad1f1f793","datavalue":{"value":{"amount":"+0.8150652647018433","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":"Q3087967$3B6DD03A-125F-478B-923E-7083CB92459B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d24ad790023b81a7460d32ba1e6d7d86ffb5bd88","datavalue":{"value":{"amount":"+0.8110507726669312","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":"Q3087967$71559F68-F2CD-4247-91FD-72E59E1F91E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b158c8a82729b72cea5cca248a478da7d075f5e2","datavalue":{"value":{"amount":"+0.8048052191734314","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":"Q3087967$DE8B99EF-2FCB-44DD-BA4D-9034D0B51B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087967","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087967"}}}}}