{"entities":{"Q5415477":{"pageid":7445051,"ns":120,"title":"Item:Q5415477","lastrevid":51996929,"modified":"2026-01-20T17:24:58Z","type":"item","id":"Q5415477","labels":{"en":{"language":"en","value":"Time-space tradeoffs in resolution, superpolynomial lower bounds for superlinear space"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6294571"}},"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":"Q5415477$22C0B11C-4D57-4C68-B4FB-05204B8496AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"123a24ab12037f55449760bae5f4a5e86a56af89","datavalue":{"value":{"text":"Time-space tradeoffs in resolution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5415477$7052AE0F-601C-42BD-8403-AE1E99A39F97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8c9c10c69bb2fe5bb7eb8757eb58f140114ec55","datavalue":{"value":"1286.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415477$B88DC116-51CF-46F1-83F6-80036CDB1C5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f5758e97d7bf3ffa2a1f35bfe155b93fe7870d2f","datavalue":{"value":"10.1145/2213977.2213999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415477$0997CEBF-07E8-43CF-9FF9-3AE6AD8D3203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da675aa049d4fa45ae462398a57ae107ccb76510","datavalue":{"value":{"entity-type":"item","numeric-id":5415476,"id":"Q5415476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415477$E52A667E-AB5F-4CE2-BC19-18B02475BFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afbdf0b4b75e6a0dfd1ecc76c9480c04f5fced5d","datavalue":{"value":{"entity-type":"item","numeric-id":202088,"id":"Q202088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415477$F0DDCFB1-3DE0-4C86-B66E-745680E6DEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdeac5e928e087a649bdeced20db2b34fab0678f","datavalue":{"value":{"entity-type":"item","numeric-id":1822913,"id":"Q1822913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415477$55A77FFC-EE89-43CD-9276-DD9404F502EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1eeb56dadf4cd3ba063da74092eadbe1e9021bc8","datavalue":{"value":{"entity-type":"item","numeric-id":5415460,"id":"Q5415460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5415477$760E6CB4-4EB7-4A43-A284-F7FD7E624EB9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"babb005e2058a090ed1400594b32c070c610537c","datavalue":{"value":{"time":"+2014-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5415477$05C0C75E-6A55-4C87-BE39-68DA3BBA8DEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415477$59FBB067-8B25-41A3-9841-0B37E0B7A70B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415477$02C27AC6-9851-4E8A-B6F9-6F93C6FE8DFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fc233ef0cc4d008154938a5ce7b9c17f048ee5e","datavalue":{"value":"6294571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415477$66CAC9F6-63F0-42D6-984F-6DD91C7882FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415477$BADEF80B-26C1-4600-82CD-6679F5F5AD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf5e86d34b629e124b4bc7a75dd155da8e3cd8d","datavalue":{"value":"time-space tradeoffs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5415477$B03EEE08-1537-4CE4-8415-4D997209B17F","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":"Q5415477$A687134A-4EFB-4053-BC04-E7A21028E567","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1175b26375c90d6c645615d38836f3ef56e7c182","datavalue":{"value":"https://doi.org/10.1145/2213977.2213999","type":"string"},"datatype":"url"},"type":"statement","id":"Q5415477$0CB3470A-553F-4C40-A6EF-D258D4759113","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a78f7db4c9b0c30e0298143203cb242fcb3aae5b","datavalue":{"value":"W2074834475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5415477$648C6D25-E83A-4FE4-823B-C55FF285095E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88487d39d860afa32f6d456fc8042ed67d952460","datavalue":{"value":{"entity-type":"item","numeric-id":2817796,"id":"Q2817796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0b025348f54f3277e8d2c09653b3d2ec7eae6c","datavalue":{"value":{"amount":"+0.982995331287384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415477$ED0B36DB-2738-44B2-BCEB-7012203913EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070cacf0f29221af8e07f77a8c0c4d6ff7eeb031","datavalue":{"value":{"entity-type":"item","numeric-id":1616620,"id":"Q1616620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85484624f33f1f34aebf919984ded7ef0dbb50f9","datavalue":{"value":{"amount":"+0.8458198308944702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415477$DF313365-A2F0-4FD1-AD0B-827A058797E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7401c2396678df9562b830016a74a99eb6540cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4598196,"id":"Q4598196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e42376cde259e9474ccf660cc466e5ebdb650a9","datavalue":{"value":{"amount":"+0.8316293954849243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415477$1506B598-D190-4632-96D9-41E976247934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e3633ad0f84ad98f6562ad3456a4c1f05a5aac7","datavalue":{"value":{"entity-type":"item","numeric-id":5215515,"id":"Q5215515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a179b422e7b60d6a8f3ded60dd641bcba2cad6f5","datavalue":{"value":{"amount":"+0.8299989700317383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415477$617B675B-1027-44C3-944E-B938E7CD91A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4081d2a0215b083c4262ab1d473dfcd8460929cd","datavalue":{"value":{"entity-type":"item","numeric-id":3654387,"id":"Q3654387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b334a917bd4914cb6240f6d25ad38d45522609e6","datavalue":{"value":{"amount":"+0.8153738379478455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5415477$D2997F0D-CF51-4472-B326-EDFBDCB9D581","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5415477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5415477"}}}}}