{"entities":{"Q2128117":{"pageid":2138860,"ns":120,"title":"Item:Q2128117","lastrevid":57734082,"modified":"2026-04-01T04:09:36Z","type":"item","id":"Q2128117","labels":{"en":{"language":"en","value":"Formalizing geometric algebra in Lean"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7511199"}},"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":"Q2128117$70129EC8-F911-4A4B-B831-C063481A7883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cc91e31435ca7d33a389945e06bac44deae957b","datavalue":{"value":{"text":"Formalizing geometric algebra in Lean","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2128117$A51D9C3A-D102-4C12-A685-2A3E8B4C4292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d60ab03eb38acadd6db643e859426ac0801d1b31","datavalue":{"value":"1494.68307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$96DBDE4A-0AD8-41C3-BE38-8D1C8E1869CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5340540bb2854f0cf28dc0c9788f007558d2e735","datavalue":{"value":{"entity-type":"item","numeric-id":2128115,"id":"Q2128115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$2FDC7056-54E9-4F09-AE33-6909DE525746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e90692ec8d1a8b9b989038bc547a33107bb8063","datavalue":{"value":{"entity-type":"item","numeric-id":2128116,"id":"Q2128116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$CE6C375E-4767-4789-A129-D3FA9DD90FCF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7dcf1477c2c1fa51233003d7ddc56e904fb2213e","datavalue":{"value":{"entity-type":"item","numeric-id":211586,"id":"Q211586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$C21A8FAC-E4D9-4554-9A9A-FB08538C8AF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b32004f1849a6b85adddcf4cc70bf727fb29846","datavalue":{"value":{"time":"+2022-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2128117$6F88ED09-C99D-43BB-A937-1AF64AC0BF8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65d62594bf4510566ce9747ecab398f6f0683ef9","datavalue":{"value":"https://arxiv.org/abs/2110.03551","type":"string"},"datatype":"url"},"type":"statement","id":"Q2128117$919C87B7-274F-4BF8-B864-9326E54D73BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83492ec8a57ed8dc0e9fce9a1f432441a5b3335c","datavalue":{"value":"The paper is written for graduate students and researchers in the field of mathematics, computer science, and in particular Clifford geometric algebras and their applications. It outlines the first steps towards the formalization of geometric algebra for the Microsoft Research Lean system, in particular to work with its mathematics library ``mathlib''. Such a library is used by a wide community with over 100 contributors, and in the paper it is compared to Agda, Coq, Hol Light and Isabelle AFP (Archive of Formal Proofs). The authors describe their approach in detail (type theory, quotient definition, Clifford algebra universal property, conjugations, induction, \\(\\mathbb{Z}_2\\)-grading, versors, wedge product, conformal geometric algebra), also giving a number of Lean code examples with comments. As for future work they emphasize the importance of working in Lean with graded modules and algebras, coordinate-free definition of the wedge product (Clifford algebra to exterior algebra isomorphisms), and the formalization of geometric calculus. All codes created by the authors are open source and available in a GitHub repository, and a part of their codes has already been integrated into Lean's ``mathlib''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$8ECCAAF5-9742-44B1-AE5D-5F2B344FF6AB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$6F224DCB-4D2D-45BC-8B05-CDC0B8BCA7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"141e60f0aef6fc1c5b42e7204af8cb0e8d585bf4","datavalue":{"value":"11E88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$ACE657FB-ED9A-407F-9695-29DD68147696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83211f0eb2cd7b7935b0481146199d3505baf54c","datavalue":{"value":"15A66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$29F453A0-DC67-46DB-B3C6-971B89B28BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15acf75242c35451cd682d28ac4badd1c0444212","datavalue":{"value":"15A67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$6A1F9BA2-A0C7-44A9-8D08-736333446CBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fb7ca9fcad38c8b0088e55eac1022282bcb807f","datavalue":{"value":"7511199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$F45C5639-5776-4C72-A71C-6FF5E4C1167F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9893315fb9923cc47735c8c0eaeaa900d057207c","datavalue":{"value":"Clifford algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$7E8AA45B-0A9B-4867-B9B4-85557BBCEC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dccf2f0d7b7d4f83e10c08becfd49dc32ca80fc","datavalue":{"value":"geometric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$D200A3B7-5C56-44A0-B107-724BF99BD417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$974A0AA1-2947-4090-8C1A-44D87CDE55D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c69de3d87674333be95923d893489aa8738e965","datavalue":{"value":"automatic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$8F2D36DE-95DA-4D62-AADA-D733F77E1CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c7586bffed3aaad52da35ff224b9414d5e4e7d8","datavalue":{"value":"computer logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$FFA322FD-027A-4B3B-BF99-055F5CE54737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece59c48c6b56403e847bffda58343af27541073","datavalue":{"value":"mathlib","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128117$06581F61-9288-40A0-B112-6881D2A9CFE1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9987b58202a33635ab9e9efa6e222cc8dfc1c4b0","datavalue":{"value":{"entity-type":"item","numeric-id":12900,"id":"Q12900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$BBE9055D-2FF4-4CAA-863D-DA2BB968B9FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e77511e23ce79e879b8e73e941982a4a6b4d1f5a","datavalue":{"value":{"entity-type":"item","numeric-id":24447,"id":"Q24447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$98B4B944-075E-4415-9D31-B48BA036E325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eecff7672d98ddd92e9f59bf72dece031571efe6","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$7BA50D5F-329D-4F5E-B392-425F4242A9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6e67cf93810dc657a210d9312434097723ef56c","datavalue":{"value":{"entity-type":"item","numeric-id":52541,"id":"Q52541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$4B069144-B895-4CD5-8DF7-F228F6FA3207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1a8b6b13bef47cb19f4e2508b5917af235a65eb0","datavalue":{"value":{"entity-type":"item","numeric-id":21668,"id":"Q21668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$239CC91D-4959-4E1B-9AC8-462992ED652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$CC1E7EB1-2DCF-4C55-99F1-EE05828D93AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"171c96b8eedb1941dd7a5075cf86a820c1876d3b","datavalue":{"value":{"entity-type":"item","numeric-id":12849,"id":"Q12849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$3D8911C6-210E-4B73-B57F-5CB0BD1DA9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$66D93BB9-F1A1-40E9-B3CE-BFFBE0A502C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$1038F39F-049F-4F25-97EF-F624269989AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$97F6435F-95EE-412C-8530-F0EAE26AA50A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$EBEE6315-24AF-49C4-861B-372DFCD4F6A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$9CAD978C-6D11-4488-8F3A-7FDA623A907A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d42bb7f30491e53ade2acd1853b17e08bbd717b","datavalue":{"value":{"entity-type":"item","numeric-id":42068,"id":"Q42068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$2524DB9A-342B-47D9-87F4-FFC8E13C9D52","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":"Q2128117$EAC44A0A-982F-4EEA-AFFB-7C2385D8380D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c2680a51083c0db7b7ed461c7ae67bb5b03b6ff","datavalue":{"value":"W3201709688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$6498E747-0FBC-4071-AF6A-C631A6AA357B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1869aef60acdaca210957fc6d290fd0112f987d9","datavalue":{"value":"Q111738341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$8E9CDDC0-925F-4400-B05A-5B6CDD726220","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab0aac8a07006076e885bc95b7fd8cd40ded2e67","datavalue":{"value":{"entity-type":"item","numeric-id":709786,"id":"Q709786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$FBBD8CB3-1056-45FD-AF69-4B8206FE4128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65301a1b0d851feff300ffb4456ad33f5d5a9f47","datavalue":{"value":{"entity-type":"item","numeric-id":451089,"id":"Q451089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$43C9BEFE-8E1D-47B4-9B2D-C81CD3FD7A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f99f3f05e9f71565b5e2c4f1b1003a9222b2a7","datavalue":{"value":{"entity-type":"item","numeric-id":2274744,"id":"Q2274744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$3BBBA6A3-A542-4AF2-AFCE-EEF1A70CF3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$CE19BAB7-9210-44FB-B345-903400C8207D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f6392d71399b59cd96cef76735f66148c25250","datavalue":{"value":{"entity-type":"item","numeric-id":3102734,"id":"Q3102734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$5C4A2E3C-BF61-4046-A104-16DCD7924D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48685289cbfe7531796288dbbe254a88196c41c","datavalue":{"value":{"entity-type":"item","numeric-id":742367,"id":"Q742367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$F3396F00-F10E-4FEA-ADD6-5622052179FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1b733f7a0d258f59de47ce31e339c96bb4c956","datavalue":{"value":{"entity-type":"item","numeric-id":794307,"id":"Q794307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$9AFD7C1B-AED3-4BBE-B8E6-5C39AAEF9298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91eb802c4bc942e1edad2015eac77e756dcf661d","datavalue":{"value":{"entity-type":"item","numeric-id":2323452,"id":"Q2323452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$F3266A1D-E131-4D5F-B96A-2C278E160CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3ee1b817254aea8a57588473a7ae62193e3ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2219408,"id":"Q2219408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$A5E3B2A0-C51B-4408-BADE-0B6FB7D137C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"156f37b2fb389894c4ae4024f2e99a5583cef1fc","datavalue":{"value":"10.1007/S00006-021-01164-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128117$4DDC8C65-07F9-4401-B5B6-232C116F32F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436458a6c9fbc133317520106194cab8d362cf2c","datavalue":{"value":{"entity-type":"item","numeric-id":2323452,"id":"Q2323452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"061a36063e78a82fdeb109aaaac59492b7d242fb","datavalue":{"value":{"amount":"+0.7799450755119324","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":"Q2128117$7DA5A42D-753F-47B2-BBA0-45A32769F8E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a0b1e265fefb61fc2e270cac24fcb7f7963616","datavalue":{"value":{"entity-type":"item","numeric-id":742367,"id":"Q742367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f29e1b1b5f76423c7beec94e75236da569bc533","datavalue":{"value":{"amount":"+0.7680720686912537","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":"Q2128117$CE8E549C-A615-4EC3-B676-0706C55DAFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b9ec05800fd56c7467533f15215eca0b96f43e","datavalue":{"value":{"entity-type":"item","numeric-id":2824411,"id":"Q2824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd8a555f80f8fabf10a8125c7807b29d74de80d1","datavalue":{"value":{"amount":"+0.7659841775894165","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":"Q2128117$8F4C3990-83A4-44FB-9D5B-E6A7A87721E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef53f70cbd81d284a07ee397ebb0af124af9fd5","datavalue":{"value":{"entity-type":"item","numeric-id":3102734,"id":"Q3102734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14b54181ad27ec08feaddc26f9e9245fbe3c2bc","datavalue":{"value":{"amount":"+0.7656407952308655","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":"Q2128117$F4B220D1-93C2-4932-8B71-FE655D21710B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b5553698cf44865bda3d6c75d05aa2117ed8b6","datavalue":{"value":{"entity-type":"item","numeric-id":4249890,"id":"Q4249890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0370a5b703adf853cc60c518fdef1c2278791c0d","datavalue":{"value":{"amount":"+0.7164124846458435","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":"Q2128117$EB1ABD85-474D-45BA-9D90-81B1D7953C32","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128117$C68E0336-881E-4A34-8AC7-EBA15BB7567A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2128117","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2128117"}}}}}