{"entities":{"Q6842433":{"pageid":20551312,"ns":120,"title":"Item:Q6842433","lastrevid":84284279,"modified":"2026-05-14T15:41:55Z","type":"item","id":"Q6842433","labels":{"en":{"language":"en","value":"Finite sequentiality of finitely ambiguous max-plus tree automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8174041"}},"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":"Q6842433$0D294B89-DEA0-4CD6-983F-6B179EF8DE7F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0be9cf0649800e295a7135088945917410984dcc","datavalue":{"value":{"text":"Finite sequentiality of finitely ambiguous max-plus tree automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6842433$88376F2E-9964-48B7-8448-34566137DE6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bd81a24237ea45d80b9dff0dd241c6ba4f9ce05","datavalue":{"value":"10.4230/LIPICS.ICALP.2020.137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842433$0A12FE70-D569-40A1-86BB-D7B87B8107BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf26baa60354da89b92af4de65505d534048615e","datavalue":{"value":{"entity-type":"item","numeric-id":2048205,"id":"Q2048205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$DB2BB5F1-0711-4145-BC61-AF1F93A71891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"08788b2cbf350ad4bc12c8b64351e1e6eefe3b67","datavalue":{"value":{"time":"+2026-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6842433$864F9F24-0506-443C-9E8D-887A682D82B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842433$75470E65-5C36-4DE6-B26C-CA75AEC0E981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842433$704C5BE0-0EEA-400E-9AEC-6C1568D683F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"079272f3f01e3eebcad416c8e8a5885e9314cd4b","datavalue":{"value":"8174041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6842433$71903D3E-0469-4747-9C79-47C95CDC2556","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"daf5f856a5d861312ad309ab567540337a5f61d6","datavalue":{"value":{"entity-type":"item","numeric-id":57050,"id":"Q57050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$555BDD1D-D7D7-472A-A662-690579BC262E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89ef5bc2cb983b0c28f3c227fff422a301ad3621","datavalue":{"value":"weighted tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842433$8626A35B-14EE-46E1-B563-7DB3C8A721FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1777b254e9ff62caa6a488a1ecf06775da393cb8","datavalue":{"value":"max-plus tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842433$194D1163-44E2-4704-B81F-B3648FC7BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d5f7d708655a8f637c63be4ad78684311c12aef","datavalue":{"value":"finite sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842433$4BEE0CC8-1C76-4B75-9EC3-619665CE9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842433$053CCA1C-51AD-459A-9F43-3C0D50BEA58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6431b1780413b531a65b44aef675e66e15c2a114","datavalue":{"value":"finite ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6842433$CDBE0C82-9E76-4A5E-B37B-05CCA49035A5","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":"Q6842433$30DF07B1-1CFD-4A3F-B5B5-42F33CCCBCF0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ae8407d8f4e98ebc8e3ed9ad36d7191509a6d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090465,"id":"Q1090465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$1EC27FD9-19E0-4F0A-9162-860A897A6F34","rank":"normal"},{"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":"Q6842433$198BCF21-ABED-4B42-977C-6B356E6BDB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd22fb6438e3da64da8cb4366c0e0f28d7f04ee9","datavalue":{"value":{"entity-type":"item","numeric-id":2849900,"id":"Q2849900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$E5DB92FD-4657-44C6-82F7-72A02B9B1CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48765a5cb104dd296e30914a648319f13b763ccf","datavalue":{"value":{"entity-type":"item","numeric-id":4910449,"id":"Q4910449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$94F2462C-BA52-4FD6-BC2B-35B278D3BC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4cb1a83daafb36b57758b471a18edde65961f1","datavalue":{"value":{"entity-type":"item","numeric-id":1164440,"id":"Q1164440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$CE16D59C-D97E-4600-859B-CC330AD76E08","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":"Q6842433$E5C59E8A-4064-46A9-BFFB-230382438A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd4f5f6df10800d21677af1353714ca3bee7808c","datavalue":{"value":{"entity-type":"item","numeric-id":2799165,"id":"Q2799165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$1BC7C44D-EC80-406A-A728-9B795C2BBBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3257bf07d73d014d3ab2d14e8062a973d63ae121","datavalue":{"value":{"entity-type":"item","numeric-id":4154498,"id":"Q4154498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$7D5A74E4-3160-4ACF-8BF3-C536C99465D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208f03916efe6a5597738889b82e1e0ee46e6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2751364,"id":"Q2751364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$04159A4D-6E40-4C47-8B94-786D10DC5C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423943a4267231cc1a011e7e0a0c6bddbe39b976","datavalue":{"value":{"entity-type":"item","numeric-id":5694616,"id":"Q5694616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$0E3F4764-1BCF-45D9-A031-5FCB21145768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e273df61acc95cfbf1b71f3bb23d2138d6ab68ea","datavalue":{"value":{"entity-type":"item","numeric-id":2819390,"id":"Q2819390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$2B924FC9-5A1F-4B9C-B8B1-1A4951D6F83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9163959ba63681a656f6562bb53e329cdd51c5ea","datavalue":{"value":{"entity-type":"item","numeric-id":5111233,"id":"Q5111233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$48DCA258-04E0-4F6F-9BF9-3A2CA7F99E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b989952aa1582438a5332ec0bd4cee56dab73a9d","datavalue":{"value":{"entity-type":"item","numeric-id":836989,"id":"Q836989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$6D8AA17F-9E45-49AE-9B5B-30E18EE84DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199ba3dbfc3f92c0be4caa38546b22e071eb88ac","datavalue":{"value":{"entity-type":"item","numeric-id":4449537,"id":"Q4449537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$BD72DD49-3F7E-4F2B-8179-A7AB53263CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc13080c5dbaffc8febf13688b4dafd45fc198df","datavalue":{"value":{"entity-type":"item","numeric-id":1944966,"id":"Q1944966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$9845DBFB-2A7F-4857-8618-8590B2974F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8150553f3627f280e8819a24b4c214d757f6eaa2","datavalue":{"value":{"entity-type":"item","numeric-id":5144642,"id":"Q5144642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$0686272F-B11B-4F91-9E77-AB7FAF349405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d63873ff56d26a39b5ac11c37f1f668bd6d4795","datavalue":{"value":{"entity-type":"item","numeric-id":5072551,"id":"Q5072551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$4225F828-E53D-420D-8C5F-AF6E30B7748E","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":"Q6842433$5A2EA760-5A10-4357-B173-E76B6ACB847C","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":"Q6842433$AB08322C-AF02-43C6-8C04-839E83CF6908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153e31c9763bf1e2375f10fd126fd76cdbdacbbf","datavalue":{"value":{"entity-type":"item","numeric-id":3526417,"id":"Q3526417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$2A75211E-710A-432B-97B5-B6B160A2CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025cef3b7c990de62cea0a67da3bdbf3ea565a72","datavalue":{"value":{"entity-type":"item","numeric-id":5390010,"id":"Q5390010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$F383CED9-251C-4D60-87FD-A177B600C744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10076e8cd0b44a4ff645b7453a14ab5233ea46d","datavalue":{"value":{"entity-type":"item","numeric-id":703577,"id":"Q703577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$8B0CB45F-BDC7-4828-8ED8-250978A4C574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b2835c4b72d10da17ff1c49743a76618a5fcd7","datavalue":{"value":{"entity-type":"item","numeric-id":3077191,"id":"Q3077191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$27271BBF-D35D-453B-A31C-B10C296188D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a41360ebe4712b01c752dde8bf555af24826b30","datavalue":{"value":{"entity-type":"item","numeric-id":5271046,"id":"Q5271046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$0F780120-BB7E-4DFA-BC32-C9E79F87E3C6","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":"Q6842433$687557DE-AEDE-493B-A7B8-6983F01646DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e7a446b447d5e392b5bfe45233ca68d1ed5eef","datavalue":{"value":{"entity-type":"item","numeric-id":3304149,"id":"Q3304149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$4AE9BCEF-44DA-4DA3-87D3-0111B4CA44FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1e8c199d0a3738b5df7039fa423628b9c9f24f","datavalue":{"value":{"entity-type":"item","numeric-id":4040221,"id":"Q4040221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$558FB1EE-656A-49C1-BE2D-AF37587427CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$414EE090-57E3-4C2E-911D-36A958F3B811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca9ead83e4948048db92ce2a7b0787490e633b3","datavalue":{"value":{"entity-type":"item","numeric-id":2817402,"id":"Q2817402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$54FB9CFA-1BF3-4522-A95A-829AFF573D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee032634775ff3b1eb6b5e6ee1f6c08280f2a83","datavalue":{"value":{"entity-type":"item","numeric-id":5111268,"id":"Q5111268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$2F0594AC-FA01-4E8F-A1A5-49458BDBE271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11d9833e1b9dfdf371c4ccd6a6e2ff7b3ac9b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5090506,"id":"Q5090506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$40319E88-1A00-43C8-81DD-5D969A3DDDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66aef6039c498543d054d75882e3422dfde53a8f","datavalue":{"value":{"entity-type":"item","numeric-id":640478,"id":"Q640478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$67DE2380-E43C-4829-B2C6-EB26691CE05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$5CF55FB3-06D8-41D4-AC1C-F0B3B0D25B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c571423fc795d1f4ba9cbbd6d26f2561165df37e","datavalue":{"value":{"entity-type":"item","numeric-id":1834559,"id":"Q1834559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$674B27BD-9B3D-471B-88BF-E360C5DA3866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$B02344F1-7A81-4597-BA49-473FC3AE240A","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":"Q6842433$30420ED2-D833-4503-B67E-E40127CFAA78","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":"Q6842433$82310ECA-BF31-48E6-88E5-78031AB55AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0be4dd2ae12a720ae36eac84d798bf58f9d5aeb","datavalue":{"value":{"entity-type":"item","numeric-id":1825038,"id":"Q1825038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$31C3B43C-0555-413D-96D3-FE0EFCEE5896","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":"Q6842433$D80BD6E0-0626-48B6-B7EC-761AF506B777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2caa388abd051a852fae7f84fd554c44df7c5c08","datavalue":{"value":{"entity-type":"item","numeric-id":3515227,"id":"Q3515227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6842433$A098AED4-A2FA-451F-B425-20E34822E31E","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":"Q6842433$22E07C8F-5CE6-4CD9-9F56-A417E6DF7D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite sequentiality of finitely ambiguous max-plus tree automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_sequentiality_of_finitely_ambiguous_max-plus_tree_automata"}}}}}