{"entities":{"Q930869":{"pageid":932717,"ns":120,"title":"Item:Q930869","lastrevid":65459724,"modified":"2026-04-12T02:44:43Z","type":"item","id":"Q930869","labels":{"en":{"language":"en","value":"The heart of intersection type assignment: Normalisation proofs revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5292219"}},"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":"Q930869$DC459E30-A5E1-4A7F-BEAB-CF15AAA6DD03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7652cc7cb23e66eae6ad900b4f7111fda67d771","datavalue":{"value":{"text":"The heart of intersection type assignment: Normalisation proofs revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q930869$7EDBA4C1-7A29-4336-9ED5-A2E0125F1A6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3e06adf03de53758d1b7623ff3bb54356e5325f","datavalue":{"value":"1145.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$F978F601-8BA4-4317-A959-C8DB8A3461AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10ec95c9417991096363f0d0f0e5d9ea0afefe59","datavalue":{"value":{"entity-type":"item","numeric-id":235593,"id":"Q235593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$DB9512E4-AC5E-45E5-907B-576634482620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$28841301-EFC9-4D48-BB71-261E6F486311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1e5c358dfaf7831eeef2b1629a133ab38a6eded","datavalue":{"value":{"time":"+2008-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q930869$CDF546F2-F82B-4563-9C4F-D9F964D4D639","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$A5824F86-145E-4E0E-BCD4-661169CCD632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$4429C6FF-D316-40BA-A008-E7F16401C3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$27D0563F-65AA-4806-B933-F4E2135C9F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4537ec804b0e668ff9da0fd4bd2806084382ec27","datavalue":{"value":"5292219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$C4BFE3BF-036C-4371-940F-C2F5B4DC07E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q930869$2F0A50C9-1732-43F3-99FB-BE7841848436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q930869$3011FE10-80BA-440F-929E-1061EE369636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8bb84bd86abec9f57c8cf048201e810211b8ba","datavalue":{"value":"strong normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q930869$1D3C3692-BE54-42A2-AFD2-8EF32D04A9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd7b2355b3485a23ac9a45b0e8065bf145eef7cc","datavalue":{"value":"approximants","type":"string"},"datatype":"string"},"type":"statement","id":"Q930869$3637808F-4D2E-4DEC-A63E-3E63C6BD1E2A","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":"Q930869$DA7B0804-4672-45E6-9586-BEAF7F6BF79E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7050f91280e8cb3e906613d183fdb1ba13abe7f0","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2008.01.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q930869$C414E8BD-E5FE-42F6-AEF2-112C874D1D75","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6db01c62266980093060d04fdaca293d8fb02a1","datavalue":{"value":"W2074465205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$C7DAE474-E41E-41FC-AE11-B126C317CAC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"651f3e68212cf82e01b75ca21e84f0e708df24c6","datavalue":{"value":{"entity-type":"item","numeric-id":1193654,"id":"Q1193654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$5AC4BAB5-0B85-4494-A045-81B12136E2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b6ba999253464556d07386a325da245f321d282","datavalue":{"value":{"entity-type":"item","numeric-id":1350344,"id":"Q1350344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$7B8549C3-4501-4C2D-87D9-4FD7D0F48582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61ba215039c96cd178dc11f47607c7c5bc1d306","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$C00958A8-AF69-4896-92A2-609B052781AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9525208433293d8f84c67628b9783ad9147eaf94","datavalue":{"value":{"entity-type":"item","numeric-id":4645802,"id":"Q4645802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$874C91DE-763F-4A6B-A2B2-E308B18CE8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adc840107dd24ff876316ba1c1e8a174236053f","datavalue":{"value":{"entity-type":"item","numeric-id":1357006,"id":"Q1357006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$7F7D57FE-BAD1-404B-B2EC-518E1F093F44","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":"Q930869$AFB0D97A-516E-4870-A2CF-F3DD812C213A","rank":"normal"},{"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":"Q930869$DC6DDC78-3DC8-4AEC-9E5F-ABC56B6668E6","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":"Q930869$D1101373-529E-4EDD-B0D2-D72D2C992BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$2EACEEB6-BD65-4436-8160-B4C2E2275AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$2DA2394A-C9EF-4503-82AA-A172C30212E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c68dfc4a44943c6fc1906d97837725b5ac79535e","datavalue":{"value":{"entity-type":"item","numeric-id":790801,"id":"Q790801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$75ED8820-9CFD-4A0F-B6A1-B35AC717699F","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":"Q930869$EC9AE5D5-037F-4E81-963D-16D93AEB5C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d13a074e10182485b0efcf5cf7cfc43a7672c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4115133,"id":"Q4115133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q930869$ED0C1F86-EFDE-4A94-B183-E3C906A34BFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1da6786ec587441f7ac83fb37c94fca01504761d","datavalue":{"value":"10.1016/J.TCS.2008.01.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q930869$A89D434D-368F-4F56-814D-5318E20D7E38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a609ae220d0a546b34a117528a953137cc7925e","datavalue":{"value":{"entity-type":"item","numeric-id":2842832,"id":"Q2842832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8137586d206d23b2181282a3891c97a6d2eb199d","datavalue":{"value":{"amount":"+0.8575835824012756","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":"Q930869$063F40C7-CF5B-4E8F-9403-FB3A3A821A22","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":"31cfd9f218083d75d4053f2786d701f1622d1a8c","datavalue":{"value":{"amount":"+0.8255401253700256","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":"Q930869$E9C83049-9728-438A-9059-4F4A2EBF7C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"644e7042bef4bfdb633cd69118845dd209ab9ff2","datavalue":{"value":{"entity-type":"item","numeric-id":558418,"id":"Q558418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05b49a29169d8f1af6d34c509798e34d0ce017bc","datavalue":{"value":{"amount":"+0.8204271197319031","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":"Q930869$9F4C862C-B8D7-45E7-BAB6-B2CF9B68C39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdadb6450071ea39a8c8def87c4a7b58e9fa9539","datavalue":{"value":{"entity-type":"item","numeric-id":4608725,"id":"Q4608725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de812e3a93601a24c0a51b7ef2224a937f5eee86","datavalue":{"value":{"amount":"+0.8190857768058777","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":"Q930869$F01CCB5F-B3CF-4400-B53F-554FCE361BF1","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":"b9ca9d9039caf019274641a3a0ae16912310dfb9","datavalue":{"value":{"amount":"+0.8048457503318787","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":"Q930869$E622661C-54B7-4187-9393-0D37956AA8A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The heart of intersection type assignment: Normalisation proofs revisited","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_heart_of_intersection_type_assignment:_Normalisation_proofs_revisited"}}}}}