{"entities":{"Q7400523":{"pageid":31937078,"ns":120,"title":"Item:Q7400523","lastrevid":107315753,"modified":"2026-10-23T13:25:31Z","type":"item","id":"Q7400523","labels":{"en":{"language":"en","value":"Davis\u2013Putnam algorithm"},"de":{"language":"de","value":"Davis-Putnam-Verfahren"}},"descriptions":{"en":{"language":"en","value":"algorithm for check the validity of a logic formula"}},"aliases":{"de":[{"language":"de","value":"Davis-Putnam-Algorithmus"}],"en":[{"language":"en","value":"Davis-Putnam algorithm"},{"language":"en","value":"Davis\u2013Putnam procedure"}]},"claims":{"P239":[{"mainsnak":{"snaktype":"value","property":"P239","hash":"86f03010dc04ea73ac0a42cbb1e6663fe435a3c5","datavalue":{"value":"/m/07_p4x","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7400523$06C58344-D2FF-4B0B-BE5B-0B1B19292A0B","rank":"normal","references":[{"hash":"6499e90742e6a3b2d9cb91c8c38ff13ffd6eb773","snaks":{"P98":[{"snaktype":"value","property":"P98","hash":"765c249748dbeb69c8c4d98de780dc063f8e09cf","datavalue":{"value":{"entity-type":"item","numeric-id":56521,"id":"Q56521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P28":[{"snaktype":"value","property":"P28","hash":"ad31989710dc3c2a167cc95050bb6ea34e0bbe88","datavalue":{"value":{"time":"+2013-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P98","P28"]}]}],"P558":[{"mainsnak":{"snaktype":"value","property":"P558","hash":"e7e452e5ec9a2cc0cd5fdd59ce0c1c7f2016d172","datavalue":{"value":{"entity-type":"item","numeric-id":814998,"id":"Q814998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7400523$25CB6967-6E37-4A6A-ABC7-0CD8596AB95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P558","hash":"51b5025e258df742acc1c5f45f7ea05b2f41e4cc","datavalue":{"value":{"entity-type":"item","numeric-id":698541,"id":"Q698541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7400523$4D5EF0C9-1F87-47AC-8C5B-0A6FA1F1622D","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"3549c24f9ade438a3be5e15249f51b5c11a6425f","datavalue":{"value":{"entity-type":"item","numeric-id":127020,"id":"Q127020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7400523$94B052E1-79ED-4D3D-9F0E-E662426B2A9C","rank":"normal"}],"P373":[{"mainsnak":{"snaktype":"value","property":"P373","hash":"f209112b315ab3088c2ba25673b21371ea0c1db1","datavalue":{"value":"2780912396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7400523$74D2B96F-8CF3-4638-AA6F-F710E4500FBD","rank":"normal"}],"P1185":[{"mainsnak":{"snaktype":"value","property":"P1185","hash":"6e0a6685a7e3b6793a9ce1aff1f2462d9b68e1e9","datavalue":{"value":{"entity-type":"item","numeric-id":7272292,"id":"Q7272292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7400523$E36161B4-5221-4365-9B65-379C7DEE54AD","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"547ff5e671923d498591e2c5776edd775bd80f31","datavalue":{"value":"Q1177898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7400523$E1325C68-951E-4F3A-B6C0-D0E0F4A4332B","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"0a78f5fbf685685f63a07a4db6904077932b6231","datavalue":{"value":{"entity-type":"item","numeric-id":6503323,"id":"Q6503323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7400523$7C7A40B8-034B-4E17-9BAA-FB205E7DE177","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Davis\u2013Putnam algorithm","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Davis%E2%80%93Putnam_algorithm"}}}}}