{"entities":{"Q1849854":{"pageid":1860596,"ns":120,"title":"Item:Q1849854","lastrevid":43371674,"modified":"2025-07-25T05:09:25Z","type":"item","id":"Q1849854","labels":{"en":{"language":"en","value":"Skew confluence and the lambda calculus with letrec"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1838859"}},"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":"Q1849854$AD9DC445-A863-452F-9273-E8AF43D6FAF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed6ed1d175ed7d18dbd26ef9de4e653a66c3af8b","datavalue":{"value":{"text":"Skew confluence and the lambda calculus with letrec","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1849854$2DC6BC64-F2F9-46A8-80D1-F51BE8AB2691","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f97c653fe1d4909dbaa18123daf08f3290915e0","datavalue":{"value":"1019.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849854$565648BC-0F65-4932-B885-45C4BB53148C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fb218f3717edfbc51475bb82456e8386598f9fff","datavalue":{"value":"10.1016/S0168-0072(01)00104-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849854$EDB60626-830F-4606-87D9-4E49099CE526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$9A431CDA-5A98-48E9-8622-3C31C5BDBDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"041d5ee3fabd59c2cdad1eb3f2e35ff32f1de0f9","datavalue":{"value":{"entity-type":"item","numeric-id":1630042,"id":"Q1630042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$84CE198D-CE02-4AEF-93D5-12F137D81A26","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":"Q1849854$49E850A9-3AB4-41EB-A43C-4467A29BA959","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82ac30fadc544187fd268bb88e1da4be75a5ee8c","datavalue":{"value":{"time":"+2002-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1849854$D478D69D-FC82-4C9C-8434-AC217F794D9F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d56042b063bab1317b4619cc3648a997d3a7ae91","datavalue":{"value":"This paper studies the cyclic lambda calculus that is an extension of the lambda calculus with the letrec construct. Cyclic lambda terms are represented by systems of recursive equations of the type \\(\\langle M \\mid x_1 = M_1,\\dots,x_n = M_n\\rangle\\), which is another notation for the construct \\(\\text{letrec} x_1 = M_1,\\dots,x_n = M_n\\;\\text{in} M\\). When lambda abstraction and cycles are admitted, confluence is lost. To obtain confluence, current formulations of cycles either impose restrictions to reductions or adopt a framework based on interaction nets. The authors introduce an alternative way of guaranteeing the consistency of the calculus without restriction. Since the terms contain cycles, it is useful to abandon normal forms in favor of infinite normal forms. The authors introduce skew confluence to guarantee the unicity of infinite normal forms, by combining rewriting with a quasi-order \\(\\leq\\). Skew confluence states that if a term \\(M\\) reduces to two other terms, \\(M_1\\) and \\(M_2\\), then the second term \\(M_2\\) can always be reduced to a term \\(Q\\) that is better than the first one (i.e., \\(Q \\geq M_1\\)). The main result of the paper is that cyclic lambda calculus is skew confluent, so that it has unique infinite normal forms. For the terms of plain lambda calculus, the infinite normal forms of cyclic lambda calculus correspond to L\u00e9vy-Longo trees. A cyclic explicit substitution calculus is introduced in the final part of the paper, where it is shown that the explicit calculus produces the same infinite normal forms as the cyclic lambda calculus. Finally, cyclic lambda calculus is shown sound and finitely complete with respect to the infinitary lambda calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849854$9E7C729B-627F-471C-AC8E-68CE5C02ED84","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db6b95109dc1af8f661ae37d31be7fc1cf1d77e0","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$3BC045F0-F689-4894-894E-0ED8DB3DA7AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849854$31299489-926E-44EF-B428-97F985C1D6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849854$31F71900-A6EA-4C2E-8101-70937E396B58","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f58ba4ca8a36dde41879be13db8c3c0a1064b0a0","datavalue":{"value":"1838859","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1849854$7AB19E69-28D6-43C0-A191-64AB8859B589","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849854$428D856F-5A47-4FA5-BA12-7B06FE8A13D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dcf267cbc3e04fdcfc3d3761f7ad8ebdabe8c51","datavalue":{"value":"cycles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849854$2D488466-52D2-406B-945C-0DDCA57EA307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715d67b3fb0cc899d61772ade980658b182d9e36","datavalue":{"value":"skew confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849854$016D8547-9C95-42D4-A2E7-DBB019492EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d7cc079665dc30813061f84ef44550723f96149","datavalue":{"value":"infinite normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1849854$CE434E99-7697-4655-B285-31BD7CCEF7A0","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":"Q1849854$DA64D3BF-EAF2-41C8-A631-D603FA17D563","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3a8b14ad4f777fb81b522e209f9494238a008","datavalue":{"value":{"entity-type":"item","numeric-id":1849854,"id":"Q1849854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$002644FA-67B3-4829-826A-45B4C49763D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b3771554b4241f894b60bb1f39c34a51542f7b1","datavalue":{"value":{"entity-type":"item","numeric-id":4364384,"id":"Q4364384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$A751CB4F-FDF7-47AE-BAD0-3CB5632982A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$3F144115-EDE3-4157-9734-FA7BBACD9A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97357ae73dd852c1a8a9666e049a568a84a9a4e2","datavalue":{"value":{"entity-type":"item","numeric-id":1383145,"id":"Q1383145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$4451A9D8-9E99-46E5-8D18-F25EE04A2AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a46a8bc6502e09f75290d4a8854327f8dc52f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4890709,"id":"Q4890709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$B032BC18-B303-44D5-B29A-7F267F9AB128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ec3cfc46976e38fcb4d04fa4c6ffa0627484c4","datavalue":{"value":{"entity-type":"item","numeric-id":4327409,"id":"Q4327409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$B449E088-2F27-4B71-B133-FA98222C8185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf488bd8f333419fbdfcc1637160213a470f5034","datavalue":{"value":{"entity-type":"item","numeric-id":1924551,"id":"Q1924551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$414C3423-3045-46B7-84F0-DD1AD48C7DA8","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":"Q1849854$1C7B123C-1D3E-4128-813D-AAA10F666DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$8D229671-7DBA-42AA-92C2-DD521D19FFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$77BD7158-0520-41F5-BC7E-8EFC09658183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$53555B4C-106E-4538-9F75-560E35213E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$4B83C7B6-9C1D-464E-B6BC-3431E767567E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$56D5CB6B-0B97-4BB8-A025-3B163192B28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$E8DFF550-9840-48FC-9D3B-C3E72435C52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a5c769c2f9770f0d1b4bcfd2f15a27a8f56855","datavalue":{"value":{"entity-type":"item","numeric-id":4314949,"id":"Q4314949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$279C6CA0-7929-4ED7-AACE-7425FDA94AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ae693e56a85a155a49a0ba25e2cdd6b8c67a00","datavalue":{"value":{"entity-type":"item","numeric-id":4692880,"id":"Q4692880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$0E91335E-B97A-4E5E-A1F7-B15FA6795D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1e8f8aa637b2d958be34bc9c921a3b84fc34a","datavalue":{"value":{"entity-type":"item","numeric-id":5881174,"id":"Q5881174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$02446386-4EC1-41EA-A192-044C0B90EBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a724201ff43afc7a9d9191ef4bbb8b92b1f8655","datavalue":{"value":{"entity-type":"item","numeric-id":1884896,"id":"Q1884896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$9264DDA4-EDA1-4D87-9BF7-0B24205FB6E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec79afe9c6c2c07f36d4ca242af9ab7ed7180f4","datavalue":{"value":{"entity-type":"item","numeric-id":4182475,"id":"Q4182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1849854$5D47EDB6-5944-48FC-963C-F0AE5F651E75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237b97dcfbfc01474547724047ebed891866bc69","datavalue":{"value":{"entity-type":"item","numeric-id":1197987,"id":"Q1197987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16572c0998d8126f731fc3541afb65a8b88969a","datavalue":{"value":{"amount":"+0.8827109","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":"Q1849854$CFF47B29-D9BA-415B-9851-E367C590C8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7bf0ddd200185ae55700af2ad9b25803b32505","datavalue":{"value":{"entity-type":"item","numeric-id":987976,"id":"Q987976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8855545cdbb52ebf38988c079fbc9905f3132c35","datavalue":{"value":{"amount":"+0.87267613","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":"Q1849854$CABEE2E9-A9DC-4B2E-A42B-908B9E65F9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b468d9befd0c796b3e5a7888f89b276f3ddf6ae0","datavalue":{"value":{"entity-type":"item","numeric-id":5899101,"id":"Q5899101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bee2f7909d523cb456982aba088605b1697b9e7d","datavalue":{"value":{"amount":"+0.86678284","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":"Q1849854$8FC9E34E-D3F3-4887-9AD0-E49A3BA2C4D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dca3215d2c5258272190aa79597315f220b7bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":1350342,"id":"Q1350342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae60950cb94697b171798ccbb411b6e97ada8e7a","datavalue":{"value":{"amount":"+0.8645308","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":"Q1849854$C8E13855-7D8A-489A-BCFF-4150439F7F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274d10014aeb484d2d1415d368ee9b8d616af0ea","datavalue":{"value":{"entity-type":"item","numeric-id":4268465,"id":"Q4268465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae60950cb94697b171798ccbb411b6e97ada8e7a","datavalue":{"value":{"amount":"+0.8645308","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":"Q1849854$AB43117E-B376-46E7-98DC-604F16A9BB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9874a5291870ecc982d637a6e973ed85078d1151","datavalue":{"value":{"entity-type":"item","numeric-id":1884931,"id":"Q1884931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f7ab1101333530492f09e5c282c96558969ba2","datavalue":{"value":{"amount":"+0.8587482","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":"Q1849854$B53BB94A-C5D3-4272-90D0-4A76D4075F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d57fe45543f6360e93699ba7881bbf2282b8c19","datavalue":{"value":{"entity-type":"item","numeric-id":3644936,"id":"Q3644936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a79e7d45428e26efa95e65813ed95d3ff43999a0","datavalue":{"value":{"amount":"+0.85503834","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":"Q1849854$7725134F-E601-46CD-90C9-527AD62FB9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f900978b735a1191d1bd5813b0fb20efd481e48","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df99a61b5727bc4f8d730b567175652e8ecf7e58","datavalue":{"value":{"amount":"+0.8544012","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":"Q1849854$3C02D007-9319-465D-8C43-0DF7F0EA5260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3b51f8a0d80d67354e45b2e72b0c69c6d1b718","datavalue":{"value":{"entity-type":"item","numeric-id":2871868,"id":"Q2871868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a05090ba5c4b5fea95b53af0b3a027cc8cc2934","datavalue":{"value":{"amount":"+0.85093254","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":"Q1849854$020D2B5F-042D-4448-9785-2094D87993D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7e087c61fe2738d6348d9fbe65d5b85cbfd09b6","datavalue":{"value":{"entity-type":"item","numeric-id":5858674,"id":"Q5858674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9377f1d835a0b8094a463e1c29b0e22576a39e7","datavalue":{"value":{"amount":"+0.850202","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":"Q1849854$1E919B2F-D82B-409F-8793-944F36959068","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1849854","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1849854"}}}}}