{"entities":{"Q703577":{"pageid":705426,"ns":120,"title":"Item:Q703577","lastrevid":63745374,"modified":"2026-04-11T15:15:28Z","type":"item","id":"Q703577","labels":{"en":{"language":"en","value":"Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126132"}},"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":"Q703577$AB66BA76-DC4B-4D25-8A04-3D408F1140D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36d08e9b101eccedf5279added80a8ff943e95f5","datavalue":{"value":{"text":"Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703577$354890E7-FE56-4EF3-B76F-3464327BC794","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c35ed1d0c64cd403a80b33a37caa88bcc22111ae","datavalue":{"value":"1071.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703577$83490185-0382-43F1-AB74-8A7B8EB425A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd43315ebaf760c2f7170a023fa78e8c4528eed1","datavalue":{"value":{"entity-type":"item","numeric-id":290909,"id":"Q290909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$FDE96DFF-1AD5-4C73-92CB-E3C49EE4B562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5630e4cc33e0b5ace5aedf722447568c8009b63b","datavalue":{"value":{"entity-type":"item","numeric-id":703496,"id":"Q703496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$2B296DA8-9A8A-442D-8D41-294CAE08A895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dce1962c1d1bd73daa78cc2c873eecc90e519ff9","datavalue":{"value":{"entity-type":"item","numeric-id":235677,"id":"Q235677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$B7BF1537-7A72-4711-B294-9CB8A6A3121E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f237021792b0a72b58a3933d0a4dbb754335c45f","datavalue":{"value":{"entity-type":"item","numeric-id":203918,"id":"Q203918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$684522E7-6A03-410A-BC8C-9516C0F50A85","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":"Q703577$C785B317-43F2-4E28-AB2E-3162E90F7F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703577$71C81889-17F9-45D0-B146-30F569B38386","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6788da4d435e43fb7bc5f16f4bc1597e31925c24","datavalue":{"value":"https://arxiv.org/abs/0709.4117","type":"string"},"datatype":"url"},"type":"statement","id":"Q703577$A98C7DEC-1A59-4D88-AB0B-763D8ED5CBA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703577$1D0937BC-74BA-43C9-82E9-10A64F5AAB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703577$4723F7DB-0FFD-4845-8AC0-E95F332B93CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3726a1ab140d26bf5fb96dc5b30fb5027c1fbefc","datavalue":{"value":"2126132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703577$BBE51F7B-8813-43D1-93ED-2CEC577E51B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1d43b07a260d71f1402790d7d6042ae960ec887","datavalue":{"value":"Max-plus semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q703577$54D286DD-CF69-43A6-8EDB-82B799632301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b2d5ab1e39c1ec8e6b18af8a28208f42b8a8efd","datavalue":{"value":"Automaton with multiplicities","type":"string"},"datatype":"string"},"type":"statement","id":"Q703577$C1F4B030-CF40-42F7-87F1-D60503B7FD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f40ca5745e70d1f4ebbe944e9cc87c54bf5b7ff6","datavalue":{"value":"Finite ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q703577$543E2FB5-6E71-4D4C-ADFB-150C354A9049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"034506e1c47d37c3bc3b89942962e72839325dec","datavalue":{"value":"Unambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q703577$D53B0863-AB73-4A72-B1EA-5E4EE6780A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9cf4d5f450ad3bbdf52ee8aacadf18b63c9bd5","datavalue":{"value":"Sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q703577$8DAAFEE7-F4C8-453B-9722-FECA0C81986C","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":"Q703577$9A7BF724-CA2B-4E7B-AEEB-81723F3421AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e44fbeae4c74d51d75fbce66ebbca7d4f2bad6d2","datavalue":{"value":"W1993033486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703577$8F8E2799-9D2A-4C18-B48E-C184F9A5B05A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b572f0683044fd6883fa3c528fc2b3bfee6d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4449534,"id":"Q4449534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$6EBFF3BF-CE31-4F3D-BAED-A1BEF6D09425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e64cccb087873aa66c6e29d7dde54192ce0f98a1","datavalue":{"value":{"entity-type":"item","numeric-id":1853731,"id":"Q1853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$264DA4FD-2BD1-4296-B223-284148559ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$CD9DC0C6-B7B6-4AF0-ABA3-B11ABAE59C93","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":"Q703577$A5CA7961-A748-44EB-8D1A-9D3F04B8F427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf67756013b7953aecfe3155c515477ca6c8252f","datavalue":{"value":{"entity-type":"item","numeric-id":4354606,"id":"Q4354606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$8F9DDC72-60F9-4703-9EB7-CB5D467F8586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3612f9b7872d4fe9b00cd76f3782e192adcab1","datavalue":{"value":{"entity-type":"item","numeric-id":2706122,"id":"Q2706122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$45794D51-FE0B-4F28-B948-DE9072FF4591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84779de69d52c3f3cda23b284ae2de761e42255","datavalue":{"value":{"entity-type":"item","numeric-id":1246508,"id":"Q1246508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$61F7CBA5-E0E4-422E-B9C9-95F429EA1681","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":"Q703577$3C2F64F7-4754-4124-8EF6-7DE216FC28C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2839c1b09b89d3dab4edc740e274b7fcb6bae27","datavalue":{"value":{"entity-type":"item","numeric-id":4875977,"id":"Q4875977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$5E275951-50E1-41BE-B24D-C1507D08F2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff5e674c3f1347e933cf8e3e769ec0c55c8b6a","datavalue":{"value":{"entity-type":"item","numeric-id":4395217,"id":"Q4395217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$1FBD8A41-1DDF-4A0C-99A0-D8F314F9F66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99475709ee4f1ffa75f1adb92d7c49c09dee59b4","datavalue":{"value":{"entity-type":"item","numeric-id":4506745,"id":"Q4506745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$6393BA13-CB36-4B4F-9A1E-BF3D003DEF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e771f9d0ae93390472a77d30eacf2cd3712d708","datavalue":{"value":{"entity-type":"item","numeric-id":1118420,"id":"Q1118420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$EAC34073-3D0B-4D1C-B26D-1A3C3329F8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6a89bdc3aa22943941284056c332349b981dda","datavalue":{"value":{"entity-type":"item","numeric-id":4786328,"id":"Q4786328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$AB291A89-5A27-4BD0-A8E9-3CBD132A7E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f4d37d53db2925f92864a11c01a61286cd723c","datavalue":{"value":{"entity-type":"item","numeric-id":4316608,"id":"Q4316608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$CFEBFBBA-9104-4467-BFDD-7DA7E8054FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98dd8af5da8bf70d358b0de854360968b50b9e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1341738,"id":"Q1341738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$84D51819-0073-41BE-AA18-06293D4DCFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$BB3368F4-1B31-4F82-9057-7756A9B7656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caedb15a934fdd8f2e4ea18925f1ba3ce3e7e0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1275469,"id":"Q1275469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$A0094973-6383-46F2-883B-510309F1BD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$95DA8FC0-4AE5-4294-B2F8-3C79D9CDC128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc974d370f3f3f2c0fa14da1160bbca2b962ae53","datavalue":{"value":{"entity-type":"item","numeric-id":1238433,"id":"Q1238433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$101F524C-97B7-41B5-8122-8FD2F484481D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3dba5a36e5560eb4f6939071d9695bdcce7198f","datavalue":{"value":{"entity-type":"item","numeric-id":3804221,"id":"Q3804221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$6BCC994C-2F30-4941-B8E2-3F94FFF62270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d34f9cb3e5b7e43087f09456ac0516b2770d2e","datavalue":{"value":{"entity-type":"item","numeric-id":3754627,"id":"Q3754627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$8B3AD13A-2DE5-4B86-A02C-1243B1DE104F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3819b81e9facf3377c4ea452000ebe925c990354","datavalue":{"value":{"entity-type":"item","numeric-id":1341750,"id":"Q1341750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$A32BD625-2786-4D11-B7F7-051ED554B894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eecaa5ce8e6f4ea768db69bbba83d109784a351","datavalue":{"value":{"entity-type":"item","numeric-id":1892895,"id":"Q1892895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$95A9F7DC-C3D0-4181-AA12-4D8443C628BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c55b45a3aca375756d29d078b25e4aaeb0c01b3","datavalue":{"value":{"entity-type":"item","numeric-id":1177168,"id":"Q1177168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703577$0B3E7DB2-FB67-4EF5-9CB2-A054F22F30CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"71803066f94838e32b2626cc8ec02889b93efb09","datavalue":{"value":"10.1016/J.TCS.2004.02.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703577$1D100A9C-8685-4462-BEFF-8A07B9856B80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da2a03c23066ae0193584338670c170f0608889","datavalue":{"value":{"entity-type":"item","numeric-id":4452077,"id":"Q4452077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb69b924f532ae9691f94ee2d0ac77d129b31ce7","datavalue":{"value":{"amount":"+0.9756147265434264","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":"Q703577$1EAAAA11-F880-4032-AB0A-18268910569D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7a741c1f466416d8f9d521086db62a03317a58f","datavalue":{"value":{"entity-type":"item","numeric-id":5090506,"id":"Q5090506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae43eee29a0757e970de0ec611bf3abebc07567","datavalue":{"value":{"amount":"+0.903192698955536","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":"Q703577$2AF60F13-7076-4187-8C60-26CE080BFE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb75a31f695d172c22c12511d464a8fdd63e31b","datavalue":{"value":{"entity-type":"item","numeric-id":2048206,"id":"Q2048206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2888344d93d9f6a6ccc07ce685923dbfd71f2f5","datavalue":{"value":{"amount":"+0.9031926393508912","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":"Q703577$D4B0AC9E-3C96-4758-B5D3-F90A0B43D83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"410e4efea84db043c5690cde3a8356bacfb8481a","datavalue":{"value":{"entity-type":"item","numeric-id":5390010,"id":"Q5390010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f5887999a46721c73d8b77103ce716445245b1","datavalue":{"value":{"amount":"+0.8410252928733826","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":"Q703577$E6074A9E-7F7D-4049-836E-170EEC122CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434faf8d608d7645672ea3b7370afd9abfcf1413","datavalue":{"value":{"entity-type":"item","numeric-id":2849900,"id":"Q2849900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0231599dc5e50894444152909a0ba69c2891003","datavalue":{"value":{"amount":"+0.8280338048934937","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":"Q703577$B0AE4298-2A24-4DBB-9745-1D701BD349AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding unambiguity and sequentiality from a finitely ambiguous max-plus automaton","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deciding_unambiguity_and_sequentiality_from_a_finitely_ambiguous_max-plus_automaton"}}}}}