{"entities":{"Q1302298":{"pageid":1313048,"ns":120,"title":"Item:Q1302298","lastrevid":43013514,"modified":"2025-07-16T21:37:47Z","type":"item","id":"Q1302298","labels":{"en":{"language":"en","value":"On \\(\\Pi\\)-conversion in the \\(\\lambda\\)-cube and the combination with abbreviations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1340817"}},"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":"Q1302298$62A79307-74D5-4485-8507-079821B56864","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53fcba440694b26c08586c5eeeed381321e2278f","datavalue":{"value":{"text":"On \\(\\Pi\\)-conversion in the \\(\\lambda\\)-cube and the combination with abbreviations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1302298$BBB30FA6-CDD4-4476-8621-E247F676AC6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c19beb1d8253c0f6305d666ca34bfc83f4a111e9","datavalue":{"value":"0930.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302298$83E67BCB-B35E-4EB0-B33B-3F8F8819C015","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df9326d8d55cfe49d1f98ea2605b8781705b8b85","datavalue":{"value":"10.1016/S0168-0072(98)00019-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302298$73021DD2-B3C6-403D-AA7C-84C6371B7441","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$958D626C-6DDF-4E37-BFD4-7B6D8F4F0509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c0470d173aeeeda7b208422c076739fd98b16a","datavalue":{"value":{"entity-type":"item","numeric-id":1274457,"id":"Q1274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$C8DAAD05-0B73-4E84-B340-38D8AF4B40B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$00CD36A0-F929-47E8-B646-8D9FB7C57B4E","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":"Q1302298$0E2F9A23-91E1-43B3-880E-380645E17C91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1302298$44BC918C-EC12-427C-896D-C6DDF5D7AE63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302298$AD1E2599-E80C-4C88-AB7C-DE0116BDDAF0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4372d3ff1f72b795b5a0a37d475c4d03dc25de11","datavalue":{"value":"1340817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302298$01541EE9-2283-4BC8-9526-03F538DEA27C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8354b53f538e2f3360f689a0a9975f1a472d2733","datavalue":{"value":"subject-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$D26D22ED-3486-4DB4-8238-833E1AA2E87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$8BAEE3FB-B274-4ACD-9ADF-008C99A4A2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$BE61F06F-D238-44EE-8B90-7CCDB03492D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a5f36acc205ccaef7207404f6fc7affb44e4302","datavalue":{"value":"abstraction operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$8AE03B3A-545E-4F0C-AD36-2B8DB90D0FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baa93833143285f230b95f9314af6588ee2a88eb","datavalue":{"value":"\\(\\Pi\\)-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$D7590063-1766-4723-9E53-8B72C1A535BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"028c2855d3b766c9faeb80ca316350e477631a4e","datavalue":{"value":"\\(\\lambda\\)-cube","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$237444E3-90C7-40F7-B7D2-900547B95E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a47dc26debf9f41a391518a79882756a1e850900","datavalue":{"value":"abbreviations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$C87D2EE7-CD70-4858-8077-C7B4BA4C432D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908ce5f49dccc9af3e316d07148e1e97bdbf532a","datavalue":{"value":"\\(\\Pi\\)-conversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1302298$E9E19289-62B5-40A8-AF9B-28C427EF1CCE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"508b6f16fd2dbcc9c9c723dea852ac1746228423","datavalue":{"value":{"entity-type":"item","numeric-id":33980,"id":"Q33980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$01E062D4-26A8-4F13-97E8-583C45DD9C33","rank":"normal"},{"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":"Q1302298$4ECF748F-C5DC-4AF4-B705-813EF1E13F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$CED2215F-A649-4D43-9942-BAEE6D6B058A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$61BD6AF3-B221-4C36-9FFC-BFFDE9CC64B6","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":"Q1302298$26B8C20C-5491-4975-9C52-C84AC148EF12","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"92feaba57f05436346769947d4e90feb503ac7b1","datavalue":{"value":{"entity-type":"item","numeric-id":1575882,"id":"Q1575882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$BCCA3A40-58E8-41FB-B06F-F2DC218B5B1F","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":"Q1302298$5D7C02E6-783B-492C-8356-0E605EEC254C","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":"Q1302298$1C569AEA-9AAA-4CEB-9E24-0993A204189A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10774e8d02830db876d904c079b5a73474490ce0","datavalue":{"value":{"entity-type":"item","numeric-id":1917101,"id":"Q1917101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$6EF76A49-C98F-4D3B-907A-DCEBD563C093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4fe1b8977f490196c9188240db25c416d17b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$D58C8EF4-0CB5-4A70-812B-A9F33E61C5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5465db99f8f30dc187c2ac3fa858fe8ab1debc4","datavalue":{"value":{"entity-type":"item","numeric-id":4895552,"id":"Q4895552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$6E7891C0-FEC2-4270-9FE4-DC0DE1E3A012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$56B44F68-3E7E-41BA-9820-43AF6DD9F18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af9d21c37671b9be618523ed9cacc13864ebd66a","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1302298$E90D9991-CA67-4A31-83DD-4EFF6EA9F3B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c60811d4661b20f832ccf9eb89103ab1df9b137e","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(98)00019-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1302298$2A50161B-BC74-4698-806C-61FE0B54408D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96cea58dabbef7d1e31ac3678da855b1d14e5284","datavalue":{"value":"W2062081760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1302298$B853DE04-8410-4DB7-BEB2-2702E5F336D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775c03eb0da2c4038105a80a67f341f0ca4f5e57","datavalue":{"value":{"entity-type":"item","numeric-id":3581837,"id":"Q3581837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8719e36fb2bd835bb2e2809faa7a30f708e4cccf","datavalue":{"value":{"amount":"+0.8179115","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":"Q1302298$B3BDE7A7-DA74-4E31-8116-AE28681717B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00b125ae018420642242356d258a78be75f2796d","datavalue":{"value":{"entity-type":"item","numeric-id":5262483,"id":"Q5262483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b16490a0ea13d7c3fcab953b3394c1fd61df53ad","datavalue":{"value":{"amount":"+0.81202936","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":"Q1302298$ED3B4C45-BC9A-4536-A374-97846F0E8256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c65ea998ace52911d34b481caad7842a800f8957","datavalue":{"value":{"entity-type":"item","numeric-id":4704762,"id":"Q4704762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e895781833a6e52c12b311f868d60a64683d1b3","datavalue":{"value":{"amount":"+0.8054587","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":"Q1302298$01A5908E-3BE9-4E8F-865B-36629C7E9EF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1120e5fe7f522f7b861bc1b4a3f399b31bdcc9f","datavalue":{"value":{"entity-type":"item","numeric-id":4895552,"id":"Q4895552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dd953611001f194f374c2ed54da0c7e6219ecd","datavalue":{"value":{"amount":"+0.7940926","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":"Q1302298$1E579A86-C149-4EAB-B776-338BCFA70D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1fd33d6d37901f66a31c7353336dc9f955c435","datavalue":{"value":{"entity-type":"item","numeric-id":4247266,"id":"Q4247266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3956d6bde6a245f2324ca82aff7c32e46559362","datavalue":{"value":{"amount":"+0.79349834","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":"Q1302298$CB361962-55DF-43F5-A5D8-146E2E07AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2744d86c32bc6fdeb25ff3ca1a3bf19e4b7bfd32","datavalue":{"value":{"entity-type":"item","numeric-id":3094164,"id":"Q3094164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d291180c6ede821f62392098a2ca1605c5c8a03","datavalue":{"value":{"amount":"+0.7916844","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":"Q1302298$B96F1A15-B997-486C-AAEC-BE4C5306EF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de15efe60a5681af3a4dd5e23f2f0f6d3a5a690a","datavalue":{"value":{"entity-type":"item","numeric-id":2906943,"id":"Q2906943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70b12b9b25d6ee7b24085b6d276f50056374953","datavalue":{"value":{"amount":"+0.79065675","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":"Q1302298$FB0D8BC7-9C62-4D7C-9F98-4E5401BA3F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af08c960a921cc02e9a7b57a6a40ca6aab15c9e3","datavalue":{"value":{"entity-type":"item","numeric-id":5243821,"id":"Q5243821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5d8804cfae16ac4f938bebaa2a070ed5cbd47e","datavalue":{"value":{"amount":"+0.78532475","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":"Q1302298$5AF63099-F8E1-4188-85D6-9CB3EEDA635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a5a44e7308603fffa164ab92f8118e83ac370c","datavalue":{"value":{"entity-type":"item","numeric-id":4686101,"id":"Q4686101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44e61d10d9e823594e71dd05a41f6885bd98dabf","datavalue":{"value":{"amount":"+0.7838551","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":"Q1302298$C1C74C4C-BBBB-4481-B0AB-69FAA54BEC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9011a4ce1a501f0d921e3d9d9782731be0b82a13","datavalue":{"value":{"entity-type":"item","numeric-id":4571963,"id":"Q4571963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bcdeb0fad8c1486296e1391f3668ea49c164df","datavalue":{"value":{"amount":"+0.7768836","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":"Q1302298$2FD68A2C-E076-4DC6-BF47-68134CB23BC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1302298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1302298"}}}}}