{"entities":{"Q1854562":{"pageid":1865304,"ns":120,"title":"Item:Q1854562","lastrevid":73667244,"modified":"2026-04-14T16:50:52Z","type":"item","id":"Q1854562","labels":{"en":{"language":"en","value":"Conservation and uniform normalization in lambda calculi with erasing reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853287"}},"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":"Q1854562$85505431-85C4-4EA1-9920-CEBD1292F3DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e04bfcefa3246c4baee756ba72d42a166f84ada","datavalue":{"value":{"text":"Conservation and uniform normalization in lambda calculi with erasing reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854562$74F17278-12EB-4ECB-878B-1AD70820F4DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca9476837c0440c8455cf68e4c31492cc0f74c15","datavalue":{"value":"1012.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854562$775FDA6A-5ABF-4C82-B60F-3D63E06E10F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"100693494183b3a608f7fc095dde1ee705ea6b66","datavalue":{"value":"10.1016/S0890-5401(02)93153-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854562$F9025210-CF8D-4EAF-96F0-1D49FC6224C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47c7e636f05cf030ba35fcdc6e045d22964f0661","datavalue":{"value":{"entity-type":"item","numeric-id":1854561,"id":"Q1854561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$E92C860E-99C3-47A0-89D0-55DC2A851E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$4340F467-5D69-44A8-9BD9-59F86D226574","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$B3244A45-CF80-43A8-A2C4-CA4551A51CE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854562$A3856D71-3AB2-4B35-84A0-22BF882F87EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854562$5E1BD1F9-E4A1-4C2D-A8E3-327651F9CFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854562$B6FC80A1-D0EB-43A2-8EFB-FB0ED64E9057","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f494f4bbe142896361187c3c66d7880d5fc0dad","datavalue":{"value":"1853287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854562$7E5293A3-1F1A-48B0-915A-28622A07E78D","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":"Q1854562$6337B15F-911C-430C-997B-6F8369F53EEA","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":"Q1854562$C6FA8044-3673-4645-84E5-93A6CB1C69D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dfab48579d55d53d4ff789d9f59d35293500ed","datavalue":{"value":{"entity-type":"item","numeric-id":1336047,"id":"Q1336047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$92D39CE7-1490-4491-8059-A332F33D83FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$F7E2DFCC-5F2C-4D20-9483-A6750B24223C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$5BA13997-C96D-4D0A-AFAE-E62ADB991500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bba503ca0b5969142e3056aa23d82e5afa7c0bb","datavalue":{"value":{"entity-type":"item","numeric-id":5958619,"id":"Q5958619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$2BD9F556-97F9-4FFC-B7AF-AC59ECFF999B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65515c2e37d29687eab299c05aa46a3d9a3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$9FDD994F-5865-486E-B611-F743B2EAC7F3","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":"Q1854562$1D7E3520-D2DB-41C3-9EE4-0EDC25208647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197fb31080d07279d6d4e707ba0db8b6fdc07c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$E717070C-47BC-4785-9AA8-E3D7892DF451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c57e9f0092911fb0b52bb8fa22accb8a748c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3674616,"id":"Q3674616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$8EB6CB92-EC78-4CA6-B5A6-83F9044C961B","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":"Q1854562$1F91C99E-1826-460C-92DA-5A9F5118DBAD","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":"Q1854562$424587B4-E592-4D0C-81C1-EF2A16929A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db9d1ac17655f7d23b5941696fc397faeec07acf","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$C5CA2FA8-095B-4933-AF61-5AC88870DD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e88e3d9156af26c5051ab3a5a70358f9e7b16ac","datavalue":{"value":{"entity-type":"item","numeric-id":1854401,"id":"Q1854401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$12C6B843-A018-4438-9622-5105B96E6F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23b63fe58f695a6fd7133403314fe309a41a282","datavalue":{"value":{"entity-type":"item","numeric-id":1275628,"id":"Q1275628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$21447BC9-452C-4A05-A4FB-2D5AA28F2980","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":"Q1854562$32AF8D8E-45F3-444F-82CC-1DEAF29FFA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$37820DCD-648E-479D-8D28-C166FA11B038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b54248dd0491e9d3643cd764e439a902559d8a0f","datavalue":{"value":{"entity-type":"item","numeric-id":1208732,"id":"Q1208732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$0BDE78B0-FE89-4B35-8BD6-096713FEA185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05717aad3207eaa1d40ae398a6144f525b8ebd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5639702,"id":"Q5639702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$BA373A34-5B7D-4F93-89EF-B43628D0FF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$84904FB4-C056-4C68-ABD1-256682FF7138","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":"Q1854562$B711D12F-BC97-4544-B176-FC9A31ABCBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854562$434A7D00-4E29-4D13-B34B-D6C49462344E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f7a38d683ffc3833740f3160689cef1f7060fb","datavalue":{"value":{"entity-type":"item","numeric-id":4364379,"id":"Q4364379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf2d4abafe6c43bf3d0733295536f3001d3d989","datavalue":{"value":{"amount":"+0.809979259967804","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":"Q1854562$804C2C2C-7C47-4056-8571-BC4DFD337199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90de395bee12df483a2e23c4bb7bd4a7f77ac96d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5ec808a496c6455c23355281ccd2aa4e5cb79f","datavalue":{"value":{"amount":"+0.7970907092094421","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":"Q1854562$66F7A2AC-8D78-4121-B67B-ACC87271A43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6e6493a0964720e276bb990d719c4e915ca376d","datavalue":{"value":{"amount":"+0.7853532433509827","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":"Q1854562$4C03A4F1-F002-4F43-9AB7-6EE7AA8A5E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eed5e019fb5a036c47a8ce2fb3823e1d99d4b48","datavalue":{"value":{"amount":"+0.776422381401062","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":"Q1854562$5C2ECF74-3522-4A5F-ADC5-E17F8DBB4FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c38d515c13d49bc407bc7990ddd667e9c0cc902","datavalue":{"value":{"entity-type":"item","numeric-id":2713353,"id":"Q2713353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eed5e019fb5a036c47a8ce2fb3823e1d99d4b48","datavalue":{"value":{"amount":"+0.776422381401062","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":"Q1854562$1C694B6D-16CA-4B19-AFD8-94F8141272E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conservation and uniform normalization in lambda calculi with erasing reductions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conservation_and_uniform_normalization_in_lambda_calculi_with_erasing_reductions"}}}}}