{"entities":{"Q3335000":{"pageid":3345708,"ns":120,"title":"Item:Q3335000","lastrevid":48733420,"modified":"2026-01-05T18:00:49Z","type":"item","id":"Q3335000","labels":{"en":{"language":"en","value":"Solving Satisfiability with Less Searching"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868629"}},"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":"Q3335000$429E2B0D-3103-4DD5-B488-9839DE5F42AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19830337a040efcc9bc0e1b9057daca2b78b625c","datavalue":{"value":{"text":"Solving Satisfiability with Less Searching","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3335000$65364279-9CB3-48CB-BD16-288451F145A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"923eb6b812f9cb87054179597f7713a682205524","datavalue":{"value":"0545.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335000$15DE7941-3903-4779-81E7-2A27D527821D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"282d8ea97c439b661276525f5d788b7530234489","datavalue":{"value":"10.1109/TPAMI.1984.4767555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335000$F132D1E3-6D96-40EA-A9CC-EC3D3805E75A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8d1d792ed87a1ed972cee9acec003b26cdd731e6","datavalue":{"value":{"entity-type":"item","numeric-id":65470,"id":"Q65470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335000$5CB20C1B-9B5B-414A-A36C-56431E3B9692","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3335000$2AE47312-B9C0-4264-802A-1B42DCA522AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335000$595C0C2F-D193-4685-8301-FBBF790441E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1f6cce429f626ef6a2bca0291672217f95b1d6b","datavalue":{"value":"3868629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335000$67345F2D-907F-47D8-B174-988FFA587267","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b21dd3af63d6d08a31752795da39e5ac4a5e11","datavalue":{"value":"complement searching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$3C0F4123-6FC2-446B-B4EA-4128EB1CFE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$54BBDF5C-4414-4594-A970-32B2944E0E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$0D920CD3-DEFB-4D11-A142-9A069578488E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"523a1490be00b0d4cd228cb327aabca0d55af633","datavalue":{"value":"Search trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$7CB4EDC7-4594-4D6A-8097-AF39C20C659D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90af77ac698b920eceb0e62df4048a1c5c23d60d","datavalue":{"value":"subtrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$0EE7F803-D923-4306-8572-299B726508CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$FB2274FD-DE77-4272-A0B0-33F7F923A291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6082cc6b20c27ed53ae5f15f20e52871b89c9797","datavalue":{"value":"conjunctive normal form predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$4F422C4B-310C-423B-B9F3-505ABB3B942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98d9b70c0e97835da21ae487a6c275d3a8df1dad","datavalue":{"value":"pure literals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3335000$E66ED9F5-936A-4F2D-8357-7676B099A53B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"30ef0211ec3d42d2efe3333ea4884cd276326095","datavalue":{"value":"Q84832670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3335000$0E7D8151-7CE2-4272-ADBC-C6B4C6BD4472","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ee08d0becda9e1f06a72179bfc8bc9b783d54a","datavalue":{"value":{"entity-type":"item","numeric-id":1095676,"id":"Q1095676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3335000$480A5C45-F908-4AE8-AECC-BEF13A00F31E","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":"Q3335000$897B3E6F-1BA4-4E38-B24B-3B5609916E03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fece05e104c71c5c2526fd316d018d7f2b6f1c","datavalue":{"value":{"amount":"+0.8051729202270508","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":"Q3335000$AB6AC7D6-3BC1-483E-9269-65AA8F58EF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d468b5c540abe65339c26239e6406fad5d3590","datavalue":{"value":{"entity-type":"item","numeric-id":5687266,"id":"Q5687266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee2bc23729d6c7f90c63f65551c193a2c094481","datavalue":{"value":{"amount":"+0.80231112241745","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":"Q3335000$E54587F6-C5CD-4B78-B674-167C219DF63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4089e1453b728f4a4e76b2d46e6088049ba9e673","datavalue":{"value":{"amount":"+0.8005148768424988","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":"Q3335000$51818698-3AC5-4D84-BD7B-34FA295A1376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf86346218d91a2909d6e4b8ab510804fe2b90b","datavalue":{"value":{"entity-type":"item","numeric-id":5714754,"id":"Q5714754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"442ee8c3164edd4f3c24eb7a71d91996a29c92de","datavalue":{"value":{"amount":"+0.7998902797698975","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":"Q3335000$1067E61D-7F12-4D49-92D1-987EC7D5FCC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63147f93f6afdec0650450b4f523601326679252","datavalue":{"value":{"entity-type":"item","numeric-id":4336206,"id":"Q4336206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f05ac1f25993359c324ce7da6477316b9cad8cc","datavalue":{"value":{"amount":"+0.7874791622161865","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":"Q3335000$1C4129C7-ACF7-4D92-877C-A0057C378B6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3335000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3335000"}}}}}