{"entities":{"Q5326456":{"pageid":7356030,"ns":120,"title":"Item:Q5326456","lastrevid":100797716,"modified":"2026-06-05T23:08:24Z","type":"item","id":"Q5326456","labels":{"en":{"language":"en","value":"Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6195190"}},"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":"Q5326456$DE059018-CC57-4326-9FBD-79E36E5A0481","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"836e97dc1392458e4b2a4c0fa130c4bd2b4811a1","datavalue":{"value":{"text":"Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326456$9380E512-977B-4CA6-AA74-84438B78B2BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9b2b654677a5f1dbbd9b317adec4b7634a1189d","datavalue":{"value":"1390.68579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326456$DFD356BF-5CEC-4CE2-B02C-3D849136D71C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dfa7cdf8b4f13cb7d60e66771a4025af4b54d80c","datavalue":{"value":"10.1007/978-3-642-39071-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326456$21E27186-10E7-403E-8DB8-C2F0CB6594A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da0a3b9db4e00166cd3cb753494ad16f6a97e6dd","datavalue":{"value":{"entity-type":"item","numeric-id":286394,"id":"Q286394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326456$0D925DD8-05B4-414D-A042-CF85FBF0E4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d140f15ea14007eb49a1fd3fff371fc795569921","datavalue":{"value":{"entity-type":"item","numeric-id":229734,"id":"Q229734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326456$1DCF2FDE-2FF0-4A9C-B610-8AABA13DFE0C","rank":"normal"},{"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":"Q5326456$262C223B-D597-4D1B-838F-664E8F9564D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fc95ee6522268c529548061426c9a2b08954f382","datavalue":{"value":{"entity-type":"item","numeric-id":5326449,"id":"Q5326449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326456$28E56E8C-3BC8-42D2-A3C6-8863F77D53D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326456$5784D23E-ED29-4D86-A026-4057C940B0B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326456$91A1BD57-1EE6-426C-BE6D-D58F3C34A16F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"928e9c14f980e8f61eeb59e4f3cc2d8dce4384a7","datavalue":{"value":"6195190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326456$7688A9C5-F11A-43F0-B8E3-E3499D6D404E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326456$E6A68A58-4F14-4824-8B68-DDCC81EFB74C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b38d41f42be9a63abc418d73603b2d531b26a9","datavalue":{"value":{"entity-type":"item","numeric-id":21713,"id":"Q21713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326456$75EBC6E4-8C25-4148-B165-CFF864002F07","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":"Q5326456$63B3A50D-BD7F-4637-A5A7-DB102F56A3AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86e4a2c022cfd45fd9d8d3fa27fbf21abee4e3dc","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39071-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326456$35996C6F-D7E2-4364-9F16-EEA0FD9089F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d7f14a2fac19869568ac0d63374fbe4ab472625","datavalue":{"value":"W2160972885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326456$54A216FF-E058-4619-9399-5C79B5EAAE67","rank":"normal"}],"P1643":[{"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":"780d28161f31c8b9b26d3b93b9bf54947bd12e90","datavalue":{"value":{"amount":"+0.9048817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$5C4687BD-66AB-4015-8B8D-CD0445879552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96d2bb94615def16cf9d4e31c2f7650918c162a","datavalue":{"value":{"entity-type":"item","numeric-id":3655211,"id":"Q3655211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f22a244b76498776459555eaf9a2ff9df35655db","datavalue":{"value":{"amount":"+0.8502471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$AC0ABC1B-4A2E-4502-B3DE-8B0A08C5AD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4e48c62609f05512e6e64a64fa4c0701916794","datavalue":{"value":{"entity-type":"item","numeric-id":1964325,"id":"Q1964325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e45602cead3218bf846bce7ed25c1df550062f","datavalue":{"value":{"amount":"+0.8481359","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$2BA8A17E-E1D0-4852-9E21-449DA6C8007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cdd175d3afb7e6b2fa9a2617082a7ec7c1fb9de","datavalue":{"value":{"entity-type":"item","numeric-id":3502713,"id":"Q3502713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa588d81dec297f93b104175d7bda3d786beb49","datavalue":{"value":{"amount":"+0.84590816","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$1868A666-5D72-4EFF-ADED-968B892CDAB8","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":"04aaa186675282f321892be20e1d53a519fda6fe","datavalue":{"value":{"amount":"+0.840253","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$E27B25E2-E1BE-4E39-B9A0-90A6D34CE9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b73397962e3bbe17fd423695941350ac40f3926","datavalue":{"value":{"entity-type":"item","numeric-id":5756571,"id":"Q5756571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74227e2380c5c354e43cb382f75b14673e28ff6","datavalue":{"value":{"amount":"+0.8384287","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$77DECC3C-BC48-444F-923E-333E9D709FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad7bfc196718a514fa88fe33a2b37a98f317781","datavalue":{"value":{"entity-type":"item","numeric-id":5494318,"id":"Q5494318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d3e2f888d6a796afba32ec78141c35ca7831d2","datavalue":{"value":{"amount":"+0.82858837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$EEE9B67B-0052-442D-9340-97B0898AE8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c302174dc4413764cc10741d23a3d5bfa4a52115","datavalue":{"value":{"entity-type":"item","numeric-id":2148900,"id":"Q2148900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a14b3de569014278cba86a99393255cfeee0f38","datavalue":{"value":{"amount":"+0.82765424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$46ED5AD9-D06E-4FE7-87C9-CA466D760772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa6fea1ad30be8589c1ade9090962929a80cd17","datavalue":{"value":{"entity-type":"item","numeric-id":4427904,"id":"Q4427904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"403a9ab6bf41e2a11451671a0d552329d3bf0723","datavalue":{"value":{"amount":"+0.8275101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5326456$B779B169-03EE-445C-90EB-A469E42B81C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation","badges":[]}}}}}