{"entities":{"Q1249435":{"pageid":1260185,"ns":120,"title":"Item:Q1249435","lastrevid":42978342,"modified":"2025-07-16T13:44:05Z","type":"item","id":"Q1249435","labels":{"en":{"language":"en","value":"On the complexity of regular resolution and the Davis-Putnam procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3599489"}},"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":"Q1249435$A777D7B5-780C-4D61-8BBE-5BC7CD53B25F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"014202f53d7234184153f1be67bf8a253686d251","datavalue":{"value":{"text":"On the complexity of regular resolution and the Davis-Putnam procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1249435$0696D61C-A0A4-4E6A-9790-30022E3820BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"132154df3921aa36ace247125aae37a0f224da27","datavalue":{"value":"0385.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249435$DF8299A8-965C-4AB7-AEB2-BA79DE23E6FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5252c60b32d57877e9282c4d92a7fcdc75cdd706","datavalue":{"value":"10.1016/0304-3975(77)90054-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249435$6E8D9371-8EB7-47EB-A674-CBA1CD339947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$B5D4D9A4-40B3-4C95-B669-6802524C5E0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q1249435$139BB757-A4D4-431E-9F53-FE9E09600D62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249435$9BC991DB-4C1F-4828-BAB0-9939FF761CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249435$2AD88E9F-54A9-415F-AB73-4E2BDD531AFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8b0ae9a51698abe35afbee7927d1ed6bfbebdfc","datavalue":{"value":"3599489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249435$E70FF008-982E-473F-B680-A4B2139F8028","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e427d06588e0f5e6a2a228b1ad8e00160bd43819","datavalue":{"value":{"entity-type":"item","numeric-id":673782,"id":"Q673782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$5CD7DE1B-10DF-4E05-AA9A-B27EEAC90AFD","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":"Q1249435$F8DBF07E-3BD8-4CD0-B9D2-E1115E2330A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fc881597cc64afca40fda219bd032648b419832","datavalue":{"value":"https://doi.org/10.1016/0304-3975(77)90054-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1249435$44705967-6BBB-420B-B755-F33AF5877F5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9def5b77c8ac7bca309699a89e4ed1e5c07dd4c","datavalue":{"value":"W2070017679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1249435$B4816043-6EA4-4B93-B7CC-C0BBD7570AB8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$17DE562C-F9FC-4EC6-A960-D853B47D13A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81494301ed40478ad47563138f01784b63003971","datavalue":{"value":{"entity-type":"item","numeric-id":4152212,"id":"Q4152212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$A0E3ED79-ADCD-450E-9652-9FB0B478958E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$B6920E81-D934-4622-A2B0-B5A3C95E9991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b705d434743289f1c33d94607b3327759f7e3","datavalue":{"value":{"entity-type":"item","numeric-id":4142699,"id":"Q4142699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$446E1D69-7E6D-4731-BE85-626EE360D7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc8f5709bfcd60aaaf43eeef84019f0a5d884cc","datavalue":{"value":{"entity-type":"item","numeric-id":1252244,"id":"Q1252244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$523042B0-86CA-4F5C-8B82-D3A0ACD67D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebd50649f1e0277e6bfaea3fa01bd2806b34818","datavalue":{"value":{"entity-type":"item","numeric-id":3230352,"id":"Q3230352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$2BB0D62B-1383-4D8F-835C-DF764CF9ED81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1249435$D9E8ADB0-C173-4949-950C-14C8D1220838","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1249435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1249435"}}}}}