{"entities":{"Q2999100":{"pageid":3009824,"ns":120,"title":"Item:Q2999100","lastrevid":51242426,"modified":"2026-01-17T10:11:20Z","type":"item","id":"Q2999100","labels":{"en":{"language":"en","value":"Extending clause learning DPLL with parity reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5887205"}},"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":"Q2999100$2A5BACAB-B44C-4D36-BB1C-F702E6CEC2C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8361b8825cce216df9355b3727fd11e675f5436e","datavalue":{"value":"1211.68385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999100$6FF490C6-1289-41BF-98B3-62FE1FF548AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5360fee136f98f6de1ccef921a6c85ef766e78c5","datavalue":{"value":"10.3233/978-1-60750-606-5-21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999100$7B924B73-9768-4C78-9DA4-745CDB4DEBE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac900aaa1369022bb7a5ece6e8d2c5a8703c03d7","datavalue":{"value":{"entity-type":"item","numeric-id":2843341,"id":"Q2843341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999100$1D8FCF63-47F7-43D5-8C3A-2476397E4D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"498d039033b9bc38216498eb57cb84dc2a55d72f","datavalue":{"value":{"entity-type":"item","numeric-id":436410,"id":"Q436410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999100$47F9F533-7F26-4E34-BCB8-D903D4C8B282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999100$524D04C7-D9A8-4A8D-9713-162B8F27CF25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"48dcea6cafeaa3b44f87e092d3e836e753750797","datavalue":{"value":{"time":"+2011-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2999100$B601A539-5057-464E-BEC1-C9A610123BF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999100$9ECA2AEB-398B-476F-8C27-B00F281EE343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c554cab327ccd898c55ab8f46564e41e436efe1a","datavalue":{"value":"5887205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999100$2407EF27-113C-43A6-9BBE-65DDCB739984","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999100$1FFE13B3-96CE-46B1-AB39-F4CA1E1D589B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8ebd0d95437221445cb2bfed9bc4709cec91c80","datavalue":{"value":{"entity-type":"item","numeric-id":13303,"id":"Q13303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2999100$CA273CC9-8354-4141-AB24-D9519707AAB5","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":"Q2999100$983C24DC-4309-4B39-8517-54C189E70C52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75fd19a58dfc4067e0983640ab2043a7c71ab854","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/ecai/ecai2010.html#LaitinenJN10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2999100$3E56DE9B-87A6-45F5-872D-042E30A37D31","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49eba79b0aad47c647a1dbc9444aa32077e81e5d","datavalue":{"value":"W46806771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2999100$C616EEE3-D2F8-42AB-95E6-A2332DEEB05D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e68311db8c0389fc169c0a39dd45db9bfe24843","datavalue":{"value":{"text":"Extending Clause Learning DPLL with Parity Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2999100$B179357A-DB27-46B5-BBE0-F044850350AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9d293ac5478cc5a6755478bb7b711683c7a01b","datavalue":{"value":{"entity-type":"item","numeric-id":2843342,"id":"Q2843342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f77d702370f9dae3557a6e6b0dbb8942458c97f","datavalue":{"value":{"amount":"+0.8207669854164124","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":"Q2999100$3A0417F4-E724-46E4-B264-EB8F7BB4E5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ad3d9b400f43791d3cc4690d933d7c0fdc741c","datavalue":{"value":{"entity-type":"item","numeric-id":2870154,"id":"Q2870154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a909df7ac587668ff20d3e39d5f1b2b1532e1dd6","datavalue":{"value":{"amount":"+0.8109908103942871","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":"Q2999100$935F18C5-2152-4BF4-AEDF-CB7545AD4A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aefed8d1dd77676745c8729f2c2484dc63de6d0","datavalue":{"value":{"entity-type":"item","numeric-id":622116,"id":"Q622116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf20ffd5eb338f6b2d8a4e01ac8f0a25438ebd20","datavalue":{"value":{"amount":"+0.7653717398643494","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":"Q2999100$40140391-5E0D-4E5F-99E6-DC3AC8EA175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e050f30d7185276802f36abdec5347610a74e3d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721ec72c2cdab25c0b42f369abef71cc69b6aa7a","datavalue":{"value":{"amount":"+0.7577201724052429","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":"Q2999100$1B38708E-96A2-443A-8408-2A2EAB070965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebdfce5d5fb41df86adce5898086bb435446e2fc","datavalue":{"value":{"entity-type":"item","numeric-id":2741518,"id":"Q2741518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c3677e2a7c3ed128969a873942d32a247886d87","datavalue":{"value":{"amount":"+0.7394846081733704","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":"Q2999100$7C00ACD3-F2D0-4BDF-830E-9525AC10B7F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2999100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2999100"}}}}}