{"entities":{"Q5565127":{"pageid":7594687,"ns":120,"title":"Item:Q5565127","lastrevid":41659345,"modified":"2025-05-06T20:58:20Z","type":"item","id":"Q5565127","labels":{"en":{"language":"en","value":"Yet another proof of the cascade decomposition theorem for finite automata: Correction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3280080"}},"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":"Q5565127$4A7A6952-B0D1-4561-9C49-241AD9ED1BAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61bf97776cf3e73699da0f858a644da5910cf6f1","datavalue":{"value":{"text":"Yet another proof of the cascade decomposition theorem for finite automata: Correction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5565127$6F17D8EB-4031-48B1-8FB1-8EA1BD9E9DBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456751d248a756e7d8da13713d2624f651955a84","datavalue":{"value":"0175.28002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565127$72367533-59D3-45A2-A035-9AC9AE2D0CB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f032da083ff23818ac0bdd8975dd92c72bff0b5","datavalue":{"value":"10.1007/BF01703267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565127$132C6B59-3495-445E-9963-1C51AAA36F54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c23bd3dbb97f143e57f2c812e2c7341563559008","datavalue":{"value":{"entity-type":"item","numeric-id":791324,"id":"Q791324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5565127$FB0A197B-494E-43D8-817F-4CEE34F8773C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5565127$745A1069-A666-4228-86EE-142E1E2CB671","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b7d902a691bf065ccbbbe3c070a7f8cb1f53366","datavalue":{"value":{"time":"+1968-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":"Q5565127$8553AB42-A764-48A3-8216-63479399BC2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565127$A1EBFA6D-7877-4670-8610-8A014B104880","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ad9f2266c30d6026b41f41d4dec7c43aaec6d2f","datavalue":{"value":"3280080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5565127$D15F68D8-6D44-4A36-B9FB-FD8D9F72D062","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5565127$AC35AE02-7D0E-4264-8513-4C0452EA45E5","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":"Q5565127$7458CA93-E075-484E-BEF8-4F8ED5B93CF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f1f178072d754c277111c04c6d8b953b34701e","datavalue":{"value":{"entity-type":"item","numeric-id":3811721,"id":"Q3811721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b1da98fe391bb3e64b9e5cd6f95a6a07bf264fe","datavalue":{"value":{"amount":"+0.8468184","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":"Q5565127$82BC4498-5410-4F11-BC49-0A1E07D33C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d452c3766bb5f21f89b307a8677549bb8614a5","datavalue":{"value":{"entity-type":"item","numeric-id":3680285,"id":"Q3680285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"626902996024a5fb4c31a7c7bfd2f78df2e24ba5","datavalue":{"value":{"amount":"+0.8451001","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":"Q5565127$4A9BD732-D3B3-4A2E-8DFC-A2C07E4F79A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00602a9a443b93e9b969814d08f49126873ceec8","datavalue":{"value":{"entity-type":"item","numeric-id":4221358,"id":"Q4221358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3b6262c8728946daa6dccf1e64a98246fbb0cc2","datavalue":{"value":{"amount":"+0.84294015","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":"Q5565127$6EB0B54D-2866-4AF5-90F9-4833863F82F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c764dd366d7e01a731eb1912cd329c06c58f499","datavalue":{"value":{"entity-type":"item","numeric-id":4708609,"id":"Q4708609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de7c61eafaa8ee4bf97c06db473ff8afdca7584","datavalue":{"value":{"amount":"+0.842857","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":"Q5565127$4BFA4BEF-980C-443C-8345-D5D8E162D74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adf924e1b111c60f4c5c6f9cf69ff4e9937ecd62","datavalue":{"value":{"entity-type":"item","numeric-id":1822994,"id":"Q1822994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0464f8506986ed8170a2241513e75daf4f394e2","datavalue":{"value":{"amount":"+0.8392177","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":"Q5565127$69301C0A-D151-4140-8B74-BD80841A307E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356e46da3adb9a24ccc1da0598856f61b5dbb3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1275469,"id":"Q1275469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699e74be21ccce8b9a5cb5d94e133e9cb896fb27","datavalue":{"value":{"amount":"+0.83907706","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":"Q5565127$F1B38E00-B8AA-49C6-AF59-D34EC95F77A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f632ab710e9ed32037917d53abd09f694f826b1f","datavalue":{"value":{"entity-type":"item","numeric-id":3787499,"id":"Q3787499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f1958d160055d7fb6d5df541b7c74c07c7361a","datavalue":{"value":{"amount":"+0.8358629","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":"Q5565127$17F8D031-3F20-494B-BCB7-C9CC56FC0FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb53ac194f3ced9396a946e3f497cbf3f6d06e2","datavalue":{"value":{"entity-type":"item","numeric-id":5184414,"id":"Q5184414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c920085a20c3ae24e1e61a1e7d4989f04e7f9c90","datavalue":{"value":{"amount":"+0.8358148","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":"Q5565127$2DF288A2-2B9B-4196-8BCE-2C5D53F8F3B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49187ddcbf6babcf78d39a66cd05ea4f2b3c1eaa","datavalue":{"value":{"entity-type":"item","numeric-id":3167496,"id":"Q3167496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"507d96a92d9c15599a5bc8e3f5329e378d08d057","datavalue":{"value":{"amount":"+0.83317655","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":"Q5565127$E9955002-7C59-4F8F-BFD1-890534CCF025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b586d4a9efb9023db1c5c11c8138b8a2e29c4e58","datavalue":{"value":{"entity-type":"item","numeric-id":1914024,"id":"Q1914024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5367eeca06dd419584d526b8eb2f013851345b51","datavalue":{"value":{"amount":"+0.8304119","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":"Q5565127$9D900492-49AC-4CD9-98E2-70DAE2B810C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5565127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5565127"}}}}}