{"entities":{"Q6828058":{"pageid":15108292,"ns":120,"title":"Item:Q6828058","lastrevid":56006083,"modified":"2026-02-24T12:52:52Z","type":"item","id":"Q6828058","labels":{"en":{"language":"en","value":"Markov automata with multiple objectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7551561"}},"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":"Q6828058$A85F9105-03DE-4427-98FA-1B1EFE12D613","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8704f1fa7af8484faf8c1c1a4e55336c74ea73a4","datavalue":{"value":{"text":"Markov automata with multiple objectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6828058$5E3CCD7A-A1E1-4875-B0D7-1FCC2AFD3CDB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e95cf5a4e52c504271fecee4be246094634f68d","datavalue":{"value":"1494.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$DC149A0C-5B5D-48D5-9285-D3E43898F377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e1356b2c213a3ba285e3c36db315082b54a6027b","datavalue":{"value":"10.1007/978-3-319-63387-9_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$DBFFDD31-F9B3-4902-BB14-06A45B120559","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"520e4899614d865cd20e7b39982e692729e073e8","datavalue":{"value":{"entity-type":"item","numeric-id":1990497,"id":"Q1990497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828058$5430FD30-75EB-4B2C-8D53-C5AB3F2582A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ef31944b5821ac2278e65baa6cb79a07bb5617","datavalue":{"value":{"entity-type":"item","numeric-id":832289,"id":"Q832289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828058$8C8E1D97-6E15-4BE2-AF88-E69518BD6D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828058$CB29CAF9-9CF9-4465-9DF3-2E473580EDBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6828058$E914C063-8C23-4994-AEA5-F8A7A222F847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b01f91c2828ea0406533259953e45b7596e1cea7","datavalue":{"value":{"time":"+2022-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6828058$3C2E52A2-0E90-4165-8568-D56CC85C9571","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$F1395A7E-800A-4E7C-B962-80813444286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$35C3E982-EFDE-403D-ACF6-5B99E10913A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$FCFAB5A1-CA04-4FD2-8E30-63051B0B4882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f180476aacacc0952b2209f458581df72896a0b3","datavalue":{"value":"90C29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$BAB33501-027B-4CCF-BE08-2234E11039C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$7C2EB689-2A42-4538-9396-9B639B976D1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7eb9e4aa8e5a2b56aaa9d5dc07dadd10ef3e9f7f","datavalue":{"value":"7551561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6828058$09258713-DFBF-435F-A3C6-A9EFF197AE24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"754faa789ef14fb45fb733afb19bac9f401507e4","datavalue":{"value":"Markov automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828058$73418E2F-A6FF-4130-BD8F-8A2ECC3E35A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cfb635100bcc8a85463e6beac1ce534f15033d","datavalue":{"value":"Markov decision process","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828058$10123133-5951-4283-A521-401A2256F0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ee4317b859a9fc34e525f77aba5edfaea71f01","datavalue":{"value":"approximate Pareto curve","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828058$1DF573F8-EE69-4AE8-8A7F-55CC6B2E758C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f3139dc9ce9b0004ecb7f7f20cf96676e4de34","datavalue":{"value":"achievement points","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828058$0289C57E-04C2-44E2-9E8D-C63EC791F15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fced3b43a6d4f15c031b239a69f7a68ee5d57b04","datavalue":{"value":"multi-objective model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6828058$99E097B5-4044-47D7-8D3A-52767BAFDE48","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":"Q6828058$8298BA06-D92D-4556-9F5F-2B51AE6C655E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Markov automata with multiple objectives","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Markov_automata_with_multiple_objectives"}}}}}