{"entities":{"Q2842839":{"pageid":2853559,"ns":120,"title":"Item:Q2842839","lastrevid":51801833,"modified":"2026-01-20T03:01:27Z","type":"item","id":"Q2842839","labels":{"en":{"language":"en","value":"Reducibility: a ubiquitous method in lambda calculus with intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199143"}},"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":"Q2842839$3B649855-614E-434E-BF89-AACA322922A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"408e6334758b4bc1c00cedcc5a1d36aa9a29d785","datavalue":{"value":"1270.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842839$41A65C71-31E1-4C4F-9B8F-5CF1DB45300E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cfe8ebefe7eb1893fe8029e1138cc72cf81087b","datavalue":{"value":"10.1016/S1571-0661(04)80493-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842839$F4C13074-69DB-471E-91E9-6F8ADA149757","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0a8f67a7203ff5cdeef2bd4736ab7f6f290a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":202167,"id":"Q202167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$8ED31AF4-B983-443E-905F-FBC4CFD00687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5448a351bf3feee9663629beddf06354ded52a3f","datavalue":{"value":{"entity-type":"item","numeric-id":1434349,"id":"Q1434349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$496FDBB1-5F38-43ED-B36C-B65EFC54B140","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$C2F2241D-04DE-4438-955F-6DF1A209B7DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842839$63E6BFCA-BF8B-432A-B8B0-B7525BDEE133","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842839$41A78F5B-D06B-4740-9B7C-A25DDEED29F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842839$0B775133-8438-4382-9D0A-8B0859385FDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"683fd6d995dfe5d89fc7546cfb261f5f30b849d3","datavalue":{"value":"6199143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842839$DEACEFB0-E153-45C4-9F29-647DDEEC49AA","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":"Q2842839$FE5BF06B-64E8-4D96-AD02-C86DF5B5FB2C","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":"Q2842839$95F23FB0-B556-4408-BAD7-33B347AA41AD","rank":"normal"}],"P223":[{"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":"Q2842839$93D87392-4D9C-4743-A393-DDD4FCDEB65D","rank":"normal"},{"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":"Q2842839$6B4C0B0B-153E-419C-AF4F-7C4EA4AC612C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$BF4F071E-9370-46CC-AFA6-EE3F6945D723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e26c523496c35da0e6172865f48b61d150cadb9d","datavalue":{"value":{"entity-type":"item","numeric-id":3208623,"id":"Q3208623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$D8BA1D14-53D7-4B68-893A-9ECB566BF210","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":"Q2842839$BEB0B3AD-9D31-4858-B66F-A24CD00A6CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5d7a160d2b805fed64a738ddb0c417bb269371e","datavalue":{"value":{"entity-type":"item","numeric-id":4536366,"id":"Q4536366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$99769ED2-3A62-4C8E-9781-AC5BE320BCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa8b780787a7fd83db6264a06a4d754a328b9de","datavalue":{"value":{"entity-type":"item","numeric-id":2778819,"id":"Q2778819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$2B551D45-0B43-4D71-B50E-50ACE87F9FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4ba94d8f08c32063f0ed58d67ccdb0c07368fd","datavalue":{"value":{"entity-type":"item","numeric-id":1295368,"id":"Q1295368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$DFA6EDFE-46F1-4871-BE33-7AE7AB504D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25baa08322ea0dfa6c2c2f29991332cfbea29ea8","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$1933ED6B-CC43-4DB9-AD15-25546560D19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa3906478d71e95059766c5ac8c419b28304833","datavalue":{"value":{"entity-type":"item","numeric-id":3707988,"id":"Q3707988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$B6AE0538-161D-42F5-AB37-C684380E5DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$B8C405C6-B258-463C-AB5E-DE71404AC071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$432801C1-58D5-4D82-828B-F6DCB7C32334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28472b28e67e8d776581af01b5cdf5e81bb4ab43","datavalue":{"value":{"entity-type":"item","numeric-id":3724297,"id":"Q3724297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$96012DAE-97CA-40CF-9AB3-58017332B462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$ACDC1252-DC60-4921-8D8E-9F79D389583C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842839$B807E98D-F691-458A-96B0-F4983F24E5D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1838598fe8a9632542e4baf2d17cc91c186d572","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)80493-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842839$32463297-FCC0-4E1A-801E-9B2C685420B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"953d010ea630f2e6859be9b572480669309f6b42","datavalue":{"value":"W1567648932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842839$3E67AB08-DCFB-4926-BADF-071BA3887398","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5ee673b39bc250ddf4fdbbf7d15e68fca7079856","datavalue":{"value":{"text":"Reducibility: a ubiquitous method in lambda calculus with intersection types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842839$0F6E6D84-8D42-48D4-8D85-D1EF00D9200D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c49e806d917f5439c77ce5c5f62bfbb4f8f02f2","datavalue":{"value":{"amount":"+0.8748562932014465","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":"Q2842839$DE3786F9-496F-4E24-8B1C-08D0EF93927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f900978b735a1191d1bd5813b0fb20efd481e48","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20dcabfa0c44a12c81099f5b228b08f19de1f097","datavalue":{"value":{"amount":"+0.8666032552719116","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":"Q2842839$AFF3C10B-1F04-45DB-AF86-66C46D11749A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6df12bd06441d1e1b378440f506f98d13c164188","datavalue":{"value":{"entity-type":"item","numeric-id":1295368,"id":"Q1295368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7387799ef312d047e6333270bccd845c815520bb","datavalue":{"value":{"amount":"+0.7983005046844482","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":"Q2842839$121108C4-421C-4D89-BE56-05750952A0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a566b1d6a70d6aeb478a7fbe2b2db3c381d5fcb","datavalue":{"value":{"entity-type":"item","numeric-id":1924327,"id":"Q1924327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7387799ef312d047e6333270bccd845c815520bb","datavalue":{"value":{"amount":"+0.7983005046844482","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":"Q2842839$4F6F0C6C-E0CA-403C-97B8-71AE41E83AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d73d144ed2eee09c5bc2143e4f25bf52d90d29c","datavalue":{"value":{"entity-type":"item","numeric-id":4903718,"id":"Q4903718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc31c6a98953b7e503fffa4f898e7a489f87f871","datavalue":{"value":{"amount":"+0.7969633340835571","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":"Q2842839$8BABADBE-2D58-41C1-B0B4-8AA7CA09D6D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842839","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842839"}}}}}