{"entities":{"Q1977761":{"pageid":1988503,"ns":120,"title":"Item:Q1977761","lastrevid":72167721,"modified":"2026-04-14T03:04:47Z","type":"item","id":"Q1977761","labels":{"en":{"language":"en","value":"Implementing the Davis-Putnam method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1449101"}},"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":"Q1977761$D5AE09D5-0FAA-48C3-8BD9-C0C63CE9ABBB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdb41c2b56d57b71ae3e96a98caa6bb6c930ea20","datavalue":{"value":{"text":"Implementing the Davis-Putnam method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977761$B80DE8B5-9B38-4743-8979-FB250EA2224E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf677e4af676b328b37bcdc24baecd51a0dacb0","datavalue":{"value":"0967.68148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977761$5CECEE9C-7B8B-4EA1-B700-F473FBE5399C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83ac26d2ddbb6149dba1677f1e70d05f0f08e5d9","datavalue":{"value":"10.1023/A:1006351428454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977761$D7972A9D-D1BD-4EEE-8C6F-117DB0A97260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"586ab04ae742da0d5be5693eb9382676e10f577c","datavalue":{"value":{"entity-type":"item","numeric-id":1101258,"id":"Q1101258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977761$F6D186FE-53CE-4B8D-93DB-B5FD8CE6C328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19b168abea7db04055f6cf4c99009d9572497bb1","datavalue":{"value":{"entity-type":"item","numeric-id":1617008,"id":"Q1617008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977761$7D04B1BB-615E-4AA1-BCB4-6C868E955EB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977761$8B55FCF2-B36B-43AF-811B-84A7D26A6A31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8fc142a22f1f6784530e2dfe6b860e6fbdb5637","datavalue":{"value":{"time":"+2000-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977761$C5E0A676-C671-4745-B854-45AAB37F2387","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977761$BF90BC79-F9BC-4CA5-9FE8-E8EF31785C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e634b9a7e0e7cbdb91cf59928e9fefb8297067fa","datavalue":{"value":"1449101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977761$83E252F5-7FB3-41E6-8E27-DFB4F5A1234D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977761$77B631FC-080E-412A-AB39-D6958A631FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3576a62fe6505a54982e1e4850926f06d7fb6270","datavalue":{"value":"Davis-Putnam method","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977761$3CA2B103-1FEA-499E-A6A3-B6EBA1AAB9C9","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":"Q1977761$9E4D5BEE-AABB-4A5D-A635-18BFBB11C3BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0a7d02cb164b0fef672b89a3290eea77a00927e","datavalue":{"value":{"entity-type":"item","numeric-id":2749864,"id":"Q2749864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56e67cfdc3b22b0c53434e88c7e7124ae9d9267","datavalue":{"value":{"amount":"+0.997420370578766","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":"Q1977761$06DD8935-F86F-4051-A93A-706B67C53DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e366a6ae1ffcd391788169251187e485eed88162","datavalue":{"value":{"entity-type":"item","numeric-id":5687274,"id":"Q5687274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23098b02a9198ccfeb19bac943f73fd5d5af6d81","datavalue":{"value":{"amount":"+0.8300558924674988","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":"Q1977761$41A930B3-03F4-466C-AD01-E5C684C7FE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eb813533a56371910f97761942467b575d69c26","datavalue":{"value":{"entity-type":"item","numeric-id":4518913,"id":"Q4518913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23098b02a9198ccfeb19bac943f73fd5d5af6d81","datavalue":{"value":{"amount":"+0.8300558924674988","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":"Q1977761$2D7273ED-148D-4F81-A479-1D3D7A491E36","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":"17eb8de8bd18e55b4bc8b973a4c3a196b25d4257","datavalue":{"value":{"amount":"+0.8132585883140564","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":"Q1977761$28041166-2CA6-4710-9522-BB2BB9801BB0","rank":"normal"},{"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":"0cc4518ec46ac2871a58236246c5617a80efbf5e","datavalue":{"value":{"amount":"+0.8103759288787842","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":"Q1977761$D55E7364-2BAA-43F4-B4D6-95991C6C12DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implementing the Davis-Putnam method","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implementing_the_Davis-Putnam_method"}}}}}