{"entities":{"Q3564226":{"pageid":5594130,"ns":120,"title":"Item:Q3564226","lastrevid":51000758,"modified":"2026-01-16T03:53:33Z","type":"item","id":"Q3564226","labels":{"en":{"language":"en","value":"Automated generation of optimal controllers through model checking techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5715498"}},"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":"Q3564226$A0ECF39D-1331-46C9-B257-0CAD0D4FCAC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"340bfd774b972494fbf03fee807160260d185a59","datavalue":{"value":{"text":"Automated Generation of Optimal Controllers through Model Checking Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564226$CAC705FA-CB15-4188-AE1A-29A1F44A2F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c51fa1474478d5324cd6a9cf7be25ffeb5328cee","datavalue":{"value":"1188.93031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$1BA41785-E703-4A9E-BA80-BE145B4C5CDF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd440bbe4c8aa805259086e3dd0c2c57185e1e06","datavalue":{"value":"10.1007/978-3-540-79142-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$B4DA9F71-65EC-4767-9A33-DD9FDB305705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50b7baf9ffc5b2d2248fec32970903e0e6ec9035","datavalue":{"value":{"entity-type":"item","numeric-id":397402,"id":"Q397402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$31D06708-0251-42A8-B114-8CDCB8B00DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dada4cfc9b26ed77ceec2d8a8337033a959b15a","datavalue":{"value":{"entity-type":"item","numeric-id":397404,"id":"Q397404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$2C48D35C-73C9-4FC5-86F1-AE5FA9B8858F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f0941584d21835310eadf9f62d0d156925477a7","datavalue":{"value":{"entity-type":"item","numeric-id":2965870,"id":"Q2965870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$D10AA608-A33D-4ED4-88DC-17CCB5F82839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"395b5137124702312f7d3fa6b0db1bd777258581","datavalue":{"value":{"entity-type":"item","numeric-id":397403,"id":"Q397403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$545CA87C-214C-4671-A887-156734169623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f071a7bf2ab586ad65c67abcb7d73ae3d2d68fb","datavalue":{"value":{"entity-type":"item","numeric-id":397405,"id":"Q397405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$0B5EEB11-52AD-4E5E-A60B-DA3D8A47D578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a357fda3647bc7bd0bed1134727ddfa0047069d","datavalue":{"value":{"entity-type":"item","numeric-id":397406,"id":"Q397406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$1936A53B-3129-499D-A0A0-F54133DAA6FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ea43fcd3d04500e4a5efcd97627b4fafd7398d9","datavalue":{"value":{"entity-type":"item","numeric-id":3564214,"id":"Q3564214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$59B258ED-21A0-4B64-ADA7-610B96546D84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d839b5eef1bcdf95ed84bc93ea6b8a9df9f4c28","datavalue":{"value":{"time":"+2010-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3564226$8D574794-69B6-424C-8A34-0D539B37DE72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$09E6D04C-3ADD-4AC2-B0E8-3E497E27B35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"559e9e993b5739992d837c78bb1ff74a483fa093","datavalue":{"value":"93C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$3FCD4FF4-631C-4CE1-816C-4B73B16E19A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"30c44de7be251b06c724a821bfd07428e2a12118","datavalue":{"value":"93B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$5993655D-FF0C-47F3-B4CD-257D26230D21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"589a02d7e2b456e21ba57d9e3e3d75101ff88f29","datavalue":{"value":"5715498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$9E96BFA8-33F5-4AD6-8E0F-70A13757278A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564226$E02AA7D2-1605-4F65-B1B3-A9CA9C39C45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0adf66ec2d64d0704e6fd869981397f75eee983a","datavalue":{"value":"controller optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564226$3D05B292-0642-42C5-86F6-E92FC75B3647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564226$79EA3277-CD26-4DC4-9200-BE6189B5F0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4651fae9d12e26bb456e8184d8837c6e4544d5e","datavalue":{"value":"nonlinear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3564226$84BD7994-FA7E-4F99-A050-91D05140B980","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":"Q3564226$CB104E5C-45B1-461D-9D46-FF09A75BD680","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb658c8a4eca8c49b28fadf67e7d1dd8538f3142","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79142-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564226$0E67FEF1-C5E8-4CB3-8BC1-DA2584CF4507","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"310d7dce47065f4dc7a8689173a4cde12b347176","datavalue":{"value":"W2113355641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564226$F715B766-7884-40E6-A42A-D9E420ED107D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a0b889997bf81190469f18001e1ac850478031","datavalue":{"value":{"entity-type":"item","numeric-id":1301405,"id":"Q1301405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$C653CA65-070D-44D5-9CAD-0BD98F050CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2f2a79b2423064969e9e807ceecbbd14a2c171","datavalue":{"value":{"entity-type":"item","numeric-id":4890885,"id":"Q4890885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$77238611-4287-4C1E-9E50-F48CF8544269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537ee6f694af0ee9f9e39093ad300ac659984772","datavalue":{"value":{"entity-type":"item","numeric-id":1873286,"id":"Q1873286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$87B265AD-BDAA-4D81-8E33-2CDD86B691CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67be9d8aae912907830f298fc6485c1dbd0ec6e7","datavalue":{"value":{"entity-type":"item","numeric-id":3376698,"id":"Q3376698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$690F31D1-85DE-42FB-87AA-C07987A343C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff255d6f281120f795594ba3c091913fed1575d","datavalue":{"value":{"entity-type":"item","numeric-id":4003318,"id":"Q4003318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$00D0DE3B-6D65-4E80-A868-E0EEB0F34218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564226$A7092A97-4FC4-4B10-9FA4-0F72872A822A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6837f8323f2df2e05e6e993f7ceaee7c354156","datavalue":{"value":{"entity-type":"item","numeric-id":3624564,"id":"Q3624564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4755f291caed6b590ed963f7194f6ca7c19a6a4e","datavalue":{"value":{"amount":"+0.7662287950515747","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":"Q3564226$593BC551-9E95-4BBE-BDC1-D71973479A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cefaa788928a3f5261ee0977cd113e998bbc8d73","datavalue":{"value":{"entity-type":"item","numeric-id":397407,"id":"Q397407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1715395b623b82f4317bc23a07f7267c38549942","datavalue":{"value":{"amount":"+0.7540673017501831","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":"Q3564226$E5F61E5F-71C7-4E76-96A4-9CF4AF5A76FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"feaa7ec5edf02b2cb19c5beaec82bfff09f3d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":2225131,"id":"Q2225131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c506dcf8269a9afa9161f747863ee5c71e97216","datavalue":{"value":{"amount":"+0.7341102957725525","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":"Q3564226$714D8813-71D2-40FD-B2E0-416D9D95AAF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6500cdccc064ef042d806041b1b114337dd84525","datavalue":{"value":{"entity-type":"item","numeric-id":2999201,"id":"Q2999201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a31731e9b0a397a7af66c31c3edaf74e9a78bb","datavalue":{"value":{"amount":"+0.7225641012191772","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":"Q3564226$BD30AB92-864E-4351-8557-A10153B0BFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f54c01e02f60b9dcc3351447163c2fa1457ea6","datavalue":{"value":{"entity-type":"item","numeric-id":4953385,"id":"Q4953385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6fbbf65d3b8fe5cd58b3c5b485f065450290bd","datavalue":{"value":{"amount":"+0.720424234867096","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":"Q3564226$0B2FCFE8-2122-46E2-8477-9CB8C0FCB034","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564226","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564226"}}}}}