{"entities":{"Q1575259":{"pageid":1585999,"ns":120,"title":"Item:Q1575259","lastrevid":72229452,"modified":"2026-04-14T03:29:41Z","type":"item","id":"Q1575259","labels":{"en":{"language":"en","value":"Generalized filter models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1493204"}},"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":"Q1575259$E3AED0A7-1D0A-42C6-A8C8-54E36BC4A8FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80d89e28f67caa815ed95836220345ebb24aaa49","datavalue":{"value":{"text":"Generalized filter models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1575259$1EA1D853-A75F-47FE-8437-CE6D76220B29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1289a2dd710d83cfa290907e8dd7da14e62e97a","datavalue":{"value":"0947.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575259$4CC04970-2CF2-4E9E-B510-B31A04AA210E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75c6aa6bf6682b22f6efa30cc14e63f266edd1ea","datavalue":{"value":"10.1016/S0304-3975(99)00083-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575259$5AFBBD5D-E034-47B8-BDCE-12AF9689C57E","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":"Q1575259$D8A27BC7-EB4D-4E99-ABD2-1E2E766A0EE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3a497233c3b9babc42d370358782cbff338a7a1","datavalue":{"value":{"time":"+2000-08-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":"Q1575259$A4C68CF7-ECCE-479B-8CC6-6EA1F2A37470","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23aedb34f18d162ce7ce364a3117d2cf85a56c64","datavalue":{"value":"In this paper, starting from filters which are a natural generalization of intersection filters [\\textit{H. Barendregt, M. Coppo} and \\textit{M. Dezani-Ciancaglini}, J. Symb. Logic 48, 931-940 (1983; Zbl 0545.03004)], the existence of filter models and filter semimodels for the \\(\\lambda\\)-calculus is investigated. The construction of filters is based on a Z-semilattice of types in which the subsets having infimum are given by a collection \\(Z\\), called subset system. The set of representable functions is characterized in the obtained domain. In the case where the properties of the subset system \\(Z\\) guarantee the existence of a filter model, the proof of soundness and completeness of the associated natural Z-type assignment system is routine.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575259$C2DC2852-47E4-4AE9-BAD2-8E0EB46B443F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575259$2B072040-F744-4309-A766-63EBCBB95CEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11a9fee82ca41ed31eb3de4dcaeb55d4965ebba","datavalue":{"value":"1493204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575259$D9700C30-7587-4470-A1CE-95EB25CC8793","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db6d957d91ef03efb279b574e0523c3609dd7cde","datavalue":{"value":"calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575259$E9BA785E-CFDA-426B-B09B-611E2399711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575259$085D6D30-A6A5-4AF4-9ED3-B7E92DB9B1DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d06af1624b3b6a9c55a9019bd3b375b252a9fd85","datavalue":{"value":"type assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1575259$21A69B7A-875F-4BD2-9A7A-FE765F86901E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0530af78a69085c7bfc0867e4b4548e1bab174da","datavalue":{"value":{"entity-type":"item","numeric-id":737094,"id":"Q737094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$C05D95F3-99EA-41CF-89BF-079015F0430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c0a406e32bc293813ec17d6275bafcebd0b2af4","datavalue":{"value":{"entity-type":"item","numeric-id":737095,"id":"Q737095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$60FA00C8-067C-4DF1-941E-EE1E653C33C5","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":"Q1575259$CC5F2E06-59FB-4AFF-9E18-24BA914DAE36","rank":"normal"}],"P223":[{"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":"Q1575259$E20CECF8-1A4F-4246-B54A-40F0A55BBEFB","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":"Q1575259$053A293C-F174-4045-BE25-FF41FC7BB776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c94dc5d76a3c15e4d7c444cc44bb8fd02ae8e3","datavalue":{"value":{"entity-type":"item","numeric-id":1056767,"id":"Q1056767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$178E8BEF-3CF0-485E-AC4F-208F2E837952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a15b944588e7daa1d682743e9f423a10e7c94e5","datavalue":{"value":{"entity-type":"item","numeric-id":1134141,"id":"Q1134141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$0E2E6EEE-6E91-4C3A-B991-9EBC3E47232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$AC0082AB-1DE4-4856-8172-1C54647853C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990108a31b9953b3f71220540ad95acb31d6907a","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$065CBDA2-7943-4EBF-8747-8E367C1533A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da91aee9b91a914d3335ad44bfa5497f94a4ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$2D88B40F-DE9F-4954-A658-5566794FDDB3","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":"Q1575259$7FFB4411-63C8-495A-BEF6-D536CA3CD51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9922389f27ed3bfb04bfaea5e36e68a955b95f38","datavalue":{"value":{"entity-type":"item","numeric-id":1089331,"id":"Q1089331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$1E760F83-41D5-47B1-A7A0-465F258425BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ede00a0126bcab8d203e10471ec524376d847ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4847018,"id":"Q4847018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$07800781-4F22-4005-90E2-DC5EBCDAA049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3aebaf8da132831cb19649a72d3aee168fda54","datavalue":{"value":{"entity-type":"item","numeric-id":1201298,"id":"Q1201298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$849F8D97-5C25-46B5-BD5A-C2B310AC3636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$340D610E-B351-4417-9319-F447E4EA161F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd7141de1460cb4e482a5b2d5e472a00fe45932","datavalue":{"value":{"entity-type":"item","numeric-id":1186431,"id":"Q1186431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$25F2C6C4-13A5-48AE-BF11-25BCB2A2DF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d5fd89c5d26dc2b619a43eb2aae6a75fa5b9b10","datavalue":{"value":{"entity-type":"item","numeric-id":4835538,"id":"Q4835538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$671C868A-AFC4-4203-8FF3-F4CA8920123A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$300DA28C-100A-40A9-ADDC-2E8F5899DC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b225773fe3bae5d0d1a4a5da3e29136b70567e8","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$2C715F6B-B330-4BE7-AD7D-D86C3E6F30E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$BE296C2B-3DD4-45EC-98C2-F40508618309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$31061361-67B3-4A50-9563-F104C9F23F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa07502aedb13dfbf22bbcf1d8452800907d410b","datavalue":{"value":{"entity-type":"item","numeric-id":3851612,"id":"Q3851612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1575259$184101E2-FC1E-4611-9E77-7DE081AF1199","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"caf35b8331f43937a6c44a031dad4bb203a8fcc3","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(99)00083-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1575259$00BAC9C0-0113-4A00-A8ED-97DBC195D04D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83711965cfe4837b6c316292bc4a3684e1a3b140","datavalue":{"value":"W2086547501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1575259$2010826F-811A-4A25-9A71-64D7CA625FD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f68f11e45347d43bc2cc12ccaf4df1bc8da7d31","datavalue":{"value":{"entity-type":"item","numeric-id":5712313,"id":"Q5712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3c288a1ed3f6ece3c56fb79027661e2fd6c01f","datavalue":{"value":{"amount":"+0.8523980379104614","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":"Q1575259$9F06B8CA-CEEE-45B6-B502-FD843EE2A8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cec1a05aff9c338da28a8afb04d752f015e3ec4e","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e05aefb03c7f3980ac71c06b5f9b36daa0edce5","datavalue":{"value":{"amount":"+0.8066837191581726","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":"Q1575259$7B8310C8-B8C7-4DE4-9B7F-B7DAB60A2620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f2b7d688dc677daa038f6a042bf4a8dadd1c27d","datavalue":{"value":{"entity-type":"item","numeric-id":930872,"id":"Q930872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd045edc408786c2b8dbc444eaa46605e8a14b83","datavalue":{"value":{"amount":"+0.8002491593360901","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":"Q1575259$46728179-6EF4-43B0-A0AB-4B5C85184724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cdde44b5a1f6800250cdbd644ea2ee417b4245","datavalue":{"value":{"entity-type":"item","numeric-id":4448355,"id":"Q4448355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81340d297aa4bcd55f90afaf3e5ce2887347edfc","datavalue":{"value":{"amount":"+0.7934929132461548","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":"Q1575259$5E10CF12-5312-4088-BED8-085092FF6A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8de3da92070fd91124538692ee8d7e46454b62","datavalue":{"value":{"entity-type":"item","numeric-id":1102936,"id":"Q1102936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb4df83e79aaaae3e1c2a2a9869dadfb1bae9b0","datavalue":{"value":{"amount":"+0.7922766804695129","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":"Q1575259$47962082-2C97-49D9-933E-3D3C228D0651","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized filter models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_filter_models"}}}}}