{"entities":{"Q3944041":{"pageid":5973946,"ns":120,"title":"Item:Q3944041","lastrevid":92998253,"modified":"2026-06-05T03:21:34Z","type":"item","id":"Q3944041","labels":{"en":{"language":"en","value":"Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3761440"}},"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":"Q3944041$5B823849-6EC9-45CD-8A07-6EF3487B3E56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09be017ea493025348596014b258c0a6c22bcf2e","datavalue":{"value":{"text":"Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3944041$4E0FF045-F2BA-434D-8025-8383738E72E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b210a675616c686dda4c745c5ab172fbc23e5efb","datavalue":{"value":"0484.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$72AD3181-9659-410D-BBAB-B246D362288B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4bea526f4a0cd597c670ab0eea6389a8629d9069","datavalue":{"value":"10.1137/0209008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$C68BE8FB-10DB-4ADE-80E7-87727224C1B6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3944041$5B16462C-40F5-4E20-9E0F-A65A041A240E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3944041$3E89FD06-F76E-4DBE-B681-A4E519F73187","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$49D90AEA-A79C-41EB-B0E2-9BDA2B931744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$C1427739-BA1D-46F7-B219-DB978BFCECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$832F917A-87D4-416A-A222-10CACBCF216E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35c115e252931262b8bb6cb76b0df65f40333581","datavalue":{"value":"3761440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$D261DFCC-12C9-4799-ACA5-0A8CDB129CED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8e7a24d4b0c479227a8d4717d4130bc2b37a746","datavalue":{"value":"sets of unit clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3944041$6B03BD76-7B3C-4BCE-B508-EEE6EAB3349A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c423343e11dcbc990dfe5e08360e22a02bface9","datavalue":{"value":"nondeterministic pushdown stack automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3944041$F2634B7C-43BE-4E9F-BD5C-0A103FA2DB74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed31a4165b5bd145424a4e7b9d2ddad3df63e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":754194,"id":"Q754194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3944041$23153AD5-817E-4BC6-A9F3-8CE5CCA66172","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":"Q3944041$FEB5E4DE-3AF7-4E92-B57B-6DB1A67B6A25","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"13fc9b19ad60334222486bd74c1625f713230614","datavalue":{"value":"https://doi.org/10.1137/0209008","type":"string"},"datatype":"url"},"type":"statement","id":"Q3944041$24121933-314D-4FE5-8301-A91FF086693F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1e8167454f08be0afb0bb1c783b2507dbfd0fa1","datavalue":{"value":"W2025712536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3944041$EECBC1D9-CBD5-4AB4-AA7F-283EFBB5DAA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Worst Case Exponential Lower Bounds for Input Resolution with Paramodulation","badges":[]}}}}}