{"entities":{"Q3577911":{"pageid":5607815,"ns":120,"title":"Item:Q3577911","lastrevid":49601713,"modified":"2026-01-08T05:59:38Z","type":"item","id":"Q3577911","labels":{"en":{"language":"en","value":"Generalized Davis-Putnam and satisfiability problems in mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761481"}},"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":"Q3577911$F6B29580-54BE-4162-AF6C-D11498C0B981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"716a743926dcb9f0369915e5a7d1a3049b0f51b3","datavalue":{"value":{"text":"Generalized Davis-Putnam and satisfiability problems in mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3577911$FF97DDCF-6CB9-4720-A422-EAA176C35C99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e88b6de1a1e1968ac8186f3afe5af31eca06ba5f","datavalue":{"value":"1205.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577911$7E1A2DFA-6FD3-40AF-A514-EF7F73B85770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd44f8afaafd597582884a2d4bfffe0e6fb40c04","datavalue":{"value":{"entity-type":"item","numeric-id":920086,"id":"Q920086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3577911$2BE35C76-6880-47D3-9758-9435AF0DAB20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51a2685e131198f653c90b66922043417f7b2e3d","datavalue":{"value":{"time":"+2010-07-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3577911$EC886D43-43AC-4B70-A4BF-5057ACCF6889","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577911$96173CBA-13C2-4046-BCE0-1B6E682C6295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577911$9E8B670F-2737-4CA8-A29D-4E191FD32E6D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19ff5ea56ffd5234b50ed23fedf25484261da333","datavalue":{"value":"5761481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577911$C16A4052-8776-49EF-A4B4-60EAE812C6DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3577911$BB25B3BF-A0BA-43BC-8CDF-071331632808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3577911$70808116-6642-4D38-B9FC-51666A0263D8","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":"Q3577911$CE66E160-7829-42CD-B21D-600DF5B65A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6e6ba2c899377c3ad98f40d46f281302afb8d02","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp053","type":"string"},"datatype":"url"},"type":"statement","id":"Q3577911$27AC0562-9C90-49FC-991E-DD266436B6C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a55880d63f6e39321aa8f81a40285fa1332f66e","datavalue":{"value":"W2044421542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577911$AA4AD704-1B0D-4548-A64D-EC283FB7E8E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2f60674ffe31dc090747de6d42de52879759ecf","datavalue":{"value":"10.1093/JIGPAL/JZP053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3577911$0581FDC2-3983-4AC5-B015-F3CB97E8CD26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1a47db242b97606819c9bb834c99ed5c9bd3943","datavalue":{"value":{"entity-type":"item","numeric-id":5915756,"id":"Q5915756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8f44ebe6ba5860445eeff017f266dd495e4c1f","datavalue":{"value":{"amount":"+0.8876496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$AF9CC32F-BF9B-44D8-911C-605436D7C904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ee72e0a015112b3a64f6496989c95ee8c72f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5919560,"id":"Q5919560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c8f44ebe6ba5860445eeff017f266dd495e4c1f","datavalue":{"value":{"amount":"+0.8876496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$CD4AD250-F569-42B0-93DC-18B73EF98811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abf0314fda5f48a9c8bd26215b72311767cad72b","datavalue":{"value":{"amount":"+0.88631994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$5C9824FD-68C0-458B-95FD-B86AC7012025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909541a349ce169f9b5091df34f4a238ccb451fa","datavalue":{"value":{"entity-type":"item","numeric-id":2643080,"id":"Q2643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3831c42682f2780cda1c05c6abaf189904ee775b","datavalue":{"value":{"amount":"+0.8861061","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$B1AC03D9-AC85-42B9-9689-E0234E447BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25e92c36a354ff2815d10702d9ce99c3590065f","datavalue":{"value":{"entity-type":"item","numeric-id":5715690,"id":"Q5715690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e8b8c6eefecfbffc4ae8ab2fc1a0c037d9eecb7","datavalue":{"value":{"amount":"+0.8846823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$E677E4AD-C1D6-4594-B531-60BF34CC32C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa560bb2f14c8e40c30f2ae2b06ffe5efdd65862","datavalue":{"value":{"entity-type":"item","numeric-id":5705953,"id":"Q5705953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385e6f8fcda9534d68877aab9601ffa61ffee672","datavalue":{"value":{"amount":"+0.88181436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$406D4EE2-0D24-450E-A5B6-B923E7BE283C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb29bdfd2432d520a44e436c9a9d449e487108e7","datavalue":{"value":{"entity-type":"item","numeric-id":2405239,"id":"Q2405239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2bf50a2671e4280522eab40542340493c31b9bf","datavalue":{"value":{"amount":"+0.88138944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$44DD6607-8DC4-4487-A144-730692B24883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94bc608f5ca5a9091998c7366f1e292866fc4929","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9219e87a459f434bbc21a7ae5d268df870aeb790","datavalue":{"value":{"amount":"+0.88085586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$8F8D2F3B-EE4F-4102-BE88-1FB1381A0FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4b46e267134ea318cd8e86042ef0a00b2e104f6","datavalue":{"value":{"entity-type":"item","numeric-id":988571,"id":"Q988571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f4fe6001db11268909a05e69ac9c49db3d4f94f","datavalue":{"value":{"amount":"+0.88085574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$5241C627-9AA7-44FA-8006-A913A04CE9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a1a222fccc5134898095dc377766f35a40e41","datavalue":{"value":{"entity-type":"item","numeric-id":2980963,"id":"Q2980963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c50ba545ebb45fd9ff8c6642668000136057da5e","datavalue":{"value":{"amount":"+0.87987614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3577911$5FA3AE4B-6021-4369-98B0-5BFD67FF345B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3577911$F72F7473-6145-4366-9CD6-1056A3668E59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3577911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3577911"}}}}}