{"entities":{"Q2796410":{"pageid":2807148,"ns":120,"title":"Item:Q2796410","lastrevid":83420231,"modified":"2026-05-07T07:39:55Z","type":"item","id":"Q2796410","labels":{"en":{"language":"en","value":"A framework for space complexity in algebraic proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6560191"}},"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":"Q2796410$4AEB1237-F666-4078-AC02-6499D6DBAB33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20d9da918dd03c41f3190d3e9a9309868bad1ecb","datavalue":{"value":"1333.03238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$6536A976-579C-4E0D-A48B-C65CE484CBA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38da21fb3d6dbb2dc95178bca64ce99ca3454db2","datavalue":{"value":"10.1145/2699438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$248B4CFB-4B46-44DB-95BA-31EB31918FD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4483c3e80efc299db09cfe4d4ac647d53c35cbc0","datavalue":{"value":{"entity-type":"item","numeric-id":894451,"id":"Q894451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$2C2D379F-913C-46E6-899A-A13654300B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ade48b222c1aa576bf6b48db6256f2140052ff","datavalue":{"value":{"entity-type":"item","numeric-id":1405734,"id":"Q1405734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$C84A2A01-6927-41B8-B0C6-F38053F958B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$1F463C09-0A1C-4F74-8D10-779EFA2BADD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"279e3cdb8d560cb3628b9bb7f7eae66cb68b9ce0","datavalue":{"value":{"time":"+2016-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2796410$52CC1AA4-5DD9-46A6-873E-017E90992979","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$90AB2E7C-1873-495F-8549-7F0351BD4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$433F399B-4A18-4829-8098-C361B728BE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$77EBCE76-00A2-40ED-AB6B-B1E84AB9A1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$52FCE7D8-FA63-43BB-931A-3224218382F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$44EF02B8-F06D-4190-8D27-9AD86D77DCF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$B4FE0389-2E46-40E2-B313-7C56BA950A6F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fedfc95a1ed74f8a09b3c6e793ec7e6816b49060","datavalue":{"value":"6560191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$26676C36-54D7-40C6-BE84-BE090D33DB19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796410$DB514C2B-7FBC-4761-BF36-5A2948CA8F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff29eb4c15469599e33e92d2c0f12df97d184","datavalue":{"value":"algebraic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796410$50FC6619-78C6-4056-B233-F3BE183B7880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796410$F4C7085A-AF49-443B-8238-C40CC6E99843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b71a8abc99ba5371d20f5860d861e5d67661823c","datavalue":{"value":"random formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796410$98297417-C8AB-4EFF-BA4C-3B280E5C1DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796410$D16603BF-88B8-48B3-B64E-353C4119DF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2796410$77CB7FA3-93D5-4A84-B3B3-1E36DB933723","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":"Q2796410$B9BF1A0D-B455-4E35-8DAC-DA2EB1E852D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"54a5d25b5c02b23e390f8d9cb45095f45503db8b","datavalue":{"value":"https://doi.org/10.1145/2699438","type":"string"},"datatype":"url"},"type":"statement","id":"Q2796410$2848692B-4DCD-4015-ACD2-09F3039F3C0B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3ae50db988d1a4439e52ada8476e67bda206b125","datavalue":{"value":"W2217204207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$A3938C2B-F187-46B1-8995-49A0FF7D3153","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"718429ca7a808b3747e0e5ceceef8952f4739022","datavalue":{"value":"Q61732564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$49803F3E-DBDD-447A-AA08-C8457CE5FBBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$6E26C450-FC26-429E-8913-3A7FD212C018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dce6c4e91f261ac3ef4f20f30b6bcb71a22e70","datavalue":{"value":{"entity-type":"item","numeric-id":4681889,"id":"Q4681889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$C50AC732-5884-423D-A98E-4FFA0A330329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e721a886ab92104d29345588e1c4d3ecf64d536","datavalue":{"value":{"entity-type":"item","numeric-id":5501191,"id":"Q5501191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$08E1AB3D-879C-4A31-801F-BF50BAA9B48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e608320df31f8e48c84ddb3e288d0df61ecac3d","datavalue":{"value":{"entity-type":"item","numeric-id":2475405,"id":"Q2475405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$4E689E72-C10C-40EE-AF33-4C2E623F6AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$BB3CC6F6-2259-46CD-B0B3-516A200685B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845eaabfed9368451854349c91bbdb46d85b1f07","datavalue":{"value":{"entity-type":"item","numeric-id":4417005,"id":"Q4417005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$3AA7DE15-43D9-4895-A692-329E9298FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f03ded50291ec566e3ea20732155eb198bbf","datavalue":{"value":{"entity-type":"item","numeric-id":626686,"id":"Q626686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$91D895B5-0DC6-494A-90A4-B0F0ABE2478E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08b529296035947435eb136154e374f9657d895b","datavalue":{"value":{"entity-type":"item","numeric-id":4406287,"id":"Q4406287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$7663C6C3-BF51-4A28-9223-BBF83F0EC330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc74d0a37079acc528a6abb9340c2441ab308aa","datavalue":{"value":{"entity-type":"item","numeric-id":2013560,"id":"Q2013560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$FF789C7B-78AB-4422-9B66-5E10536993CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ced15fce0c8018e5dfdcdbe2ed656ec7ef7ed09","datavalue":{"value":{"entity-type":"item","numeric-id":5769706,"id":"Q5769706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$03A54F57-95AD-4113-9929-9A6689EBC1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb8f7bd2c51a4cde8195fac192138ec65e5f35da","datavalue":{"value":{"entity-type":"item","numeric-id":2986893,"id":"Q2986893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$983D5B73-4FDE-43C4-964A-138C21FF3513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a66e6f9feb6b84a05aaba9138350090cdf622b4","datavalue":{"value":{"entity-type":"item","numeric-id":2829448,"id":"Q2829448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$332FE3DB-1E9C-4B35-A9D8-6EDB6FA71D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b873186fa5e30279e410bea330a6ed356bfc2234","datavalue":{"value":{"entity-type":"item","numeric-id":5943090,"id":"Q5943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$F82A8F65-2D52-4E79-BCF9-03C22CB0D857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$5E86DF34-B88A-441D-BEB6-68D9593EBDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c636dd583a22faf929d1cb972aae014f779c04","datavalue":{"value":{"entity-type":"item","numeric-id":3496310,"id":"Q3496310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$CFB8C6EA-3D2C-4C66-9EA5-4C465367CA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$C85626D6-4CD1-42E2-9512-2545701BA233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$CED0BB4C-B2CB-4CBF-AD3C-CB7A79BE9CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813e1bd0c88492312de82de2f2fa5581d746941b","datavalue":{"value":{"entity-type":"item","numeric-id":5690494,"id":"Q5690494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$7188BDC9-47BE-4568-92E5-F9D07D618AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9abf8772e67aebfe123b04780ad19bd9805cad99","datavalue":{"value":{"entity-type":"item","numeric-id":1885907,"id":"Q1885907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$F0476BB7-1F37-463E-BEB5-820D7D01ED7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55ef7e4f75a570fef930a1f823c7040905ef92","datavalue":{"value":{"entity-type":"item","numeric-id":1854472,"id":"Q1854472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$D06F4FD3-2897-46A7-88E1-773F209AE494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42cccf6ec59504bfefa7c1c1c0cfeeb45e6d53dc","datavalue":{"value":{"entity-type":"item","numeric-id":5326581,"id":"Q5326581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$811D4B5E-CF3F-459F-A2DB-F44962D29DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f797a320844c122f0e634739c90a551216022f87","datavalue":{"value":{"entity-type":"item","numeric-id":1959382,"id":"Q1959382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$1524AAF5-5610-46CC-A062-2B572EBDC34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65457ad371a134f48c30d8d3c2237f83e8c3be6","datavalue":{"value":{"entity-type":"item","numeric-id":2946621,"id":"Q2946621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$E76814E5-DE8C-4D81-A2E3-59972EE70095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$F7F8A782-720D-4A55-AF4B-E3B766B7532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b6745e2bf83540023384ad2f4a2cc1400adfe3","datavalue":{"value":{"entity-type":"item","numeric-id":5189540,"id":"Q5189540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$8169BD95-474D-4DC1-9C8E-7B15CC6A05E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f749f84f14f77788b59f73419ae17a5eaa595a","datavalue":{"value":{"entity-type":"item","numeric-id":3191584,"id":"Q3191584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$FAE17E32-8792-4D0F-ADF5-FFA542C34D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ad7ee45a8745682bf748d77e68043fc321cba","datavalue":{"value":{"entity-type":"item","numeric-id":4375799,"id":"Q4375799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$7421F56E-983E-4CB5-B773-53E1634EAFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"408159b1c21249567bf1f15c810c7be66dbe7c68","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$7CE7949E-570F-4076-9E6B-313609313E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942542645e3b625a22193b61bdb706b1780c1e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2255289,"id":"Q2255289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2796410$B1F9222F-C3E2-485E-8FFC-E9A5BB20FA2D","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":"Q2796410$E01D364E-2FBF-433A-967E-D556FE4397FF","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"1dc2b1671e52c0b3df34752294ea11e749de8db9","datavalue":{"value":"journals/jacm/BonacinaG15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2796410$9BE6EC8C-76B2-4FDE-B072-981C717D97C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a485f01f971c1a600a5a9fd9447ab7720b61850","datavalue":{"value":{"entity-type":"item","numeric-id":6168323,"id":"Q6168323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9badd133f4cac42707bcebf6de5c19edd9bbf772","datavalue":{"value":{"amount":"+0.9074608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$735E50EE-DBD3-4B89-A8CA-CA70CB604C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943e79bbbc71849cd1c44f92b3bba8c417968f09","datavalue":{"value":{"entity-type":"item","numeric-id":4281496,"id":"Q4281496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c6789249287ead6a7c32f3d92a269656a504dd","datavalue":{"value":{"amount":"+0.90302205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$3CC83265-AB23-4E04-BCD2-BA8AC65A717A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dbfa26f05f1c8d999619cadd509692d8f7763ba","datavalue":{"value":{"entity-type":"item","numeric-id":1675446,"id":"Q1675446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e3c75776aa24b1191a792e3d59efbbf203659e","datavalue":{"value":{"amount":"+0.902146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$700BCA72-3461-4294-A1B7-A85075DC8F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7fe10888bf0783e4e5ef5e9b876fe2663593e9","datavalue":{"value":{"entity-type":"item","numeric-id":3192004,"id":"Q3192004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2becb8276bfa1f9144a2e80ef0402421a9afc2b5","datavalue":{"value":{"amount":"+0.89195186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$8BDD37E8-90F6-4AD2-A5DA-FE1E8707FF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde4295cb017eb22bf0aebf248a6ab3b54d89410","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2becb8276bfa1f9144a2e80ef0402421a9afc2b5","datavalue":{"value":{"amount":"+0.89195186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$D7AEA2F9-CC57-42A4-80F8-A1FFF92F9F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fecedd4d8dfafd7d8020e32abcf9ddb2dcdb4c6","datavalue":{"value":{"entity-type":"item","numeric-id":1977138,"id":"Q1977138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d8d73b530d08260edda155c511a248e730696f2","datavalue":{"value":{"amount":"+0.89038503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$38055289-0E8C-41C0-8036-E0B6C932D71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5549d30c89ae837e8e5013b6d4495592cc8f7c44","datavalue":{"value":{"amount":"+0.88792026","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$7C960BF2-F923-46A3-AA61-D219829ADB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f6aa68d56e4626708c03cc970a2af772ce289","datavalue":{"value":{"entity-type":"item","numeric-id":4736859,"id":"Q4736859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90c22693f9c15013efbe69420ac88ea24235c2a3","datavalue":{"value":{"amount":"+0.8861325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$2E300715-C025-4932-B354-0DD943AC8DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7581e57bf5e5caa49d7ff5d29d502974c9796eb","datavalue":{"value":{"entity-type":"item","numeric-id":5055918,"id":"Q5055918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3a36d8682c421453a71744eebb16b2ace19b8a","datavalue":{"value":{"amount":"+0.8841269","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$C6E69A2D-FE13-4D0A-8A51-77113892FA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9afb024e39224c0be1395ec9a94a17a985b352","datavalue":{"value":{"entity-type":"item","numeric-id":4729350,"id":"Q4729350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719ae9b724381117163b79d3071b8fc005e5fd08","datavalue":{"value":{"amount":"+0.8816066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2796410$2B4AFA76-3C79-4C2C-BCB5-184E2815FFA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a98a8740bf9d8211fc4934892c3eac8e1bb935cb","datavalue":{"value":{"text":"A framework for space complexity in algebraic proof systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2796410$97714C55-CE2F-4254-B63F-1D27C9E9D840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for space complexity in algebraic proof systems","badges":[]}}}}}