{"entities":{"Q884953":{"pageid":886801,"ns":120,"title":"Item:Q884953","lastrevid":50112611,"modified":"2026-01-13T04:22:41Z","type":"item","id":"Q884953","labels":{"en":{"language":"en","value":"Analytic proof systems for \\(\\lambda\\)-calculus: the elimination of transitivity, and why it matters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5162355"}},"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":"Q884953$96C905AB-B699-4EB2-AAB7-83707612A6CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b1f8ea0c2d0f12f69577027ebccc7fdb4822cea","datavalue":{"value":{"text":"Analytic proof systems for \\(\\lambda\\)-calculus: the elimination of transitivity, and why it matters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q884953$66CFD602-3662-4062-9F6D-4E152C5E6384","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8be54649729c575c1b662d96ec52e4e6292de099","datavalue":{"value":"1117.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$ECC42169-5136-4129-9FA1-F925FDAB37FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$70C2B298-CF94-4375-BF7E-1F52BFB469AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$EF2F1424-0A5C-4F85-8F19-5944E1B7E77E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d81384269237f7c171ce9e25726671d8695c125f","datavalue":{"value":{"time":"+2007-06-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":"Q884953$28BCC212-2420-47B0-B7DD-75066E1DCCDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"73027ba7bb951346a40378c3b28efeddc2b0506c","datavalue":{"value":"The author introduces two systems \\(\\mathbf{G}[\\beta]\\) and \\(\\mathbf{G}_{\\text{ext}}[\\beta]\\) which are equivalent to the equational calculi based on the usual \\(\\lambda\\) calculus with \\(\\beta\\) reduction and \\(\\beta\\eta\\) reduction, respectively. The key difference is that the \\(\\beta\\) reduction \\((\\lambda x.t)s = t[x/s]\\) is replaced by two rules:  \\[  \\frac{ t[x/r]p_1\\cdots p_n = s}{ (\\lambda x.t)rp_1\\cdots p_n = s} [\\beta_l] \\quad \\frac{t = s[x/r]p_1\\cdots p_n}{t = (\\lambda x.s)rp_1\\cdots p_n} [\\beta_r] \\quad (n \\geq 0).  \\]  For the new systems, the elimination of transitivity of equality is shown. From this result, several standard theorems about \\(\\beta\\) and \\(\\beta\\eta\\) reductions are concluded in a new and simple way, as the Church-Rosser theorem for \\(\\beta\\) and \\(\\beta\\eta\\) reductions, the Standardization theorem for \\(\\beta\\) reduction and the Normalization and Postponement of \\(\\eta\\) reduction theorems for \\(\\beta\\eta\\) reduction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q884953$6DFFF0FA-5085-478E-A4E4-A421B5DF94BA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"698ef69cf2501558685cb66472f90d21aa909f07","datavalue":{"value":{"entity-type":"item","numeric-id":194998,"id":"Q194998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$E65EFE2F-B2D1-4EE9-B4E0-BDF18C09F98C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$E608AB95-81CC-408A-A662-EDD54BB5984D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$073CDEAB-1523-4B38-99AD-A82FA3C0C3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$E4515F21-6396-43DB-BCBA-7C056BD51F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$9D9CE64B-70D8-4C0E-9968-549FFCD5947A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8338a26f4b690450bfe71087b9b52a0a1f2e93d","datavalue":{"value":"5162355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$168CE3A6-5947-440D-93DE-FADEDB4BA968","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q884953$3A38BCA1-3443-4A96-B786-398F55E9B67F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2226d75fdf6d00ac6eae219dbb133d57022fab54","datavalue":{"value":"elimination of transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q884953$2FC32AF3-F9E2-4C82-8413-AEB53E03B00C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b62486c926536e44328ebf41befcd9988174c3","datavalue":{"value":"equational proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q884953$BE0E3D84-1C02-4220-8634-84158E077857","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$B76A10DA-D3A4-4C89-89DB-9F42A19F28FC","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":"Q884953$E2CD1C3A-BAA0-46E1-A907-C0871C0E400E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c94ca22f490961718ae9824750ad92a2478631f","datavalue":{"value":"https://doi.org/10.1007/s00153-007-0039-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q884953$5E7D90A1-2BEF-49E1-85BB-D2EDB6299ADD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3068494956069e2be621868d6968c5650b555766","datavalue":{"value":"W1989816897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$DDC27EB2-69BE-46FA-B565-0A4482B77B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba169da5300e1854434b7f89c8efeea407859e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4818938,"id":"Q4818938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$5C2E4B40-15FB-4843-B617-5DB7B49E8ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e32b6627db2baaf9e164614e67ab180e4d4fcf","datavalue":{"value":{"entity-type":"item","numeric-id":5958760,"id":"Q5958760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$5D1568C0-20EB-472B-AA1B-1DEF9DF92636","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":"Q884953$B74C4A48-67F8-4445-BAB5-5DFF3673C9ED","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":"Q884953$CF8A225D-F18A-4891-B9E7-D07D650F93D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1660b7d13bb5eb3a6258d8b6b50beb2ab5a3654","datavalue":{"value":{"entity-type":"item","numeric-id":4182476,"id":"Q4182476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$8443851A-B974-4216-9AA5-28380EC79431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2183283ce1897285fc218baeafc1303d86608e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2942921,"id":"Q2942921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$B8B9A273-5127-4AF5-8D2E-F2BC28EC999A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bb82d7092ef4746e9821c7afde0beece8442ce","datavalue":{"value":{"entity-type":"item","numeric-id":598199,"id":"Q598199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$C488E9E9-7930-4467-B715-AB4958DB6339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$14E43156-7F40-41FA-B324-9A8753C8BE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8d9ead5f4aef6a0df48651eef887001e51c4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4005456,"id":"Q4005456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$CA149083-F689-46D2-BD1A-AF7672841BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$11821283-3D98-43C0-96F7-680C25386C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$DFB48CFD-E742-441A-811A-28BFC359F0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d610cd6a06b6c0401b04d6f90b219240e708af6","datavalue":{"value":{"entity-type":"item","numeric-id":4850465,"id":"Q4850465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$FEB67DA4-A982-4591-AAEE-06FFE0BBE4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd8608f173508e2798ed2717c3d66aaab7e8f75","datavalue":{"value":{"entity-type":"item","numeric-id":5313717,"id":"Q5313717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$1233C9E9-4A10-424B-A355-7FB4578E9331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$4327EAC3-D1BA-41FC-AAB0-CCEDFD92A0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d255fe31c23661fdc50e7e3f1af2b9bb420d2141","datavalue":{"value":{"entity-type":"item","numeric-id":4548529,"id":"Q4548529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$AA1102E1-F881-419D-AFB1-808EDA6B5EED","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":"Q884953$788DF32A-225D-49BF-80C9-A1FEC91B676A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bc1b1f9403e20d87198bb25d0434276270b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4507489,"id":"Q4507489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$FB1D3EA6-CB34-4946-B044-ECAE3DEAE849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"486b3db15310f7b4419a518b9731479317d56d77","datavalue":{"value":{"entity-type":"item","numeric-id":1961921,"id":"Q1961921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$9841AA42-5A1A-4A54-9319-AA70466C7307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f9774eb7297f6e1b8cfb06840b39f70cecfe05","datavalue":{"value":{"entity-type":"item","numeric-id":5898168,"id":"Q5898168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$07322020-490C-4348-954E-B9B9DD4E10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38670832f2c847dc614f98e3069395c17b45752d","datavalue":{"value":{"entity-type":"item","numeric-id":1879319,"id":"Q1879319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$C039DE75-9026-4CD7-B1CC-E5FA7CEBBED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130e64b7440a7fe977a3a281bd58e597f00179c8","datavalue":{"value":{"entity-type":"item","numeric-id":3884083,"id":"Q3884083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$06EFBDF8-03A5-434E-A899-930F20BCDCC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c382f571059f65c71d7c5267e06c23fa2d98eb72","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$1FB18514-A2D0-4EF1-864F-6FEE422C05ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a45a5ccff7799ef1ef32a13fc5f4bb5fdf5f4d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4254636,"id":"Q4254636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q884953$0524D70E-D65D-42C1-B3D2-9FC478F6DF94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f41f52e9347d7e7f56feaaea4009a7fdf4c7ec36","datavalue":{"value":"10.1007/S00153-007-0039-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q884953$E0B3AE66-B58F-447A-AA44-383CBF180C3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d42109214a8833c476c12efbc275268c612882","datavalue":{"value":{"entity-type":"item","numeric-id":1879319,"id":"Q1879319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5ae558047f42a8758506b372b7986900097e63","datavalue":{"value":{"amount":"+0.8391417860984802","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":"Q884953$9DA87F81-A1DA-463B-8F6F-28E7971DFEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6baa42b3bc6d889457e7c1fc3305fda8877ecce","datavalue":{"value":{"entity-type":"item","numeric-id":3305634,"id":"Q3305634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9dbb07e671c4081a336b510c97af0c0f76b7e2c","datavalue":{"value":{"amount":"+0.8160314559936523","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":"Q884953$4ED2AEEC-5A00-46A0-B14E-6755DCC1CC68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef278cfd45479b9e3aab3fabd321b20aaed82232","datavalue":{"value":{"entity-type":"item","numeric-id":1786610,"id":"Q1786610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5809225d9d22002113ebaed8577d58faed112b1","datavalue":{"value":{"amount":"+0.8003773093223572","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":"Q884953$8A560A17-797D-4EFB-84E2-D59E451765CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902661f385e7d94261ef29c3b8c45a866771e54","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b3862c30737c34204f27a2e2a27a1b85eaa0f77","datavalue":{"value":{"amount":"+0.7964853048324585","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":"Q884953$630BBF2E-BDF2-44F9-A715-81FFA1BEFD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c088ac95ac906727b69fc2484e544561c6a0758c","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a385c69d2f035a3e68bcb11719df92a0c2e1e9d8","datavalue":{"value":{"amount":"+0.7912067174911499","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":"Q884953$886F305F-AC9A-42C7-9EF3-04AF189ADB1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:884953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:884953"}}}}}