{"entities":{"Q714712":{"pageid":716561,"ns":120,"title":"Item:Q714712","lastrevid":57141750,"modified":"2026-03-26T18:47:54Z","type":"item","id":"Q714712","labels":{"en":{"language":"en","value":"Some new results on decidability for elementary algebra and geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092963"}},"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":"Q714712$89252F55-FFF9-4546-807E-9543789540FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f055773dcf192b3081ce1733d25cf451f2e2310","datavalue":{"value":{"text":"Some new results on decidability for elementary algebra and geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714712$7CAF44F2-164D-4866-9127-290FFCDA61C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0613603809e21728dd907c982100fd6f7770d70","datavalue":{"value":"1259.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$7603B6DD-47F6-44F2-8471-E7D1AB4C2638","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$55DCE40A-0F00-460B-9AB2-6CAFB167279D","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":"Q714712$724D721E-5521-47B3-88F6-974F49136A7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714712$E321294C-756B-414B-AA50-0E6B4F3BC706","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5fe213183a1eaa8b4c63cac42209462fbeda4bc","datavalue":{"value":"https://arxiv.org/abs/0904.3482","type":"string"},"datatype":"url"},"type":"statement","id":"Q714712$49F5E607-ADD2-48EF-977A-3FF09075D13D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"01615e66d47a04248fb76a93ba2e10c96c0470e6","datavalue":{"value":"From the authors' introduction: ``The purpose of this paper is to investigate decidability for more general classes of real vector spaces.''  The main issue is the decidability or undecidability of the various theories which consist of sentences in a two-sorted first-order language: one sort for vectors and one sort for real scalars. In particular, all theories of inner product spaces turn out to be decidable, while undecidability reigns in the case of normed spaces, the only exception being the theory of a 1-dimensional space.  In the opening section, the authors introduce notation and terminology and then go on to consider the expressive power of the language for normed spaces vis \u00e0 vis the language for inner product spaces.  Theorem: There are first-order sentences that hold in all complete metric spaces (resp. Banach spaces) but not in all metric spaces (resp. normed spaces). Furthermore, the class of complete metric spaces (resp. Banach spaces) is not an axiomatizable subclass of the class of metric spaces (resp. normed spaces).  For inner product spaces, the authors prove that a sentence holds in every space of dimension \\(d\\geq k\\) iff it holds in \\(\\mathbb R^k\\) where \\(k\\) is the distinct number of vector variables in the sentence. This leads to the conclusion: ``the theories of inner product spaces and Hilbert spaces with various dimensional constraints can all be decided via a simple reduction to the first-order theory of the real numbers.''  Undecidability for theories of normed spaces is achieved by showing that the theories are not even arithmetical. The authors do this by producing a structure \\(\\mathcal M\\) for the language and a formula \\(\\nu(x)\\), where \\(x\\) is a variable of real sort, such that \\(\\nu(x)\\) holds in \\(\\mathcal M\\) iff \\(x\\) is a natural number.  However, the authors show that the \\(\\forall\\) and \\(\\exists\\) fragments of the theory of normed spaces is decidable along with the \\(\\forall\\exists\\) fragment of the theory of metric spaces. By reductions to Hilbert's 10th problem, they show that the \\(\\exists\\forall\\) fragments for metric spaces and normed spaces and the \\(\\forall\\exists\\) fragment for normed spaces are all undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$BFCF32CE-CCA4-4CFD-AEB0-49DDA2E317AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"49ac28ac151a8a9103bbae52e8a00e91b3069fd7","datavalue":{"value":{"entity-type":"item","numeric-id":590477,"id":"Q590477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$8335795B-F327-497B-8A73-6AB73D44EDEB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$D1268ECA-0967-4979-941A-1EBDF2468F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$D5B67A13-A281-400D-BFCE-155633DA99D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$ED9CFFE9-F6E4-470E-9718-3BD323CF51DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8730af24a6c9f7d5f2777753bd167bb158f0f0b","datavalue":{"value":"6092963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$49447B80-8E5F-4EF9-AB8A-244BB98978C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$1381B5A9-FFDF-46B8-90E1-01D68FD1233B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$32C4DB28-ED2F-499B-8FEC-09C3F91D5257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79868fa7d2ed2a6553b37c589c14ecdcfeb2d4ec","datavalue":{"value":"Banach space","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$79266684-CDBB-4139-98D9-58250B7CFAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27db29e1545997752d0ba25fa3e41f101d1cfb85","datavalue":{"value":"Hilbert space","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$9A3BA965-017F-4B0E-B109-6D12B35E9E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a72d7beef34d2f3d782bcb823bbcadd9211175","datavalue":{"value":"inner product space","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$31545B51-601E-449E-8D37-2EDA6A2BAA54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dd17738c6b0b352a5da363954b7f6308dbe45cd","datavalue":{"value":"normed space","type":"string"},"datatype":"string"},"type":"statement","id":"Q714712$1C4A6DAD-ECDD-4646-ABF8-93671B722FC2","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":"Q714712$D4AEE08A-75A8-4BAE-8F7A-E318A66F247B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c30997f1510c7c1e46c961b5876a6deb8577a7b0","datavalue":{"value":"W2049594940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$FC239A4E-A51B-4B06-ADF2-03FA175A175D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed1d88ef8a4fe1948e430e03dc44376b77eae996","datavalue":{"value":{"entity-type":"item","numeric-id":1822008,"id":"Q1822008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$75EAF984-0116-4FDE-A1DB-93A21F0E311B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f9069464c30d0c72660b9fa03e9e29130e3328","datavalue":{"value":{"entity-type":"item","numeric-id":4908533,"id":"Q4908533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$70E50024-D77E-42EC-B655-E5761CCCB2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$F1386F9B-9678-43A1-AD15-886E125BF43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$0951C866-E86F-41AA-A377-7CA3F00E7163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18c0c23f5e10bb0fb4b3312f07e5aa16209beac","datavalue":{"value":{"entity-type":"item","numeric-id":5670619,"id":"Q5670619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$92764C31-194A-468C-8468-CD0BF30B53A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68ca35d4f5769cf8bc01494a46219a403069493","datavalue":{"value":{"entity-type":"item","numeric-id":5183483,"id":"Q5183483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$3D0A5096-0638-4078-9439-672D6F95BCA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$1734FA07-96A8-4245-A56F-9042BAA562CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$BE3AA80C-54D3-4EA6-932C-C5ACA8CB430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$484B2CA4-7F96-40EB-BD73-DACFBD214595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d340ce5f89719e0f942fe67098e922462911d16c","datavalue":{"value":{"entity-type":"item","numeric-id":4365253,"id":"Q4365253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$6DD6BAD3-B2AB-4D79-A1C9-75521712CEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f793a945156c8476f826747073c8bc4a95c728","datavalue":{"value":{"entity-type":"item","numeric-id":4411217,"id":"Q4411217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$E35B168D-0163-43EA-90A0-05FCC5A6597D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a61d7f0b4b323974e718a8dd9f88d4c95060284","datavalue":{"value":{"entity-type":"item","numeric-id":2557564,"id":"Q2557564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$A7DC40F8-B740-409E-9BA4-CE4B76ADDD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$12F41EB9-A207-424B-A13E-151AEFB9FC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b1f24d53123d6885e349219044cd2216b80aec1","datavalue":{"value":{"entity-type":"item","numeric-id":1200982,"id":"Q1200982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$9AAA2C1F-BFF5-46E4-B4CC-DD9C1DC2A558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db0e36367e1a41c39e36db0d7df17b4b1665a6c","datavalue":{"value":{"entity-type":"item","numeric-id":3671564,"id":"Q3671564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$9CDE57CB-4AD4-4CDD-987B-2A084B11F399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d5473fa60eadc2bea61d872c319f604abaf8b0","datavalue":{"value":{"entity-type":"item","numeric-id":5925455,"id":"Q5925455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$0008B9C1-22C9-4006-A628-4EBEC56BD34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$F407B6AE-32CF-47C1-84CB-83DEBF2D0C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1395c86e360ff03b6287bf38b39a82251d8ef84","datavalue":{"value":{"entity-type":"item","numeric-id":2547543,"id":"Q2547543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$6D048482-319C-4DBB-BFAF-B1A5BCD9FAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b053f93fe69b62676be9bffef12e98e7ca326eff","datavalue":{"value":{"entity-type":"item","numeric-id":5626603,"id":"Q5626603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$95A7E891-A24C-47F9-AFD2-3F57BAA03319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dae092fc70833c1e7189dc7caacd1fbe591e819a","datavalue":{"value":{"entity-type":"item","numeric-id":5267430,"id":"Q5267430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$BFED8C77-D0AA-44AA-BCCD-FF64E498EF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$D5BD129D-4578-4075-8041-A14646822F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$72DC54BE-906E-4C1D-82B2-3521CCDAFD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25faa233b18967380f5e9b6c9cd032f4e8bf6446","datavalue":{"value":{"entity-type":"item","numeric-id":4882015,"id":"Q4882015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$4B373F77-F62B-4C88-A4C2-99847377D899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ffed035003a07fe22ab4edff0f17bdfdb93781","datavalue":{"value":{"entity-type":"item","numeric-id":1139038,"id":"Q1139038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$21FE2933-8DD2-4F37-A9FD-C1A36F4FAC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b4b1cbfd3495596a05d24e2da4ddf39d6c0eec7","datavalue":{"value":{"entity-type":"item","numeric-id":4039792,"id":"Q4039792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$77501047-90AA-4478-BA07-BBB13CA54FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c7b85d7065db0b8fe399a7e7a611f4f79c7bd7a","datavalue":{"value":{"entity-type":"item","numeric-id":5586299,"id":"Q5586299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$E5E3F572-C607-4BF7-B920-B03C8A284EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$457CCA43-CDD2-449D-8183-56B344B45D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f62264add13b34e262b1c641881d5726c895f30","datavalue":{"value":{"entity-type":"item","numeric-id":3267805,"id":"Q3267805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$6E46B8D0-6C94-4D0C-8F17-87FEF46090FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7bbbfb6a5fb29f0dfa1956ae29e2881434363c","datavalue":{"value":{"entity-type":"item","numeric-id":4179018,"id":"Q4179018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$797461C1-9F75-490C-92E1-5F38B15CEBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d206966c07cc1b74f2d639545767f0df8964138a","datavalue":{"value":{"entity-type":"item","numeric-id":4003735,"id":"Q4003735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$079C8490-7CFF-4F25-8768-6577B3AA5061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$97F6BB67-9A39-4C28-84BC-3F29B957560F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c333a78bda8d3d5daf7c3712a569b0871ea168d","datavalue":{"value":{"entity-type":"item","numeric-id":2651342,"id":"Q2651342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$440A9CAB-A56D-46B7-9622-9F466EBDD1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baef0d780dad2ada46115132cc6cd9b3423d4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":1192337,"id":"Q1192337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714712$2CC439D0-930C-41A1-B51C-9CEC4EC1C3D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29bbb3af35d76085f6c4647db5d54693e1937623","datavalue":{"value":"10.1016/J.APAL.2012.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714712$39EE7911-9CEA-4770-AFA6-06E1987AF694","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0ba3c6e93294bdc004f3d4266d37a1d809ce698","datavalue":{"value":{"entity-type":"item","numeric-id":1803020,"id":"Q1803020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6df9af7901ee390a6b76a98d86d418c4a104bf8a","datavalue":{"value":{"amount":"+0.8947286","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":"Q714712$81DD05D8-DD7E-40B8-A304-EDE3577D2B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d56fd5f71423e20181a19c4ba4b24357809235f","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56390a37ce3e18930c87020a6c34ed07ad561603","datavalue":{"value":{"amount":"+0.8899473","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":"Q714712$55A13328-4A67-42A3-A76F-B92D629C46C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee86b4f38954608aa0625b1b6b850baf88c360af","datavalue":{"value":{"entity-type":"item","numeric-id":912081,"id":"Q912081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26052f137bc290b85ba7e2c83f2de169c865164","datavalue":{"value":{"amount":"+0.8870785","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":"Q714712$0162B47B-B2D7-4CBF-A658-A2ACB72E8DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db8b74cee918403f8c731cc01d4dccac6468a11","datavalue":{"value":{"entity-type":"item","numeric-id":1823233,"id":"Q1823233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c8a3deb6f91190180baa36ab09b3aec8bf875b","datavalue":{"value":{"amount":"+0.8831871","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":"Q714712$15E74F9F-C498-4A4E-AC67-981717C8EAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feacec6a07e0ac459689d6ea90a25be743349ad2","datavalue":{"value":{"entity-type":"item","numeric-id":4234210,"id":"Q4234210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af0c7eebdd481e68cbfcccb5f09256f68f262aa6","datavalue":{"value":{"amount":"+0.8808202","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":"Q714712$3FE38394-129F-4A74-994C-A0F4D6A7209D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9099c4b8af83f1fee77dbc4e1c4bd43a1ca4aa","datavalue":{"value":{"entity-type":"item","numeric-id":3784042,"id":"Q3784042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8b179802970eb05df473470b30c85ab5d12eaf","datavalue":{"value":{"amount":"+0.8795795","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":"Q714712$0838B76F-A4AA-453F-B974-07D01B4B27D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951c03f78e32dc97bee7aadd074d2a0529ac824c","datavalue":{"value":{"entity-type":"item","numeric-id":4179101,"id":"Q4179101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40e612a7f3e46fcd59aa4b0f8825e8dbca7b6c41","datavalue":{"value":{"amount":"+0.87156713","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":"Q714712$A3295336-0BAF-451C-9D76-ACA29346D67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a1865224b335572d87e4e84178e12e58c5bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":752130,"id":"Q752130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdea2453184e12e9f1da24f8ce22fdf631b1850","datavalue":{"value":{"amount":"+0.86989594","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":"Q714712$4D611266-6156-4A8F-A736-344FD7FBFA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21422ffd5b29060ef815bf50b86719ada6e073ff","datavalue":{"value":{"entity-type":"item","numeric-id":3819041,"id":"Q3819041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fbe7d22180ff01e6f021e8e874079a2196db3c2","datavalue":{"value":{"amount":"+0.8681148","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":"Q714712$B2A2C5F5-A522-4B59-8EAB-4A19BBFCCD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e202fdc9fb3eb33a437e3cc6e6859c56969597","datavalue":{"value":{"entity-type":"item","numeric-id":4032876,"id":"Q4032876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0449f4e45d52304cf8a348a6b6fe383f3e1599b3","datavalue":{"value":{"amount":"+0.86658007","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":"Q714712$3DFBC6C8-9B6B-4BA6-BE9C-441CECBA9320","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:714712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:714712"}}}}}