{"entities":{"Q2129992":{"pageid":2140735,"ns":120,"title":"Item:Q2129992","lastrevid":82532720,"modified":"2026-05-06T21:07:40Z","type":"item","id":"Q2129992","labels":{"en":{"language":"en","value":"Normalization proofs for the un-typed \\(\\mu\\mu^\\prime\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7513072"}},"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":"Q2129992$C698190E-678A-4A41-898E-D913181F7896","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc1eda470d18eba8ebed788b3989371456912817","datavalue":{"value":{"text":"Normalization proofs for the un-typed \\(\\mu\\mu^\\prime\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2129992$562CC884-5E98-4F8D-BA38-1D4D9D6BD8C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"33772c0b96b827d10fe496c9c9539428bfe2241e","datavalue":{"value":"1484.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2129992$C66DEC10-8989-420D-A6F7-9AA5B9B10319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf453dfb45cbee325db213f09dd10d6d9e8f531","datavalue":{"value":{"entity-type":"item","numeric-id":1982989,"id":"Q1982989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$68809C6F-EDDA-4776-92BE-43735EB93422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$1AB82716-5E42-4B39-96B2-2833BA031EE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0406657958cd2a121305f66f5cd5fb21415e1239","datavalue":{"value":{"entity-type":"item","numeric-id":66306,"id":"Q66306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$D128866A-5317-420E-BE46-FCA5C4C5786B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90c0720e1a62b0a0cc9fb728fce3a94226dbe7a2","datavalue":{"value":{"time":"+2022-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2129992$D9F4120C-B725-461B-9F23-1DA8AC3CA575","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2129992$D9F446F2-9D2F-435B-B096-678D7305C8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2129992$2B70880F-326A-4368-98BB-2C19AC2A3477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4749291d29841b7f9773401d2eda43efc5e541b2","datavalue":{"value":"7513072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2129992$E59242B0-282D-41F7-823E-F5BED7C1A681","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9070650248892f99e4132bfd1d0fef05fd7f6d2e","datavalue":{"value":"\\(\\lambda\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2129992$AD3D2904-5287-4FA1-A60E-F1B9ACC72894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d749aa073a468462cb95daa50d7d9208accffd84","datavalue":{"value":"\\(\\mu\\mu^\\prime\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2129992$F30E33EA-DE75-415D-8FC2-AFB11E4F7AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2129992$B0E4B45E-BEDF-402E-9BFA-774F425433AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2129992$FF64975D-4107-45CF-8122-52D06C7315AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"680ea4c5f9237e62fb745fde91dd7ae104ee1564","datavalue":{"value":"normalization algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2129992$5089B298-6B2E-421E-9E7E-41D9291FB8B0","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":"Q2129992$0791AE3C-BD1A-48CD-989C-41181BB70086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"226558d433f79082ee5c7ddd1dc51883947d0585","datavalue":{"value":"https://doi.org/10.3934/math.2020239","type":"string"},"datatype":"url"},"type":"statement","id":"Q2129992$159D12FC-E669-48A1-AE65-01BEA143C08C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"018cb9e4b26d2ba93ea4a8405d54c55ae661e373","datavalue":{"value":"W3017151673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2129992$AAC8DC50-F6C9-47EC-AD0B-022B28C2C264","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf181b45619b20c6b760b7164002a5460678265","datavalue":{"value":{"entity-type":"item","numeric-id":678254,"id":"Q678254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$9C0789F4-2B12-4BD5-B8E3-E78B4C96687A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164e164be4d75ec979fdc954e7e437e9cf684e41","datavalue":{"value":{"entity-type":"item","numeric-id":4236202,"id":"Q4236202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$15210EC9-54D6-4B56-BFA6-51524E3A166F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c088dd7c5f4a8b4882ab0df2edfb3b190baae6c5","datavalue":{"value":{"entity-type":"item","numeric-id":428894,"id":"Q428894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$EA208079-39E8-4D8B-BC85-FABAF9D7A8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870a1e43dce10080e28b1e1ff59ebbd33d5f383b","datavalue":{"value":{"entity-type":"item","numeric-id":3593501,"id":"Q3593501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$795B36D3-46E3-4F9E-8E8C-A5FF13A007BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8094f0d6bff28e6e88ddfe7771c3df5d0209a156","datavalue":{"value":"10.3934/MATH.2020239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2129992$968D4C38-89AB-4934-8AEC-8E07FC269BC8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d41218928b8e812851ddfaaa5e2bdc5d7db555a0","datavalue":{"value":{"entity-type":"item","numeric-id":5704007,"id":"Q5704007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480f93f810edbd5ec35bb6e9baeb8df10dcd219c","datavalue":{"value":{"amount":"+0.8431182503700256","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":"Q2129992$D9BC1C19-7E29-4091-8D5A-D923C49A8FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffcf8d9f38390e860597c391b0a34415c705810d","datavalue":{"value":{"entity-type":"item","numeric-id":5714454,"id":"Q5714454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8993d2a6a8fe98451cb7f7c26c0633a78fe00c23","datavalue":{"value":{"amount":"+0.8022050261497498","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":"Q2129992$245ECE83-5A18-4329-94B7-AD7700F4BCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a59cc9f998e01330f563136f238af0aa7062f","datavalue":{"value":{"entity-type":"item","numeric-id":5308466,"id":"Q5308466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449a53d9845f95df9bc0198de6ce575f92d20171","datavalue":{"value":{"amount":"+0.7996505498886108","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":"Q2129992$49F5EC95-6255-4D9C-A28F-E844CB6C319A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e62011c702ac3a7d2d164da01b062eb3f729fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1881230,"id":"Q1881230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f285fba037863bb656d6ee833609550271d32208","datavalue":{"value":{"amount":"+0.7981438636779785","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":"Q2129992$6DBB98A8-6323-4CB8-9039-7377340DFD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311129986e338c879f28527b6a269f8381609c7","datavalue":{"value":{"entity-type":"item","numeric-id":5367073,"id":"Q5367073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57e85aae087ed4aa95a3b8152074fd295628b78","datavalue":{"value":{"amount":"+0.7944850325584412","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":"Q2129992$1B371C65-0286-40D8-86AD-BABAF5B6DA39","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2129992$73889296-65A5-4A9B-BF6A-828FC3CC8F3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normalization proofs for the un-typed \\(\\mu\\mu^\\prime\\)-calculus","badges":[]}}}}}