{"entities":{"Q4608725":{"pageid":6638308,"ns":120,"title":"Item:Q4608725","lastrevid":90089105,"modified":"2026-06-04T19:09:02Z","type":"item","id":"Q4608725","labels":{"en":{"language":"en","value":"Characterisation of normalisation properties for \\(\\lambda\\mu\\) using strict negated intersection types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852239"}},"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":"Q4608725$6A029FCC-B682-44DA-A40A-5F331E43AA65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6db4c6574187a5d408f38e7e99f6ca675e46b46e","datavalue":{"value":{"text":"Characterisation of Normalisation Properties for \u03bb\u03bc using Strict Negated Intersection Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4608725$1CD60E1B-1309-41FD-9ED5-411585E52509","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"885b08463005d4458bafaac10b32d3e0a7227e5f","datavalue":{"value":"1407.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608725$B774D679-857D-48CC-AB42-A91FB7187E4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dea57b4a7a5a312b57d8912fc7a83e9e4c0fa4a0","datavalue":{"value":"10.1145/3149823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608725$E6CDD78B-D841-483B-8AAD-1C0727D4426C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608725$7568B10E-0C6D-45AD-ACBB-A617C3BADED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08c0cb5adcb87dcdf141312d287850a8313671b","datavalue":{"value":{"time":"+2018-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608725$ACC04D9C-2199-4133-AF27-2395F5A6EF4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b21769994c88fd338146f5e3e990f016d4030c57","datavalue":{"value":"http://hdl.handle.net/10044/1/83314","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608725$F5054455-D551-4025-941F-87CEEC295B5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608725$2E36321D-5D2D-453F-8029-0FEA323A177B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10f0d643624b19f9051502f3f14a8ab4ce701859","datavalue":{"value":"6852239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608725$D0E857AC-8E14-4B76-A6CD-8CD042E74920","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"371e6fcc0bab34b1423a2572a4090f79c9b1a27d","datavalue":{"value":"\\(\\lambda\\mu\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608725$4B685BF3-1298-48F3-AEF4-7F9F4E2F36C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dceca364a5ba8b5c7ea3971a653d87de89e4cf1","datavalue":{"value":"intersection types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608725$587F8454-54E0-4862-B316-8A782C0E14F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00134f94fae617052450fe78ce4e8e7c792fddd5","datavalue":{"value":"normalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608725$A57D1224-BFBE-4DD7-850A-D387C0096F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608725$30985A75-3DEE-45AC-92BF-8A066540C331","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":"Q4608725$35AB62AB-560F-40BF-A7FF-B8EDF9FD6455","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b95ba0867fb53ccf6c3d4c44733dc09ea59097b","datavalue":{"value":"W2788816999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608725$50DF2AF6-B89C-4934-9692-900101472633","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8233962fd49c5bd66fdd2bf3acc23a8f3975c30","datavalue":{"value":{"entity-type":"item","numeric-id":4993849,"id":"Q4993849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37316e93870aebc70a19af4eba4e328b9d9b9f4e","datavalue":{"value":{"amount":"+0.8758822083473206","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":"Q4608725$731DF20D-D908-4AE1-955A-34F3BB346AE4","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":"c11cc9d49df4223df7af6bfd2261d43d50da7134","datavalue":{"value":{"amount":"+0.829102098941803","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":"Q4608725$1858C46D-D9C7-4B08-B47A-4B7D57C0B5F5","rank":"normal"},{"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":"319ebf4307281eec081f857bff17f8cc9a960216","datavalue":{"value":{"amount":"+0.820515513420105","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":"Q4608725$103CA3AC-62CB-42BE-B816-C4CC0BD965E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e530fe84338be83e5e1218a266af0666559ac65","datavalue":{"value":{"entity-type":"item","numeric-id":930869,"id":"Q930869"},"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":"Q4608725$8CDCBA15-C3AB-4D38-A3CF-B527550FE2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad294ac104e314aec214589bb780ad8a88daf3f","datavalue":{"value":{"entity-type":"item","numeric-id":4903715,"id":"Q4903715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4075450fb5a986d5b17d8bce362c66625aef2d76","datavalue":{"value":{"amount":"+0.8161645531654358","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":"Q4608725$2E2C9628-8C79-4524-AAA1-70A3768AF6BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterisation of normalisation properties for \\(\\lambda\\mu\\) using strict negated intersection types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterisation_of_normalisation_properties_for_%5C(%5Clambda%5Cmu%5C)_using_strict_negated_intersection_types"}}}}}