{"entities":{"Q1892875":{"pageid":1903617,"ns":120,"title":"Item:Q1892875","lastrevid":73936020,"modified":"2026-04-14T17:47:19Z","type":"item","id":"Q1892875","labels":{"en":{"language":"en","value":"Embedding a second-order type system into an intersection type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 767824"}},"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":"Q1892875$102DCAA5-3890-4436-A393-14D3695E213C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f322d9b420a881e0317e3f2678956d3e197a4fd","datavalue":{"value":{"text":"Embedding a second-order type system into an intersection type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1892875$5C060E66-B7E1-4E0C-A6E9-6D0344CF9FB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"975d6e993042512a22b231b8d2349dcf893f64eb","datavalue":{"value":"0826.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892875$236FA3C6-0419-4B65-8DCC-B3FEE5A093DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ab68d3941e9aaee7024ab0624e21f6a8a75a1cc","datavalue":{"value":{"entity-type":"item","numeric-id":235627,"id":"Q235627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892875$14A63F18-3A8C-4ECA-A5EB-C464A274CFA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1892875$3DB53005-354E-486D-8152-0B1B5E7D3E61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13658d5e28bb3c36e9719a16c12f3f8ec27bd668","datavalue":{"value":{"time":"+1995-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1892875$FB56091B-6CEF-4C84-A286-0E4630CCD7F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892875$B075126F-7155-4CBF-B871-A723E2920983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892875$C4BB1D38-C5C1-435A-A50B-386D27F39B3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a165fb3f2d13b7b7a08fb200945daab2ae8ed43d","datavalue":{"value":"767824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892875$7BA5B500-C8EE-452F-8722-FADA0A4722BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24fc322eded92f589c49cdcf6119ce56b6c2fb71","datavalue":{"value":"second-order type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892875$554A5ABD-E520-4822-9973-BB4AD4E2FE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59897567252e6138d9f1c180f2bb190f173ab57","datavalue":{"value":"intersection type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1892875$B9292170-0441-4A11-8400-6E95DEEB2568","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":"Q1892875$B5CEDF56-9075-4CB3-BFC3-5F96DF842BC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cddd68081e1f9dfb39a69d1f9517e987c1cb546a","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1040","type":"string"},"datatype":"url"},"type":"statement","id":"Q1892875$7A149C9F-2FE8-4371-B053-D4B537B517CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"91e92f5706519221dd16d87fbd3ba7aa2c6a938b","datavalue":{"value":"W2107969880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892875$1C7C013E-D2AE-496D-AC51-C14A3D7C30EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9ed81f84e5b5d4b7c8d27d3c10fee8b9c4a77e3","datavalue":{"value":"10.1006/INCO.1995.1040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1892875$C4FC686F-A529-4B0D-A385-B4D1E7A839FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0432942668837dbbf6b6329fb3fadb288681a06","datavalue":{"value":{"entity-type":"item","numeric-id":1893736,"id":"Q1893736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e8205b6721f4b15d5ac485c7b6785e5fcd47f1","datavalue":{"value":{"amount":"+0.7466493844985962","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":"Q1892875$F7EEEDE7-4F79-4342-BDEE-9D6888A11B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b65cd5c5585f465ed8a880fa1acebbb85338c0","datavalue":{"value":{"entity-type":"item","numeric-id":2381503,"id":"Q2381503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0218ff2deea5ba82f64e642b9117cecee4312bc1","datavalue":{"value":{"amount":"+0.7458204627037048","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":"Q1892875$5D925CBF-FEB6-4645-B93B-32D2A0818FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c311fafdff78b3b5de9efc2de074234c5e48f34","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78123389259b875fa5360a9bec3088b3b27931c8","datavalue":{"value":{"amount":"+0.7439120411872864","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":"Q1892875$8C1C2D5B-42A5-4867-B3CB-D7883B259C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e24fba81ee90527427cb20b65fbb1bc00c52a","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee5c64e3209817dc42873c1e2f876033b67568db","datavalue":{"value":{"amount":"+0.7403826117515564","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":"Q1892875$24915087-2DE1-464A-A0E4-736361D8AB0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Embedding a second-order type system into an intersection type system","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Embedding_a_second-order_type_system_into_an_intersection_type_system"}}}}}