{"entities":{"Q783738":{"pageid":785587,"ns":120,"title":"Item:Q783738","lastrevid":64304472,"modified":"2026-04-11T18:57:49Z","type":"item","id":"Q783738","labels":{"en":{"language":"en","value":"Effective difference elimination and nullstellensatz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7227738"}},"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":"Q783738$F59AC290-E203-43DE-9827-FD1649B6C884","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffd3ca91772d8179af90f0153a26948b62d842c9","datavalue":{"value":{"text":"Effective difference elimination and nullstellensatz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q783738$2E3A7404-209B-44B6-B0C2-6761BA9ECC64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfc1a4bc90cad570b3049d41fcba8d1f31c286e5","datavalue":{"value":"1475.12012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$FFBF3782-66CB-46EF-B88E-B473839D5A91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bb9a4611829bc1efcb5ded97b6c45d995a6e1d3","datavalue":{"value":"10.4171/JEMS/968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$076CD73C-EC0C-4F3C-9FDF-D582E519CF1D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71a13f5a63c7e9c626bb7c476f8375694199bd99","datavalue":{"value":{"entity-type":"item","numeric-id":387892,"id":"Q387892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$C0C95E5B-9061-4748-878D-AFA262214947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba911961c1268d64a2c533ad26f307d557a7f520","datavalue":{"value":{"entity-type":"item","numeric-id":263318,"id":"Q263318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$57CAAD87-1025-4B54-9358-F9EE1E627059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30c5c972f74d7e15564758db80c12cb46a600378","datavalue":{"value":{"entity-type":"item","numeric-id":340876,"id":"Q340876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$D0F1FAB0-12A7-4756-9BDE-3BD4754E5A3B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$961C8CE8-18CC-4DD5-9A84-35B9A38A5FB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06f9268330469059a0e033058bcd9bd979095063","datavalue":{"value":{"time":"+2020-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q783738$E66425D5-06E0-4CDF-A66B-53D118A91982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7c70906c9546c6b663ce77ba5913bdd2cfc1160","datavalue":{"value":"https://arxiv.org/abs/1712.01412","type":"string"},"datatype":"url"},"type":"statement","id":"Q783738$D9ACE8D0-8A90-4377-BAAE-CC1050E8D933","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"32587bedd247fd0a83f889f3e28be7367b130ca8","datavalue":{"value":"A sequence \\((a_{j})_{j=0}^{\\infty}\\) of elements of a field \\(K\\) is said to be a solution of a difference equation with constant coefficients if there is a nonzero polynomial \\(F(x_{0},\\dots, x_{e})\\in K[x_{0},\\dots, x_{e}]\\) such that for every natural number \\(j\\), one has \\(F(a_{j}, a_{j+1},\\dots, a_{j+e}) = 0\\). This concept can be naturally generalized to systems of difference equations in several variables.   The paper under review answers the following fundamental questions about sequence solutions of systems of ordinary difference equations:  \\begin{itemize} \\item[(i)] Under what conditions does such a system have a sequence solution?  \\item[(ii)] Can these solutions be made sufficiently transparent to allow for efficient computation?  \\item[(iii)] Given a system of difference equations on \\((n+m)\\)-tuples of sequences, how does one eliminate some of the variables so as to deduce the consequences of these equations on the first \\(n\\) variables?  \\end{itemize}  As the answers to these questions, the authors prove two strong results the first of which (Theorem 3.1 of the paper) can be viewed as effective difference Nullstellensatz; it reduces the problem of solvability of a system of difference equations to the problem of consistency of certain system of finitely many polynomial equations. The second main result of the paper (Theorem 3.4) is an effective difference elimination theorem; it reduces the question of existing/finding a consequence in the \\(\\mathbf{x}\\)-variables of a system of difference equations in \\(\\mathbf{x}\\) and \\(\\mathbf{u}\\) (\\(\\mathbf{x}=(x_{1},\\dots, x_{m})\\) and \\(\\mathbf{u}=(u_{1},\\dots, u_{r})\\) are two sets of variables) to a question about a polynomial ideal in a polynomial ring in finitely many variables.   Among other important results of the paper, one has to mention is a version of difference Nullstellensatz over an uncountable algebraically closed inversive difference field \\(K\\). It is shown that if \\(F\\) is a finite subset of the ring of difference polynomials \\(K\\{x_{1},\\dots, x_{n}\\}\\), then the following statements are equivalent:  \\begin{itemize} \\item[(i)] The system \\(F=0\\) has a solution in \\(K^{\\mathbb{Z}}\\);  \\item[(ii)] \\(F=0\\) has a solution in \\(K^{\\mathbb{N}}\\);  \\item[(iii)] \\(F=0\\) has finite partial solutions of length \\(l\\) for sufficiently large \\(l\\);  \\item[(iv)] The difference ideal \\(J\\) generated by \\(F\\) in \\(K\\{x_{1},\\dots, x_{n}\\}\\) does not contain \\(1\\);  \\item[(v)] The reflexive closure of \\(J\\) in the inversive closure of \\(K\\{x_{1},\\dots, x_{n}\\}\\) does not contain \\(1\\);  \\item[(vi)] \\(F=0\\) has a solution in some difference \\(K\\)-algebra.  \\end{itemize}  The paper also contains a number of examples that illustrate applications of the obtained results and counterexamples that show one cannot have a coefficient-independent effective strong Nullstellensatz for systems of difference equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q783738$AA005504-99D9-4F11-AA8E-A56533AC8791","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"100aaa2fd0f9708702c5bfbb00416f92df66e458","datavalue":{"value":{"entity-type":"item","numeric-id":233260,"id":"Q233260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$0A7AE7B1-A4DB-4FEA-B2C0-6BEB46C1D6F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"71da807fbb1b8b988a0fb19cf9f36ac41bf70b58","datavalue":{"value":"12H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$4F0BB0F1-C1DF-4E86-95A5-B4D0AAEC28F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5adb849ecb2203541270370c9265ac70cda6203c","datavalue":{"value":"13P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$6A0F48E7-F1B8-468B-A062-6803446171FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"65ef089ab6dd31e83c3611c992a3cfd8973b58bb","datavalue":{"value":"14Q20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$58EC5939-97AA-4924-B6A6-3E8FAA72F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$D1008C63-3591-474F-984A-E7C3FD7AC6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$F9475FC0-D2FB-4976-BAF3-E1C31DD4B162","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab74ecccc4df909ee37b300edaaf1e1f78303d61","datavalue":{"value":"7227738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q783738$D3D24DE9-CE0D-4C3C-9288-8670A401A271","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"778066ced0d4b4d1a5f08a9155faba0510f10a03","datavalue":{"value":"difference equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q783738$11CC5CC3-A0B4-4740-973C-B68368CA84BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d13a4b1d75b7c4882ceb16044f1449618a76d75b","datavalue":{"value":"effective nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q783738$30EF10EB-9840-4E2F-9A54-5512F1DE3521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"780ccfd5fc60fcb5c7a72e3e31d9e6f984ec523c","datavalue":{"value":"elimination of unknowns","type":"string"},"datatype":"string"},"type":"statement","id":"Q783738$C9937463-5E3A-4A14-A4E8-8D0D5572C7F7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c8b6e7a421ada6c309826b327d0c6925aeaae765","datavalue":{"value":{"entity-type":"item","numeric-id":23363,"id":"Q23363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$8E71F700-911D-4B45-98E1-274EED83CD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2939341bc98c02474683ad84cafcc2ef1fd41cc0","datavalue":{"value":{"entity-type":"item","numeric-id":1351269,"id":"Q1351269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$1822CC63-530E-4BCB-86AD-1622BD43358C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2761cac44451841b4a206eaae15adce7b2dca553","datavalue":{"value":{"entity-type":"item","numeric-id":1334446,"id":"Q1334446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$DF88D659-325B-471A-9702-FA549D8A3635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35fa8b1c80ac899d02cda54d18119c50b0563dbf","datavalue":{"value":{"entity-type":"item","numeric-id":18767,"id":"Q18767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$FD8B2A3B-E06D-4EFF-B445-4927F472CBF6","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":"Q783738$C9E9A4C9-3695-4C27-BE3E-D6165D7C5D2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8608681a9a6a6291be5d3926121b695de80ee5","datavalue":{"value":{"entity-type":"item","numeric-id":1340492,"id":"Q1340492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$DDEBBE05-F110-41CF-A706-C88345436AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801c7ecc990161f22a0ab26f8162c820a88f8313","datavalue":{"value":{"entity-type":"item","numeric-id":2872959,"id":"Q2872959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$576B8705-E8F2-4777-9A4E-F194316F4CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ca1fc3f008957d0ab44380933275caa54803134","datavalue":{"value":{"entity-type":"item","numeric-id":2990009,"id":"Q2990009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$1B200FD1-E79F-4CA0-85F1-B91FCC3ABBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc8a8dbfff8f42ef282e3cdbad4bb4985556c4cb","datavalue":{"value":{"entity-type":"item","numeric-id":1100521,"id":"Q1100521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$8F9BE6FB-A0F7-4006-BEC4-B6F495A97049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df34505b758e9991b5da77d041316a1b9347ab","datavalue":{"value":{"entity-type":"item","numeric-id":4243636,"id":"Q4243636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$CB269FCD-08C7-495C-9F4F-750CE94DC2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4ca06f848f5573a627d4022d281823e6272ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5334359,"id":"Q5334359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$14B597BA-4829-4B6B-8EBC-343E95A8F20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fd9e5aea8b46dea604591b365444b749f4e224","datavalue":{"value":{"entity-type":"item","numeric-id":5296817,"id":"Q5296817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$EFB20721-D52D-4221-BB9A-85CC44C250B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad822f8b1aaf88df9470b748e1803ea03a2141dc","datavalue":{"value":{"entity-type":"item","numeric-id":2509948,"id":"Q2509948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$625AFC0D-67B4-48CF-93BE-ACDDFAF78000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b31c315f6975b2deea91e2d21a4e0d481b192d3","datavalue":{"value":{"entity-type":"item","numeric-id":4979811,"id":"Q4979811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$92B99475-871B-42C4-8FD1-7E63D4BC3578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba72c9a41921ad15c44f894d7826777809a53833","datavalue":{"value":{"entity-type":"item","numeric-id":5691951,"id":"Q5691951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$21CCDDAB-BACD-4B94-8285-CF47E230A20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60f780685417db78e1eacbfb14568253a82ebba","datavalue":{"value":{"entity-type":"item","numeric-id":4437766,"id":"Q4437766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$619D7046-AA5B-4E70-B377-E7BC34C61847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc92a261236f7e2e5b128346f1938dbde76d54dc","datavalue":{"value":{"entity-type":"item","numeric-id":1030248,"id":"Q1030248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$48901E49-D5EF-4051-97C2-AA4317E8B860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518acf50854226e75933562d3b9e49ad6f566f59","datavalue":{"value":{"entity-type":"item","numeric-id":1006653,"id":"Q1006653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$989DE7ED-4745-457A-9DF9-9C4538669FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed17d9c11b83e077c08881fd60f2cad56a1a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":4002797,"id":"Q4002797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$E57E8503-538D-4681-927D-37743F35C2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5406ea7669ed616e0ac659900417e7fcb90273","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$989A481C-0E08-463E-B205-303926B8058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5d2ee8574c496578589f30f046fe88461d0f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5945398,"id":"Q5945398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$A1BE7B99-428E-4502-87F1-591CB28910D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f5611f8e00008be8d01d244545ae41f9083776","datavalue":{"value":{"entity-type":"item","numeric-id":4493425,"id":"Q4493425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$8BD8FC52-25DB-4345-9993-9CB7B07BBB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecc3b89ab9fd5f254bf687f2a449d9899437378d","datavalue":{"value":{"entity-type":"item","numeric-id":2456173,"id":"Q2456173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$42613AB1-F882-43F8-A132-F772292BA776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6e781bb80ca5d568ded68daaffdfcd3026e659c","datavalue":{"value":{"entity-type":"item","numeric-id":2571047,"id":"Q2571047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$1FF493D9-F5DF-4275-9B13-9DA9C3BA7196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb92181f8c1810e42f6ddfd619a56e734011c6","datavalue":{"value":{"entity-type":"item","numeric-id":4731274,"id":"Q4731274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$9CC6423E-EAD6-4ACF-B9B9-D1D5B8AC6909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdacc6f7e075a854f5909899ea7f7ac5c6edc63b","datavalue":{"value":{"entity-type":"item","numeric-id":4945011,"id":"Q4945011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$22500D72-8905-4DB0-964A-2835D07E0CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d1b038a01938fccf75f3b662532a029ccd1cffe","datavalue":{"value":{"entity-type":"item","numeric-id":2464628,"id":"Q2464628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$C4094792-AE7D-45D7-A557-3EAD8E90A746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6124951ebb47c1a9c4476b2164b8614de498d727","datavalue":{"value":{"entity-type":"item","numeric-id":2257270,"id":"Q2257270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$F305D6D4-F11D-486D-BA6A-B1D0F04BFB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c2d1cf3780921b11833050a03d5950382319ae","datavalue":{"value":{"entity-type":"item","numeric-id":644245,"id":"Q644245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$AA5AC0A4-2DAC-4D8D-A00F-4F3F8AC8242F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfb813baf90254a34bf230339f2f215120c5808","datavalue":{"value":{"entity-type":"item","numeric-id":1270987,"id":"Q1270987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$41E7D51E-631A-483C-A131-54ED7771FD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48332da4aaa1d1665d3c5b102326b002538a9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4819870,"id":"Q4819870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$337CEF16-6167-408D-BD34-4E9AB83F8CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf5eba51ceeeacdf954adafdcd6a84afd80b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":5298824,"id":"Q5298824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$247499D5-AC5B-49DD-8BE8-F8EA81D7341C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$59819511-BA94-4AC9-8943-7A364566A53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"213f6231dfb05209134fc17e48d90d8c7ff46fb8","datavalue":{"value":{"entity-type":"item","numeric-id":925696,"id":"Q925696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$E69CDA6D-5341-4164-AA0E-9BBCCD12AEDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"244f6beb88afb4f7ed320ffb51899ecf33a21c2a","datavalue":{"value":{"entity-type":"item","numeric-id":1676327,"id":"Q1676327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$18233AAB-3B47-4A33-9D77-6B3B2FA5EA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0109ac8eae4f9ecefcbb218268d3a82c5a8ab17","datavalue":{"value":{"entity-type":"item","numeric-id":5373839,"id":"Q5373839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q783738$31524C99-C4C2-493E-93AC-9115E21D809E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95102879ac6b6f8e1194484471d8e9e99b6457f7","datavalue":{"value":{"entity-type":"item","numeric-id":5141753,"id":"Q5141753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7be8b56e67882320e4c6e7225d4622f32ee83691","datavalue":{"value":{"amount":"+0.847835898399353","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":"Q783738$E90A7A72-6247-4197-A5B1-8907C9513770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae7201f697597cef03d298d8512df5a5acb9d9f7","datavalue":{"value":{"entity-type":"item","numeric-id":4312531,"id":"Q4312531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf5ee3f7d29f6d339b9cf9bdedd29ee8c78fb1b0","datavalue":{"value":{"amount":"+0.8369726538658142","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":"Q783738$BB2EED57-81D7-4AE0-AA7D-51C67FF67BC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141517b980a83131bbcbe6d0f9d57a10b363b5cd","datavalue":{"value":{"entity-type":"item","numeric-id":4660667,"id":"Q4660667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163e3db106dc53f728f10e856cf3f8f6ccb465c1","datavalue":{"value":{"amount":"+0.7903503179550171","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":"Q783738$C496F9BB-8780-41D5-9D5D-D16808314369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bbe642225b9129920225514de423f2fe20e7731","datavalue":{"value":{"entity-type":"item","numeric-id":3304645,"id":"Q3304645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc49fc7bfcd3a32f91e1f6c975ee3111cb8b7a40","datavalue":{"value":{"amount":"+0.7857565879821777","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":"Q783738$6DED8079-4D7C-41DF-BCBA-0AE14F8695BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"088881965cfced46e6b3176ec14de1d34527c971","datavalue":{"value":{"entity-type":"item","numeric-id":2509948,"id":"Q2509948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856ed1478d55da562ee76e5ad8f112d3665786a3","datavalue":{"value":{"amount":"+0.7846730351448059","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":"Q783738$A2F6642B-6BD3-41CB-9089-8C3C20646FB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Effective difference elimination and nullstellensatz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Effective_difference_elimination_and_nullstellensatz"}}}}}