{"entities":{"Q5419491":{"pageid":7449065,"ns":120,"title":"Item:Q5419491","lastrevid":96171020,"modified":"2026-06-05T10:35:26Z","type":"item","id":"Q5419491","labels":{"en":{"language":"en","value":"Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302294"}},"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":"Q5419491$26D662F3-D58E-4B14-A249-B8401D89F137","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4796ecc57d93b3a470a0ac7d5b48541d2090e7c","datavalue":{"value":{"text":"Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5419491$224AAE5E-EFC5-41E2-9C7D-3713E6A082FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"264a9b71d7696b5817bba8b8f6aac2479d01d6b7","datavalue":{"value":"1290.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$F20500B3-BD5F-4DFF-9C8B-39BE1D23549D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4d6208737c6fc341b3e81f2bcff089678df8a17b","datavalue":{"value":"10.2168/LMCS-10(2:7)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$7B3DC627-0B8E-4991-9822-9CC3DD15A5D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fca1c19bbfb0afe27e2894d7aa8bc5bfdf949d86","datavalue":{"value":{"entity-type":"item","numeric-id":549183,"id":"Q549183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419491$C5749E94-1DE8-4621-9B1B-211BF8372108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"226f031fbae3e27660d7d9a4703c5ba4b6d13509","datavalue":{"value":{"entity-type":"item","numeric-id":409314,"id":"Q409314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419491$12D26FFC-B809-4EBD-93C9-60E14D947E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca9aba1d27cc0a527c5e55e40b675c206cdc1e1","datavalue":{"value":{"entity-type":"item","numeric-id":549187,"id":"Q549187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419491$8C98966C-61F2-4E76-B76D-3305D5D7B847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419491$003E6B7C-9FB9-4CB8-839E-E7F83F9A59EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcfcb916fba8752861956ae08fe432761393974","datavalue":{"value":{"entity-type":"item","numeric-id":549185,"id":"Q549185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419491$81E8BB89-129F-46D3-AC0D-A2266A5689EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5419491$D21A40C4-36F4-47F5-BCF8-7DBFE9D5FDC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5419491$834F2B38-4A29-484D-A38C-3A915A699274","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f837cb15cff3546cc9fac5c694ff1994a285fe9b","datavalue":{"value":"https://arxiv.org/abs/1403.6172","type":"string"},"datatype":"url"},"type":"statement","id":"Q5419491$1D8A7261-29A2-40CD-879D-C71089D4B869","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$91D38677-7DEB-4497-AD7D-76DB2BED79F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$216B7F0A-0E20-458B-B36D-DB9D6AE5A836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82ca45df6a716d4e5644e7f6ee05e2df08998285","datavalue":{"value":"6302294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$12D1D285-212E-45D2-87D7-D367E7530F26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0ab68bbe950d24490a596190a3aae43ffa75e11","datavalue":{"value":"weakly orthogonal term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419491$8EDBC26B-C895-48A6-BE8C-5D8E683FFF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"798c6f888099dcfb41bf71ba4652651614245218","datavalue":{"value":"unique normal form property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419491$83605B97-A6E0-4796-A5E0-1AE170490C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419491$D1F62483-C26B-4C93-9397-CBD4200981C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"384136d77d7bd0081bba1dd16b1eb9310bb57fad","datavalue":{"value":"infinitary \\(\\lambda \\beta \\eta \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419491$EFBCDE45-5617-4F08-8061-861B2DAA3514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"866c6b4e69619a5e7d01ccdd0dcdc58c62f8792b","datavalue":{"value":"collapsing rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419491$2DCEAA5E-D418-4F04-A7DB-190656BE6FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0689636970fe276566077df81b2ed1459b99bda2","datavalue":{"value":"compression lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5419491$84218B23-0AC9-4A59-8E6E-430736EF3072","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":"Q5419491$7D9BAD50-BA70-4201-B35E-472D6B5DC48F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2c80f2341d60c25b77f3de3f344bf0d4785e15a4","datavalue":{"value":"Q124985257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$2FA54234-453C-4A14-8CB2-041360AA5DF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72c63af10a18a0cb6eb65676a17ddf7995bbe09b","datavalue":{"value":"W3099103652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5419491$90AB03A5-E146-4A38-AA94-573245794E83","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"724e38d90db6e49b0184e8f5f1ca682c40c8133c","datavalue":{"value":{"entity-type":"item","numeric-id":5389137,"id":"Q5389137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33f49400ee314dd12cb4915da333d4f8a34dcf52","datavalue":{"value":{"amount":"+0.9611392617225648","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":"Q5419491$E44F4C83-1D13-4F8C-8D22-4450F8785E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38b3a0b5cd885b6a4663a0877fb8cbc03331e9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5389152,"id":"Q5389152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edbee34f95e24e3fdc18d4d0bd6a8f71a79720d2","datavalue":{"value":{"amount":"+0.8786868453025818","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":"Q5419491$B875CCA9-D16D-43E6-8C80-025DD3DE7EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e20680439dab42b72b681f0d4d36aff89c54e32b","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35d63f94c8b678fbfd05b9c738fc1453a51002b2","datavalue":{"value":{"amount":"+0.8552711009979248","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":"Q5419491$F4CD21B2-44AF-4F1E-B256-3F94269BB515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"777205e3450a7c752c62eca1070d8e6f2537be67","datavalue":{"value":{"entity-type":"item","numeric-id":1944100,"id":"Q1944100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd68388c07a7adc0ea8c36cdfbf348338dedf07d","datavalue":{"value":{"amount":"+0.8392372131347656","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":"Q5419491$6C13D5EB-8157-48E5-9059-42DFEDAF9B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee5e525522eb077869dc94b2f4c2f6b4920d496","datavalue":{"value":{"entity-type":"item","numeric-id":5055744,"id":"Q5055744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4938f714f2058afde5c63427e55196b4ce1f028e","datavalue":{"value":{"amount":"+0.8369718194007874","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":"Q5419491$6332DE46-A247-4936-9A8D-2F63D1C02C06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples","badges":[]}}}}}