{"entities":{"Q3612477":{"pageid":5642383,"ns":120,"title":"Item:Q3612477","lastrevid":50601131,"modified":"2026-01-14T12:59:10Z","type":"item","id":"Q3612477","labels":{"en":{"language":"en","value":"Fault Localization and Correction with QBF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5527222"}},"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":"Q3612477$F7E3FBC6-10A9-4546-8ADD-60B4A6CC7C60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"739e76646cbff0dd259ca1667eaeb99ea2395aef","datavalue":{"value":{"text":"Fault Localization and Correction with QBF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3612477$C8DD5BA3-960B-4083-93A7-D1534E1C2458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d80e56aeab711d36205b0bbc1d0a93bef9d1332","datavalue":{"value":"1214.94086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$2D6C350F-7731-4DAD-A342-964632B33A6A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d95e8224a2b1b1c21fdba814e3b3f219fba42d43","datavalue":{"value":"10.1007/978-3-540-72788-0_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$D477F000-2679-4135-A26C-687BB61F10E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b580bdac67b0440ca2f65d83e92f30e4a034ab7b","datavalue":{"value":{"entity-type":"item","numeric-id":414904,"id":"Q414904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612477$AFC1E3DC-D93F-4319-B70C-2BBEA726A017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612477$A47E8CE4-CD94-4028-B64C-F423E7135BAA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3efd11b40e1cc120a7f890fafbe829ad3d505a77","datavalue":{"value":{"entity-type":"item","numeric-id":3612451,"id":"Q3612451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612477$C029A83B-E136-4654-B3B3-3DE6DE83F31C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a78c90783bcf9fdd01d3c043b3bd0817808259e2","datavalue":{"value":{"time":"+2009-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3612477$C48A25EF-F079-4DAE-B7F8-BAD8F4DACDDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"effafbcb0d14f283a888b55b376e46f500ec447a","datavalue":{"value":"94C12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$7EA4EA50-A290-45C5-9BE0-DE1FA6462D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$83388B2C-A8EA-43B0-A468-82C4158B7913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$7FC6D410-BAD7-486E-8095-95D17B80722F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0760d220f9bccdb06996e6e1ed3112442eb4a56","datavalue":{"value":"5527222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$77AB978E-6E44-4CF8-BD9E-C161C72F8427","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9f9aebdd1b3f62380f4707b4956c9497d9985521","datavalue":{"value":{"entity-type":"item","numeric-id":55702,"id":"Q55702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3612477$28FFB633-C500-4AA5-A65C-558AF7AFFF2B","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":"Q3612477$4829464B-2BFF-4768-BAFE-87B58DA85ABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"69e2ffce5de1898bb3ffd6e79b89b09e88b52ce7","datavalue":{"value":"https://doi.org/10.1007/978-3-540-72788-0_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3612477$6405BA79-125F-4693-AAA1-686C26C0345C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf6136c2165305ca228bd39a659b05fc9c3edddb","datavalue":{"value":"W1511845115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3612477$C28B69B0-E70E-427B-AF9F-F1D13CD75225","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45779c0336e2d950a84ac99c2ef32b295134f329","datavalue":{"value":{"entity-type":"item","numeric-id":5493214,"id":"Q5493214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff7c09eedbe57a4d5682abf1ea779208566cadf5","datavalue":{"value":{"amount":"+0.773443341255188","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":"Q3612477$3B867B7A-087F-43C9-85A5-B6BFB70CCE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9662436ddba986dbfe8fb88fc949db265075c573","datavalue":{"value":{"entity-type":"item","numeric-id":3620436,"id":"Q3620436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9d5ad39e893ce09eca503adbbd74d7247066c63","datavalue":{"value":{"amount":"+0.7670900225639343","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":"Q3612477$F6052230-3160-4F64-B606-02E6AF98AAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e532cbd307b850171343278c1e7d6f71302b99","datavalue":{"value":{"entity-type":"item","numeric-id":414907,"id":"Q414907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012df279ae3843cb60ce1bb9930994ab7e5491eb","datavalue":{"value":{"amount":"+0.7390850186347961","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":"Q3612477$F510629E-945E-4D9A-B395-8D0AC32E470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6157669c3bdf689d132249e5b751c87bef89e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1656577,"id":"Q1656577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03305bdf13a9c95c3d62d1b0742f9d530afa2ad3","datavalue":{"value":{"amount":"+0.7390418648719788","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":"Q3612477$EE205595-83DF-419D-9E50-41A0C1F8F3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7237aee3a5e9393d1bad9b271d7d57ac0128bb77","datavalue":{"value":{"entity-type":"item","numeric-id":4930578,"id":"Q4930578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bead60e420b9381d2088dbbd9ea2a39cc3eb5f60","datavalue":{"value":{"amount":"+0.7319880127906799","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":"Q3612477$0B554A46-F8D0-4CC0-B37B-FDC3535D0B88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3612477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3612477"}}}}}