{"entities":{"Q2851671":{"pageid":2862391,"ns":120,"title":"Item:Q2851671","lastrevid":58019994,"modified":"2026-04-03T11:46:49Z","type":"item","id":"Q2851671","labels":{"en":{"language":"en","value":"Non-idempotent intersection types and strong normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215584"}},"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":"Q2851671$CE0D3D16-4841-483D-94FD-24B830FF21A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a21a7fe157b26d0d1d3c5f5bd9f185f9934d81f","datavalue":{"value":{"text":"Non-idempotent intersection types and strong normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851671$218EE64B-412C-44CE-AA92-31E3F91EEA06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5dd8844cc03e8df33445bc35796dc05d4ef6188","datavalue":{"value":"1297.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851671$6AE86E8B-96F8-4EAD-BA45-C35BA3705136","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ab2eccb2f90ead756a552d57e0ba362f18a1ec3","datavalue":{"value":"10.2168/LMCS-9(4:3)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851671$63031F5F-F1C4-44D1-936E-D32338B0AFAC","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":"Q2851671$14B3B61A-2E8E-4471-A4E3-6939445EADAC","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":"Q2851671$54C42630-A319-4793-99A6-80223A4FBF37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851671$49B68E91-01AB-4714-9DC8-E55ED835F5D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e66e529c7db342e2e69c7d5a949f71cd11d4666c","datavalue":{"value":{"time":"+2013-10-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":"Q2851671$1FA19646-B38B-48D8-95F2-1C0FC21E1D7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f52b82b59815748069dc82925bb276b89451ce81","datavalue":{"value":"https://arxiv.org/abs/1310.1622","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851671$2A61096C-D607-4A00-BB5A-3CA613F69786","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851671$4F5F9119-752A-494A-904B-9B54216B6E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851671$200A6C14-5CCA-4FFD-ACAD-6D4D91855EDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58a26fec844d9aa0bb644ea854aa1acd65e7e864","datavalue":{"value":"6215584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851671$E6DB1856-D355-4CFA-A425-6FEC6FFCB623","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851671$7CAD0B50-F889-49AA-BA39-2E3C61FBE5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf512153f10493a864e579d21839e22d919f993c","datavalue":{"value":"non-idempotence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851671$06C0B553-72A1-40F7-B46A-42DC5DF880DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851671$89B00CCB-FB4C-475B-AE2B-BFCB7C4CCA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d845115b4d6554e085941c368d86dae483441405","datavalue":{"value":"orthogonality models","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851671$69D8BAC6-B519-4D3C-B863-D2E503D45E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851671$F83832DC-2777-48DC-AF67-75967B471DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851671$F963E39D-09F1-47A3-B774-55EB6C50C03A","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":"Q2851671$F8E45BC7-4010-4B7D-8759-5659FA84B318","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"325d647c952eacab66294de6a519eb9b185c4435","datavalue":{"value":"W2001822718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851671$88D7B10C-119C-43C0-9655-33C27176A7C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f80de2c067997645fc3a69a447c2b4d09f8eb3a","datavalue":{"value":{"entity-type":"item","numeric-id":3000601,"id":"Q3000601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5884095c4378c5f14f4cef31a9655dac39bbaf16","datavalue":{"value":{"amount":"+0.8745097517967224","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":"Q2851671$60728CEE-B179-468F-BE22-0BEA1B6F71CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215a5db191ea1fa8ac389da621875c7e4133721c","datavalue":{"value":{"entity-type":"item","numeric-id":2915673,"id":"Q2915673"},"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":"Q2851671$DD3129C2-C87A-40FB-9FAA-0E58B0485070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9896a3ffd75ec6f467b242d34e5c0997bfa7ef93","datavalue":{"value":{"entity-type":"item","numeric-id":1744407,"id":"Q1744407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4491f8a637f1464a452ba0acc76fa450d88eec","datavalue":{"value":{"amount":"+0.8064970374107361","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":"Q2851671$3D34D1A6-01B3-4387-B2F4-19ACBC23B03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8627593d274c87dfc4fb4d4324791736791db2b2","datavalue":{"value":{"entity-type":"item","numeric-id":1407502,"id":"Q1407502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2859a16dc12b05d1d7240cf612dc4aaa308b59","datavalue":{"value":{"amount":"+0.7950966954231262","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":"Q2851671$86DA7C5A-724A-46E5-842F-37EEB4268E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c600efe4f58f1e6a12d345b86d99f8295fffced5","datavalue":{"value":{"entity-type":"item","numeric-id":1887145,"id":"Q1887145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d37ad4ad75367684de69ae5e8dceb4c712c203","datavalue":{"value":{"amount":"+0.7882577776908875","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":"Q2851671$06EAE858-4E6F-489C-88AF-F111A2B13F7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2851671","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2851671"}}}}}