{"entities":{"Q2226754":{"pageid":2237497,"ns":120,"title":"Item:Q2226754","lastrevid":57798483,"modified":"2026-04-02T14:08:32Z","type":"item","id":"Q2226754","labels":{"en":{"language":"en","value":"\\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307978"}},"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":"Q2226754$975A823E-B7DC-4E6F-A222-0650B21DB8CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e5f2e058fd94477725b6b0c9f35389cbef9b56c","datavalue":{"value":{"text":"\\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2226754$8BB43052-D9E3-4437-9EF4-1BF9B9AB25AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcf5f58c3977257ab559737e99258c2824e65da2","datavalue":{"value":"1481.93037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$63BDFA1B-ACC9-4E3D-AC76-8C2CBF7B0FAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ea0c35905b74bacfacf5269ffd25ee3708632b2","datavalue":{"value":"10.1007/978-3-030-53291-8_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$B41D2F6D-5B65-457B-84A8-225F7BEDA303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6bf57d30ec888b0692bbfbe98ecb4dcd3426636f","datavalue":{"value":{"entity-type":"item","numeric-id":2061248,"id":"Q2061248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226754$8CD5E3E2-D87C-48AD-8C2A-A61E76D6A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2db9a7d7e30360ae460f03e25d49f7323b9a585","datavalue":{"value":{"entity-type":"item","numeric-id":621185,"id":"Q621185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226754$93C9B01E-1939-4151-A132-9F3E94E4F0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66ab7a9759e1b34b547acdc6abd2881220f0b927","datavalue":{"value":{"entity-type":"item","numeric-id":2061249,"id":"Q2061249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226754$A270D8E6-3F27-4339-A013-1CC02A35A7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae2161ef886d8ebd3f0df12de6de95980476e7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1689366,"id":"Q1689366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226754$F31D6D53-51E7-4452-BDC9-A4210D1BEF12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226754$E02BEA3C-88ED-48C7-B595-FBA0D0EDFF0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02a83d49d8aedc02cf4258f95f6bedb10d6a7630","datavalue":{"value":"https://arxiv.org/abs/2005.06191","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226754$0B91130A-DF0D-4A2A-8E9A-34B826C71DF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$33569042-8595-41B0-A072-47FD179B3258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd87a0473bfa14f58600a7b373a6a1e6cb1f2980","datavalue":{"value":"93A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$402BF1F5-23E7-48E9-8B15-0831DA1435A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"39a0025ac480893a6c3723330b06364463bbd01f","datavalue":{"value":"93C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$B5EAA8E8-7D2E-4776-A77B-0986098713BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$426551BA-129D-4B25-879E-7619516F8BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$75EF5A5B-5AE5-4A0F-91E1-18FFCBA8BA83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b5fea7dd33e1cd94ce07f94285f7fc92e32cd89","datavalue":{"value":"93-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$69B02A0B-574D-4F03-B7A6-41183BCCF7E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ba00bba6a7e647956a6aa83628d3386df78922f","datavalue":{"value":"7307978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$552C9DC7-33CA-438B-9823-C994E3EE341D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33669a46e6c8e8b36873d1f752821b7694a60c9","datavalue":{"value":"parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226754$EBF07439-B028-4CFE-BD2B-79834CA432F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a0c37eab517bf5b54cf25e46a559627a8e2e694","datavalue":{"value":"finite MDPs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226754$D81F870E-9C96-445C-A4E1-1E0C1962D3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff0912bd2ce8b63be084e660c987e9e703d9e0fc","datavalue":{"value":"automated controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226754$7CA9A308-8EA8-46CB-9E10-4F1745B6BB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"892a9df7516c203e1f79a0694d0d5499852051a3","datavalue":{"value":"discrete-time stochastic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226754$2A8C0987-6E87-4DF3-B1DE-9DF0CC3FD3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c4ed9dc80e3d3f9a0fb4d4b68303d4a9e29968c","datavalue":{"value":"high performance computing platform","type":"string"},"datatype":"string"},"type":"statement","id":"Q2226754$75EFF0C6-D1F8-4FEC-B586-FAB4AAAE8AEE","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":"Q2226754$F8F2A2D7-8E4F-498B-85B1-672362498C51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93ec8beaa015f6d42b44a3115a0a91978a292345","datavalue":{"value":"W3046763300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226754$FF16FC1C-3574-4705-A4C6-55A5A1121BB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fdc75d9f7ab57bb8d80f797db61dd55662009a","datavalue":{"value":{"entity-type":"item","numeric-id":1693824,"id":"Q1693824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7518fd78849e323cee99c4c388e37aaecac925","datavalue":{"value":{"amount":"+0.7233723998069763","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":"Q2226754$DBA9C4A7-C614-43B0-B93A-65A057681E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da42477affb7ec7588382597ee70029edcdb7b2b","datavalue":{"value":{"entity-type":"item","numeric-id":3190116,"id":"Q3190116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b301d47657962a66657a4f97bf84645d7e4afec7","datavalue":{"value":{"amount":"+0.7127273082733154","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":"Q2226754$B518D67F-30DC-4B9E-8B1E-A5F25DD1D785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373f6a6eb1f549c8a9b9d76b89758cdc113f5ace","datavalue":{"value":{"entity-type":"item","numeric-id":4673428,"id":"Q4673428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752187ce60a09acc1a48f670a028ee911e2bd44a","datavalue":{"value":{"amount":"+0.7065812349319458","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":"Q2226754$6CB23464-2E70-4C29-B1C4-258B98EB3ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f8108225661709c6fe6b03b4394fa5500a39cc0","datavalue":{"value":{"entity-type":"item","numeric-id":2103672,"id":"Q2103672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fa23ed99686161a2d15287f6b05541e207b6cc4","datavalue":{"value":{"amount":"+0.7033425569534302","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":"Q2226754$BF699114-D370-48E9-9DEA-77D54738A3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8763926d4ccef4879ea3784a46ade38368e6cc8","datavalue":{"value":{"entity-type":"item","numeric-id":2986935,"id":"Q2986935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da8baaa88768361c42798616fefc2d7c8577bd09","datavalue":{"value":{"amount":"+0.6918631196022034","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":"Q2226754$FCE2CDA7-813E-4A65-A3F9-CEF661749B53","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2226754$BCB89FCE-19F9-4A31-8B80-008A2DA1A2A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2226754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2226754"}}}}}