{"entities":{"Q787685":{"pageid":789533,"ns":120,"title":"Item:Q787685","lastrevid":64337811,"modified":"2026-04-11T19:10:42Z","type":"item","id":"Q787685","labels":{"en":{"language":"en","value":"Average time analyses of simplified Davis-Putnam procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3841274"}},"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":"Q787685$8A5EC8DC-CB95-4B9C-B1AA-E32FCAA0DAA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d289428ad42ec4cf3e68e3e41e9e5cdcd1077ce","datavalue":{"value":{"text":"Average time analyses of simplified Davis-Putnam procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q787685$64A25A9B-345B-4C2C-8AFB-C94582C55B90","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3150c4a73cfccd5bac774fd401c735d499ac730f","datavalue":{"value":"0529.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787685$3B975093-2F02-404C-8B1F-EA8AE4A14681","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4563b55315152319d013b0cb7b65bef5bdeb8a96","datavalue":{"value":"10.1016/0020-0190(82)90110-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787685$2CEF7BC8-E6F4-4556-9415-7E39F41579CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$ECB50CFB-9780-4B56-A1B2-03A922DEECB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$DF2F057A-54EB-476A-97B6-B383924B8F44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q787685$E455DE9D-C8AB-4ADA-BECD-20485DCB87D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787685$908404D3-C9FF-43A6-BD5A-C2E1CA4A9C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787685$B8143407-6578-468C-B34A-45ADF109BC56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59b4aeeeb46bad5aafa08a70a2c3162f196ab133","datavalue":{"value":"3841274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787685$5CBBC21E-371F-4A4D-A249-5088D6498CDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b14652cc6525641c2a3dcb6e1e579346c8664d6","datavalue":{"value":"polynomial average time","type":"string"},"datatype":"string"},"type":"statement","id":"Q787685$1997F1B2-ED5D-4DC8-88A9-A9160FBD9F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q787685$BC5DAEC8-469F-4DF4-8CB1-6249B3CCA1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8322976646aec50506d2d2467cb055e2dd4a348a","datavalue":{"value":"pure literal rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q787685$E242B146-47B1-440E-A618-CE1ED7B7BCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2085f6ca6b5f22ff227aa538ed50fc77fe1a47b","datavalue":{"value":"Davis-Putnam procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q787685$3F859BF3-B406-45E2-B7F1-F3FDECE0C800","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":"Q787685$6E6EA622-81C1-42E1-B3D6-CC67AF7A970D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fad3b949bf1e2cd1d0a749957d60f64c20e5da8","datavalue":{"value":"https://doi.org/10.1016/0020-0190(82)90110-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q787685$E2EEF5DE-3707-45A5-AAD5-77332FC4469A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"05a8d0eeb8565f5fdb5d5ed001e6c56b47cdcbe5","datavalue":{"value":"W1969377401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q787685$F2390EA4-E1D6-4054-A47A-711AA4B71F50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3211594e19536abe0436fce44b1adf71ae9fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4072832,"id":"Q4072832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$32B5979C-BF9E-467C-8B48-9952EEAF7908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe6ab3559345bc9f039132e063ea1bc380f23ea","datavalue":{"value":{"entity-type":"item","numeric-id":3911407,"id":"Q3911407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$F90D1389-7707-454B-AE75-C5A1449BE680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$81FB0C0D-F26F-49C0-AAE1-65D37FFBB1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$4DAB1689-600A-4E6D-83FE-C96BD5226F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$06EBDD92-1F76-43FF-A5DA-7124A599C93D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c1a7c08104d2aedd244f7b11b210cc611ba801","datavalue":{"value":{"entity-type":"item","numeric-id":3036695,"id":"Q3036695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$84411ED4-7E2B-4EF6-B056-E78BE9CBCAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q787685$E019A208-6F43-4345-85E0-2EDCBD1C38D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Average time analyses of simplified Davis-Putnam procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Average_time_analyses_of_simplified_Davis-Putnam_procedures"}}}}}