{"entities":{"Q952492":{"pageid":954340,"ns":120,"title":"Item:Q952492","lastrevid":65629593,"modified":"2026-04-12T03:54:30Z","type":"item","id":"Q952492","labels":{"en":{"language":"en","value":"Resolution over linear equations and multilinear proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5365124"}},"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":"Q952492$CB2266BA-D835-43E1-8A60-7959CF9EE5E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab4090af7cf8e71f38dad26328a61b9d4fe810ea","datavalue":{"value":{"text":"Resolution over linear equations and multilinear proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q952492$A6F5D1C9-981A-4099-BEFC-155E03AACA19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f26d8e67ff1e65ca05dd7e8503c370a351ed2647","datavalue":{"value":"1161.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952492$9076E07A-407C-4E72-8607-327025986BCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b481d9d1e1fd6339de38d10a65dabc0f21090cc0","datavalue":{"value":{"entity-type":"item","numeric-id":168589,"id":"Q168589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$F9C5658C-A546-493C-986B-DD58A5BF5670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a6664b25304aa809ac73273551b57c46981097","datavalue":{"value":{"entity-type":"item","numeric-id":642519,"id":"Q642519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$0C9AA12E-7955-4AE5-9E09-287235A65CBA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$D878FA8C-A0F6-4408-9B9E-1FAA22AB55EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0c5d55f421b4befea01725a45f89d7530e49d2","datavalue":{"value":{"time":"+2008-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q952492$3ECF47D7-EE2B-4C41-BF38-5D7BF57DD6C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9f078392ba92bf2828c5a4b2410725f04d3a1ba7","datavalue":{"value":"The paper studies propositional proof systems combining resolution with the ability to work with linear equations. The authors introduce a proof system R(lin), which is a refutation system operating with disjunctions of linear equations with integer coefficients (written in unary) whose main inference rule is a kind of subtraction rule generalizing the resolution rule. They also consider its subsystem R\\(^0\\)(lin), which places certain restrictions on allowed proof lines. R(lin) is shown to be implicationally complete. The ability of the system to count is demonstrated by providing polynomial-size R\\(^0\\)(lin)-proofs of the pigeonhole principle and mod-\\(p\\) versions of Tseitin graph tautologies for constant-degree graphs. The paper also gives polynomial-size R(lin)-proofs of the clique-coloring tautologies for certain parameters, using a simulation of Res(2). In the next section, the authors prove feasible interpolation for R\\(^0\\)(lin) using the interpolation theorem for semantic derivations by \\textit{J. Kraj\u00ed\u010dek} [J. Symb. Log. 62, No.~2, 457--486 (1997; Zbl 0891.03029)] by constructing protocols for the Karchmer-Wigderson game. Another variant of feasible interpolation is also used to prove lower bounds on R\\(^0\\)(lin)-proofs of the clique-coloring tautologies, giving a superpolynomial separation between R\\(^0\\)(lin) and R(lin). Finally, the authors consider the relation of R(lin) to other proof systems. It is shown that R(lin) is polynomially simulated by the PCR proof system of \\textit{M. Alekhnovich} et al. [SIAM J. Comput. 31, No.~4, 1184--1211 (2002; Zbl 1004.03047)], and R\\(^0\\)(lin) is polynomially simulated by multilinear proofs with depth-3 formulas [\\textit{R. Raz} and \\textit{I. Tzameret}, Comput. Complexity 17, No.~3, 407--457 (2008)]. On the other hand, R(lin) polynomially simulates the R(CP\\(^*\\)) proof system of \\textit{J. Kraj\u00ed\u010dek} [J. Symb. Log. 63, No.~4, 1582--1596 (1998; Zbl 0930.03081)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$FFCFD1ED-BF39-4F1E-A81D-E0838F61BC7F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bf05c748b19f894b0cb445a65a1da1ca24dbc809","datavalue":{"value":{"entity-type":"item","numeric-id":331053,"id":"Q331053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$92BAAC1D-18E4-4697-A2EF-419B32A7A12C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952492$D270FE13-2930-4351-93DD-EEF3F71FDFEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d04cd359d3a6a70eafa0d5f0bd6e15eabef991d","datavalue":{"value":"5365124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952492$456A0F34-44C2-44E0-8679-7D446E08B73D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"986e975208b070c5142b42b7967bb38dc4fad0f4","datavalue":{"value":"proof complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$70306E0B-6C90-4834-9C1E-914250435D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$16F918D0-3A38-4C72-80F1-D1AE0939AC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff29eb4c15469599e33e92d2c0f12df97d184","datavalue":{"value":"algebraic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$D647AB45-A025-4C7A-9C58-F510F04E8083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914445cb5c6f8e1d30da987fcc96e049cc35fcf3","datavalue":{"value":"multilinear proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$46C7A674-1526-47FF-A939-5B0160A08D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3f5c88d3db777a4bdd3348a5d62b7e04a937f6","datavalue":{"value":"cutting planes","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$9D89796D-6C8C-40E9-AE13-AD3322A6F4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f1b47ff68adf8abb83839bd6f1bd41ad4f1806","datavalue":{"value":"feasible interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q952492$623CB548-EA79-4502-9272-27543C47204F","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":"Q952492$0F70D8B2-BFDD-4130-AEBA-71E7A81C89B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d00601f4887774492471d6f6d361fd1496608e3f","datavalue":{"value":"https://doi.org/10.1016/j.apal.2008.04.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q952492$3980AC5D-D9FD-4324-A8CD-26321686E82E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52b55491199905a7edc4d9f65abf49bdb00fead4","datavalue":{"value":"W1982672583","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952492$38BC3FE9-295B-4F33-A7F2-13139A8F7D6A","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":"Q952492$4986DFAD-035F-4FF3-AB88-99C42E33831C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$F2C68F94-498E-4C90-9BB4-57E4027B9EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce25b6e3a78e9a3f320205259f9976f9eabd886a","datavalue":{"value":{"entity-type":"item","numeric-id":4726174,"id":"Q4726174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$E9B77357-AC3E-4FE7-A6D5-B3B14CB387EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88cfde3d28bdb7498ab0195cc0775857113fa16a","datavalue":{"value":{"entity-type":"item","numeric-id":1854546,"id":"Q1854546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$29DED2A0-6DF3-47F9-96FA-7C0152C5A9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"860324093565e49f158e642dce5b074981e46dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4372903,"id":"Q4372903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$579A121D-3374-4C2A-9C91-F49E3237FD40","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":"Q952492$E7C7AF69-AE8E-4605-9C6B-8F6C7DD8D88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19bada21e08e27b656eb12e6e9fa9312ff6eaa4","datavalue":{"value":{"entity-type":"item","numeric-id":4218929,"id":"Q4218929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$C1DD96A4-402B-47A7-A738-5327020E3D0A","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":"Q952492$DFCB9E18-4B87-45BA-9357-359A06E93B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$E431DAFC-F068-4A6C-9C74-203B0BB70AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"710f1c65cc83262fe098663f64058f7f791266c8","datavalue":{"value":{"entity-type":"item","numeric-id":2498920,"id":"Q2498920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$0EC9D1CA-1582-4DC6-AAD4-B27986B62E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad1714db201637d748b47ebbaf99f9008bc5160","datavalue":{"value":{"entity-type":"item","numeric-id":3472058,"id":"Q3472058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$DFB14352-7354-4BE0-A505-7FD137BAB59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3b08f4f74a888b5394c63dd1804b6dff541da8","datavalue":{"value":{"entity-type":"item","numeric-id":3612456,"id":"Q3612456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$8AA3CEA9-8C46-494C-87BE-810291A867E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d6b6fc6d5ad8b9914f000603cf15348a3f575c5","datavalue":{"value":{"entity-type":"item","numeric-id":4292593,"id":"Q4292593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$31D51CBC-147E-4C42-8006-DD2154AEE637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$268A2BE2-A370-4802-BB79-27EC5FBAC2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a88182aa7b77c4eb7005a57d5eab42f257cbc74f","datavalue":{"value":{"entity-type":"item","numeric-id":4254700,"id":"Q4254700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$8D1C3241-4874-48CA-A0E5-CED2A4C7C5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50db42f9199207d4f2b18fa509c632877a00c82","datavalue":{"value":{"entity-type":"item","numeric-id":2773242,"id":"Q2773242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$4D7F33CF-9DDE-434E-BDE5-B78931FB929E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"441f5812e34a559e1a1e9ab89e4cf3751977c625","datavalue":{"value":{"entity-type":"item","numeric-id":5387310,"id":"Q5387310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$1504DDD0-F54F-4B53-8BF3-E2C265A37601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f34823cac176489a74f3e54ebb7fe9577d93ab","datavalue":{"value":{"entity-type":"item","numeric-id":4372917,"id":"Q4372917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$0B1725A5-0A41-4132-944B-FDF50FFFF3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0942c3ffeac8339c20eccc6667aba9b8af08cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":3758729,"id":"Q3758729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$80E4D82E-A4E2-4865-9D74-53A155C775F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d8df2f636bf6cf025358a9786f3f222a9fdee0","datavalue":{"value":{"entity-type":"item","numeric-id":4864743,"id":"Q4864743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$7E9BC797-D408-4B99-A227-CC9EB4E1D25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f179fd82305f42c911ad67f498b3a9ae42d6d0d9","datavalue":{"value":{"entity-type":"item","numeric-id":4737899,"id":"Q4737899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$21D7C2AB-2B65-4E27-A855-9E3FCEE63E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a0327a4b861ac0c1d1b5f1943ede8b2eac4ac81","datavalue":{"value":{"entity-type":"item","numeric-id":5901079,"id":"Q5901079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$184CA130-3615-4273-AE2D-36EDB44B35F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b9a82c3be67bba234cc12e5acf233aef76237b9","datavalue":{"value":{"entity-type":"item","numeric-id":3002768,"id":"Q3002768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$CC58ACFF-BB78-460C-A650-B766B49F445A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a831c4b96d55aa99a81b223f5ba97c197ee708f","datavalue":{"value":{"entity-type":"item","numeric-id":1024659,"id":"Q1024659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$F94B8BFF-3252-43AA-B8EC-4DC30F166F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ecb7441e265815fa687cced1085cf99d8751fd","datavalue":{"value":{"entity-type":"item","numeric-id":5957088,"id":"Q5957088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$249AA389-855E-4A4F-ABC9-1ACE92848891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$85F5E8A2-2144-4316-8D9E-70CD92E315CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624abf0da839d476906101af8b6d74820b65cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":4393484,"id":"Q4393484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q952492$51E2A08F-4524-4FEF-A6D0-2E2F2EE44C29","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7029892a7ed747650e611a3aaabad66afe79b6f","datavalue":{"value":"10.1016/J.APAL.2008.04.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q952492$14B9937F-6A34-4B55-B2D5-A315159FE0C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b960a7961ca2b980d82204201b7acbdc0f34fc59","datavalue":{"value":{"entity-type":"item","numeric-id":2922623,"id":"Q2922623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa25436498579a23d942b0fa739e0323206de259","datavalue":{"value":{"amount":"+0.7861527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$AC367181-9C39-43A8-83DE-CA2303097C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de25000160749644b5aa741c3522ea36e026fc0a","datavalue":{"value":{"entity-type":"item","numeric-id":1024659,"id":"Q1024659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f86f5b2cc1b0f4662043491730ab63f4b962d12","datavalue":{"value":{"amount":"+0.7529832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$F6A32242-2259-4ADF-883E-F456A63A6859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3770e7f210e36c026806886a4810d8b3bc0ed845","datavalue":{"value":{"entity-type":"item","numeric-id":3680268,"id":"Q3680268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d6bf80811d8808ca357936c4cc1912e11885f1","datavalue":{"value":{"amount":"+0.74395967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$EE146CE3-2162-47AC-AFE6-88BC74482C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b31acd850273b6e225f391d6d8ab055056a5949d","datavalue":{"value":{"entity-type":"item","numeric-id":2181918,"id":"Q2181918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2f63650dd1ad65759bc54f329642cd10c35bd1","datavalue":{"value":{"amount":"+0.74261695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$A00C30D7-DF31-49DC-B351-F36F32113D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4de323245be3eacb251437998a661dc80825bf47","datavalue":{"value":{"entity-type":"item","numeric-id":2498920,"id":"Q2498920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf64af24a435c8fa215699577557de93bf320de","datavalue":{"value":{"amount":"+0.7365571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$C749A6B3-051B-4600-AEAE-AC64CFA55FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce674fbc4ee324cb7dba0e35f00690d5ce7be41","datavalue":{"value":{"entity-type":"item","numeric-id":4562441,"id":"Q4562441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8c907cd71a83ba1678197183c01200d9488619f","datavalue":{"value":{"amount":"+0.7357446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$85E9CECE-4EF2-4E4C-8CB2-0484EDA09AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ea9ea97bb7846260f757a95f58448e4f70cf2","datavalue":{"value":{"entity-type":"item","numeric-id":2974793,"id":"Q2974793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8998de783c8d1ac193c12ddae774be24c024c37","datavalue":{"value":{"amount":"+0.7330709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$12F51061-8C04-4ACB-985B-9E21F4E8C2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a130900d14ac9ffd5ddf12e923ff261137dff8","datavalue":{"value":{"entity-type":"item","numeric-id":4828877,"id":"Q4828877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0f1e9e08894cc4d7260d738ba19b8412245bf9","datavalue":{"value":{"amount":"+0.73226833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$DBD1DFAB-C086-4878-B6D8-C50F40C4B541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ac2ed471c5139ccbee9b5bce3a4168005d06cf","datavalue":{"value":{"entity-type":"item","numeric-id":4283225,"id":"Q4283225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576fd3085ae6f445149c7393259b0e5a70c89d23","datavalue":{"value":{"amount":"+0.73052555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$88078415-6643-4E20-9537-0CAC0F3BE10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af7175c8465bbffcf27947b99d315fc417bb881e","datavalue":{"value":{"entity-type":"item","numeric-id":2980967,"id":"Q2980967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be8c29a8c75992a6ddf3b459e903b7e09f70dfb5","datavalue":{"value":{"amount":"+0.7301282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q952492$2A6109C3-81AC-4FB8-B63C-1D1DC9F5D905","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Resolution over linear equations and multilinear proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Resolution_over_linear_equations_and_multilinear_proofs"}}}}}