{"entities":{"Q797300":{"pageid":799148,"ns":120,"title":"Item:Q797300","lastrevid":42700597,"modified":"2025-07-08T15:05:51Z","type":"item","id":"Q797300","labels":{"en":{"language":"en","value":"Corrigendum to ``Average time analyses of simplified Davis-Putnam procedures''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3868657"}},"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":"Q797300$5BE2149D-E7FC-4DF5-98F8-68862CEC5031","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8d0250a8ae9ba48cc22f8f50712c9405ac9e246","datavalue":{"value":{"text":"Corrigendum to ``Average time analyses of simplified Davis-Putnam procedures''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797300$CC2ABE75-1F1E-474D-89B3-97F218485935","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"987259406f93ef8d227b4ec1bf50d653c1d67b66","datavalue":{"value":"0545.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797300$B1DD1807-E879-4929-BD09-D9A0DB7BD5ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"58ca3436a1d12bede5e1326fa9be2c01fa0979c8","datavalue":{"value":"10.1016/0020-0190(83)90127-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797300$C74EDD29-7236-4568-9AA2-4E53AC74FAE1","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":"Q797300$DA50B2EE-5D49-4D7A-A883-0602C6962CCD","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":"Q797300$49BCC3A4-3A53-4CD3-983C-05DE983CC8EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q797300$008AB1B2-C399-4DC0-8F14-77570CF082A4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"faa77859e5307044988eb35c04c163f80443523a","datavalue":{"value":"Concerns the authors' paper ibid. 15, 72-75 (1982; Zbl 0529.68065).","type":"string"},"datatype":"string"},"type":"statement","id":"Q797300$DBC0218F-2F4E-45CD-BA3D-B93C564B64E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797300$77277DB8-36E5-4CF6-A872-F1301DFB6FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797300$27B614F9-F3E5-47BC-9601-7BC3FD7D340F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d59abf586e0aaa82f79d887d56b35e81fef380e2","datavalue":{"value":"3868657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797300$847BA5CD-8E7D-4870-A44B-C751455198CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"660c71eecabb6418ef04c75bc29afffb9230efae","datavalue":{"value":"Davis-Putnam procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q797300$BD3B2DFE-B951-4B6B-ADD3-7C657FAA3556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b14652cc6525641c2a3dcb6e1e579346c8664d6","datavalue":{"value":"polynomial average time","type":"string"},"datatype":"string"},"type":"statement","id":"Q797300$23DB3514-A05C-4429-97B6-0DC9C535F468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q797300$275E1C02-0190-4E67-B3E6-E7C5F4B3BB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8322976646aec50506d2d2467cb055e2dd4a348a","datavalue":{"value":"pure literal rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q797300$F32D3E50-FCB4-4C47-96E7-2B534F70DDF9","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":"Q797300$448E9B26-CA81-43D9-B407-44C83DB26CA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f84c6c0665b91d2ff0f545d2c77367ba7d5245b9","datavalue":{"value":"https://doi.org/10.1016/0020-0190(83)90127-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q797300$4FA756CC-1505-45FA-B826-7EFF1A88D71D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dde4ee7688f237f1ef1fc65422bbc198a53c483e","datavalue":{"value":"W297067813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797300$F59DFC2A-A32E-45FE-B14C-2758491C095A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"368b2fde13e02c4e6de0084f7da54d370829d06c","datavalue":{"value":{"entity-type":"item","numeric-id":1822244,"id":"Q1822244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"313f22eff831c72edc800537ab5fefa079b5f746","datavalue":{"value":{"amount":"+0.83122873","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":"Q797300$BFAE071B-264E-498B-9378-2E90653EE572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a3b8d5beb9ddeeffa1178c03188d9c2566fb924","datavalue":{"value":{"entity-type":"item","numeric-id":5135627,"id":"Q5135627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12c804fcc57d44b718ed305ebe0153046f0f881e","datavalue":{"value":{"amount":"+0.82787347","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":"Q797300$C2467316-9A72-4012-BC5D-AC1D0E281EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b17c31fd372b5268e5a1fd91f1db1891d0a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1197984,"id":"Q1197984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afdb814bb4386f27fffa93791dca51ffa60ac43","datavalue":{"value":{"amount":"+0.8191593","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":"Q797300$C800863E-8044-4456-BA73-E34E8700ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d79afdc6c29470b5c706a9eebeb26d90585c1783","datavalue":{"value":{"entity-type":"item","numeric-id":2817678,"id":"Q2817678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a1895400aac31881b5fbd116317fcbf61bd6b4","datavalue":{"value":{"amount":"+0.81622076","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":"Q797300$934597F5-942B-4127-B285-635F1565E058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d99cf8a424f64e5474dfa5110c53a66251dbd4","datavalue":{"value":{"entity-type":"item","numeric-id":2149581,"id":"Q2149581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b9ee6b9d987ca8756f8108aa5de5fcf8fa52d91","datavalue":{"value":{"amount":"+0.80956787","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":"Q797300$B38C4580-BC08-410D-8125-9028CCEE8774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3762ce0f36c7fb56c082477e6f02f1dbfcee289","datavalue":{"value":{"entity-type":"item","numeric-id":4733696,"id":"Q4733696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78286be02da7b3fd682c1d7917022e98c0853e0c","datavalue":{"value":{"amount":"+0.80683637","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":"Q797300$CBCF211D-6C4B-4705-99FF-B889CD59ECFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70b4867441d10cb913bb4be936f6e3639ba22b2","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e924861aa4b151d2a2387daf46534336b13679","datavalue":{"value":{"amount":"+0.80321705","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":"Q797300$F68FFF2F-EEFA-47EE-A225-7DCD4433C900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7c0a267e543144fd11e5e7758ade312f4b2f6ee","datavalue":{"value":{"entity-type":"item","numeric-id":2417858,"id":"Q2417858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bceff7b079727735f333165a3521bcc160357f8","datavalue":{"value":{"amount":"+0.80028164","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":"Q797300$4C74328B-8AE8-4671-A540-401466D8E2CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:797300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:797300"}}}}}