{"entities":{"Q5941196":{"pageid":8117998,"ns":120,"title":"Item:Q5941196","lastrevid":47658559,"modified":"2026-01-02T08:54:00Z","type":"item","id":"Q5941196","labels":{"en":{"language":"en","value":"Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635361"}},"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":"Q5941196$AB5B2763-5A08-40D9-A104-3B953797B016","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe07df02df7913563a13357869c46a237d99f71b","datavalue":{"value":{"text":"Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941196$6DDA67EB-35FE-43CE-B152-846CF9745F32","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f32bc47520dbd49f1ac94afa99d9940a5a562d7","datavalue":{"value":"0974.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941196$32780CFC-3F93-4E30-9657-A6A396E1CD42","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7c67b3005bfcac5fe442d679fd0f67e1d00e16","datavalue":{"value":"10.1016/S0304-3975(99)00340-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941196$2F15B81B-C203-4104-9FFC-E448B64B6F91","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":"Q5941196$0D95467B-17CF-4DC8-A7E0-431221329C68","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":"Q5941196$97ED5B42-AC86-4CCF-893A-E1A6125761ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941196$331CC652-9B7E-4DBC-B765-D91FC17E43D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a555d0106cf13a6468eed7856e66cce1dd8ce7da","datavalue":{"value":"1635361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941196$74B88CD5-B604-4101-A022-B179457336DA","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":"Q5941196$73CB3624-294E-46A9-8BB7-97D42DE5CC4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03dacafad2ff19ded175ac7d62381d002687606","datavalue":{"value":{"entity-type":"item","numeric-id":1111368,"id":"Q1111368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$64926360-4E77-4456-A260-17C630823CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d5f6065d4b2ed03da17fc0ec89b6e65d3a8aea8","datavalue":{"value":{"entity-type":"item","numeric-id":1271472,"id":"Q1271472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$B1F40B66-F250-490A-B42C-683CD2D61575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be24cdd22233f88b1b261cc3254ad41ccbe6a5db","datavalue":{"value":{"entity-type":"item","numeric-id":1080843,"id":"Q1080843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$F49C6A0B-248F-4039-88D6-2977C0C1C6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$CAC2409C-55A6-434B-8AA7-EFC49ADD4573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c241a8a1750d4b4844aafc8ec6625f74feefa8aa","datavalue":{"value":{"entity-type":"item","numeric-id":4764268,"id":"Q4764268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$54D1C282-193D-4127-8A1B-2CC7E188A2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f70a696ea39022866171c805427d256d46ee4010","datavalue":{"value":{"entity-type":"item","numeric-id":5055847,"id":"Q5055847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$DF7B0C71-763B-40E0-80ED-EED2FF14BA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$C6254997-1982-41A9-943B-79C9BA1B7621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94cde08289d0325ea23b0bf94fe85c41160ad2c0","datavalue":{"value":{"entity-type":"item","numeric-id":4362915,"id":"Q4362915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$0C1089F8-9BD4-4D0E-885E-2E7925337469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599c5dbf52817fbbe5f2f15e33a96dc6ac97514e","datavalue":{"value":{"entity-type":"item","numeric-id":3908463,"id":"Q3908463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$43796535-DDDC-4494-9BE8-2090FBE457E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$33624A74-EC79-48B5-8395-460442F19A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb04a3e1f7c2b128c194cbd9b09444095a7d8839","datavalue":{"value":{"entity-type":"item","numeric-id":4023825,"id":"Q4023825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$412AC42A-BD06-419D-9AD9-7F7E00D80844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c955b55aa93e4322e27fdf7cf9c017b56661300b","datavalue":{"value":{"entity-type":"item","numeric-id":1117204,"id":"Q1117204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$CBE1FB66-2DF1-4388-AC9C-A5FA93E34808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9f2478869eb7be9cdcfbb79659d6db0952b660","datavalue":{"value":{"entity-type":"item","numeric-id":2956727,"id":"Q2956727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$A28575EA-5CB1-41E1-9C0D-760E6BD49A93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144f306ec5e867edccefcca610b1f81f2f000bbf","datavalue":{"value":{"entity-type":"item","numeric-id":4246736,"id":"Q4246736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$0202A35D-4320-4D24-9ACF-583D0E54D9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de387b474a5e7630b2d32a58f2ca9248ae0f8e21","datavalue":{"value":{"entity-type":"item","numeric-id":1322164,"id":"Q1322164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$12DBEECC-6F0D-4DBD-BE8A-B76D045CBE09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4935ad48e4266d08c483ec2131b1e0a201050d","datavalue":{"value":{"entity-type":"item","numeric-id":1392147,"id":"Q1392147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$3D39BF57-A780-42B7-A018-FDE74971CC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ef229f46b1a67fbc06f4fb8e5f730e9c4cf9ef","datavalue":{"value":{"entity-type":"item","numeric-id":4594227,"id":"Q4594227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$82E681B7-49E1-45CD-BD64-F2F1BAE539D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$5BAEF057-C0C1-4AC7-9050-938D3DEF7B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00912eec06d4f9baae512236a9b80f68a52ee40b","datavalue":{"value":{"entity-type":"item","numeric-id":3830525,"id":"Q3830525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$5A4D2B92-1901-4482-8EC4-FB4A4C1FE5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130aa93c622f03ef50a7d5b09fe05904ae116d29","datavalue":{"value":{"entity-type":"item","numeric-id":4937190,"id":"Q4937190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$D699AC1D-26C6-42FF-9EF6-4834498804DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384054e16a573e5a9076baf4f5d04d29ddd5473a","datavalue":{"value":{"entity-type":"item","numeric-id":5055958,"id":"Q5055958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$D888A5F7-7C48-49A5-8301-2ABE574AEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49e15321bcad6018106602b17bbf0b694e2917fd","datavalue":{"value":{"entity-type":"item","numeric-id":3202990,"id":"Q3202990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$7B6E2E86-CCD6-4874-90AA-77F9EBB73F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77e471e3c794721486f6dc1579a75ffdd9226730","datavalue":{"value":{"entity-type":"item","numeric-id":698633,"id":"Q698633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$78BC9B80-3A09-473F-A328-81B48F1A9CE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06fc58f7a9efe46efebda9952929557c81a4f50a","datavalue":{"value":{"entity-type":"item","numeric-id":3919526,"id":"Q3919526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$C80689F7-051C-4811-810B-A474D0832A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9b5289e417b10306ddaa95560121933f5c362ec","datavalue":{"value":{"entity-type":"item","numeric-id":402945,"id":"Q402945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941196$445AEBA5-E681-45C4-A5E0-C09BA2CBD816","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d3f346ff24865800c541e72c015fff8e5c7c965","datavalue":{"value":{"entity-type":"item","numeric-id":4246736,"id":"Q4246736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4715e534c23ac00df33b9b688b0c8788a4bad4a5","datavalue":{"value":{"amount":"+0.8725571036338806","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":"Q5941196$96BDD507-EBE1-4E91-A979-5D0343C73152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0972e4d2b6fd3df14971f7798cf335a5208d5a9b","datavalue":{"value":{"entity-type":"item","numeric-id":2956727,"id":"Q2956727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d024926959a008a2ed30158ce934e9f8b456cb24","datavalue":{"value":{"amount":"+0.7812703847885132","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":"Q5941196$62351C26-12EE-4A50-BB59-3AA59585117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a014314b21efa0a95c8a2a62bd509afb2d1ab4b","datavalue":{"value":{"entity-type":"item","numeric-id":5055726,"id":"Q5055726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bf10fea825b960a8ecce9d9067569d053f820b4","datavalue":{"value":{"amount":"+0.7686408758163452","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":"Q5941196$F9BF983B-857C-4C7C-93F0-228E0DE266D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87bae5dbc9fcacdfce183694abcdf22459182f2e","datavalue":{"value":{"entity-type":"item","numeric-id":674762,"id":"Q674762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323deb41e798b9e3bf12955139855bbec272f6ac","datavalue":{"value":{"amount":"+0.7519722580909729","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":"Q5941196$0E204534-7CA3-4189-90D7-81D0137A81CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6962096bc57f93a7c65a0038d85b976a3a3530","datavalue":{"value":{"entity-type":"item","numeric-id":2180238,"id":"Q2180238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc807a38822ca7f086c7e004cd99f8dfbdf1aab9","datavalue":{"value":{"amount":"+0.7415843605995178","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":"Q5941196$353F93D6-42E5-442F-8D94-591A97C418D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941196","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941196"}}}}}