{"entities":{"Q2993243":{"pageid":3003967,"ns":120,"title":"Item:Q2993243","lastrevid":52592603,"modified":"2026-01-23T01:40:12Z","type":"item","id":"Q2993243","labels":{"en":{"language":"en","value":"Reconstructive algorithm based on extension rule for solving \\#SAT incrementally"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611927"}},"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":"Q2993243$AFB40301-8A01-4F4A-B01F-640021D36809","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cf485a541b298c1f987be9a780cad15d8ae9c4a","datavalue":{"value":"1349.68216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993243$E26D9926-BCD2-4658-9FED-DA791DC9507B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79cb8ab7df77d4c80e45b05f10f7f2d657db795b","datavalue":{"value":{"entity-type":"item","numeric-id":2742313,"id":"Q2742313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993243$3B3D88BB-152B-4364-955A-033099472FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a232391a49e93bc609a32f34a6ef5abc3e3362","datavalue":{"value":{"entity-type":"item","numeric-id":660951,"id":"Q660951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993243$F15DD19D-6669-4E9F-B8FD-CECF75B26DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca924dc7c920f7380a7dd5c1a33403724889c42","datavalue":{"value":{"entity-type":"item","numeric-id":2993242,"id":"Q2993242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993243$517AC6B2-3227-486F-B1FF-28EF7A6B68AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de4b9669ff9ade18e8990ed95ecf6b171debf52","datavalue":{"value":{"entity-type":"item","numeric-id":939827,"id":"Q939827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993243$18D8A3E9-891A-40D8-B980-A18BE2ED491A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2993243$B2C60C31-B29A-4259-85ED-A89BEAC96BE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993243$862CB343-833D-450E-946F-AD6375A0EF6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f952785d1a970417b16939e9d15b5e13af523ead","datavalue":{"value":"6611927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993243$225D7479-4D21-4B3D-AC10-3C96FBF83094","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c9c64d0b9070e32b1957f7e6f3c7e8f11356c9","datavalue":{"value":"extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993243$71B1398E-B906-42E1-9D89-93B445E289E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993243$5657863F-3A6F-4273-9540-53420C626C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b7343ddd095ba9f1bc24d691aeb28861fb22462","datavalue":{"value":"maximum term intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993243$028A94EE-C288-4A06-BA42-D95FF48A6225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34f05eb6492ecec59400c23d0cdfa0f8ce56fbed","datavalue":{"value":"complementary table","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993243$6871F650-D04A-4BEB-8204-7C7B5E0DEFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a64e72176c6b73225dfac7ec349aec4fbc2891d","datavalue":{"value":"incremental method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993243$793387CA-FD01-418E-AD45-B73EDAA7A422","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":"Q2993243$6204219F-FCEB-42D5-B3CB-3F38FDCA2C35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb04c7dc9b8ea4a9998bf1bb530dda82cffe5578","datavalue":{"value":"10.13328/J.CNKI.JOS.004827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993243$F035EE96-B4CA-48E3-A98A-2A6AC45E2B9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca8c5db3b82092e0485d52e7e874b02cb8372d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5381995,"id":"Q5381995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1f1f78f07655da8ee4411e342e8c73bfd3005a","datavalue":{"value":{"amount":"+0.828633189201355","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":"Q2993243$A646EDC6-9961-4AAC-9635-D62695D0A857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2a21990c9204b0e7daadfca4330594fa69b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3054232,"id":"Q3054232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bf3912453e5f41d039d8eab5e0484f9d576eb1","datavalue":{"value":{"amount":"+0.823255181312561","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":"Q2993243$4D514F54-FBE3-4B46-9D8C-632DE5F62551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd35a3df112970d6cc97180e5ec0ad32b2881cac","datavalue":{"value":{"entity-type":"item","numeric-id":3386918,"id":"Q3386918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed37fc6a2433084358495bdb0d3053d538faaf49","datavalue":{"value":{"amount":"+0.7372347116470337","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":"Q2993243$38D7D350-3BB7-494C-AFD9-60E7B79B41C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ef270f544a08dfea2d53296bb24a14b56076010","datavalue":{"value":{"entity-type":"item","numeric-id":283678,"id":"Q283678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f6ea5de46313bdea8fb8a6a80e1cd056d25a48","datavalue":{"value":{"amount":"+0.7371686100959778","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":"Q2993243$597139C7-2B8F-4CDB-A677-2E143BEE0B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1126553f6412609d022681c7bc4ab802eeb8d917","datavalue":{"value":{"amount":"+0.7322288751602173","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":"Q2993243$8D3276AD-9B4B-4D0D-B50E-974D428A7E41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2993243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2993243"}}}}}