{"entities":{"Q1193904":{"pageid":1204653,"ns":120,"title":"Item:Q1193904","lastrevid":66825462,"modified":"2026-04-12T13:06:48Z","type":"item","id":"Q1193904","labels":{"en":{"language":"en","value":"On the decidability of the equivalence problem for partially commutative rational power series"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65335"}},"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":"Q1193904$C00BCC92-B032-4C8A-B465-2E9AFC34DDC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e2ee6afd29b6c22113c590e3514705721db0b63","datavalue":{"value":{"text":"On the decidability of the equivalence problem for partially commutative rational power series","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193904$EB109D6C-65FA-4F63-A87D-C31DBC693C03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bee7044bc6964d0f757f5470e4c294312b98c676","datavalue":{"value":"0779.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193904$CB1DE0A3-3EA5-49F1-8380-5CBD850E9B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"290999e7ad60b94197fc8230faaf1fef5a8e0df8","datavalue":{"value":"10.1016/0304-3975(92)90354-I","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193904$D2509A0F-90D0-4BD9-AB7D-0C04C44EC6DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52f17c2cd460f5ac810f2c03192e70dd7240742","datavalue":{"value":{"entity-type":"item","numeric-id":213204,"id":"Q213204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$ADE3EE35-AE53-4DEF-932D-42EF5367B2FD","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":"Q1193904$6C22A5DC-8463-4A9B-BDE5-3CA6EBCD48E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193904$463DA077-81E9-4B3E-B48C-AF289DE4F8DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf6126848c5dd248269771da2d78f21bc13e11f7","datavalue":{"value":"The author uses the equality theorem of Eilenberg, \\textit{T. Harju} and \\textit{J. Karhum\u00e4ki} [see Theor. Comput. Sci. 78, 347-355 (1991; Zbl 0727.68063)] and the embedding result of \\textit{G. Duchamp} and \\textit{D. Krob} [LITP Report No. 90, 64 (1990)] to show that the equivalence problem is decidable for rational power series over a free partially commutative monoid.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193904$50DCE77A-9415-4338-B70A-80DB54A19F79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193904$90D70D17-ABAF-4798-863E-D6387EB0E9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193904$4F5C8630-1522-4F1E-A100-D7CB1AB366C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193904$82916CA0-BDFF-4D54-9681-64BB890BA83D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"459bf6d7b8b3be0a1f064ffec31737ea2da88c4e","datavalue":{"value":"65335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193904$0D603D98-4F1E-4212-A853-4878F42A426F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38aeda5ec3e5e6eedd70f452e7bdc442e535bd72","datavalue":{"value":"equality theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193904$AFF6BCE8-6597-44A1-AD78-DEF73DF85C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193904$C078A793-D8EF-466F-BE8B-E6B9493AC440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1431ab4352a55d8b7f6bf11b2ff0e48a984d42","datavalue":{"value":"rational power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193904$E93C7A1A-87C1-469E-A710-2792B0DB3646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17e9efccf80d0dddb7e99616ac28a0706679bc76","datavalue":{"value":"free partially commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193904$46B943A3-0CBF-4298-B060-FB5C174244AE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6e0db3e87cf0564d4c180dc3531c145e91e81ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1806108,"id":"Q1806108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$B8C9D549-D158-42B7-996C-BA4CD89C3BB1","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":"Q1193904$FD95DC27-53FB-4BB4-852F-7D16CC7A6395","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43a81f9f2997f76b435331fdf567fd8b5d06d3","datavalue":{"value":{"entity-type":"item","numeric-id":3753510,"id":"Q3753510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$F8289E3A-32B5-4DB7-9748-84142339B53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$830640EE-FD5F-491E-8C87-FE5A5D89DB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266e74dfc49b54318e6f3c94ba097b82b39ab983","datavalue":{"value":{"entity-type":"item","numeric-id":3947146,"id":"Q3947146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$B2B8BF05-2F6F-495C-89E5-87781DBBD0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19bde25a12a7d1aceec82a951c2d9594ba82ff8","datavalue":{"value":{"entity-type":"item","numeric-id":3763601,"id":"Q3763601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$CE64D13B-41F9-4072-97EF-53A8F09EA7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48486a7b4fca07de5f21e0ae686782a77b2c2d5","datavalue":{"value":{"entity-type":"item","numeric-id":3787509,"id":"Q3787509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$83A78D17-489F-4667-A305-139C8C92DE62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f42dc8b7b717e8ff796a4277fb4503938f115d3","datavalue":{"value":{"entity-type":"item","numeric-id":1204126,"id":"Q1204126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$82B7356E-6E05-4C0C-89B2-62474007B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$2954DAE3-8C2A-48A5-873A-3ABE3AB90911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0006f9acf90b4b0284255798338710e2147e156","datavalue":{"value":{"entity-type":"item","numeric-id":2527943,"id":"Q2527943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$A02914FA-1E86-45FA-B42B-529FB180575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28eb5b1180a1241786f0eee35d291b83d7d95648","datavalue":{"value":{"entity-type":"item","numeric-id":804302,"id":"Q804302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$A08AF1CF-C1C1-40E8-8FEC-5605DF60424C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca7f57e494e6728d0e14c05673b84857a515e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4141937,"id":"Q4141937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$5B0387EE-AEB3-4028-86B9-7843D5D9DA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a633825e99474a499c1c065945109d04fde6c1f","datavalue":{"value":{"entity-type":"item","numeric-id":1097040,"id":"Q1097040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$92A33677-5A8E-4E8E-9321-859541FCB907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193904$1B8C819A-629E-4C81-8365-1C558844D93E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecccfac7ca5e380747d98af5ed7e26e669afc94a","datavalue":{"value":{"entity-type":"item","numeric-id":4351454,"id":"Q4351454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbc60b775fd6e1d85c88ed552f0db2293eedf78","datavalue":{"value":{"amount":"+0.92238796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$7C4C3067-AB1C-410F-9AF8-A0BC6F02238C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601e25807d5414888076032a6ac01fb152226d24","datavalue":{"value":{"entity-type":"item","numeric-id":4571997,"id":"Q4571997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00cb36846f49f9b6d9b15fceaad609609260ce1e","datavalue":{"value":{"amount":"+0.9113734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$8F9CFFEF-BEE3-41E0-BD79-31EBFF70D186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb6dafb45a2c9d321d707175d661d9e13c8631e","datavalue":{"value":{"entity-type":"item","numeric-id":1087021,"id":"Q1087021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd32143e49fcc0468b655e76e380577c1127a920","datavalue":{"value":{"amount":"+0.9037284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$29907622-2FA6-4733-B843-24AE085AB147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c1d73826ada7651941c247a07dc6d85aa487d2","datavalue":{"value":{"entity-type":"item","numeric-id":4458138,"id":"Q4458138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dec2630bcc58d185b1806552b8c05aadf240e7b","datavalue":{"value":{"amount":"+0.9021018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$75DE91C0-C13D-4B3C-9466-8B48D7EF66DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84d6aa52a5c8c8bdec1f82bb22eaf91345314901","datavalue":{"value":{"entity-type":"item","numeric-id":2094367,"id":"Q2094367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfd95e4a69f3446703edcdc04d5af359379ee6bd","datavalue":{"value":{"amount":"+0.8929557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$2F29B1F9-251F-4215-89A4-2B8AD1B58506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23d48ce3184f9955f2b90fd19abcfa90d465368e","datavalue":{"value":{"entity-type":"item","numeric-id":3781063,"id":"Q3781063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d06bdf8cbdecc47a2d36236c4e6d84a7ec3469bb","datavalue":{"value":{"amount":"+0.89227325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$AFFD7F3B-9F21-40E8-AC31-12729BAE0BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6012293c6e3f8c2739098ef2a043260c409e973a","datavalue":{"value":{"entity-type":"item","numeric-id":3815281,"id":"Q3815281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed97e4098bb1371f976e03900f908c7c7488fbbd","datavalue":{"value":{"amount":"+0.882151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$CDA2FFD5-E7C5-46D9-BEC8-2E1D411668AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8e9a6a14592664fe1d99c3105f978fb894a6ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1099641,"id":"Q1099641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3166eb8f4c0e8178ef8737802cfc4eecd5614a","datavalue":{"value":{"amount":"+0.88080883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$40A7196B-E687-4D3E-A01B-677E4542BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de597e9e0d6a6ec19f62a17921ae293f1191e028","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f34d4834222f900f372f5ba2f2cbff45a23972b","datavalue":{"value":{"amount":"+0.8789178","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$0F2C9E1E-A01B-43F4-9C6B-A149A6652F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95ace6a7634066c6ceacbe233d59d749236f7b4d","datavalue":{"value":{"entity-type":"item","numeric-id":4896926,"id":"Q4896926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2019940a7f534c0bad811037505950a53d25f7c7","datavalue":{"value":{"amount":"+0.8776219","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1193904$ADEB261A-E59B-4362-A944-B434C25F0519","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the decidability of the equivalence problem for partially commutative rational power series","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_decidability_of_the_equivalence_problem_for_partially_commutative_rational_power_series"}}}}}