{"entities":{"Q5692152":{"pageid":7721712,"ns":120,"title":"Item:Q5692152","lastrevid":40958501,"modified":"2025-04-15T17:07:47Z","type":"item","id":"Q5692152","labels":{"en":{"language":"en","value":"Linearization of the lambda-calculus and its relation with intersection type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2208941"}},"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":"Q5692152$584C4737-19BC-4864-BD4E-475C1FB10527","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db212d63fa57bd6d282f7b1a65c1329b6daa3931","datavalue":{"value":{"text":"Linearization of the lambda-calculus and its relation with intersection type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5692152$D07F0AC9-99C2-4D8B-B2DA-781AD8ACF007","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a15957cb81cc6a1bfba4a4070e82f72d41c7cf0","datavalue":{"value":"1104.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692152$7FDA6815-B45D-4572-8283-E9228CE9D50A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6a5c620edc2a6e2fadf6737cf34260eb07ea7784","datavalue":{"value":"10.1017/S0956796803004970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692152$778DD42F-30D7-4EA3-8046-AD6C5D62EE34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7caf918ebfde63ac64127671232bbb1ceaff1199","datavalue":{"value":{"entity-type":"item","numeric-id":656849,"id":"Q656849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692152$C1D125CB-B4ED-4CD1-8CA2-0D6DDF95E814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2641b8e7fca864cf6fafc527fcb34eae8b18504","datavalue":{"value":{"entity-type":"item","numeric-id":596033,"id":"Q596033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692152$50191F22-DCE0-436C-9A0B-F756303B0450","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692152$43D8CB7D-B13E-4F8A-852B-C67A8CF8EBF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d112b2448c26e3e0e59aa50184276a96f3480c25","datavalue":{"value":{"time":"+2005-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5692152$0594F5BF-A311-4C25-B113-2F409C638D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692152$BE1AEC16-B479-4D9C-9D04-17BB357B8927","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80ece627795262b31fa5f4a79ad14ec26bb1c05f","datavalue":{"value":"2208941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5692152$DAA9CB61-4295-4458-B101-27244C180763","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053c4528fc4ebfa7ecb99a6bb899014ada1f0064","datavalue":{"value":"weak-head reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5692152$0051301A-7355-4612-8C71-18A3655F8D13","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5692152$E7E8A285-4DA7-4C26-9724-F6C069D46101","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":"Q5692152$7C1C0987-6ACC-4824-98DE-1E6A9B498F27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5e11eee860428ebcd4ef314ee9e234f223a776","datavalue":{"value":{"entity-type":"item","numeric-id":4500177,"id":"Q4500177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b197b34e52c5e8c64dcf1f765629a455403bffc1","datavalue":{"value":{"amount":"+0.93188524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$618F04C1-2564-42A1-B87A-5A94A9AA9483","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":"5ee49755093820dc2bd9a3ac0a8c998f36fbf2e4","datavalue":{"value":{"amount":"+0.93146497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$70A6F2C8-4017-4261-AEFF-533CE12E10D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"858618e0b7907e977165de74c7a2f92772f504b9","datavalue":{"value":{"entity-type":"item","numeric-id":2875057,"id":"Q2875057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f930d39ebf457dc3f5a8953426b96177bc4b3aab","datavalue":{"value":{"amount":"+0.92520297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$677791C0-376A-4095-B2C7-0BF5CEB41B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5dffd85f8c92138c40208a85bb346781c2a3a5d","datavalue":{"value":{"entity-type":"item","numeric-id":2851090,"id":"Q2851090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b918eedeecbb51eadeda9d04f3289c260717e87","datavalue":{"value":{"amount":"+0.9241903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$E160753A-7A0F-4DA3-88BD-937CAB1F5D5B","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":"675ce0bfcd037b0f679d3d56213dc83a14cece46","datavalue":{"value":{"amount":"+0.9231366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$124103FC-0FA4-4E66-AFA1-1B4667469824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a14a996e0f34d6aec88250df446b0d0a0e27f0d","datavalue":{"value":{"entity-type":"item","numeric-id":4644585,"id":"Q4644585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478edac44bef7f760fc0801fd4eb3d7592236177","datavalue":{"value":{"amount":"+0.92110884","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$5AEB69C2-24C9-4A51-8ADB-44EE710516F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029e1f4ceaebff9023cd304f8f51d7c77b33f8e4","datavalue":{"value":{"amount":"+0.9185697","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$D03A2A8E-464A-467D-8A2D-9BE2E7D7028E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb57edcd74e3543ce2b4bfaa158ade414a30ab1c","datavalue":{"value":{"entity-type":"item","numeric-id":5943119,"id":"Q5943119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"354fc96da16175f568018d981459ae7aac72b0da","datavalue":{"value":{"amount":"+0.9175099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$C1671B8A-DF78-4DD4-A0DB-F8DE647585B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0950523ccad0a81270e80e1c15a8940ddaa1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4986659,"id":"Q4986659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b853c820e6beafb2a158f9e8eb5a8bca9acd337","datavalue":{"value":{"amount":"+0.9154094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$AC2059B4-9411-4A9D-A072-203B0184FA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da26c9072eb17315f0057a9e3bcf23f969f6c517","datavalue":{"value":{"entity-type":"item","numeric-id":4779581,"id":"Q4779581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd971b16780258cdb0ed61798c7fda816ad6fea1","datavalue":{"value":{"amount":"+0.9136363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5692152$2531BA87-D52B-43AA-9E49-F16EAC6D8C0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5692152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5692152"}}}}}