{"entities":{"Q496301":{"pageid":498068,"ns":120,"title":"Item:Q496301","lastrevid":62279244,"modified":"2026-04-11T05:00:35Z","type":"item","id":"Q496301","labels":{"en":{"language":"en","value":"Limits on alternation trading proofs for time-space lower bounds"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483856"}},"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":"Q496301$E7BA58AC-3C74-40B7-B4DC-3685856CD85D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b73eebce645267829e188c5a62229b16c7e240e1","datavalue":{"value":{"text":"Limits on alternation trading proofs for time-space lower bounds","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q496301$5EE24D4F-7402-4AB4-BA12-F10F2E75201C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b040a69b31698a1b050a77532515dc0c610a1667","datavalue":{"value":"1338.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$D46D3F6B-B516-4EB3-A30C-0F4F380CDB4C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$149C6A5D-ECA8-43FC-A144-9D51769FECB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78a3ebf267830b34bb8ced5ebe00bd1ba645205f","datavalue":{"value":{"entity-type":"item","numeric-id":937200,"id":"Q937200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$F57B8CFD-BDF7-4F54-BB3A-6A22EA771321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4472b31ebff52fa964618256e5b76c8eb3e874c2","datavalue":{"value":{"entity-type":"item","numeric-id":172540,"id":"Q172540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$B0DA5A8A-AD8A-431A-8D09-B37B399201E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad46954dca2bdc82123b0f4eccf3a961f20f6907","datavalue":{"value":{"time":"+2015-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q496301$1D88A08B-0E4A-4219-9462-D5C8E695F8BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b126763330c95b6f513ee7e27a4f37b2c5f2f6b8","datavalue":{"value":"This paper continues the thread from [the second author, LIPICS -- Leibniz Int. Proc. Inform. 5, 669--680 (2010; Zbl 1230.68187)] exploring tradeoffs between time complexity and quantifier alternation. Let \\(\\mathrm{DTISP}(t(n),s(n))\\) be the class of queries deterministically computable in time \\(t(n)\\) and space \\(s(n)\\), and let \\(\\mathrm{DTS}(t(n))=\\mathrm{DTISP}(t(n),n^{o(1)})\\). In [the second author, Comput. Complexity 17, No. 2, 179--219 (2008; Zbl 1149.68034)], it was shown that if \\(0<c<2\\cos(2\\pi/7)\\), then Satisfiability is not RAM-computable in time \\(n^c\\) and space \\(n^{o(1)}\\); the proof entailed rules of inference consisting of inclusions of complexity classes, and by assuming that Satisfiability was so computable a contradiction was obtained. In [Zbl 1230.68187], a system of rules of inference based on tradeoffs between time complexity and quantifier alternation was introduced. These rules dealt with complexity classes of the form \\(^a(Q_1n^x)^b\\cdots(Q_m n^z)^d\\) \\(\\mathrm{DTS}(n^w)\\), with alternating quantifiers, where \\(a,b,\\dots,d\\) bounded the amount of deterministic computation between blocks of existential or universal moves, each \\(Q_i n^u\\), \\(Q_i \\in \\{ \\forall, \\exists\\}\\), represented a block of existential or universal moves, and \\(\\mathrm{DTS}(n^w)\\) represented a computation within time bound \\(n^w\\).  There were two kinds of rules:  1. Speedup. Reducing computational time by introducing an alternation. These rules were of the form \\(\\cdots\\;{^a(Qn^x)}^b\\mathrm{DTS}(n^w)\\subseteq\\cdots\\;{^a(Qn^{x'})}^{b'}(\\bar Qn^y)^b\\mathrm{DTS}(n^{w'})\\), where \\(\\bar Q\\) is the dual of \\(Q\\), \\(b'\\geq b\\), and \\(w'<w\\). (In this paper, \\(y=0\\), a fact not used in this paper.)  2. Slowdown. Eliminating an alternation at the price of increasing computation time. These rules were of the form \\(\\cdots \\;{^a(Qn^x)}^b\\mathrm{DTS}(n^w)\\subseteq\\cdots\\;{^a\\mathrm{DTS}}(n^{w'})\\) where \\(w'>w,b\\).  Using these rules, the assumption that Satisfiability is in \\(\\mathrm{DTS}(n^c)\\) for \\(c<2\\cos(2\\pi/7)\\) leads to \\(\\mathrm{DTS}(n^b)\\subseteq\\mathrm{DTS}(n^c)\\) for some \\(b<c\\), entailing a contradiction.  This paper introduces a simplified system of rules, and then proves a variant of a conjecture from [Zbl 1230.68187]: using these simplified rules, it is not possible to prove that Satisfiability is not in \\(\\mathrm{DTS}(n^c)\\) for \\(c>2\\cos(2\\pi/7)\\). This is the primary result of this paper: the rest of the paper consists of a finer analysis of the limits of a variant of this apparatus: using a computer search, the authors compute values of a monotonic decreasing function \\(c=c(\\epsilon)\\) on \\([0,1]\\) such that this apparatus confirms that \\(\\mathrm{SAT}\\not\\in\\mathrm{DTISP}(n^{c'},n^{\\epsilon})\\) for \\(c'<c(\\epsilon)\\) but not for \\(c(\\epsilon)>c'\\).  The arguments in this paper are elementary but long and intricate and, in a sense, repetitive. (One consequence is that there are occasional leaps in the paper.) This suggests that a major simplification of the apparatus would not only be possible but would be enlightening.","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$68B8A83D-0A15-470A-8C04-9D7ABA5B504C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4c2e453a383fe1e064f27e4ca3ff49f8a1646b9","datavalue":{"value":{"entity-type":"item","numeric-id":587174,"id":"Q587174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$F7708FED-AF56-473F-AE9F-A6B56637EDAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$24332C3C-67CA-40E7-90EC-A79847DF6885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$6BBA1A27-7F47-4B0A-9DFC-77D12BB9F2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$F0ABDC4E-2C94-47A9-83B4-BFE8137292D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ede68c400fd388ec039ffbd08df5bc885fa8959","datavalue":{"value":"6483856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$FE2DCA90-E595-470A-9A4F-CF429C0136A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62416fc0e50a50d19ac17f62e05f51aebb4d7e8d","datavalue":{"value":"alternating quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$F5D7CFC0-1BE0-4A5A-B6FB-1E96C65ACC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8d7c785826a7b700aa1fe69c478f8405b925566","datavalue":{"value":"alternating Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$AFD0DDF3-1796-4F73-AE85-8BF77D3C0AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8248a1dce4178bcbdf50d1b921f9653b658d3d1b","datavalue":{"value":"alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$8E138F72-71CB-437F-84AA-2F9ABE39F9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$5C6DA593-7D0B-455D-B0FC-DBE25BAED7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a39999d80740e49a5409c35323fbca9d1fefad","datavalue":{"value":"quantifier complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$A36D2FCE-4C9E-45C6-A740-855E12A5ECBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$992231D8-EC7C-4817-AA36-EE1F018CCCEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358462202abdaf615b501181bc7caad711a809cc","datavalue":{"value":"rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$CC59877E-503B-46AD-B271-C84B94CFC33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf5e86d34b629e124b4bc7a75dd155da8e3cd8d","datavalue":{"value":"time-space tradeoffs","type":"string"},"datatype":"string"},"type":"statement","id":"Q496301$0A58D6B6-CE7F-44AE-8B7A-D9B6DE4862CA","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":"Q496301$8382C221-2799-4B34-952B-07A749AB8DC7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a54348619e3f2045b09835075212f8b75f028579","datavalue":{"value":"https://doi.org/10.1007/s00037-015-0104-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q496301$48DF6D42-4138-48ED-A968-BD68614F4A12","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cba3dacd8a39ef93495df7fea966a515c6634145","datavalue":{"value":"W2152166524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$17352D96-073D-4D9E-B196-8A3FFDDC5A35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d25331ccecdfb640afdb45d6669e59a83b63dc","datavalue":{"value":{"entity-type":"item","numeric-id":2947539,"id":"Q2947539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$1BC9D887-93C5-45D2-9ADA-76C1DDC8EF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c4b58f9e8478a4210509de111b81e4ccd911506","datavalue":{"value":{"entity-type":"item","numeric-id":4086709,"id":"Q4086709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$1DF5211D-1696-4B27-9047-F8B3311FB29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c31b187341a166ef773db36b580dcd60d8e8d3","datavalue":{"value":{"entity-type":"item","numeric-id":3446808,"id":"Q3446808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$A7F8295B-AD38-4144-91F4-37806347830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be9dbfaaad9151faf5c5db0312c48c62ecd9dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$6ADF2DA3-C4C9-4165-9FFA-4412EF9B40B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"529636f514f2cf19373a9a659e09022442fc1d94","datavalue":{"value":{"entity-type":"item","numeric-id":3334987,"id":"Q3334987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$2FFEDF50-53C9-4A5C-A2E2-1BAC5922AEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02253be0796a58d676492b352d0044ad7ee6ae29","datavalue":{"value":{"entity-type":"item","numeric-id":2460033,"id":"Q2460033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$1C57D768-BA5F-4736-A004-1BA47C288E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a404be0536a1129c5669d5519ede9368f80513","datavalue":{"value":{"entity-type":"item","numeric-id":4668733,"id":"Q4668733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$7224D719-A4DC-404A-BC84-B046757F6E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe5cc7dcd0e75dbddea1dd510a0befa7dc03094e","datavalue":{"value":{"entity-type":"item","numeric-id":3587579,"id":"Q3587579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$20E2C2AA-E84A-4732-9CE0-924951081289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e88373ab06ac478e975e36c82a7c74deae41266","datavalue":{"value":{"entity-type":"item","numeric-id":2581273,"id":"Q2581273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$09188BB2-4D6D-42C8-A608-BEC01B56CF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9685bc24e8868389f51f3f76a5f449f5b6d1410d","datavalue":{"value":{"entity-type":"item","numeric-id":5628106,"id":"Q5628106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$AFCD8F41-506E-4B30-8B2B-104C22A53A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"072e91014367104cf566b8b67a728f68b171a4bc","datavalue":{"value":{"entity-type":"item","numeric-id":5906823,"id":"Q5906823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$79641E1A-498B-4AD7-9243-B048C08050F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e0c3ad5e2ad70e2a8479a9813543d956242d10","datavalue":{"value":{"entity-type":"item","numeric-id":5956015,"id":"Q5956015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$378C78E9-191D-47DF-BBB2-0760BDB4B710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf3202fc2ea50074dcb32cc3be8fd16aa42e58a","datavalue":{"value":{"entity-type":"item","numeric-id":5454242,"id":"Q5454242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$C3B202DA-4B7C-465F-94C1-D9DB1A51C0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c794b8411f92b6cbaefc2d439218ae5944c5aa","datavalue":{"value":{"entity-type":"item","numeric-id":937201,"id":"Q937201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$45E09DC9-EBF3-4393-BBA8-39FA33334AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df7685e1a2ca29a2b60d6c89d802c5138d28fc1","datavalue":{"value":{"entity-type":"item","numeric-id":3113789,"id":"Q3113789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$C7E58780-D34E-42F5-9C10-E71481A68BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb3f07134d265c246f0385d9215fffad2f4c347","datavalue":{"value":{"entity-type":"item","numeric-id":2947580,"id":"Q2947580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496301$A3F03A45-AA0A-407F-9AA4-B2736D9A62EE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eab4e97477157c0463aef9f0d0751e4a9ef70327","datavalue":{"value":"Q113906246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$2E568AB6-0F03-4DAA-8FBD-E49C986306AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ad7a719372b7c7ab70a0b8b7dbc0cf24e36ac91","datavalue":{"value":"10.1007/S00037-015-0104-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496301$7CF3042C-4B6A-4FBD-8F4C-4FBDBFB6E939","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91a6de4ae79d26ccc1a067c3d88aea81f980fac6","datavalue":{"value":{"entity-type":"item","numeric-id":2849894,"id":"Q2849894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46fa88823a718ae57ca4720da7da628bed5d69a9","datavalue":{"value":{"amount":"+0.8298208713531494","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":"Q496301$F46F5EC5-095D-4966-B8E1-F75927A3B9A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7a43605efdfa29a28d4e77a2a3241758a63b611","datavalue":{"value":{"entity-type":"item","numeric-id":1567402,"id":"Q1567402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2ca867c167aa8b2e30d8f87d08582d8a872e3c8","datavalue":{"value":{"amount":"+0.7923910021781921","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":"Q496301$243EAE46-6450-46BC-844D-516C0403B118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"227ff7c20de63b4db6c3c546b71e32269d358851","datavalue":{"value":{"entity-type":"item","numeric-id":5956015,"id":"Q5956015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7a23a623cfea110a3a32d0db424349a61ac37a","datavalue":{"value":{"amount":"+0.791536271572113","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":"Q496301$A3E030BB-6D12-4751-BB2C-444982413979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb4b58cfa1e296fa5d5820b06d4cafb5bdb25009","datavalue":{"value":{"entity-type":"item","numeric-id":2947580,"id":"Q2947580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3224dbe406e60b5afc1a204334b76a8fe49ea332","datavalue":{"value":{"amount":"+0.7718652486801147","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":"Q496301$364719CC-E7E7-4784-8C52-6E376FF8A9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4462be1abc316894dca49bfe969c7c58f01ddd2","datavalue":{"value":{"entity-type":"item","numeric-id":3455209,"id":"Q3455209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7166257dd07981af253ccff96a4712d57598701a","datavalue":{"value":{"amount":"+0.7716432213783264","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":"Q496301$88B9B620-35C9-4824-AECC-90C98593D870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Limits on alternation trading proofs for time-space lower bounds","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Limits_on_alternation_trading_proofs_for_time-space_lower_bounds"}}}}}