{"entities":{"Q613611":{"pageid":615387,"ns":120,"title":"Item:Q613611","lastrevid":63180789,"modified":"2026-04-11T11:08:33Z","type":"item","id":"Q613611","labels":{"en":{"language":"en","value":"A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5828762"}},"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":"Q613611$B2D7B7D9-BE59-4725-BB26-F22F3BF967B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"238ff2759fd348c7caaa5c81b8a43ec14cfa040c","datavalue":{"value":{"text":"A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q613611$2B70C51E-AD8A-4B15-A8EA-655F253F07CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5422fab22fadcaf720b027e28d32a17324b67a83","datavalue":{"value":"1211.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$09CBB0D9-F1FF-4520-8D28-0C603791ECE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"188c17f21ff495d79adb70c420783da1a2b043f1","datavalue":{"value":{"entity-type":"item","numeric-id":613610,"id":"Q613610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$D6DEF1FD-E2D0-4E78-9545-7C1873C55EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e9d6aca34018820a8270a63a5c8a8d5a7e983c","datavalue":{"value":{"entity-type":"item","numeric-id":287152,"id":"Q287152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$B5CDDC2C-91CF-4F73-8742-52DD06247864","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$613DCA39-549F-48F6-9F6C-60851CF78613","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3bd384cebf910dce967ea6a6fc5a78b4871b9806","datavalue":{"value":{"time":"+2010-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q613611$50E3E66F-979B-409C-9239-9DD50F0A60E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$6F3BB7DD-9576-459C-A099-2FE0C0430EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$E700A325-24C2-41BA-98D1-A9AEE66C5955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79c9a014785e41c94f76c463174af5cf2a59ec70","datavalue":{"value":"03D40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$86132EF4-2CEA-42F7-8C50-AFD6CDCCA745","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51ffb87744612383a4a44d28eb689fb90ea9c4bc","datavalue":{"value":"5828762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$33C86680-AC80-46E2-970E-A0F4731D0CEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a223a0ab5013fdb11c009715195fec61d7b496","datavalue":{"value":"term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q613611$CFD271A8-3783-4E6E-AC98-1C6C00BAEC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02017edd6cc2f0c06b676fc97c3eb940c111d00f","datavalue":{"value":"uniqueness of normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q613611$8B13D3FF-1BA1-459F-B74D-FA91DD9A59E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a124e605aa05de952d7174c523ab147ed46c127","datavalue":{"value":"basic properties of rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q613611$0D9984AE-92AB-4EF2-9AFB-26A656BB6955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3bce1d3e29de6de4a49c3b3f9110d666fb5d48a","datavalue":{"value":"linear shallow rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q613611$FDFD9A70-1ED1-41AE-82FF-0EE4A1A67C53","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":"Q613611$C1EF17E0-6107-446B-878F-A4DA5E0277F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"107694906bc4457603f9a585565021d8ee8d7af6","datavalue":{"value":"https://doi.org/10.1007/s00200-010-0133-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q613611$4B7882B2-15B9-440F-9496-E8DA1C602D3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8846b54bd6c1cc163baa719c9f5d3f284be55504","datavalue":{"value":"W2006460851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$3A3916E8-1566-4E9B-B4E9-1055A47CF124","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aafa274090033c9667da1bfa37ac7e3b2b2f08c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854333,"id":"Q1854333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$BBEF8B9A-07CA-47A5-AEDF-0571BBBD2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c67535483dcc3cca8bcfc055f3ba5dea5cdf2db","datavalue":{"value":{"entity-type":"item","numeric-id":3636819,"id":"Q3636819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$EB94B5FE-95FC-4260-B459-C0CFF60E9DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8a4365446b80c9d7bd007e0d395427d9546477","datavalue":{"value":{"entity-type":"item","numeric-id":5394612,"id":"Q5394612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$E5D73346-4925-46ED-B2A7-8A39B5E3AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f41db772863009d8e137b7de3f2141fbf89f2f","datavalue":{"value":{"entity-type":"item","numeric-id":1886319,"id":"Q1886319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$99DDEDCC-A51C-41DC-B1EB-2A4236363607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e64e058c77c68876e6e64015cfc0c88d8aac522","datavalue":{"value":{"entity-type":"item","numeric-id":1281494,"id":"Q1281494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$B489F7E5-DA29-4AFA-9A60-142AD429AE2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be0197ab64074ad868c22415bf6366ee7f517cd6","datavalue":{"value":{"entity-type":"item","numeric-id":3635996,"id":"Q3635996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$3384526A-BEF5-43E3-8000-41F68E2C945A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c628921a243b7adae9f2b6acaa6d3b1b9fd505","datavalue":{"value":{"entity-type":"item","numeric-id":2730723,"id":"Q2730723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q613611$1C0DBD29-7801-4FCE-A9ED-889505586B1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d094f1616fe0827b7ba3239d092ec96e657e761","datavalue":{"value":"10.1007/S00200-010-0133-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q613611$95761CC7-E623-42D9-8EC5-AD879CCC0680","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923e12bc70588a25bfc6556ad4cb38bc2aceb860","datavalue":{"value":{"entity-type":"item","numeric-id":5278216,"id":"Q5278216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aaca8148c053a9d02e7682db6a2695a04c7a1e0","datavalue":{"value":{"amount":"+0.9153801202774048","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":"Q613611$4F734AFB-C07F-4BC1-B639-6D4D726F4745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5700eaf5e9b3ef0730a3cff0a69a1d39ab6f587","datavalue":{"value":{"entity-type":"item","numeric-id":2908858,"id":"Q2908858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdde63b6c171256b0b18b438f1ab99430f103dfa","datavalue":{"value":{"amount":"+0.9041094183921814","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":"Q613611$BD010714-48DA-4D33-8844-0A7C3F56E420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68b191259e00cd0e07e2057441f0cab2918f7f2","datavalue":{"value":{"entity-type":"item","numeric-id":3635996,"id":"Q3635996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d3128f59bb6f6a068f3cfe1bd871571a972d9d","datavalue":{"value":{"amount":"+0.8512647151947021","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":"Q613611$7339DC49-8F30-4C72-B05E-91399E4FF7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86a1540b83207b1480e4aa230c68a89504717843","datavalue":{"value":{"entity-type":"item","numeric-id":3636819,"id":"Q3636819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9867253650156ee4d32d1b5f9c7a877aabe32570","datavalue":{"value":{"amount":"+0.8472177386283875","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":"Q613611$EEFD39D5-8B19-4427-94C6-9D4D0683156E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d0a9bd5c419ca94dfc8bf6669273243f08319","datavalue":{"value":{"entity-type":"item","numeric-id":4418639,"id":"Q4418639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f47a5054e53897c5a9543ca7c0d2948c22637d9","datavalue":{"value":{"amount":"+0.8467148542404175","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":"Q613611$8B03EA04-F2F4-42A8-9EA9-08E97BB7BE01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_polynomial_algorithm_for_uniqueness_of_normal_forms_of_linear_shallow_term_rewrite_systems"}}}}}