{"entities":{"Q6890908":{"pageid":20841982,"ns":120,"title":"Item:Q6890908","lastrevid":104073389,"modified":"2026-06-06T08:49:32Z","type":"item","id":"Q6890908","labels":{"en":{"language":"en","value":"Automating tree-like resolution in time \\(n^{o(\\log n)}\\) is \\textsf{ETH}-hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8130496"}},"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":"Q6890908$DBCBC358-1865-414A-8977-00DD38582830","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f1fd92bf4bd0ded7cc1e1e9db171a239d7c313","datavalue":{"value":{"text":"Automating tree-like resolution in time \\(n^{o(\\log n)}\\) is \\textsf{ETH}-hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6890908$37707F74-2756-44F9-8B10-7E77B7F5CFF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4dd4818273980ba5d510b07e3e4ec8629953ca28","datavalue":{"value":"10.1016/J.PROCS.2021.11.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890908$FECA8422-A1B7-4B03-8448-262770CFA80F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5f7d69e0c50407a5122b097efba627c1b5dc23d","datavalue":{"value":{"entity-type":"item","numeric-id":389498,"id":"Q389498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890908$D9B6F786-02A4-462F-94C6-A2570D54A6DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"77e56a2a9fff2ceca7feb6cb0179eb74e3b0a198","datavalue":{"value":{"entity-type":"item","numeric-id":137251,"id":"Q137251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6890908$1F0DEF71-4DEF-4F4B-9631-A3BA0D2DED0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d7b765ce3e6f2b7cfacfce4547ac44e853c6fc","datavalue":{"value":{"time":"+2025-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6890908$9E856713-0FC4-4A1E-8B43-E749771A8221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890908$1881032C-CD17-4E56-BA81-9290877F3107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890908$EBBF5BAC-776F-4210-AD40-B4B911D6A1ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"608fc8af69166c8b8a8bbf84ec7e5e2f27476667","datavalue":{"value":"8130496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6890908$A3C15521-1D9A-400E-9E85-A85F1205E427","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6d4542040d77588aa645bd2ca48d828b38ad487","datavalue":{"value":"automatability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890908$4B05A1B1-B36F-4965-9A68-8C550E24093F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae4596ec247ace64446caee7b381f3e737abbe7","datavalue":{"value":"tree-like resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890908$03393455-20E5-4180-B55E-F9A09D9EC348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0974d841ba27603503b56afd092463f7ab4b17","datavalue":{"value":"exponential time hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6890908$A48AAE7F-BE55-4A9D-A322-DFC50A121532","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":"Q6890908$A059CA1B-B70A-4D76-8DF3-32FB49525398","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6890908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6890908"}}}}}