{"entities":{"Q4899301":{"pageid":6928880,"ns":120,"title":"Item:Q4899301","lastrevid":51626993,"modified":"2026-01-19T03:34:15Z","type":"item","id":"Q4899301","labels":{"en":{"language":"en","value":"Contributions to the theory of practical quantified Boolean formula solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6122870"}},"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":"Q4899301$5EC15B88-036C-4990-9E6A-25DA70415D1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e5ccbcf54b762bc376690b4388e6618a0b37c2d","datavalue":{"value":{"text":"Contributions to the Theory of Practical Quantified Boolean Formula Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4899301$0A8D4322-B19B-4E94-9267-178B267C7459","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"793eb71cc9336cb764fa3b446f3c5ba7be4c4c49","datavalue":{"value":"1390.68585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899301$DC17BAB7-B828-4696-84DE-DA94D2B60438","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d39a104c42e26b67e0adeb6e437785fda99ba5a","datavalue":{"value":"10.1007/978-3-642-33558-7_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899301$F4D37E6D-BBF8-4419-ADCE-12CF8F4AF587","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":"Q4899301$71E475D7-FF48-477F-878F-5A132E7B6A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"effbea8d172ba80c035d820a1b628fba00c4e28b","datavalue":{"value":{"time":"+2013-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4899301$1B947B1D-4C41-45DC-926C-352D78DE5ACF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899301$8BDA3DF9-072B-48CE-B6D6-FA9D9A87B346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8149953fe6e99556385e4b99831fe9cc846b570","datavalue":{"value":"6122870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899301$A3ABE892-CEDC-44E4-9B09-F8919B4F60E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efe49c25650dcd4febba639d323fee3054738fd4","datavalue":{"value":{"entity-type":"item","numeric-id":1104094,"id":"Q1104094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4899301$2ED1EB43-B1E9-41C3-92AC-4F346BE17234","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":"Q4899301$CA661345-FAAC-4446-A391-856E30A2C429","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43843b5db8c0b7bc5297aeee7426e87e476e5813","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33558-7_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q4899301$76E86D6A-58A4-4922-B833-6E7BBC9B26EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f340ad64d360ae81ce0021154456cceca1014331","datavalue":{"value":"W1851471023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4899301$52A3D6FD-D2D2-459C-90D6-C5B8CC036807","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bf5f255dc196baa877f80fa7eecbb34d744fe54","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f198de18d4e2ec87bb57d3a1337dafd2180ff7f0","datavalue":{"value":{"amount":"+0.8930063247680664","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":"Q4899301$A6115A87-2FF1-4C8A-873F-A35272827B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73ab00eadfabc67b639862576bfda59d6977a671","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec0c98d08a7a5e7ba2a547ae24a4510dda44d65c","datavalue":{"value":{"amount":"+0.854157030582428","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":"Q4899301$A7342E87-3025-4E6B-B1E6-297D96B92C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e877f9195dc08d8c769468cc1da3d5e03ef6fba","datavalue":{"value":{"entity-type":"item","numeric-id":3453239,"id":"Q3453239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c1ce1d6bf11719e28f5edfd7ecc6954ab51d37","datavalue":{"value":{"amount":"+0.8315367698669434","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":"Q4899301$A90E1D2D-CCF9-4BA0-A8AE-1E5D8841E2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfaf83c4e5c1b8c341a0d2e5c5dd8741ad36629f","datavalue":{"value":{"amount":"+0.831395149230957","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":"Q4899301$6A299332-6176-43C6-807B-5120C6C147DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c229517954d211b6f1c4f984dffa0b196a82702","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"950a59febcb9eec1fcaa2aa9692431a2e57ef1a4","datavalue":{"value":{"amount":"+0.8154308199882507","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":"Q4899301$2AA5B58E-758E-4EB7-A5B5-6A554D8DC11D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4899301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4899301"}}}}}