{"entities":{"Q1622234":{"pageid":1632974,"ns":120,"title":"Item:Q1622234","lastrevid":53280209,"modified":"2026-01-24T15:19:56Z","type":"item","id":"Q1622234","labels":{"en":{"language":"en","value":"A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6980806"}},"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":"Q1622234$2B68E398-DC1E-43C8-B249-40160D3F373C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ee4eecbcf5927044806164d26756337129cfe36","datavalue":{"value":{"text":"A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1622234$1A24B76F-CEB1-47BE-AD0D-BD91B421805C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20fb20e673001aa92d9aeb721d89e8f2a2a16b36","datavalue":{"value":"1402.93205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$7388679B-E80C-4C3E-9177-9F345C886D0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5371a6eb8647448ddaf24ca622f9ca7ad80a8fbb","datavalue":{"value":{"entity-type":"item","numeric-id":1622232,"id":"Q1622232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$A6CB5003-F296-4735-A514-20D40FAAE50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f41c4546bb0a3f4163fe9f1a336c8eae5c1ca372","datavalue":{"value":{"entity-type":"item","numeric-id":1622233,"id":"Q1622233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$94870417-DC91-48FC-97C3-967E54DF92A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a51b97a52c84c260f189b05761c3359b0f8838c1","datavalue":{"value":{"entity-type":"item","numeric-id":164292,"id":"Q164292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$082E83CB-B839-40F8-BFAE-5D8311E8DF21","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70557870201b729ab77a6b192278b18f48bb63c5","datavalue":{"value":{"time":"+2018-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1622234$97C212AC-9BC1-44D0-936E-AE75D62ADD6D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"406c80d213b264ba577b5aab979b8ac352491ba7","datavalue":{"value":"93D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$B8A9B303-0896-4E95-805D-2848C9D9B9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$097029F2-E116-4CD4-97BC-253E3AF04982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$04B3039C-4F2F-4B78-B925-951417D7AD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$A9D63C51-9DFE-4F6F-9361-CE0794CD493E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2612e51996ebb842af4c51bae4d7e7a731c6e236","datavalue":{"value":"6980806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$EE6BF46A-1992-4185-A5D8-2689D99E3B48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34b44e7b40021effdee26093512bde7058814281","datavalue":{"value":"stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1622234$A1336A28-28AE-42D2-8A44-551F80D9FEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e4d003010627b97255afea4756c8da515d7a04","datavalue":{"value":"optimal stabilizing controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1622234$547D4526-17FB-4C06-A585-78C400317373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1622234$EA016651-86AA-4263-94B5-2AA58D9B92DE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c68116d4b2bb5081c553f61d2120d450f2a0c723","datavalue":{"value":{"entity-type":"item","numeric-id":18442,"id":"Q18442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$F082A959-B57A-4ACE-AE2B-6B9174AB592B","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":"Q1622234$E942C8C3-BE32-4A16-9AAB-81F77FCC7B20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"163106c00b983ab97fc7670efb09f5a35e59f743","datavalue":{"value":"https://doi.org/10.1016/j.jfranklin.2018.09.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1622234$492CEDC8-DC23-4FC9-AB03-8344CE625E5F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e99bd877de3efe658aac0804281e0b4a2aadefe1","datavalue":{"value":"W2893826376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$E5CFE578-B1CB-41AC-86C3-2E476D82E5EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16b8b0dd869a4029d01cfb8e8948a8c4b04d9bd","datavalue":{"value":{"entity-type":"item","numeric-id":763412,"id":"Q763412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$2164B5B4-7CF8-4BD2-A96A-7BB7B01035A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa72cb41865cb235d812cbec7253fb221b5bbb8","datavalue":{"value":{"entity-type":"item","numeric-id":3629218,"id":"Q3629218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$F222FDAC-F384-43C4-A87E-FB49831D3894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$190C353E-023C-4498-A12B-C1D3088B6658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"593f12c5812b69b60ae21c01a116b61d6b83b72a","datavalue":{"value":{"entity-type":"item","numeric-id":5364938,"id":"Q5364938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$8C105C76-762F-4F7E-B00E-86209F7DB827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a7311c2cc3ee6e63514aa6bee27428e1f9211cb","datavalue":{"value":{"entity-type":"item","numeric-id":2012356,"id":"Q2012356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$353CD666-FA4A-46A9-A9BC-A120CBD10B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa4a62d31f78d2145ddd71b22dde3902240c16bc","datavalue":{"value":{"entity-type":"item","numeric-id":3141555,"id":"Q3141555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$D0E91F94-92A1-46CD-A1E1-B15F9EC1C3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4608590e14f5d14e8a3fe1bd7909b859bd6ca141","datavalue":{"value":{"entity-type":"item","numeric-id":4841514,"id":"Q4841514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$7639A894-3AD7-450E-8D3D-18FD56D912D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46771a325af5304c0fc71581da65b09ceb7904c7","datavalue":{"value":{"entity-type":"item","numeric-id":2982710,"id":"Q2982710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$4524B480-9445-44C4-8322-0B31453DEE8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b5f15e5e3a145cb36b10af6711beef6a7118c7","datavalue":{"value":{"entity-type":"item","numeric-id":3484730,"id":"Q3484730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$5BF183B7-B6A4-4E77-ADF8-CAC80C513D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89268d200c15ed40c0c3057dd8aca4bf5a2a6ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4302853,"id":"Q4302853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$4C5D64A0-57CC-4DA3-A90D-DBB581DC9BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf2ded071f2670bcc09b14996370f5e56357387","datavalue":{"value":{"entity-type":"item","numeric-id":1204794,"id":"Q1204794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$9ED30E82-9393-4782-9336-6663431A10FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acafd24cd05fbe1cde6e88d55b9414fcf4ed28f1","datavalue":{"value":{"entity-type":"item","numeric-id":507660,"id":"Q507660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$392E5722-8679-490E-B85F-C55E92A3A2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76bc51d706531a2b8c6ce2bd56196c4365e67afd","datavalue":{"value":{"entity-type":"item","numeric-id":2980448,"id":"Q2980448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$6062E0AC-9F66-471B-A14D-1F955290DF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba21b180eb792c3fcdee8844aaf2cc94635fd2d","datavalue":{"value":{"entity-type":"item","numeric-id":3755310,"id":"Q3755310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$235156F0-31BC-4D95-AA35-1799F682035A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6ba1aaf49c79307e74bdb9bd3c8b461bda8238","datavalue":{"value":{"entity-type":"item","numeric-id":939013,"id":"Q939013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$C0BB7A30-0546-41CB-B808-1D6A985F43BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbed37c738c27abecdf43d88368de50aee35355a","datavalue":{"value":{"entity-type":"item","numeric-id":4600101,"id":"Q4600101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$E76399CC-355D-4178-8C3D-FB1FACC02D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5707e59f5f769f093b66650af387e4a51fd59db","datavalue":{"value":{"entity-type":"item","numeric-id":5353417,"id":"Q5353417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$8F5000C7-5D73-43C5-9709-B761D1946180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd51fb8998e4ce3d46ae69b837a4281a401c57c","datavalue":{"value":{"entity-type":"item","numeric-id":2833528,"id":"Q2833528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$91A3894D-6F1C-4BFF-8444-8266B48A4E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90986c637b77f5f6c2bdc3221c0e941d458c0731","datavalue":{"value":{"entity-type":"item","numeric-id":344691,"id":"Q344691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$02C9E9B7-9679-4119-B0A0-C85B0EF0300C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"407618a0b3e3ac8cbe546df6bed57c7c75bf9389","datavalue":{"value":{"entity-type":"item","numeric-id":508360,"id":"Q508360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$7B343E13-6A2F-47BF-9C03-536DF0EC8E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3255ef813a69d4ebbb1668c962330c9ff754c54","datavalue":{"value":{"entity-type":"item","numeric-id":3224871,"id":"Q3224871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$2C690D41-4EEC-47D3-9E2E-6C6493AB2369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fc9e90c5ee3972a410dc4276a1a88eef0dada4","datavalue":{"value":{"entity-type":"item","numeric-id":4852346,"id":"Q4852346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1622234$D074D666-7D24-4B62-8780-E47876841E78","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"074e3f0e9b53e55e83fe34ac73837ee922042d8a","datavalue":{"value":"Q129195922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$1C85C2D1-F5EB-4F5B-9AB1-69CE46E7D146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43f5f38758876b0b0e0ad787e13eace95571ff00","datavalue":{"value":"10.1016/J.JFRANKLIN.2018.09.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1622234$8E0F7434-18FC-427E-B225-1EFA39610FDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b976dc3c58694a094f7e89991332d071630b92d8","datavalue":{"value":{"entity-type":"item","numeric-id":4637413,"id":"Q4637413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266aa807ac4b6eede20686fb7e0558ed5fe68809","datavalue":{"value":{"amount":"+0.8466376066207886","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":"Q1622234$F9CC3735-9516-4B54-BC7F-6F8AD7F9C39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59793ada07bb7c9d5a1e5f4d1bfc8426e3c9f5f7","datavalue":{"value":{"entity-type":"item","numeric-id":3380947,"id":"Q3380947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec55d7833677f11cc3b13f0533074be2ff8dfcc","datavalue":{"value":{"amount":"+0.8404182195663452","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":"Q1622234$F1E976C3-B33B-4E6E-8A15-A2F5A3547A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e578152d142332966c83c85525f9a825de0a5a4","datavalue":{"value":{"entity-type":"item","numeric-id":1721288,"id":"Q1721288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eb9ac36c9e95a190e8b0cf80e1f13a9d5473ae3","datavalue":{"value":{"amount":"+0.8276177048683167","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":"Q1622234$13AE93D7-4CC3-492F-8BD2-0B81D29CD409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce099b49585a982274729f96f68f38ac6867bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":763412,"id":"Q763412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf31bafff4108a4f255fa6a5ac87d101c76a4c3f","datavalue":{"value":{"amount":"+0.8223761320114136","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":"Q1622234$FEA2A04A-575A-4FA8-A81A-8D59BEA26A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b21a54d2fcc1cd509b8f15eec3d75e0021f3481","datavalue":{"value":{"entity-type":"item","numeric-id":776109,"id":"Q776109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00e9b0a89a15a5e5e2fd7ec9d2637a9646163152","datavalue":{"value":{"amount":"+0.7943121194839478","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":"Q1622234$9302199C-17BF-439B-B534-817E5080455D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1622234","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1622234"}}}}}