{"entities":{"Q2849593":{"pageid":2860313,"ns":120,"title":"Item:Q2849593","lastrevid":51829214,"modified":"2026-01-20T06:13:13Z","type":"item","id":"Q2849593","labels":{"en":{"language":"en","value":"Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210240"}},"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":"Q2849593$ADC5D353-B295-4864-BE7E-66019D00043C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"640f7c18a6cabb7d91e81109f579d534d52cab51","datavalue":{"value":"1272.68223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849593$6FDB90CD-75A8-4A05-AA6F-0F43EB640A1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1d77e012a899b133ac3c0d6c299cf1cf6f55b06","datavalue":{"value":{"entity-type":"item","numeric-id":2849591,"id":"Q2849591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849593$7A1E0013-CD23-4C4F-906D-2BEAE4371029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcc63a4ee085faa10b8aee28e28a1a91fcb55f53","datavalue":{"value":{"entity-type":"item","numeric-id":2849592,"id":"Q2849592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849593$6489F71A-DC0A-4A7B-A1EF-7E53376A76B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ba453704ed3d872eb3c4e12877bf750b115031","datavalue":{"value":{"entity-type":"item","numeric-id":453481,"id":"Q453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849593$6A5FFA11-AF99-49A3-88E6-3B2589BDE955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e88b236ffaa6b504c003bacc19a5fd8232c21ceb","datavalue":{"value":{"entity-type":"item","numeric-id":453482,"id":"Q453482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849593$57CCA2C6-E8F3-4703-9A1D-71B053DE695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c5e85ec07e780b1ffb36a1e80608f209bfa95b","datavalue":{"value":{"entity-type":"item","numeric-id":453483,"id":"Q453483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849593$B0EFF751-FF46-4CB8-AC19-EBD6FFCDE610","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":"Q2849593$DEB45992-D481-47F7-8160-F93EE42791D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4687f953c5f374a7be819919b11a30515ad993b4","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105000897","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849593$5048435E-4403-46D4-B20D-BCE104F4B074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849593$6088FB70-1E13-4A3C-AF50-06650493CE90","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f786d95b7ac88d43c67314e9ca12255ab800936","datavalue":{"value":"6210240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849593$E959CA7D-F07A-4459-A923-A75742CB2EE3","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":"Q2849593$0D0D2D9C-7E48-44C2-8E6B-E0F135894E30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69828eccb719878c6fb7c73963d5004dad6c5f08","datavalue":{"value":{"text":"Exploiting target enlargement and dynamic abstraction within mixed BDD and SAT invariant checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849593$7200E74D-5760-4F58-84F3-92F58D05101C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c59f14f7e161c99c9f40877891888813e4614a5a","datavalue":{"value":{"entity-type":"item","numeric-id":5492983,"id":"Q5492983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d2b734315dd587f50064ee8a36361a140d157f","datavalue":{"value":{"amount":"+0.7818831205368042","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":"Q2849593$CA52AFE9-EEAF-4EAD-920C-A3B942F3D3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61530d92890031938ecfb379ffc209c2781a73de","datavalue":{"value":{"amount":"+0.7742824554443359","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":"Q2849593$DCA9FE5E-F37E-461C-BB2A-F9447194D5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedea5008739a3c8b9e144e9b4550205bbb5b261","datavalue":{"value":{"entity-type":"item","numeric-id":4804917,"id":"Q4804917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07121da34f41681230ea593a6026e0e50a5eb6b9","datavalue":{"value":{"amount":"+0.771107017993927","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":"Q2849593$7A39CCC8-9062-462E-A095-7FFBFC436E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471062a8666f2a3d8b186cf6cd886b239927e128","datavalue":{"value":{"entity-type":"item","numeric-id":4428300,"id":"Q4428300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07121da34f41681230ea593a6026e0e50a5eb6b9","datavalue":{"value":{"amount":"+0.771107017993927","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":"Q2849593$A0595629-F675-4923-9963-3079A8317CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11abdcdb00645daab9b20d763ec43baa270bf510","datavalue":{"value":{"entity-type":"item","numeric-id":3630184,"id":"Q3630184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c467c987ff02ebdfb7b7e953cd8c6130b2e29aa9","datavalue":{"value":{"amount":"+0.7648864388465881","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":"Q2849593$3CDED8AE-3D69-4F51-A292-EB40A721128D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849593"}}}}}