{"entities":{"Q2915673":{"pageid":2926393,"ns":120,"title":"Item:Q2915673","lastrevid":85104086,"modified":"2026-06-03T05:53:49Z","type":"item","id":"Q2915673","labels":{"en":{"language":"en","value":"Filter models: non-idempotent intersection types, orthogonality and polymorphism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6083530"}},"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":"Q2915673$AE5EB984-FF3F-4797-B0D4-A411CD9599A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"545c06b467131e14ae82ad58582d01e4f687dbc3","datavalue":{"value":"1247.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915673$69385E17-0799-4E7E-A2E4-A26DE6B6DC2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fc80b7076eae1e38842d078f8aad4565b4ed046","datavalue":{"value":{"entity-type":"item","numeric-id":2851670,"id":"Q2851670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915673$334958A2-689B-4C35-8165-017E8D6302F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d79cf40c9d083fd33fffca7f5d652f193d57871","datavalue":{"value":{"entity-type":"item","numeric-id":876040,"id":"Q876040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2915673$112577EB-E572-4078-9244-9901C956D2F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8116af7574c2cac3c55da1a071af8f6c18a63659","datavalue":{"value":{"time":"+2012-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2915673$743D40FA-35A2-48BF-9F46-5BDCDDE6BB4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fcd95901b431478798977012c063c4cea641e64","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_6a8a.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2915673$DDD5641C-920C-4913-9B08-68A106FDE198","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915673$0AC3F33A-F4EE-4ECB-944E-9C20800677DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fc9a6d44357fef6822887c49ee866dc398ac7de","datavalue":{"value":"6083530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915673$8B41D0FF-C6A2-4199-9852-A882E5C2A14C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe06adeb0cce0916510075b0661495797abd8da","datavalue":{"value":"non-idempotent intersections","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915673$D3C24DD9-F382-4F1E-A1B9-FDAAE0700EC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826cb17a61389397478ca005848e294acb35a0eb","datavalue":{"value":"system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915673$AFDEDC52-EB14-419B-A5C0-16CAD8583EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa588e4f5e4578a5ce68662ac6bff84baf18c7","datavalue":{"value":"realisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2915673$CD4A32C2-C21F-4BE9-9BC8-46A1430DBA3A","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":"Q2915673$149D8B5B-919A-4B88-BA90-14952A4ED903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf96bba9e6b6c2060d2d2cfe6b7f96ce4538002f","datavalue":{"value":"W2242901838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915673$38C262A5-B8CD-42E4-9FFC-E150055A677E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3253b18c6340763a4323b97ecd7b098fab44ae88","datavalue":{"value":{"text":"Filter models: non-idempotent intersection types, orthogonality and polymorphism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2915673$12E1B366-3BB8-412D-A048-8A2739409DB5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e8284d5c96e5fd7fd2434e6dcdafd683a230d7f","datavalue":{"value":"10.4230/LIPICS.CSL.2011.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2915673$F2D985A5-5DED-44CE-B339-8E35CF4B26E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b7425bc765e0a067664af8d4ec0a87045956ca","datavalue":{"value":{"entity-type":"item","numeric-id":2851671,"id":"Q2851671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efda850c3fdd6cb6688f91a9d45944ce3326bb95","datavalue":{"value":{"amount":"+0.8624478578567505","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":"Q2915673$0E84BFF8-A516-4262-96C1-98802F1A0248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbd022a8eebaddd24428c27db1e8841f48191aa","datavalue":{"value":{"entity-type":"item","numeric-id":1186431,"id":"Q1186431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a903101d9c37d975fac8ae431e17140a0a6eaba5","datavalue":{"value":{"amount":"+0.8078502416610718","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":"Q2915673$B6DA47B1-1C97-45CE-ABCC-36EB59483FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ed0e9da3b7e384c91b754c94587bcf4f13bba1","datavalue":{"value":{"entity-type":"item","numeric-id":1575259,"id":"Q1575259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bd3689ab2ba231f184565773d0f7be6b7a8784","datavalue":{"value":{"amount":"+0.8053989410400391","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":"Q2915673$383FC159-506D-4ECE-884F-42A2E7453D26","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":"a24a3727895736506613ef60da5b9b5eda515526","datavalue":{"value":{"amount":"+0.7805489897727966","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":"Q2915673$B37B46DB-A348-45DD-9DFC-8098D5BFC62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c3a8a53bb7710efe782a2824ac22999194d1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3007668,"id":"Q3007668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8ce5c08c53bebe10dc3da20688c5a018cd94bdb","datavalue":{"value":{"amount":"+0.7711873054504395","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":"Q2915673$896F1667-775D-4A4F-A651-B427BDA17471","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Filter models: non-idempotent intersection types, orthogonality and polymorphism","badges":[]}}}}}