{"entities":{"Q5958619":{"pageid":8135421,"ns":120,"title":"Item:Q5958619","lastrevid":93535943,"modified":"2026-06-05T04:33:57Z","type":"item","id":"Q5958619","labels":{"en":{"language":"en","value":"Weak normalization implies strong normalization in a class of non-dependent pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715648"}},"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":"Q5958619$1DA0069E-66E6-4461-AA63-58F413E1D4B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"591089c9e9b810f432093a728f5d9e54ca6e3465","datavalue":{"value":{"text":"Weak normalization implies strong normalization in a class of non-dependent pure type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958619$174661AD-E97C-48FE-9A41-475A1CCAAC7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faa246a2bcff851c3dd4bf833bdc969c8fe934d6","datavalue":{"value":"0983.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958619$0DD83973-99AC-445C-B438-49F6F2D32CB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"695b5a854b58554a3cb95bc24f664e293c8d3bf7","datavalue":{"value":"10.1016/S0304-3975(01)00012-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958619$8F887984-C87E-4643-BE95-B481ADFDE4AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$F7402577-ED36-42BB-BF94-5C8164830752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3446e7dbb7240ad90687dceaaac250247886da36","datavalue":{"value":{"entity-type":"item","numeric-id":236462,"id":"Q236462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$A21D00BE-4746-46FD-863B-11B0B0E4281F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2875aee90fd87423322d2627d32e4150c27948c","datavalue":{"value":{"entity-type":"item","numeric-id":1125573,"id":"Q1125573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$8EB22E1B-9115-41BE-A304-2398ACE550B7","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":"Q5958619$5B0DC376-2199-4F4E-9390-B846B6BAD5FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958619$DEDA6661-BB15-4D11-85D1-F00CCEAFBC68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958619$5B99BE44-52FC-4A23-ACA0-2EDF5DEA350C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f5f3ab8d430877696c5e4cfee79b1ce9474174a","datavalue":{"value":"1715648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958619$83FD513B-CBDA-4947-8620-D37C4A0BD901","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958619$39F91B71-7583-41B9-B501-C766231751BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f0ce36239dbd08766601c3263a7891046c0723a","datavalue":{"value":"Lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958619$1274307F-1034-4F9C-AE6E-C96D19F67939","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":"Q5958619$2BD9D2F1-4802-4AAC-A06B-B4673FAA5C49","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":"Q5958619$6162C6A8-A4A2-467E-A2DB-C6EA9CFA3B78","rank":"normal"}],"P223":[{"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":"Q5958619$AB1E9E8E-D19A-4F9A-9AEF-34A0154D5856","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":"Q5958619$13F0E8B8-254B-4AEA-819D-8278772E3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3f06681ac1eb8fab5528d79086d8352e82e8e9","datavalue":{"value":{"entity-type":"item","numeric-id":3024819,"id":"Q3024819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$4BD7E3B1-A912-4E26-8DAE-EDF015D1CFFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cff418d95b7bb6ba972b96c705625126cc05f715","datavalue":{"value":{"entity-type":"item","numeric-id":1125574,"id":"Q1125574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$4581C11A-AE0D-454C-9D3E-757DE4C4EEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b97fbd916634cc1d8d6ce8e7287e34b99e1f2418","datavalue":{"value":{"entity-type":"item","numeric-id":4376043,"id":"Q4376043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$1F15B683-D06F-4883-BB04-469270046666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$CD5644FB-4D09-4256-A84F-82206AFDD394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22b0a30febc9fafd0aaf6f91ea1821651d55077e","datavalue":{"value":{"entity-type":"item","numeric-id":4764266,"id":"Q4764266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$AE6D4170-4A39-4E45-8F99-30B04639A70D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a65515c2e37d29687eab299c05aa46a3d9a3df5d","datavalue":{"value":{"entity-type":"item","numeric-id":4281472,"id":"Q4281472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$36E0FABB-EA74-4C25-88EF-EE998F05E22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad80344fc1eac9869a64dbac310f2d1dda233df0","datavalue":{"value":{"entity-type":"item","numeric-id":4939698,"id":"Q4939698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$9A8C1882-8C81-4CB1-B2DC-ACE2C74F85E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dcf81f897a63d71cc9627e7e186f8ab7cb4d955","datavalue":{"value":{"entity-type":"item","numeric-id":3707989,"id":"Q3707989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$663DBAD3-9614-496C-801B-889DA0F291E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$A2EC8C72-430E-4C3E-83B6-1021B5023D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$EB12F9F5-9E1E-41F1-8F1B-98403A10D5DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197fb31080d07279d6d4e707ba0db8b6fdc07c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$F4FF1297-74A1-4EC1-A8DB-83C9D68659F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7117183e314798070d719a9c54f00a16df2a8b14","datavalue":{"value":{"entity-type":"item","numeric-id":1194249,"id":"Q1194249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958619$5B50166D-DB48-488F-B436-25398C1B6FCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e74d85b5848b01f6d0209c5eb797c3236848c2","datavalue":{"value":{"entity-type":"item","numeric-id":1357009,"id":"Q1357009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd69f6b424488115b59e4e4669225e2f94a4fe72","datavalue":{"value":{"amount":"+0.7973074913024902","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":"Q5958619$A278C2AA-4767-49B0-9250-FAAE27F6EF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcd043b3642e93111b86d90f238c370fa1011fb","datavalue":{"value":{"entity-type":"item","numeric-id":4673438,"id":"Q4673438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bedba01fd8fd7e33c0a912c36701b57beb8436","datavalue":{"value":{"amount":"+0.7925877571105957","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":"Q5958619$DDC08C98-228D-47EB-9972-0FAE0AAEE4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b84e7ec6d03c14228d6ecf6a5fcac07ec6fee4","datavalue":{"value":{"entity-type":"item","numeric-id":4246950,"id":"Q4246950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f12790c9923c4571644d0d6b314f0ce24cdef3","datavalue":{"value":{"amount":"+0.78840571641922","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":"Q5958619$9E88D3C0-612D-4F66-B908-8A8A5FC86456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c8c0f5ae247476426e7422638b0d17ca3f5c27","datavalue":{"value":{"entity-type":"item","numeric-id":3365535,"id":"Q3365535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97dbb8a55e7ffd5a734406afa320cc48c98d82fe","datavalue":{"value":{"amount":"+0.7784164547920227","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":"Q5958619$D4B0FC4C-DB10-413F-B815-0BD291CB70F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ca232539b3919fae74a91eac485d7d5c56544e","datavalue":{"value":{"entity-type":"item","numeric-id":3520143,"id":"Q3520143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395ab5050c688c792013ef4b928662114113800a","datavalue":{"value":{"amount":"+0.7639148831367493","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":"Q5958619$3B1C0968-6DF7-4164-B5CF-B38BB4840B37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weak normalization implies strong normalization in a class of non-dependent pure type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Weak_normalization_implies_strong_normalization_in_a_class_of_non-dependent_pure_type_systems"}}}}}