{"entities":{"Q2908858":{"pageid":2919583,"ns":120,"title":"Item:Q2908858","lastrevid":79544423,"modified":"2026-05-06T14:09:58Z","type":"item","id":"Q2908858","labels":{"en":{"language":"en","value":"Uniqueness of normal forms is decidable for shallow term rewrite systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6073539"}},"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":"Q2908858$9E7B89CF-4F6A-48D3-A46F-F518909588EB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59fa617e7be8d87a9a62ddf2ce64030450171f59","datavalue":{"value":"1245.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908858$440D5186-A0C0-4DC9-8470-8CF504A15654","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b74f94b2b565d903120779dfadfa8a13fd8539a","datavalue":{"value":{"entity-type":"item","numeric-id":2908857,"id":"Q2908857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2908858$AEF3DAE1-74F5-44E9-B866-EBE01546F723","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":"Q2908858$8123E16D-1805-417C-8BE6-1662E8C1494B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ce614070009b11291ee6b015c78682bf76dc525","datavalue":{"value":{"time":"+2012-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2908858$47A14D4E-5F53-485A-BFC5-7E361F60C93D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3efd898a03bccc804974aca2e4583b58a2d5634","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_9416.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2908858$9218DF94-B0F3-4D5A-942D-BE4AE8685990","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908858$6DA5C59B-D4DD-4519-8E0E-12B4DE5419A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e75054f23a5e393de7944c1bd779f1ba0875d085","datavalue":{"value":"6073539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908858$00B1A51A-82D1-4E1A-BB7E-AEDC59ACA714","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24a223a0ab5013fdb11c009715195fec61d7b496","datavalue":{"value":"term rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908858$27F00853-0937-4501-8013-869786A39240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02017edd6cc2f0c06b676fc97c3eb940c111d00f","datavalue":{"value":"uniqueness of normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908858$CA1A3EDF-D21B-4A78-AC9E-2BBA7082FA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908858$9D122118-FEF1-4E15-A210-6C9E33EFE996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9fbf75ce729ef4698461dc9c8986c24ae4bed8","datavalue":{"value":"shallow rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908858$717BCB6C-9E88-4C72-B424-51E886FAA8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5e1a16ec6e4691b0804cacda1e8cd01d19fa58","datavalue":{"value":"flat rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2908858$8ADBDE40-EED6-4E9B-8D43-6EDE6C345620","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":"Q2908858$11D412CA-705A-4546-BF80-F874D54F6C49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b64369fab5e61ebba9a1602eb05ff7aec6bb0d7","datavalue":{"value":"W2119045600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908858$C5919A6D-70B5-4313-B8FA-47E6ADA8035E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f1050a538920c08ae2095f9cf8c64a41683fdcb","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2010.284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2908858$7BFFF13B-E419-4DB2-A70C-DA80387767AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57a46c16130415581fdd7323e6350298f8110c05","datavalue":{"value":{"text":"Uniqueness of normal forms is decidable for shallow term rewrite systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2908858$E51194FA-B2A6-4A70-B262-946F778FF1FF","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":"6e55b865cdff999a05e513b2610c8ffb9e50446b","datavalue":{"value":{"amount":"+0.9905670881271362","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":"Q2908858$82D62C52-0096-43E4-AB94-A407386B78A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9643d8714ee469a6f5b571d8f1927ce50a52ee","datavalue":{"value":{"entity-type":"item","numeric-id":613611,"id":"Q613611"},"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":"Q2908858$9F5E50FE-9BA8-41B9-AEAF-F1526CF0A475","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":"03e7a8adb841546731bf7875c77c27721d6e5989","datavalue":{"value":{"amount":"+0.8759291172027588","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":"Q2908858$98F6A4D8-C429-428F-858A-36F7740BA4FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b010e6cf0d469b43f89ef7c4cac026f0a2a22a7","datavalue":{"value":{"entity-type":"item","numeric-id":3608777,"id":"Q3608777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325f2d70746804188fc4a12cf060507981c25392","datavalue":{"value":{"amount":"+0.84850013256073","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":"Q2908858$B30FE878-3F41-4376-8F71-5CE4FAA54F7D","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":"0b258f536a3f4d135a60571b6983a339783ee54f","datavalue":{"value":{"amount":"+0.8359121084213257","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":"Q2908858$32842B61-9A77-48D4-BDF4-7E5845342152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniqueness of normal forms is decidable for shallow term rewrite systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Uniqueness_of_normal_forms_is_decidable_for_shallow_term_rewrite_systems"}}}}}