{"entities":{"Q2851086":{"pageid":2861806,"ns":120,"title":"Item:Q2851086","lastrevid":83867336,"modified":"2026-05-07T13:04:53Z","type":"item","id":"Q2851086","labels":{"en":{"language":"en","value":"Towards an intersection typed system \u00e0 la Church"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213324"}},"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":"Q2851086$8CDFBD55-A1DB-4F5A-99C7-6771E5131AEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fada99697f58d7221204f7f61d040fea4e7494f7","datavalue":{"value":"1272.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851086$83A27174-D022-4C67-9887-BDAD30BF9277","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84b1829080916ca34a6287f584b653442826b5b3","datavalue":{"value":{"entity-type":"item","numeric-id":930883,"id":"Q930883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851086$4E0B1162-1524-4FD0-88B7-76C755FEA50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851086$20BCA360-4EC3-40E0-996C-21686B3B276B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bb76f8c858ddc05c9b0805444140cd69f0518fa","datavalue":{"value":{"time":"+2013-10-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851086$53609A0B-5298-439F-AF26-B4CA9CE0D15B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9abfc43982119c0cb49bf9257b21f6c52e58a453","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105050590","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851086$F6CEFA09-10DF-49D3-8228-008E3DBA6C73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851086$779CED6C-5CA9-443D-B87C-9A614C85019C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdddd108a4a5b318d7d4c3153ec75de2676b2b2f","datavalue":{"value":"6213324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851086$9D8309DC-4654-4C97-9D02-45C4362F76FD","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":"Q2851086$7C887DB9-0FA7-4FE3-8B08-65E8911FA09B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b109abf76bc9d5f440042d4d7aa55e61ef55223d","datavalue":{"value":{"text":"Towards an intersection typed system \u00e0 la Church","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851086$79E2FE74-123C-4395-AF2B-C66F31E27A97","rank":"normal"}],"P1643":[{"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":"6a1b08e52efc6c23703ed72aef3f748fa949ab34","datavalue":{"value":{"amount":"+0.9090838432312012","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":"Q2851086$3C3EA451-6B60-45CE-8C2C-BE2F9C5C0F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5f4e18249119867518c0c9c16b7ab557a8330e","datavalue":{"value":{"entity-type":"item","numeric-id":2842843,"id":"Q2842843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e1f50de0c5b7f7a625d55e74363ccb8137fc0d","datavalue":{"value":{"amount":"+0.8498443961143494","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":"Q2851086$7F6D7256-0A2E-4711-9B22-01F5CF254F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73946db163c480d268d3d9363a0e42dcec5078b3","datavalue":{"value":{"entity-type":"item","numeric-id":4532620,"id":"Q4532620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49f07312346be10555b06890177e33fd2817d8f5","datavalue":{"value":{"amount":"+0.8212195634841919","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":"Q2851086$E6D8F1C7-83D4-4777-8C52-5F63B501A0DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83fcf329f5684b3ff495be129eed4fab6a8f2699","datavalue":{"value":{"entity-type":"item","numeric-id":930870,"id":"Q930870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ce2be81b4d33495b2e5e4e8826f75db9654177","datavalue":{"value":{"amount":"+0.8147558569908142","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":"Q2851086$83BDE1C2-8D3A-4844-9BD2-46AC1390169A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"936e3e1d81af02beaa80151836a794f041491295","datavalue":{"value":{"amount":"+0.813393235206604","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":"Q2851086$4958FC61-5AFE-4718-9FBC-A4DEFDBAECE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards an intersection typed system \u00e0 la Church","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_an_intersection_typed_system_%C3%A0_la_Church"}}}}}