{"entities":{"Q2986792":{"pageid":2997516,"ns":120,"title":"Item:Q2986792","lastrevid":85742123,"modified":"2026-06-03T11:20:46Z","type":"item","id":"Q2986792","labels":{"en":{"language":"en","value":"On the magnitude of completeness thresholds in bounded model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718075"}},"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":"Q2986792$E1E2F285-790F-4111-A07E-E943B420967C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f16b7f8e8ebf513201f917441f6e251a8d7fbc6","datavalue":{"value":{"text":"On the Magnitude of Completeness Thresholds in Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2986792$F19E6AD2-94D2-49CD-8B4B-32E8D0758235","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b48c4a1283230f6395a30d75613598058065baac","datavalue":{"value":"1360.68579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986792$E82D602A-5E75-4BEB-937B-6705D874E227","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a00c3fb1bc7eec63b1f1854c42f6a19e6003c85","datavalue":{"value":"10.1109/LICS.2012.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986792$DBB76C03-2582-4304-8A95-D20279F44E5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a98492ef135855940fc4c3047417452156ff375","datavalue":{"value":{"entity-type":"item","numeric-id":340571,"id":"Q340571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986792$45C89685-4E91-4288-9FA9-92F892BBBD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986792$FE2DA320-4117-4FEB-A19B-236291D21046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"661e9e35098991710b0d0d12df6c9b690ff93077","datavalue":{"value":{"entity-type":"item","numeric-id":391131,"id":"Q391131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986792$82241781-9C54-4DCA-8786-4C03B3FDBD50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"582a6c5adc14cfa6944ab3a3a801ae6337273c99","datavalue":{"value":{"entity-type":"item","numeric-id":2986776,"id":"Q2986776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2986792$AC4A03A2-7C2D-4BA4-B668-26A3A32D9876","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"daa85c3fca52a36a5bd491b86ad0a10dbad35089","datavalue":{"value":{"time":"+2017-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2986792$4B504B24-6A30-4F30-BA20-92902C858C25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986792$BB12FE9C-E9D3-4353-A2B4-FFA77E43EBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986792$BC366D1F-74C7-4A51-857E-5859A87E1E0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"852e2d9d68289d7723947966aa9955417dac5a23","datavalue":{"value":"6718075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986792$B3D8850B-D3F5-4B69-AD2E-132636CD7FC5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986792$E43F75C8-78A5-4886-AF1D-D82E7410FEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986792$B12B154C-D7EB-4966-BF47-0A6F21103740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2986792$11E8886E-17A0-478C-9C72-0E79FD7FFF9A","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":"Q2986792$7C273237-FFF2-4904-908F-A09F2D4455A0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"574b86581cc46edd3e00e84ec95d9ac8dadc2bbf","datavalue":{"value":"Q130991252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2986792$DFEE973A-7620-46D0-B3DE-2D1EBE627AA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fedad35241e8495bb7aa570aa3d36d5af21943a","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13152d4e57649308c191663870ab96eac5a0ebff","datavalue":{"value":{"amount":"+0.8784860372543335","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":"Q2986792$F66D9ACD-3EC8-4412-BBEA-58EFB4E22E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3fb68e231adbb74c2f5cf9faec77fee02e163c","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725fde8e7ef2382bdd517026418c68b1f5199cf5","datavalue":{"value":{"amount":"+0.8489668965339661","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":"Q2986792$FA1AD9DE-60C3-4CFA-8D35-D367BB2182AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f2888a04c22de2cbdc3c77ef029b327603a931","datavalue":{"value":{"entity-type":"item","numeric-id":3016942,"id":"Q3016942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"387eab71c775fd5969f402253c17e9b307c5ee24","datavalue":{"value":{"amount":"+0.7959124445915222","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":"Q2986792$CDF0B84A-98FD-4D82-A115-E88F68CD03D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c965cb7fcf567780c9245150aa0463a69923729c","datavalue":{"value":{"entity-type":"item","numeric-id":3600481,"id":"Q3600481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4332fa6092c95d3bc02849a62910e279130a457","datavalue":{"value":{"amount":"+0.7883496284484863","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":"Q2986792$9F0ADAB1-DC50-4703-9606-C7B443379F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a422cd9e465da40f4dad50100afd03c46d0850c4","datavalue":{"value":{"entity-type":"item","numeric-id":2945619,"id":"Q2945619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ec769cbae13cfcf618095e78373160d3e3f2cf3","datavalue":{"value":{"amount":"+0.7731698751449585","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":"Q2986792$4EBA6046-F0DE-47E9-9ABB-BA406B898A3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the magnitude of completeness thresholds in bounded model checking","badges":[]}}}}}