{"entities":{"Q5435199":{"pageid":7464763,"ns":120,"title":"Item:Q5435199","lastrevid":100955261,"modified":"2026-06-05T23:32:22Z","type":"item","id":"Q5435199","labels":{"en":{"language":"en","value":"The Weak Normalization of the Simply Typed \u00a0se-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5225753"}},"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":"Q5435199$934B13E4-0E66-45A0-8553-B653AFE70B95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01716cf3a98f2a53ae49fd32f84b6e64944dea02","datavalue":{"value":{"text":"The Weak Normalization of the Simply Typed \u00a0se-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5435199$29DFFB50-A98A-40B0-B38E-21E48D1E3445","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34de59055cade4ee1412295b785fb87c55ec5a52","datavalue":{"value":"1128.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435199$E2AF3A7B-AD3E-44B6-9A38-50980097B559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74ddffb839e67fcf9cf810df1c9f370a382a84","datavalue":{"value":{"entity-type":"item","numeric-id":3527293,"id":"Q3527293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435199$B95092DC-6ABD-45FD-A3CA-FF26513B8F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435199$BC420817-6517-4736-90FF-9D6E783678F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdb3ae3415ba415c06f89f01c89d6517b82a8176","datavalue":{"value":{"entity-type":"item","numeric-id":683743,"id":"Q683743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435199$84DA3634-86EF-4ED1-9591-F40B062DF242","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3937c056377dc144ca887b57f8c994e8e946f87","datavalue":{"value":{"time":"+2008-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5435199$8888308A-ADC6-4396-A709-691B86BACD28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435199$B7AFEE79-6A06-40D2-9A83-E02EC6D3E341","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7d2d4d71cfb746bea1a946092439c43dcd14477","datavalue":{"value":"5225753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435199$F253CD21-0AFB-4FC0-A76A-34A953A26F75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435199$F3ECB288-64F4-46DD-9950-23FCA4BE4440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435199$1191B232-8922-4449-BBBD-41900310B0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d52fedc06b05496f4c6f09890ca4e7c626a7a377","datavalue":{"value":"weak normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435199$6F7020AD-6FA6-4D83-8FA2-4E8A4DC3FAE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f991c24926aa2f5d2921418c3f85088e5f2719","datavalue":{"value":"simple typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5435199$884D3E02-C7F9-40D5-ADE9-26B620AB1B0D","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":"Q5435199$77505F1B-9D58-4A13-88CB-8FA6CBE6D9D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a58e05e1c8919cf2844940f7e0ee4b9de6ac3cc","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzm003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5435199$264300EB-1DE3-45AF-B5B4-5282E915149D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4e411425dce71501a001c88e13fcdc90f44fa38","datavalue":{"value":"W1970752973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435199$8BB24066-E34E-45AD-BA71-311B437D1DDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79edd0dbec743ed48b63b8eb1658cfcad862b246","datavalue":{"value":"10.1093/JIGPAL/JZM003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5435199$BE550E43-CCAF-41F8-B612-E112D1E78A8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5435199$2BC4745A-BF50-4E7E-A697-7196D6A73E8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f1896d4af55a7de22770ce3e8705c9fb7bff57","datavalue":{"value":{"entity-type":"item","numeric-id":5292634,"id":"Q5292634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5dcd2a4448d1988ea78241755bc0a56c134bad","datavalue":{"value":{"amount":"+0.8151081800460815","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":"Q5435199$69F807C4-9956-489E-B596-3AAA61ABB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3eb91743ec83b041c7d0d037348ca1aee38dc0","datavalue":{"value":{"entity-type":"item","numeric-id":4246947,"id":"Q4246947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e5ca3c7acaec9891eee263bd17e8fe8b2ae2ab","datavalue":{"value":{"amount":"+0.8052449226379395","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":"Q5435199$9C6C5A0D-E961-46E9-A9DF-863D578D46C3","rank":"normal"},{"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":"185df9a171101c14a3ba663ab2cb35d3d27c0651","datavalue":{"value":{"amount":"+0.8049548268318176","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":"Q5435199$1154C470-C687-46BB-83B0-F59335F35618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae33ec0cec722ae39db812bfd7fd70874e418f99","datavalue":{"value":{"entity-type":"item","numeric-id":2713357,"id":"Q2713357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa7a86d316cb3e1b51ea5b9468854bb1ecfa8bb","datavalue":{"value":{"amount":"+0.7976977825164795","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":"Q5435199$3A80217F-4DE1-47E8-8CD9-2A38C981DDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a1e95e103b48b2ec9f98a8e4b8a2be4e2bde0b","datavalue":{"value":{"entity-type":"item","numeric-id":3599163,"id":"Q3599163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5407843a6166434a046c5f567878dc4bea55bb64","datavalue":{"value":{"amount":"+0.7735863327980042","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":"Q5435199$C26DFFB0-A920-46D9-9877-9574555FF189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Weak Normalization of the Simply Typed se-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Weak_Normalization_of_the_Simply_Typed_se-calculus"}}}}}