{"entities":{"Q549186":{"pageid":550953,"ns":120,"title":"Item:Q549186","lastrevid":62671785,"modified":"2026-04-11T07:40:24Z","type":"item","id":"Q549186","labels":{"en":{"language":"en","value":"On equal \\(\\mu \\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918234"}},"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":"Q549186$2329E444-7D9B-4E37-A08D-E1258B96BFD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0358f101b9f085b0ce257b43aaf35b0bda500395","datavalue":{"value":{"text":"On equal \\(\\mu \\)-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549186$8AB81DE4-AAC5-4ECA-9A76-D5B175FD04E0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b1c84341f7b2ca4b13aec344fb1f9dd6bf663bf","datavalue":{"value":"1227.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$C52AF807-1A5E-4DC2-8D12-D82DC7849879","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$9D119A08-307F-4E7D-80B4-81618ECB98C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$3612854F-D34B-4563-B4BC-4DFAB6063A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$F882E13C-DBA7-453B-971A-E65419E4F94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$C4136AB5-B7BF-49F8-9ABB-CCCE9B2DE90B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$9B9D032F-5F59-4935-BF76-5B2742AFFD9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549186$16132750-FDB2-4CB0-8DA0-7C086E4C933C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8ddf06008fa1aaaffa89d75499b15c245b4a4c06","datavalue":{"value":"From the text: ``The paper studies a particular orthogonal higher-order rewrite system that we will call \\(R_\\mu\\), containing terms built from some constants, variables, a binary function symbol \\texttt{F}, and a higher-order symbol \\(\\mu\\) allowing to construct terms such as \\(\\mu x. {\\mathtt F}(x,{\\mathtt c})\\), where \\texttt{c} is a constant. Everything in this paper generalizes to a more general first-order signature \\(\\Sigma\\), but for our purposes, with recursive types as main application, the specific signature as mentioned will be assumed. There is a single rewrite rule, the \\(\\mu\\)-rule, which reads \\(\\mu x.M \\rightarrow M, x:=\\mu x.M\\) (in meta-notation using the schematic variable \\(M\\) and meta-substitution).  The rewrite system \\(R_\\mu\\) embodies the recursion principle in a most concentrated form, replacing the fixed point combinators \\(Y\\) as employed in \\(\\lambda\\)-calculus. In fact, we can consider \\(R_\\mu\\) to be a sub-calculus of \\(\\lambda\\)-calculus, via the translation replacing \\(\\mu\\) by \\(Y\\circ\\mu\\) for some fixed point combinator \\(Y\\); the \\(\\mu\\)-rule then becomes a derived rule. [...] This translation preserves unsolvability; meaningless terms are carried over to unsolvables in the \\(\\lambda\\)-calculus.  Just as we can view \\(\\lambda\\)-calculus from the finitary or the infinitary perspective, the latter leading to semantical notions such as B\u00f6hm trees, its subsystem \\(R_\\mu\\) can also be viewed finitary or infinitary. The infinitary perspective of \\(R_\\mu\\) is in fact rather well known, as it pertains to tree unwinding semantics of e.g. recursive types [\\textit{H. P. Barendregt}, \\textit{W. J. M. Dekkers} and \\textit{R. Statman}, Lambda Calculus with Types. Perspectives in Logic. Cambridge: Cambridge University Press (2011; Zbl 1347.03001)]. The ensuing equality is called `strong equality' in [Barendregt et al., loc. cit.], holding when \\(\\mu\\)-terms \\(M,N\\) have the same possibly infinite tree unwinding. There are many proof systems for strong equality, and many algorithms for deciding strong equality. However, the finitary aspects of \\(R_\\mu\\) are much less known.  In our first decidability proof for weak \\(\\mu\\)-equality we have adopted the commitment to treat matters \\(\\alpha\\)-free, and clearly separating \\(\\alpha\\)-renaming and \\(\\mu\\)-reduction, extending the proof method of \\textit{F. Cardone} and \\textit{M. Coppo} [Lect. Notes Comput. Sci. 2841, 242--255 (2003; Zbl 1257.68056)]. It is also adopted in our third decidability proof, which uses tree automata techniques, made possible by our `first-order rendering' of \\(\\mu\\)-terms.  Our second decidability proof is under the regime of the commitment to work all the way with \\(\\alpha\\)-equivalence classes and a corresponding notion of \\(\\mu\\)-reduction. It still follows the proof strategy of [Cardone and Coppo, loc. cit.], but now in a pure higher-order setting, so that \\(\\mu\\)-terms are \\(\\alpha\\)-equivalence classes. The advantage is that we do not have to deal with reduction modulo \\(\\alpha\\); this is seamlessly integrated in the notion of reduction in higher-order rewriting. Here a certain disadvantage is that the higher-order setting is less concrete, and also less well known.  Summing up, we advocate the adagium that \\(\\alpha\\)-freeness entails a first-order setting. In our paper we have endeavored to put light on the decidability question for weak \\(\\mu\\)-equality from both paradigm perspectives, \\(\\alpha\\)-free with the ensuing first-order setting, and higher-order, with ensuing built-in \\(\\alpha\\)-equivalence. This is the rationale for the different proofs that we have developed.  An interesting meta-observation about the inclusion of the core system \\(R_\\mu\\) in the full \\(\\lambda\\)-calculus, is that while in the \\(\\lambda\\)-calculus `every interesting property is undecidable', as validated for many instances by Scott's theorem, in the core system \\(R_\\mu\\) by contrast `every interesting property is decidable'. To substantiate this informal slogan, we have included proofs of decidability of reachability \\(\\rightarrow\\!\\!\\!\\!\\rightarrow_{\\mu/\\alpha}\\), and also of unsolvability, and of upward-joinability \\(\\uparrow_{\\mu/\\alpha}\\).''","type":"string"},"datatype":"string"},"type":"statement","id":"Q549186$F833EE38-E878-4CE5-AF73-9626971DD455","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4bc285a01ee2fee3db93f6df1148b69669dc8b6e","datavalue":{"value":{"entity-type":"item","numeric-id":590045,"id":"Q590045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$087FBA01-EA8A-4A19-AFFA-0C58BEA6FB11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$706E60D0-1D34-4C61-8163-03EE93C963A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$C544F2CA-6E88-4C0B-BBBF-3FCEF33BFEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$02E38BCA-829D-4FC7-AC40-950A158996AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ddae273717cad855e52a36e5160881e52a77b31","datavalue":{"value":"5918234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$5622FE95-2331-4BB7-9734-79E95E7E419D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da1ced7a1e268b9e9af1ff6515acb2fcb0ce125","datavalue":{"value":"weak \\(\\mu\\)-equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q549186$A59CDA24-B84A-487E-BFD2-1C7FF9E95F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b731c40b6f8dc27b13c474e6a5b7f5b59f0452e4","datavalue":{"value":"strong \\(\\mu\\)-equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q549186$758D1FA7-B40A-4356-AA4B-5EB3CA819962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a7a95cd9d37c827953764054721de832aacff0e","datavalue":{"value":"\\(\\alpha\\)-equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q549186$44C93C36-8561-4E6C-8EB8-C90C80CCA71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ac52ba5fbfea503a5169a1bf75445d6498e920","datavalue":{"value":"renaming","type":"string"},"datatype":"string"},"type":"statement","id":"Q549186$8D506E58-BAC6-44EF-8FA7-75A5CAFC11DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q549186$68684D2A-A98C-4D00-9C56-A737BDC5B3EB","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":"Q549186$AB6FB375-43A8-40B7-8254-B4FB3F47BBC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64a17b9fe928bca6a75a46fdfb30ce029a87fa3d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.04.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q549186$CEC3819C-793F-4A7E-B235-9D12D160A84D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e104a88c800b7e40d5bc45df53115ca1e950f77d","datavalue":{"value":"W55323366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$9BD89F96-BE97-434E-B02A-E3AD18FDDEEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$D17D628B-104E-477C-9623-FD6F988C83B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$CB7C8051-EC92-442A-BBBB-096BE54A81B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"686b11d54974361b543d100ab12d89c9574adcdf","datavalue":{"value":{"entity-type":"item","numeric-id":3024900,"id":"Q3024900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$40D71CDB-916E-4250-B40B-7C5EE636595C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78c793b9db3dac2014e80331eca622303d78f0a4","datavalue":{"value":{"entity-type":"item","numeric-id":4447227,"id":"Q4447227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$5525B1B5-3CFD-4A19-8536-ABCF9ECE6A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8676817bf4cf63d9b15b510894742b7c46fc0cc","datavalue":{"value":{"entity-type":"item","numeric-id":5897364,"id":"Q5897364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$B66BD276-2D45-4C1B-98FF-0A7C8C47C51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"399e5a44fdcf17ee9cdf56f3911287ced5098358","datavalue":{"value":{"entity-type":"item","numeric-id":3839071,"id":"Q3839071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$5BD44EAC-FC3B-4E69-8616-2407F47AC9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17991b11af0aebd2bb04fe1a0eb6c4a689a98cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2843933,"id":"Q2843933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$B43935CA-FDB6-452F-A1A0-24F916958B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f3aa3b9375e9abc062bb431cf4c0a584ea21c7","datavalue":{"value":{"entity-type":"item","numeric-id":5308096,"id":"Q5308096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$8E60D730-776E-4658-8774-C61A29392D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ceafaaf430db86d30058be4e3a17b419bcb1397","datavalue":{"value":{"entity-type":"item","numeric-id":5900715,"id":"Q5900715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$5132599F-8EC7-4FEF-AFE8-9054FC6CDF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9621551e44267353a19dc47f7f55496ea54c2c","datavalue":{"value":{"entity-type":"item","numeric-id":5096902,"id":"Q5096902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$01528E44-A45A-451F-97D9-3EA95EA6F0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17794c4bc319199b07780fe8daa9724755f28e9","datavalue":{"value":{"entity-type":"item","numeric-id":4355684,"id":"Q4355684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$2173ABFC-03AF-4A58-B750-717AA81146CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dadde792dcb13c41fbe1946050933563c45bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5881173,"id":"Q5881173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$99D26A21-1817-447E-81CF-8DAC013C206A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$6EADEAA4-F873-4205-82DB-343B2B79E928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36968202126c4614ffa2cf0cb19d65b4ce355bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4954449,"id":"Q4954449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$10E5DEAF-9033-4990-AF84-08CC492857B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"343c2e91efa2c8f3a1c767f0f3d09ccc003f8942","datavalue":{"value":{"entity-type":"item","numeric-id":5757933,"id":"Q5757933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$A24807D8-2027-41E6-9356-B5A50D8CE5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$75853504-2D80-497C-9215-EB47FD625848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549186$AE967483-2F68-41E6-A859-8A2A7C4B37A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0cb2433bb67d6af0a8cd1ab714ada1ff01dfb04f","datavalue":{"value":"10.1016/J.TCS.2011.04.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549186$EF09BB94-653C-4653-B13B-C1A285535328","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f351b0c81dbed31f5c6f432bf9c9460ccf12578d","datavalue":{"value":{"entity-type":"item","numeric-id":3839071,"id":"Q3839071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa88420d3e21cd2544edceb715be9c2a39b1eef","datavalue":{"value":{"amount":"+0.7482333183288574","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":"Q549186$AC58D5FA-BE40-427E-BFE3-EC758C4EEE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07176488cebb1cfdca74160c706c687eec9e83c0","datavalue":{"value":{"entity-type":"item","numeric-id":5389142,"id":"Q5389142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa88420d3e21cd2544edceb715be9c2a39b1eef","datavalue":{"value":{"amount":"+0.7482333183288574","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":"Q549186$DA9666B8-773E-4AA0-AA47-19AEB762237D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"275f60208b09157bb7f4f9a15c3e250aeed9bbfa","datavalue":{"value":{"entity-type":"item","numeric-id":2918980,"id":"Q2918980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4577e8a3949406d4a50a5132384abff505237e04","datavalue":{"value":{"amount":"+0.7299229502677917","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":"Q549186$06361A87-718E-4DD6-B9F9-6B1D8D4CC427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac79f3b2c343082efd0018d47de61eeb890a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897364,"id":"Q5897364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afc7742f6bad6b8943898c0c02923c1ec4b32bc","datavalue":{"value":{"amount":"+0.7271362543106079","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":"Q549186$95412848-5595-4C54-9DD1-2E5A33567440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8037128fb38856afe64a2a732e38ac1b1be317d","datavalue":{"value":{"entity-type":"item","numeric-id":4704206,"id":"Q4704206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e266a25c4a7a79efad34cbc97a1f78bf0244b6","datavalue":{"value":{"amount":"+0.721595823764801","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":"Q549186$676E1A01-D2FE-4AAE-A946-AF5753891BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On equal \\(\\mu \\)-terms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_equal_%5C(%5Cmu_%5C)-terms"}}}}}