{"entities":{"Q2818030":{"pageid":2828768,"ns":120,"title":"Item:Q2818030","lastrevid":79746518,"modified":"2026-05-06T14:37:11Z","type":"item","id":"Q2818030","labels":{"en":{"language":"en","value":"On Q-resolution and CDCL QBF solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6623525"}},"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":"Q2818030$8F9BEF27-921D-4450-9E09-B20726C6B8CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa22fccd93dc7b9f9f64d2e829296f192001ff2e","datavalue":{"value":{"text":"On Q-Resolution and CDCL QBF Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2818030$40594C7F-C0B4-4B1C-903D-F0F9FCDCF75C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc24601080126e151d0afd54ac7137bba2b4e94c","datavalue":{"value":"1475.68440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818030$350176B7-6735-4AB9-8BA1-C72643696399","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6565842969cede9519a74d6de9c6972c7508be50","datavalue":{"value":"10.1007/978-3-319-40970-2_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818030$CF373D96-4412-4EDC-9591-32CE55F0EB73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e24c4e43654848209a68060f96d6b8df113db0e5","datavalue":{"value":{"entity-type":"item","numeric-id":253961,"id":"Q253961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$09077A20-9EFC-465F-ABC5-DFBBBDA36C82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0c83d828fab67264ee3effdcbdeab1b4c818c4e9","datavalue":{"value":{"entity-type":"item","numeric-id":2817996,"id":"Q2817996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$88CCDA4B-FC4C-4FA7-B3C9-6D1DD72866C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c42ad213f9b7f39d3e9ee142840c36c28e5864b9","datavalue":{"value":{"time":"+2016-09-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":"Q2818030$6C8D55C2-D90F-4975-AE90-434A103115AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818030$6CF7FBA6-5895-4337-86BF-52BD7D5A6E99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7babc47fa934a77ed45fd6e1cde7e6f9dc935c8","datavalue":{"value":"6623525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818030$7007D321-DC4C-4E57-8536-8E8406688880","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":"Q2818030$F07766B5-0A81-4595-9DE5-FD04B36B1904","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":"Q2818030$348189D6-569A-438D-9FAA-E059ADF5B33A","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":"Q2818030$9FEF2F81-322C-4543-8EB3-F121FF155ABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"011a224758b75ebbd81bdf4450e50acecce76193","datavalue":{"value":"https://doi.org/10.1007/978-3-319-40970-2_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2818030$6F17FD58-6B51-436E-8C63-6D4BBB4C40B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d58f6d43c60f4111c4c2668b3503ab48cfc6c2a6","datavalue":{"value":"W2493091936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2818030$68E55540-1102-4659-A2CF-78CACAE678FF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eb460d58931676e51733807df783912964924b","datavalue":{"value":{"entity-type":"item","numeric-id":3002781,"id":"Q3002781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$F05EAAF7-3D1B-43F0-B76D-0194B241FA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"345d727ccbd76ddca8c6106034f4c5e52c95f38a","datavalue":{"value":{"entity-type":"item","numeric-id":5894155,"id":"Q5894155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$002FB248-C35A-4D28-BEE4-813FEEE3FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024f5f642d34b86085d7b9145b61316e312fd268","datavalue":{"value":{"entity-type":"item","numeric-id":2441712,"id":"Q2441712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$6163A853-59D1-422A-8019-FBD047FC8525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$D9CC8012-0926-4946-98E0-3EB71518E6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$57A2035A-29C2-4B78-AB12-89621108EE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2dcdf769969c9e2053606978646882985217ff","datavalue":{"value":{"entity-type":"item","numeric-id":1610666,"id":"Q1610666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$A9A36EB2-9C5D-4178-ABE2-4FE543680BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98bedf28c1486feba8611f3f934ea721ca73c745","datavalue":{"value":{"entity-type":"item","numeric-id":4598235,"id":"Q4598235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$09A67E49-6BA0-4685-8CEE-D8CF5A4A01D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$68CF6E64-AEF5-45F5-9618-01500DF56262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cb5c9d0b0d6ff42b8fb3510f341e870a8e3d24","datavalue":{"value":{"entity-type":"item","numeric-id":3624018,"id":"Q3624018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$EE574841-174D-4125-A28E-D2833282EB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faadf3e656c0b2e9d5e437c670af13fc616dd67f","datavalue":{"value":{"entity-type":"item","numeric-id":1353991,"id":"Q1353991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$3982A3B7-35A8-4255-9003-138990F1A670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$0501CB95-A7A1-40F2-8FA3-21A9C466EBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46a64f5d8bb8796d929b170b9a451b694680664c","datavalue":{"value":{"entity-type":"item","numeric-id":2339467,"id":"Q2339467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$5125F107-B3B0-4300-BEAC-5E3DF29FC8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"037b802fba046e36ddf986e84c18ed7122a56d32","datavalue":{"value":{"entity-type":"item","numeric-id":2786912,"id":"Q2786912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$3375742A-7B0C-47CE-B633-C2BBD9F9F7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72df03d77e1bc06662d09c4718408a862df26da2","datavalue":{"value":{"entity-type":"item","numeric-id":1891159,"id":"Q1891159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$1E32B4FA-8C51-460B-9B62-120FA21F6909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8e7aa6809d54e2ccf2352967b475ad93db72d0","datavalue":{"value":{"entity-type":"item","numeric-id":4930584,"id":"Q4930584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$819BD7AA-00A9-4E26-A12C-F7E69A94A000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1268c34f98c46f18ad911507724e23503472927","datavalue":{"value":{"entity-type":"item","numeric-id":803773,"id":"Q803773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$C683F6D4-A548-4244-86BE-7A8C2FC59507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19b1fa5db68c7d404cb2711fd5159ebf7cef9b","datavalue":{"value":{"entity-type":"item","numeric-id":5326456,"id":"Q5326456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$85E3BE3C-53E1-49E0-8034-2815797F0296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eba8d988b264db4abbff68c35872dd7c8bf885f","datavalue":{"value":{"entity-type":"item","numeric-id":903199,"id":"Q903199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$8F2E943B-9C92-4AD8-B298-AF53165BAB45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"056dc5420e2fc7959d17ae88fc635923df61286b","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$6821ABD4-A53A-4E68-8C82-95F99BDDA8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ba72b99f6b7c8f1619ec42b1fca7ba63faae2","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2818030$D536EF22-378E-44AD-89F5-04B8808DC06F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1bdd479d71d2b8e30d5b19fa6bda2c8d2c693b3","datavalue":{"value":{"entity-type":"item","numeric-id":2405263,"id":"Q2405263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e754af3218675ce79f3328d4ef1c84a8b5380c47","datavalue":{"value":{"amount":"+0.8306326866149902","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":"Q2818030$BBAF7827-94D6-4401-B8CF-5EA47956D125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f21b62d6f5a132d14e9d9226e3f1ea566d331b8","datavalue":{"value":{"entity-type":"item","numeric-id":5205822,"id":"Q5205822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db8a472b5eabe5468a36835b155eba378cb9619c","datavalue":{"value":{"amount":"+0.8278554081916809","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":"Q2818030$5BF77B62-1876-4A55-AF93-EC32FC94ACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7104838a2ac0256989af4a5bfe7d161ed6c115a1","datavalue":{"value":{"entity-type":"item","numeric-id":5326454,"id":"Q5326454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caec315f071b47cda99ad5274be22e5833422061","datavalue":{"value":{"amount":"+0.8197076320648193","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":"Q2818030$43B1322D-0447-47F2-B33B-3062EE6263FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fa89057f4906c43e874fd26e87e45b702550108","datavalue":{"value":{"entity-type":"item","numeric-id":3192061,"id":"Q3192061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a9f8b047ea1bbe49ba76aec3b01682c41d8784","datavalue":{"value":{"amount":"+0.8188642263412476","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":"Q2818030$81458804-1C5B-49E8-A410-22E4993C3D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da4ca07195f953618787af54e45813ed9fde13d","datavalue":{"value":{"entity-type":"item","numeric-id":1680260,"id":"Q1680260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"534a4817b63e4afff28200c24199b07cf44a6907","datavalue":{"value":{"amount":"+0.8171537518501282","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":"Q2818030$43B223E1-209A-4946-86B7-4DDEC46978E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Q-resolution and CDCL QBF solving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Q-resolution_and_CDCL_QBF_solving"}}}}}