{"entities":{"Q5200064":{"pageid":7229635,"ns":120,"title":"Item:Q5200064","lastrevid":94428113,"modified":"2026-06-05T06:47:24Z","type":"item","id":"Q5200064","labels":{"en":{"language":"en","value":"On the containment and equivalence problems for GSMs, transducers, and linear CFGs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934391"}},"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":"Q5200064$354EA706-E6D3-43D3-9E96-703E3AED1179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df1f21e69c3b48fd635580a7e53eb4f4c72a372b","datavalue":{"value":{"text":"On the Containment and Equivalence Problems for GSMs, Transducers, and Linear CFGs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200064$AAC22CE4-B167-4A6D-9A51-B7D809442876","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9351f0ba5f3996c4f91f8ef0cd3de39297d29061","datavalue":{"value":"1297.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200064$E64C620F-2DBB-41BC-9D04-91544600C823","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"700dea725b0a90b559e968ca0c78a16232ad2f8e","datavalue":{"value":"10.1007/978-3-642-22256-6_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200064$E4AE8FE4-0D27-444C-A924-54C7997F43B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0ccf6eb6c37793d5bd821ffa019f577d6c7be3b","datavalue":{"value":{"entity-type":"item","numeric-id":243823,"id":"Q243823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$A2E9F0A8-46D8-4271-AC5F-A116014FF801","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$F8BD3593-5DD6-4A29-A35C-921AD82B3570","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-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":"Q5200064$CEC5954D-63F7-460C-8AEB-95DC0F80B876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200064$F03A11E0-0055-4DD5-A26A-E3EB46344A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200064$602D0E14-FDD4-49C3-B197-68F0FEAFF9E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bed73b2564150180e1b33189f07b310759b368d","datavalue":{"value":"5934391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200064$22D2B711-D8DA-4E3F-8758-33E0BD6F49B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51fe650d748b2989ba99ad2aca7c65f3249ff435","datavalue":{"value":"generalized sequential machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200064$08032B20-0551-4545-A147-000BD3AEC83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443b88756128fd1fcf667e9028fb22284b0172","datavalue":{"value":"finite transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200064$F2842B32-3419-4568-800A-1D6174664F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50df9190f5ecef4048985462f1c2e46537e32e0e","datavalue":{"value":"pushdown transducer","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200064$54F353A9-F354-40C9-8A33-7838B4480A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"498c1ed9687b9cd461f47c3aeaf97b2c9eb70d53","datavalue":{"value":"linear context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200064$2819836C-11C6-4B0E-A527-8B6792840136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9786932a1198ea8e1a40c9a4aafed7f72c717b11","datavalue":{"value":"containment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200064$6FEFFA4A-65C9-4037-987E-BEECCA339D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5200064$A0F406DA-16D8-4224-8715-E4E8E223FE1A","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":"Q5200064$8C76C037-0235-4FAB-8394-8A20CDA8EE94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d4ecb9fe285986f0490aeffc55cddb5dbd7feb89","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22256-6_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200064$6DCE4562-3527-4887-8ACB-C44F491FDAF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34d6b395e445a423b4a9c42ab59fcd09f5542012","datavalue":{"value":"W1566937480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200064$62AD6792-B9DC-47A9-B94C-050C918F50EE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b059df79753dba48fb66fda4ddb1cf3fa023547","datavalue":{"value":{"entity-type":"item","numeric-id":1219160,"id":"Q1219160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$8D21CC5F-23A5-4933-BD50-8AD333CF36DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"239e14608bb684951922f9c8bb30036c33157150","datavalue":{"value":{"entity-type":"item","numeric-id":1090467,"id":"Q1090467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$9DE42616-2914-4D1E-9C5B-66556CBAC889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958e8bf05dd41a356ed45fa949d36e2ba662ac79","datavalue":{"value":{"entity-type":"item","numeric-id":5544289,"id":"Q5544289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$D6E1754F-43CD-470D-A61D-1470281C62D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c67e7310d71a3ff5db7aa06fe30017f241c342d5","datavalue":{"value":{"entity-type":"item","numeric-id":3968472,"id":"Q3968472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$FFC0F266-20EC-4C50-B21E-E9A1B9C5A7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182981e0e770b39d22d2da0fccd0d6dd8798182f","datavalue":{"value":{"entity-type":"item","numeric-id":4140393,"id":"Q4140393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$95853416-4D9A-4B6D-A84B-FD5E305595F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9684d84be3b8355a2edee9961c6843594427ba04","datavalue":{"value":{"entity-type":"item","numeric-id":4167584,"id":"Q4167584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$6775B0A7-531E-49C0-951C-0E5D77145874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$6EA94314-58E2-479D-9E8E-EA19566E5415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b14874328e06322f55427a98ad1a9767d46fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1120286,"id":"Q1120286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$2D14C722-47ED-4930-84FD-C21289989800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735a2fae0017db8141a00f17d02c5cd5e6834869","datavalue":{"value":{"entity-type":"item","numeric-id":4037692,"id":"Q4037692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200064$9EAAAA78-DFDD-4941-BCE4-52FEF53F09B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ffa6ae9c4368a56d25226f937312e0dcfefd112","datavalue":{"value":{"entity-type":"item","numeric-id":3806848,"id":"Q3806848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9a5a08a7354542f958dd68d80b59158a756149f","datavalue":{"value":{"amount":"+0.7925769090652466","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":"Q5200064$598917C4-1A7F-49F4-9BA4-DABF40010FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fd7ead013bfed1db6fe00f5d7b71bb37150161","datavalue":{"value":{"entity-type":"item","numeric-id":1269922,"id":"Q1269922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46618427ba2a66b9a6abacdd19b4f4ca966bedf4","datavalue":{"value":{"amount":"+0.7792469263076782","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":"Q5200064$869FBC82-99E8-4EA7-A304-D3C4D4D6800E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07abcdee2801455a412e171a6b243431575c554","datavalue":{"value":{"entity-type":"item","numeric-id":418777,"id":"Q418777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80abd291e98d5b12a4fbf52151e0e5246fb04d82","datavalue":{"value":{"amount":"+0.7782890796661377","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":"Q5200064$99FCF865-4332-4C0A-A927-B393A8520D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"713b678e7059af02808f5598eb3f985cff90cc45","datavalue":{"value":{"entity-type":"item","numeric-id":1083219,"id":"Q1083219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d660e69dd8d8c6cead765f0e1d721511ca0bf8","datavalue":{"value":{"amount":"+0.7769097685813904","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":"Q5200064$016AB1F3-5BE1-4CB9-92DB-AE46DFECD5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1a176c20071b83164a332342eeb3d707e38af65","datavalue":{"value":{"entity-type":"item","numeric-id":799387,"id":"Q799387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece7eba7a1cda21851d6c839c18dad78df117569","datavalue":{"value":{"amount":"+0.7685130834579468","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":"Q5200064$82965A5B-7E28-45C8-B02E-A9BF41D7F546","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the containment and equivalence problems for GSMs, transducers, and linear CFGs","badges":[]}}}}}