{"entities":{"Q1853619":{"pageid":1864361,"ns":120,"title":"Item:Q1853619","lastrevid":74352933,"modified":"2026-04-14T19:41:36Z","type":"item","id":"Q1853619","labels":{"en":{"language":"en","value":"Normalization, approximation, and semantics for combinator systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1857136"}},"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":"Q1853619$AC9A08D0-3CD2-47F9-A4E0-4B1FC40487FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51cf00db640d9725b75063df47bf98ae2b8d76b7","datavalue":{"value":{"text":"Normalization, approximation, and semantics for combinator systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853619$0C42832B-F53D-4577-B0F8-94376E20AB75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49d0a7f9b6032359e36bf230967d21d044618c6a","datavalue":{"value":"1019.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853619$F1366F4E-B667-47E3-9DD9-DA68BDE34CCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d48ffedde319cf8496a96cabb2aad2c93beae20","datavalue":{"value":"10.1016/S0304-3975(02)00548-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853619$5129CF46-A977-4A41-BD43-5FEBE30358D5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$2CD1E938-DB2B-4C0F-93F2-C387F08B664F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e491443c7df26a4927a70e826f0ef916b7e0bcd1","datavalue":{"value":{"entity-type":"item","numeric-id":405749,"id":"Q405749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$29BADF37-3BDF-48A4-8F06-085A5E05D0B4","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":"Q1853619$2AA620C8-04B4-4B4A-B0BB-3D269B1E2734","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853619$7F1F32F8-6AD8-4C4A-9A4F-46ED679465AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e590fc605199bb9123c333003e624945efe226db","datavalue":{"value":"This paper studies normalization of typeable terms and the relation between approximation semantics and filter models for combinator systems. It presents notions of approximants for terms, intersection type assignment, and reduction on type derivations; the last will be proved to be strongly normalizable. With this result, it is proved that every typeable term has an approximant with the same type, and a characterization of the normalization behaviour of terms using their assignable types is given. Then the two semantics are defined and compared, and it is shown that the approximants semantics is fully abstract but the filter semantics is not.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853619$A43CC9C8-FD22-4320-B712-02B92C8E1024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853619$5959D0D8-AA25-4E86-9F0E-1A98DB169D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c87abfb392c684788017c95dcbc10e220037cc01","datavalue":{"value":"1857136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853619$5AB17D13-FF3B-425D-A9A8-BF88B0EBDE68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853619$D7B3A0F7-EE64-47E3-80E0-503071503207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7b2355b3485a23ac9a45b0e8065bf145eef7cc","datavalue":{"value":"approximants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853619$098CD93A-03E7-47B0-A731-373ADBD16252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df822fd52b3a6968af13bbbbfd94791b13fae35","datavalue":{"value":"filter semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853619$FFEAB190-AEE0-422E-83CB-F7AC624780D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23328227337a3cafe924ff36301e08c88820342a","datavalue":{"value":"combinators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853619$2B41BCD2-F212-4589-99B4-CBA5FCE1190B","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":"Q1853619$7EC81B94-8F66-4235-B649-011FC19F07CF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$811C0C35-BDE4-4ACE-ADFC-510E6C81C7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b59f0470868d890facd258dc61c1d63aa031f33c","datavalue":{"value":{"entity-type":"item","numeric-id":4286211,"id":"Q4286211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$52E0B7B2-DEE5-4DBB-917C-45921A0D0B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$FADDBD65-2A24-42FB-B734-26EDCA911CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9525208433293d8f84c67628b9783ad9147eaf94","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$B04DC304-E1B6-43C3-BE46-DF10EC46AAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adc840107dd24ff876316ba1c1e8a174236053f","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$E3DCACD3-096F-4AF3-898B-0D56DF05798E","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":"Q1853619$1EB8D70D-ED9A-4A5A-B736-DCD490EBFA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$7D807A88-CCDF-4929-8E10-A938BC6C1F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f434d785ed24cbcd005c3f7acdcb5c12ab96aa52","datavalue":{"value":{"entity-type":"item","numeric-id":3936713,"id":"Q3936713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$D54C31EC-E125-4707-A976-1E764AE53D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32c2c3cd37ae471eae65a3748f90112254f38d8e","datavalue":{"value":{"entity-type":"item","numeric-id":4758660,"id":"Q4758660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$8EC7DCBD-9A99-47BA-8A62-28FB08F0D97E","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":"Q1853619$FB4C3A6A-6945-46B5-AB85-DB92335DD2C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$484491BF-8AA8-4D78-9940-15514F5CA0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89e1dea9ae54da61df976210a8364498b414bf","datavalue":{"value":{"entity-type":"item","numeric-id":1199823,"id":"Q1199823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$FDD803D2-EC24-4062-A764-5EDC98CF8176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a61b7701da971a87c154b5ba63697136c95a92","datavalue":{"value":{"entity-type":"item","numeric-id":4385538,"id":"Q4385538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$D044427E-2807-4A54-94D0-33A9A88B1E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c527e263525faa34ac4a72501bf8563b41ad015a","datavalue":{"value":{"entity-type":"item","numeric-id":4297316,"id":"Q4297316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$AA65DF09-A62B-443C-91D8-88CDA9DF7645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$F22257A7-A4E3-4E3C-89B2-65DF6294A72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5147416ec2161493d5545370272bdd687c6708c","datavalue":{"value":{"entity-type":"item","numeric-id":1186735,"id":"Q1186735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$F561927C-61BC-4DFA-B85F-2703A0885B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$3FC4B51F-C356-4773-83A4-358B88FFFC27","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":"Q1853619$D3E02198-73E8-48F2-BBBF-B24E0694455B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91ce477e5d4681017209c5e3d61fd7e677fa2b7","datavalue":{"value":{"entity-type":"item","numeric-id":1121676,"id":"Q1121676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853619$680BFD5D-D302-4042-B7A2-18F5591216B2","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":"Q1853619$FB97DB31-3CE0-4FC5-9DD2-2CF56C4B8870","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccc1fe39c9a9d74fe8ca245b519c9e539822a9ca","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(02)00548-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853619$7746D9DB-E049-4835-BD8A-283D2D2C8907","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4995f99054955b7dcfa4d14073c001274195bf39","datavalue":{"value":"W2021916757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853619$040748D7-8AD4-4CB3-9735-1AC98EF66586","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a455f70c60abd453570ac0eef01d50921f1456","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574e9aa4debf4c48ab511af6372279efe663b6bb","datavalue":{"value":{"amount":"+0.8152642250061035","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":"Q1853619$EA2225A3-CA06-45FF-BD4E-0DFB535257DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e530fe84338be83e5e1218a266af0666559ac65","datavalue":{"value":{"entity-type":"item","numeric-id":930869,"id":"Q930869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9af8db93624e29f03e2b792b279be109ddb3c723","datavalue":{"value":{"amount":"+0.7590131759643555","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":"Q1853619$3886FF00-38EB-4361-AD4C-E36B7DF9B68A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa9c0b85a7a042442c5e93b6c02fa881bc3b374","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d852aa9d3e2340a0e5015f88b1424dabe29bfd72","datavalue":{"value":{"amount":"+0.7502020597457886","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":"Q1853619$04820406-5A6E-490C-8474-290655A525C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1defabc19f5516cf78f073c2c3292a039ca460ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055837,"id":"Q5055837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d55a1a25b8ca5bbae2d639ffb165a464d0e963","datavalue":{"value":{"amount":"+0.7472199201583862","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":"Q1853619$437C7FA0-3761-437E-8956-EFA13746D832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d70834e68ce7634aeae4ceb056fe957684a6a65","datavalue":{"value":{"entity-type":"item","numeric-id":4210114,"id":"Q4210114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc04eaa409d31b3bf94d187c3513306fa11525f","datavalue":{"value":{"amount":"+0.7457597851753235","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":"Q1853619$CD971409-9EF4-48E5-BC2A-3DDEFE2B2507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalization, approximation, and semantics for combinator systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Normalization,_approximation,_and_semantics_for_combinator_systems"}}}}}