{"entities":{"Q5940936":{"pageid":8117738,"ns":120,"title":"Item:Q5940936","lastrevid":97644227,"modified":"2026-06-05T15:09:33Z","type":"item","id":"Q5940936","labels":{"en":{"language":"en","value":"How to normalize the Jay"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635087"}},"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":"Q5940936$AA7BC279-E954-40CC-929B-EEEEE63B8B0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df447c64afaf99717bff7cca97f15ddd6aec83ef","datavalue":{"value":{"text":"How to normalize the Jay","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5940936$15885642-0319-4903-82CD-1CBB41C8D076","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59453afd6bb3fb42a47a7a4e17a39824fb693294","datavalue":{"value":"0974.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940936$9018C634-D133-4AE5-A6EC-5FBD169CB5E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3f2a7efc80dc2b347069666938c61624bf90542","datavalue":{"value":"10.1016/S0304-3975(00)00379-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940936$D049857D-451D-4467-9913-95D8F0B00AA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb5dc66af871dcd8cf540cc4c3f638b93272e39b","datavalue":{"value":{"entity-type":"item","numeric-id":619319,"id":"Q619319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940936$F37BB50D-4E61-469C-A759-C0B31DFB3661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940936$8B2E5C52-0FD6-4859-B764-1E9ED184C83C","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":"Q5940936$185FFEAF-6CC5-42D3-BC92-D19053052A26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5940936$7A3AB144-8119-4D03-BDD0-4B5E02D1366D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"92017938993581f204fdedecf3b9a04e8074e326","datavalue":{"value":"In this note we give an elementary proof of the strong normalization property of the J combinator by providing an explicit bound for the maximal length of the reduction paths of a term. This result shows clearly that in the theorem of Toyama, Klop and Barendregt on completeness of unions of left-linear term rewriting systems, disjointness is essential.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940936$442D9CB9-2399-4EB3-9FED-D59737035A6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940936$ACE169FC-F39C-4D82-AADC-92B057F53897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"060e6f2788f8a3e060cee7e11bb7c3352d17f8dc","datavalue":{"value":"1635087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5940936$A0EDE520-CF65-4748-97D9-64904F5B6C9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f20b94fdbe18dfd6d46086a7f2203c1fd2c14cda","datavalue":{"value":"Term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940936$295BAA75-0A71-4FBE-8654-C11556682025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46702c6954cd4327c8ecee41c7fc6cb0048d3911","datavalue":{"value":"Combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940936$6055670C-4F3B-4B88-A94C-2CB7961D3C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3331c0a132bfd37d6f9e57f6e98852b395ff88b7","datavalue":{"value":"Strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5940936$9126430C-266A-4FFE-8730-1BC94434AF06","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":"Q5940936$A08F4A8C-3968-4553-B09C-51AE685C0A96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940936$CE5D08A7-4CAA-4997-9503-1350C0E94CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d2fccc73100233403bdb6ac7b320f6aabe5e89","datavalue":{"value":{"entity-type":"item","numeric-id":1840346,"id":"Q1840346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940936$69C9F372-F637-4881-9343-18A6691E40FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc336279bc6b903ae5d2dab95cf7cb212cfd164a","datavalue":{"value":{"entity-type":"item","numeric-id":4369898,"id":"Q4369898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5940936$C2EFD803-4EF3-4332-AE75-2AFC6BC023B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4741c4be621d9cb1dc206c96fc8a184aeda78935","datavalue":{"value":{"entity-type":"item","numeric-id":732008,"id":"Q732008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb4d20ee561a3048fe16f7ab4782d8a2dd2f603","datavalue":{"value":{"amount":"+0.7293974161148071","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":"Q5940936$EA7C5DEC-063D-4748-926C-925976630D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19282f64a73882f55808acf867808a33c8e8f8cd","datavalue":{"value":{"entity-type":"item","numeric-id":1854346,"id":"Q1854346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8961e932256a6fc04754eefd6469c05b7b788641","datavalue":{"value":{"amount":"+0.7197266817092896","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":"Q5940936$F4A889DC-EB1F-44B5-94FE-C0A6819D0226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024b93cbb3d0b66b9df981be4b3b3ab99ff353a","datavalue":{"value":{"entity-type":"item","numeric-id":3522017,"id":"Q3522017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f862d64a981c3d322d23aad7ab73375eb98dfe","datavalue":{"value":{"amount":"+0.7181856036186218","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":"Q5940936$7F141817-10C5-48E2-918B-E6E1C3FE463D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7ac57d23a992d88a8dfc8139388242c56f90a5","datavalue":{"value":{"entity-type":"item","numeric-id":1903133,"id":"Q1903133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6e2f0df528616a8d210bb60471bea3546fb4209","datavalue":{"value":{"amount":"+0.7136664390563965","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":"Q5940936$EB23F6C6-3F15-4B4D-8AAF-62CC6591DFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65363fc027e75cbe79eb5e6ba810400f6824c726","datavalue":{"value":{"entity-type":"item","numeric-id":3783265,"id":"Q3783265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"044054557269f7768a84f11fd8de1d0de0c441a6","datavalue":{"value":{"amount":"+0.7136563062667847","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":"Q5940936$718AFE9E-7854-419D-BED3-AEF192A5CA28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to normalize the Jay","badges":[]}}}}}