{"entities":{"Q782553":{"pageid":784402,"ns":120,"title":"Item:Q782553","lastrevid":53780135,"modified":"2026-01-25T17:20:20Z","type":"item","id":"Q782553","labels":{"en":{"language":"en","value":"Containment and equivalence of weighted automata: probabilistic and max-plus cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225113"}},"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":"Q782553$A0A29C2D-4C16-4273-9825-977200A0DD29","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec49ae1af12f24696d40501e4dde77de4112a19d","datavalue":{"value":{"text":"Containment and equivalence of weighted automata: probabilistic and max-plus cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782553$AEBA6D66-4292-4A1C-99BE-24AC18866380","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86b04ae22976bcdefe290e0679f2d4ec470f23cd","datavalue":{"value":"1437.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782553$B3DE9111-0932-43B2-9BB7-2D73108817B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a84a1fce89ea51cf7b9261409b447b6e48ea6f0","datavalue":{"value":"10.1007/978-3-030-40608-0_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782553$0739C68B-CB8C-4CD9-8FC0-6E5CB18B76F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66d8415bbb318b7cdfb5b0ff416f446e7514756b","datavalue":{"value":{"entity-type":"item","numeric-id":290903,"id":"Q290903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782553$7CA0EB45-5342-4957-8910-289AADD7DBFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q782553$52568D34-A738-4046-8739-5ED9E4E5DF47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782553$D6B5EE5A-CAC7-4715-9683-0D31C15269F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb4ee63e1cfb024afeee10ac3970f1067a4d3353","datavalue":{"value":"7225113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782553$D21329DE-688A-428E-BCE1-B172CA93DB63","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"266cd2fb37ad2ba00390f1ff46b4c5e9361f6aa9","datavalue":{"value":"weighted automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q782553$4AE1BC2C-D7AD-4510-9F9B-8EE2C96D4889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q782553$CF9D1E23-C3AC-4B73-86A1-A341FD19DAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"866bd047537a9115cd55be91c21fbb8e28388d78","datavalue":{"value":"max-plus automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q782553$1C2FFAF9-82C2-4292-9E94-A4B54B27EAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf0a69ff86a1d56569a9610bc144fdfce86ab79","datavalue":{"value":"equivalence problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q782553$8FAA23BF-D294-4614-A179-DB61D273DC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9786932a1198ea8e1a40c9a4aafed7f72c717b11","datavalue":{"value":"containment problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q782553$BAA2743A-C727-4EDF-8D5C-A2F9197584E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q782553$5BE2935E-FEF5-4A02-9D9D-1D68BC296D07","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":"Q782553$3022532A-3816-4F8C-99FD-58D1E593652D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24d4caf7307a0850982a409603638d7816eef274","datavalue":{"value":"https://doi.org/10.1007/978-3-030-40608-0_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q782553$86D31674-8C8F-4DE3-8B60-FE8E68959A14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19d3e09d8f73d3425d5f479c1d32b0b3d79b6fbd","datavalue":{"value":"W3007324416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782553$2D8F07E3-C8CD-4A45-8E23-4C263AD6CB93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41084ecdabe7b8059c12b6c806f7697fdc4e07f8","datavalue":{"value":{"entity-type":"item","numeric-id":5002806,"id":"Q5002806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f582557f6f3904740267d634c5758ca59fa9ed7","datavalue":{"value":{"amount":"+0.8136385679244995","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":"Q782553$637747AD-1F4C-4EE8-A519-3B0A249CBC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0e6329ae00a442a2a8b77b842d5dbf0aba463a","datavalue":{"value":{"entity-type":"item","numeric-id":3172937,"id":"Q3172937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aea28827389c1a4e7a90608e55f117bdfa6f3c9","datavalue":{"value":{"amount":"+0.8065975904464722","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":"Q782553$86FA7AA8-16F5-496B-947F-23193613B027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea13578d28e746e7ca69953c7e04a8ee4ed39838","datavalue":{"value":{"entity-type":"item","numeric-id":3184677,"id":"Q3184677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b6fe832877be5faaaa7f2faa0f8bb8a08c072b","datavalue":{"value":{"amount":"+0.798595666885376","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":"Q782553$E15BFF7E-26F6-4987-9DA2-D22C6C1CA800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9feaf8a558decfafa0ca750250edf66b49ca72e","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b15f5914f76f68306b85094d90a7bac09f288dd6","datavalue":{"value":{"amount":"+0.7836535573005676","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":"Q782553$7859B85B-B75A-45EB-AB8B-3779B2DB6918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d80945bd7cc9f6d880502bb7fea1b364d2d656de","datavalue":{"value":{"entity-type":"item","numeric-id":2662671,"id":"Q2662671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4562b65c016af8cc87e48f49b015fdb1449fddef","datavalue":{"value":{"amount":"+0.781436562538147","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":"Q782553$DDCF16CC-47B2-4B0F-AB1B-E6B6FF75AC76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:782553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:782553"}}}}}