{"entities":{"Q4630299":{"pageid":6659881,"ns":120,"title":"Item:Q4630299","lastrevid":53402201,"modified":"2026-01-24T21:53:34Z","type":"item","id":"Q4630299","labels":{"en":{"language":"en","value":"A confluent reduction for the extensional typed \\(\\lambda\\)-calculus with pairs, sums, recursion and terminal object"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045150"}},"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":"Q4630299$EA65D4B3-1718-4669-8F34-86E4CACAB154","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"307975c5836bafba28267379209a4c59e99707c2","datavalue":{"value":{"text":"A confluent reduction for the extensional typed \u03bb-calculus with pairs, sums, recursion and terminal object","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630299$695C0358-98AA-4C25-982A-09FC797848F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c3275dd8145c9c2d2f98d009b74b48be3627990","datavalue":{"value":"1422.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630299$E8A407E4-5CBD-4113-806E-128D0AD9AB38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53e71b72dedd67a30768f978ada4cb72c0d26d08","datavalue":{"value":"10.1007/3-540-56939-1_109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630299$F7B81E6F-69C2-4FE4-A9F6-4E0332183DD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"486d099545b5d657b05fa44bcf3d0c8a1580d678","datavalue":{"value":{"entity-type":"item","numeric-id":476170,"id":"Q476170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$B46252AF-808E-41D2-8619-46E501C8D8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$97A7DB31-8B1C-45EA-A47E-232F5F3D2793","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$E0309B66-E791-4AE1-90A4-64794146CD01","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630299$073FA879-8308-4DC9-941B-392C3F8022B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630299$EEC9967D-DB96-48CE-BCFA-1EE6D924E61D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfb170069de952191ba0995c4baa9adefb168eba","datavalue":{"value":"7045150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630299$E2542A2E-C58C-4BE5-878F-1414DD4E8DB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3277dbbf19b764123b76b650cfab5ef15fda017","datavalue":{"value":"reduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630299$6709AD35-9B6C-4C28-9696-84141BE168EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff79e803a1c5d08a94972a742953580846010d37","datavalue":{"value":"reduction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630299$AE0B389F-5BBB-44C2-B9FA-5DEC3EFED537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840232c250b1e1458d71cfdc7fbe467b8d493361","datavalue":{"value":"critical pair","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630299$4E6637F1-FB40-4BC8-88C5-B0381B1D0CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630299$FE50FF8E-B4AA-4EEE-B014-4A7C0849929A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec8f33574d0edafcbe4613eeae9c524663bf608","datavalue":{"value":"reduction sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630299$2DC337AA-1FE3-4455-96B3-83ACDCA7FD6C","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":"Q4630299$26D2A1A8-F4C0-4E4F-876D-C632C672DE15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5093c5fdb026fa32a26d979274a74a4e3ce04d9","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_109","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630299$12F3C406-E024-403C-A2B3-A67BE04DB811","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16ba9be6bb574c03a80ae2d88bd5be2bf42190c2","datavalue":{"value":"W1563667006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630299$F8044628-9B68-4DA1-9C76-C262CE635148","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2daf7bad1890a034b4e71a6cde1221dcde5a29c5","datavalue":{"value":{"entity-type":"item","numeric-id":4281490,"id":"Q4281490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$EB045A44-FAC4-4621-B8FD-3B79DA8B5643","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":"Q4630299$358B5B48-2CE4-45BA-AFF0-4BF3E2DE1332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d318da55de3f531193a364d562784327d78648c8","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$A01FC2AC-7843-49AA-9FA8-1AECF97799DF","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":"Q4630299$07EC202F-F7AC-40FD-91A0-6D8AA2680863","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ccfd968af8cb773cbd0325ee3bafe2e06f78e1c","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$D6B8130D-B681-4CB2-B238-52F135B8C6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$A9416032-5A77-4BF6-B5A8-169B27DF73A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d5bf17a767be3c2d2fe0e26f029368df3acb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4850162,"id":"Q4850162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$0635293A-4E29-45C4-84BC-7E8D2DDEEDFB","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":"Q4630299$90436F9E-A60F-4E35-9FF9-D96507D5C531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"388d6d8bedfb9883d2de8ce73620980a36e5e759","datavalue":{"value":{"entity-type":"item","numeric-id":1229201,"id":"Q1229201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$A7764710-2D34-4566-A74D-16B55845BE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$FB4FCD28-1146-46CA-9423-710B91BBA1C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df63191e117e98445c65ec498daee7c4b8d612","datavalue":{"value":{"entity-type":"item","numeric-id":4145693,"id":"Q4145693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$67A4C245-9E24-4262-A217-E8F0EEF728F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a863517901a3f6f127be35b27a5fd134ba792ecd","datavalue":{"value":{"entity-type":"item","numeric-id":1159627,"id":"Q1159627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$7FA3155F-C950-4A28-B605-080FCEE3CDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$9807C10A-5F0B-4724-9B41-16A4CFE71308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab1577738caf45933796ddfe1e49621007507c2","datavalue":{"value":{"entity-type":"item","numeric-id":1089793,"id":"Q1089793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$E351FABC-AAEF-4016-B53E-D76B5F579315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1971f0a5aef4d2d81e705aaa7589e687d7ce05a3","datavalue":{"value":{"entity-type":"item","numeric-id":1092042,"id":"Q1092042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630299$FC279463-46B8-4F8C-A02E-96F6DEFB490B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67575d50545002225cf6dca799a8968297df436e","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e111fe064864a89cfcf623f0d23180943b841e46","datavalue":{"value":{"amount":"+0.9143034815788268","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":"Q4630299$0BB6D54A-202F-467A-83FE-9589EEE89531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a3f8e153e9665894b69f3173c7512b2357b9ca","datavalue":{"value":{"amount":"+0.8536549806594849","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":"Q4630299$4BB738CB-6224-441B-9260-509E5F7E5007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953099234914b4fe0c09457043b32c19fa4f96e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036571,"id":"Q4036571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0140a149cd6cbea280aebf4f82e5b7c35dd8b3d0","datavalue":{"value":{"amount":"+0.8405655026435852","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":"Q4630299$8CF65026-F974-4AB8-B4C4-3084BB7A51D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebaef0b73e68e126c6a6f68cc83d050beba12eab","datavalue":{"value":{"entity-type":"item","numeric-id":1349901,"id":"Q1349901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e93f3fa413380c1e6178493117f71a29d94245","datavalue":{"value":{"amount":"+0.8399972319602966","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":"Q4630299$31F061E4-47DD-450D-AFFF-7AD22431FF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fc167108224555251684cc9f615ffbaf1da06e","datavalue":{"value":{"entity-type":"item","numeric-id":4895554,"id":"Q4895554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67995d87dc038fc772bf5ab51b7d382fe589d4d3","datavalue":{"value":{"amount":"+0.8392854332923889","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":"Q4630299$7938979D-6813-489E-8094-55A88FD84CEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4630299","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4630299"}}}}}