{"entities":{"Q4444936":{"pageid":6474535,"ns":120,"title":"Item:Q4444936","lastrevid":48228700,"modified":"2026-01-04T01:11:23Z","type":"item","id":"Q4444936","labels":{"en":{"language":"en","value":"Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2034302"}},"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":"Q4444936$212A73A1-4489-4654-B81F-39B2A601ED9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ec2709d82b452ec02c21230d62897f0b3e65642","datavalue":{"value":{"text":"Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4444936$5E13D13F-37E1-4B5B-A22F-03E6A4590423","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e14b8d26b1b1695a7d8eaba7e72369b75b5f1ac","datavalue":{"value":"1036.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444936$C8126FF5-62C7-4B25-9A5D-CCCD3129852D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444936$88688593-4A26-459B-B160-407D61BF2603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8be13823e57b532010d417bfefa3b5133f759f9a","datavalue":{"value":{"entity-type":"item","numeric-id":860832,"id":"Q860832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444936$B98F7302-3206-42CD-AF32-24FFC5BE9F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1d281c06522ea4672f51eee5d409d6bff6f4c93","datavalue":{"value":{"time":"+2004-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4444936$E757CD72-F00A-4D0D-8370-BE85F8318410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444936$199411C1-5E49-41A3-A4B1-957E3B763B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444936$4F1A0BD4-95FE-41BF-A629-E71092F0508B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c382b75c9913ea29e7b97f5ce0acd1aa9b7df8","datavalue":{"value":"2034302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444936$BBB5BB68-03C4-48E2-866E-EA1722E35EFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48eea116bddf8a4aa136f21923c9bdf061e63c53","datavalue":{"value":"explicit substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444936$0226A3D8-E442-44B5-8106-D36FF4A2C89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444936$245B428D-5B8B-4ED3-B11F-0FDEDAA88C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444936$A4806878-DF05-45CC-8C14-E6E971BFCEAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ec5cd2571e8b72c5a22f6bb45c4a845148e966","datavalue":{"value":"minimal implicational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444936$7B6738E0-A6E9-453A-8090-19DD4F87ADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444936$74EA1823-5FA6-4ACD-8D33-A76ED0216A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c3f14c3cb736482bdd7f4d2476ffcb463073a79","datavalue":{"value":"beta-reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4444936$EECFD1DC-DABC-4A32-9595-D847F3AB3D44","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":"Q4444936$E17A3B67-7A17-48F0-A8F3-9499F4E86390","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e1348be24206d7e2286582c720c53d2c7193edf","datavalue":{"value":"https://doi.org/10.1093/logcom/13.5.689","type":"string"},"datatype":"url"},"type":"statement","id":"Q4444936$E0251231-704C-4770-9D65-594CC64031F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dda489d4b29ad38b05931c5dabe7d82490b274c","datavalue":{"value":"W2012956948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444936$8E0CB8E3-5A6C-4A20-8C8E-30A05C8960E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a919c06e926d3eb8b1105d12a4df1bf20ff11f","datavalue":{"value":"10.1093/LOGCOM/13.5.689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4444936$58CF2E06-D0B9-44B2-B735-23C300765251","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4444936$3719D362-63BB-4224-875A-26EE7A7702F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5dc303f3b1ad40fbd3260ea7a4c26ee1cdde02","datavalue":{"value":{"entity-type":"item","numeric-id":5308025,"id":"Q5308025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a0ce2b2bf717627df80065ee784cfdc2be7eaeb","datavalue":{"value":{"amount":"+0.9015324115753174","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":"Q4444936$D1425FCA-102A-409A-A104-0E803539C0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a6d36976734bf2348405ecaa1b84400b5fc70e","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"231c9e0f14edbddf1d6b9a07a173d1e45cae36c8","datavalue":{"value":{"amount":"+0.811374306678772","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":"Q4444936$962D670C-115E-438C-A252-49A0E3CA89D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4c4c3ab305f205539d668894a76d0bf674315c","datavalue":{"value":{"entity-type":"item","numeric-id":5432345,"id":"Q5432345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a251e2a8b4f5421af8af92788a84d1ef67058573","datavalue":{"value":{"amount":"+0.809715747833252","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":"Q4444936$BCA7EE52-6705-458D-A608-5ED6861029F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf79f791779c1b8c473f77e04b648512815491a","datavalue":{"value":{"amount":"+0.8070866465568542","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":"Q4444936$91C8C56A-84DF-4B1E-B02F-D698E2A6C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837a0801ed66388af16600543a0e21a577751d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3612626,"id":"Q3612626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf79f791779c1b8c473f77e04b648512815491a","datavalue":{"value":{"amount":"+0.8070866465568542","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":"Q4444936$DABA3FDB-7560-455A-A8D6-47ECEEFD067D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4444936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4444936"}}}}}