{"entities":{"Q3926053":{"pageid":5955958,"ns":120,"title":"Item:Q3926053","lastrevid":88926062,"modified":"2026-06-04T15:51:37Z","type":"item","id":"Q3926053","labels":{"en":{"language":"en","value":"The Sequence Equivalence Problem is Decidable for 0S Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3738934"}},"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":"Q3926053$FABEF94F-178C-4AD8-BFA5-CEA5ED5701F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0e33857b1e3ee677d8117e27562b294e26381cb","datavalue":{"value":{"text":"The Sequence Equivalence Problem is Decidable for 0S Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3926053$1E48A95E-831D-40C5-B42F-67CF77927654","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f45e419a4f85443c5b2fcb84bae7d0ddce5b5fc3","datavalue":{"value":"0471.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3926053$D612226C-D242-4214-A231-465EECA2E473","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11131c6eea90326cd9afbd4b272c474e1d75929e","datavalue":{"value":"10.1145/322217.322222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3926053$F0CAFA50-B600-4A26-B530-35D1888FA688","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67134b63b86a737cbf981df8b43b8283dfbeaa9","datavalue":{"value":{"entity-type":"item","numeric-id":294724,"id":"Q294724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3926053$3D1096D1-B28E-40B8-ACD9-757234E46C2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3926053$8C8A6984-EB6E-4DFC-8C85-A20674E9773C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3926053$341CB456-DE1E-49E4-A64D-13953E6B102B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3926053$7827057B-C2A5-4F85-BC3C-6888F9E87179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3926053$4AB484BD-2C0C-4C60-B65D-45DFA65B1FCB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f87f3afdf36bf4cc9de405511d37b7df64f2ae1b","datavalue":{"value":"3738934","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3926053$5E0A57E1-896F-4F94-9CFA-2370BF9BE03F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3926053$EA5EF2BE-ED0C-4BE2-97DD-8D25C776BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3926053$40765941-5692-4B35-9343-05D47DA6B679","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":"Q3926053$2746731E-3E59-47C1-94A7-7AB856B33AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeb049f9426ed7d43584af4082b23d9f119ac52b","datavalue":{"value":"https://doi.org/10.1145/322217.322222","type":"string"},"datatype":"url"},"type":"statement","id":"Q3926053$2B91AD1A-9DD4-4619-8535-5630110F57DE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1254d963725a94f973989d9afbb1dc942dffbda1","datavalue":{"value":"W2084036153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3926053$B9D9712B-B206-4C77-9CE7-9996B9186F68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Sequence Equivalence Problem is Decidable for 0S Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Sequence_Equivalence_Problem_is_Decidable_for_0S_Systems"}}}}}