{"entities":{"Q1874272":{"pageid":1885014,"ns":120,"title":"Item:Q1874272","lastrevid":69170376,"modified":"2026-04-13T05:14:16Z","type":"item","id":"Q1874272","labels":{"en":{"language":"en","value":"Infinitary lambda calculus and discrimination of Berarducci trees."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1915463"}},"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":"Q1874272$2A806B6B-70B3-49D9-9A9F-35885D5FB319","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"749a5b112312e5ac37aa8cd75c53054c3594d641","datavalue":{"value":{"text":"Infinitary lambda calculus and discrimination of Berarducci trees.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1874272$FB3C7C2F-DEF0-44F0-A3B9-419CA3B1ACCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32ba04946cd6905cf140caa31f5683f3e45c6646","datavalue":{"value":"1038.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874272$9B8D7398-095B-49CE-A4F7-A63DCDEB4C90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a6c94bfbc6e47a49ac5ee2fcc63e12a84f51ec3","datavalue":{"value":"10.1016/S0304-3975(02)00809-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874272$C123CE81-E951-4110-B942-24DBB1B82B48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"930ad2c9a29fb2b416d1cd3ed624b6b9cfe42908","datavalue":{"value":{"entity-type":"item","numeric-id":1840459,"id":"Q1840459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$D72A3CCA-F5B4-4BEF-AE3E-9E71D3CC03C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40c77c845fb94c505d2cfba0e9e71b55d375962f","datavalue":{"value":{"entity-type":"item","numeric-id":235596,"id":"Q235596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$E68F7D43-5FAA-4738-8E90-0E1A9D514195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"69275045e726ef1c313be8e61b328d9b029abc4a","datavalue":{"value":{"entity-type":"item","numeric-id":235595,"id":"Q235595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$84EF8BBC-A475-49E1-AB39-CFEE8877B204","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":"Q1874272$B31C45D5-BB8C-42CD-80CE-A21E6BDD63D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68a6a59edb1a41421171fc7a476d9d545e0612d5","datavalue":{"value":{"time":"+2003-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1874272$AEB09A88-F816-497C-9542-896C34C00B4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874272$D6B20989-C9FE-4035-9238-F1A53D81BE68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf73fa1307f36525553b6acf12b3866d38da39dc","datavalue":{"value":"1915463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874272$8AF9C73D-792E-4E58-91BE-56DA6237C1BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588e29be415ec1241e3bf96967e5cc8eea8c9172","datavalue":{"value":"Berarducci trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874272$D5EFEB5D-B8F5-4781-852E-F46AE3B00303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520153e06f40e96a31251c8952605081b71cb786","datavalue":{"value":"Observational equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874272$AFB5AB52-FCAD-4180-8A06-AF1D4AD5008E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"186d20a0e4519c5d5ecfd1bbbdd7b73b1050094b","datavalue":{"value":"Infinitary lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874272$F216BC3E-133B-4517-ACF9-0400A80465AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a3846496cee2c234299d1f73f829808fde9430","datavalue":{"value":"B\u00f6hm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874272$C1E2482C-B054-4CFF-920D-9696377EAD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf55d48d41bc209bcad21f4cadc39fc6fc848be9","datavalue":{"value":"out technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q1874272$E76FB7DD-8F5F-4CED-8304-836970FC4872","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":"Q1874272$619A7E19-41E6-4BD4-AAA3-0F86584A0C98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"faaa5594e2abc159e6f86d7e94e792da18998f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1261291,"id":"Q1261291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$23D33AF1-802B-4AFE-AB13-608A6A611377","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":"Q1874272$73C473B6-DA4C-4637-B753-89C23A3E8E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b204cf2e4aaa1e03cd8494c5455be9abc3c723d9","datavalue":{"value":{"entity-type":"item","numeric-id":2367542,"id":"Q2367542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$A30019DD-BBDB-45F8-971E-9B315BB414BF","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":"Q1874272$D938E1C7-6ED5-49EF-9788-DE1842280E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58b992789dc6a373764c584611377191d36e19f1","datavalue":{"value":{"entity-type":"item","numeric-id":1275621,"id":"Q1275621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$90402126-15A7-4F37-AE15-80B83C7F62BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afa831f2062bd418316f0ddf8d55a39363b94c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1314269,"id":"Q1314269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$7ADEC9C7-58CD-4194-B037-3B0CD949894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d07bb891854ddcf774fe529ce495d85611f036","datavalue":{"value":{"entity-type":"item","numeric-id":1575687,"id":"Q1575687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$564AD63F-1827-4940-BA65-0282C9A35FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8dc2d6c2954cf41135437c0472b396d37414d7c","datavalue":{"value":{"entity-type":"item","numeric-id":1917097,"id":"Q1917097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$4B525343-A29E-4D5D-8999-5BAF46515612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc37ebf85b158f95e7a2fe63513f109810e5d01","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$9A8892B5-12C2-46F7-B38A-859A65C41AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd9bd7a043674aa8ba6a92115223b50f1a13b3c","datavalue":{"value":{"entity-type":"item","numeric-id":1574969,"id":"Q1574969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$ABD21A62-C4EA-4B31-94AE-CD9B87E33E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8cd2c987acab573f54af43cc16f71a471c22a0","datavalue":{"value":{"entity-type":"item","numeric-id":1854269,"id":"Q1854269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$2FDDD5E9-A93C-4D5A-BBDB-62D6898F357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c401e46239dabb51683570f5525fdcd2a90e5d","datavalue":{"value":{"entity-type":"item","numeric-id":4094853,"id":"Q4094853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$527509D8-BCC3-4392-A8FE-9BF1979D3531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$A2654603-7759-4CF5-91D6-6A1ADEA830C0","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":"Q1874272$77C8041D-93D3-4A89-B7CD-0727DADF5889","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":"Q1874272$FC20DF1E-4FEA-4160-B43E-843EEF8DD90F","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":"Q1874272$15BDA8C7-DD94-4B73-ABD1-3B6913F5DB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$B6FFBB94-1296-49E0-A98C-36B4E3C134A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$9E66D89C-8F69-4A7D-95D5-6DC9A9E1E2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$F96F6F4C-7436-4F92-B3B0-8BFA780D58E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99e2f25b593085008bb89b7f7a78c39c5e0b98eb","datavalue":{"value":{"entity-type":"item","numeric-id":1327395,"id":"Q1327395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$EA08EE73-7A07-481E-9EE9-54962EEA8E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1874272$9452F8EC-8D88-4A1E-8712-2C7F4F17E970","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cb9fba3ccda6e34fab817e1560f3f48dcc135bd","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00809-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1874272$9F7E84A9-960C-4705-AD9A-03BFFB8793B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6969a6ffe77cf8b112c95d178c7ed3e8b9957864","datavalue":{"value":"W2058590458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1874272$8A40E995-F7A3-4C53-BB84-787A30FA98D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0161e8fae7dbb8e64397139e77536b7c0df96","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47e6a7ab8d2c4b8d756ed35e126afbf5cb08cbb","datavalue":{"value":{"amount":"+0.7882203459739685","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":"Q1874272$2A95DA99-03A9-4056-995F-0C9AA7AEBF2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0990d888ded5d1fc5e1aecc39c558235d6385ee0","datavalue":{"value":{"entity-type":"item","numeric-id":1021568,"id":"Q1021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad822850254ef3152c6300c1344eee0286c170e","datavalue":{"value":{"amount":"+0.7729905247688293","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":"Q1874272$F900BF69-4AAF-41E7-87FA-F053AE517427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f16b5b949416f005f34c01f700fef534201659","datavalue":{"value":{"entity-type":"item","numeric-id":3837724,"id":"Q3837724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f65d6577f055dc11c59e1e5989ef5983557ba09","datavalue":{"value":{"amount":"+0.7698221802711487","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":"Q1874272$F8386B49-32A4-4DD8-8464-46A92EFDB83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76f3188988f8fee381cbe1d4a808a45cb540b44f","datavalue":{"value":{"entity-type":"item","numeric-id":5269007,"id":"Q5269007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f65d6577f055dc11c59e1e5989ef5983557ba09","datavalue":{"value":{"amount":"+0.7698221802711487","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":"Q1874272$DFA1D36C-F33D-4F2C-9443-1774E1DEC336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aee23b5ba0d2cd4a49fc9978e9a951047306791","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"381a3d168badaa1270d1f89608b82cc21809174f","datavalue":{"value":{"amount":"+0.7650757431983948","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":"Q1874272$12E17FAB-B282-4C40-83C9-4EA4329140A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary lambda calculus and discrimination of Berarducci trees.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_lambda_calculus_and_discrimination_of_Berarducci_trees."}}}}}