{"entities":{"Q2849596":{"pageid":2860316,"ns":120,"title":"Item:Q2849596","lastrevid":51829226,"modified":"2026-01-20T06:13:13Z","type":"item","id":"Q2849596","labels":{"en":{"language":"en","value":"Making the most of BMC counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210242"}},"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":"Q2849596$8AB1E663-F9C2-450A-BA86-7B8FA80166E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a79be0ed85cd0d43d3c394f0ca9e0dfa2ecf600","datavalue":{"value":"1272.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849596$F5A65FDB-F246-440F-B4FA-2937AA25A931","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849596$F8F61C38-4E29-467C-BAE0-36C28A24D096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849596$6C16B239-8551-43FC-B1D2-01F105D6E1B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849596$59FAC349-1D8E-48E1-AA64-CA367DEF5903","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2911fa99f9875fc21d2c16c3a25680eefb6a0cd8","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000915","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849596$49DF44AF-2E5D-467F-9D08-DFA4D8FF68D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849596$C534C087-C39D-4215-B3D6-E85F12C9E8DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc93508aeddc1db6678535b88e2be2eb46cfe26c","datavalue":{"value":"6210242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849596$50FF2214-8CA9-4E14-A308-5BB149AF580E","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":"Q2849596$25A08805-DC75-4019-863B-AFD084D2DC74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee62d9a99170e824882165581e0cc8a77a90ea35","datavalue":{"value":{"text":"Making the most of BMC counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849596$9C7B30FB-969F-44EC-88F9-A35A35C863B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81f846aa30e52a70df0a2e343ee24c654a07c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":5308387,"id":"Q5308387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e130ad6505d23f358a2a3315c8ccfb45fc5e9ac7","datavalue":{"value":{"amount":"+0.8337582349777222","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":"Q2849596$8FBB12CE-8ACB-4EF0-91AD-BF5B1681A9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e881148389ff07b69f5244cb2e8befa5050543f","datavalue":{"value":{"entity-type":"item","numeric-id":5312922,"id":"Q5312922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145306378c1b176b6b2527ef34808f718bfac564","datavalue":{"value":{"amount":"+0.821776270866394","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":"Q2849596$C00CAC0F-7C8A-46A5-BB04-2DF24A7012DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256942cf2c028a1e575b6a31cef1482304605e52","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cefeb6e55db181534660a54071c0b5820a91c5e","datavalue":{"value":{"amount":"+0.7938364744186401","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":"Q2849596$72AC2D8D-FE92-4B17-8F80-39933463D587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3c0237bf17e873da72ef936df780a51b0dd890","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d47cb560d2f8dff3016157618ff6dd970390f5","datavalue":{"value":{"amount":"+0.7889838218688965","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":"Q2849596$6F88472D-5EAF-4658-A6FB-BF5249A799D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bd11415de1499efdcd87877ca92b2d8360bbf2","datavalue":{"value":{"entity-type":"item","numeric-id":3522901,"id":"Q3522901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6b43f962c80c9a5d2289fa658ce4e058ea94df4","datavalue":{"value":{"amount":"+0.7827559113502502","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":"Q2849596$A120339C-0BAB-4DA3-A131-21DAAB747F8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849596"}}}}}