{"entities":{"Q4930584":{"pageid":6960166,"ns":120,"title":"Item:Q4930584","lastrevid":51093263,"modified":"2026-01-16T15:31:18Z","type":"item","id":"Q4930584","labels":{"en":{"language":"en","value":"A non-prenex, non-clausal QBF solver with game-state learning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793451"}},"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":"Q4930584$9ADFAD56-A735-46DA-A92B-5C84BD9A4F7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d10a4e35c3486094df570f4d801292756bd2dbf","datavalue":{"value":{"text":"A Non-prenex, Non-clausal QBF Solver with Game-State Learning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930584$D9140E48-C6AF-44AE-9C7F-E5C607989416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2745bf0085a36235271bb754111f892775c057f","datavalue":{"value":"1306.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$A36E59AB-5D31-4BE9-94BF-1E7C895B390C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe213b40c1a97009a5ad2837ffa5378cd88fd9dc","datavalue":{"value":"10.1007/978-3-642-14186-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$9875FBBC-9C89-4E0A-B5CA-5438768F4262","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"822a078c7a4829031fff924b3165e7b6eb2f1e2e","datavalue":{"value":{"entity-type":"item","numeric-id":253962,"id":"Q253962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$8A9A4B7E-12DA-45F9-BC28-3C5B8187EBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7790e5f7fdac67161ac41217accc2934da7ded4","datavalue":{"value":{"entity-type":"item","numeric-id":4427893,"id":"Q4427893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$1FD5E979-7202-4397-834A-50DD0071BC0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bcb9a2588cc97afe717f733e4166bb29392ff3a","datavalue":{"value":{"entity-type":"item","numeric-id":2272928,"id":"Q2272928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$17AC677A-C49B-47E3-8F9B-31730A5B92E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$E4B8FA6D-9202-4DCB-81F4-F7694CB38BAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$F22130F3-820F-4B46-81D7-FD2104500BC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930584$1D3232C3-43B8-44ED-8D24-93D421568376","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$7182350F-5B2B-40DF-9307-465083ED278F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$4D72E54A-4438-4D9B-8611-77D01D5FEC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$8F7A3232-E48F-49B1-96BE-18E5F3B44817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$EFCD615A-B929-46B1-A881-4D1D74E706FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f16a3da104103dac9ad1a232093176d0022d50b7","datavalue":{"value":"5793451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$2E66A779-84F6-494C-81BB-8CA7D6E77173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc78b1e4558056e875de92cbf8329d0562afe86","datavalue":{"value":"QBF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930584$23BC209A-FCFD-433E-ACA5-CA980F32BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f7ac674268224c9b1b4b60f07b959745a70f08d","datavalue":{"value":"DPLL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930584$45561155-6958-4FEB-B2C0-31B0CAEFDEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"957820a00f9660a33d1715c825840ebac4859c6e","datavalue":{"value":"non-clausal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930584$9955E362-9928-4F93-A9B3-2C364492FC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3937ae87a1f22fa9497389402729da8958618ca0","datavalue":{"value":"non-prenex","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930584$C12E66A6-50D8-4B03-AB3D-5672A3C46036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca44acbc5038983dd7ac8efedcdb183aae9bf10","datavalue":{"value":"clause learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4930584$6D910AB9-B1D4-4EBF-A9F4-F77C13CC58C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8cc02a4d5cfe357c7398b8045c9b55b5580560aa","datavalue":{"value":{"entity-type":"item","numeric-id":19323,"id":"Q19323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$C526CDC2-D656-4F28-80DB-C35705F37FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930584$14C8C3AF-B0C6-40DE-90DC-085706CBDC2B","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":"Q4930584$686FC4F1-425B-4663-950F-7669BAA358EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e1fe8c702ee13a636907ace3ca90ea1a6c08105","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930584$6039DEF4-D8DE-4E23-84C2-AA8D7CC43B66","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65d44079efd6b3fcaac1cda24edc18fcadf0902f","datavalue":{"value":"W1562832747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930584$F1BA1C70-904D-4CFB-AE5D-B21B133294F7","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":"753e92cb648c86543965089c720789e5d6224141","datavalue":{"value":{"amount":"+0.8221668004989624","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":"Q4930584$7B01ACD4-1E17-4CA4-BC3D-27EF97480C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f6e1ff843c4fd76310d68d461b149c06f12cfb7","datavalue":{"value":{"amount":"+0.8070101737976074","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":"Q4930584$3DCF5B2A-5F98-4805-9E03-394C33780566","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":"be1f05b7be719c1858fde6c55d6304998cc48a1f","datavalue":{"value":{"amount":"+0.8026856780052185","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":"Q4930584$CE89B4A2-A414-4F89-833F-B6E730658693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a6fbc682f28add89108b0fee67fa7dc2b69aabf","datavalue":{"value":{"entity-type":"item","numeric-id":5713750,"id":"Q5713750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf11528ed3e6d108b32ddd5ece5933b8d31a3e3","datavalue":{"value":{"amount":"+0.7990326881408691","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":"Q4930584$3129783A-037C-40EE-A46B-D2E657AEF45B","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":"e70c9d5eca802a4498009e1ac7c8ad44e79acba3","datavalue":{"value":{"amount":"+0.7965181469917297","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":"Q4930584$92645F18-A30D-4EC9-A57E-F48493806C18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930584"}}}}}