{"entities":{"Q445917":{"pageid":447684,"ns":120,"title":"Item:Q445917","lastrevid":61924131,"modified":"2026-04-11T02:35:04Z","type":"item","id":"Q445917","labels":{"en":{"language":"en","value":"Controller synthesis for safety and reachability via approximate bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6072673"}},"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":"Q445917$ACEDC10C-2363-41ED-A977-4AB0C1AD9FD8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d0ceb074544fcb5ba1ff7ecf53439c697159867","datavalue":{"value":{"text":"Controller synthesis for safety and reachability via approximate bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q445917$B11D823D-E7DD-4C5B-88EC-1AC140A9A433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b56d93af1b7c797107eb6f15263ad6bc85fa227c","datavalue":{"value":"1246.93045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445917$49E15FAD-FE71-4C24-B08D-1680E18D21B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cd75063fb99447d972021ae6b9c54b0c3559d54","datavalue":{"value":{"entity-type":"item","numeric-id":246546,"id":"Q246546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$C123601D-F508-4D5E-9C47-AAE44855C818","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"69a11602bb4f474f716dc259849d1837f4cd9e2e","datavalue":{"value":{"entity-type":"item","numeric-id":161901,"id":"Q161901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$8D413018-2937-48D8-B13A-DDE6F111FDAE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c15f9d9ffa5d90dfb7532c722f8908246dba3d07","datavalue":{"value":{"time":"+2012-08-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":"Q445917$BF1F105B-94E1-4E8A-A46A-B4659F284A08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"136a66ed17f0a8515f5ffdbb0cba84c0dfa266f7","datavalue":{"value":"https://arxiv.org/abs/1010.4672","type":"string"},"datatype":"url"},"type":"statement","id":"Q445917$9E806DEA-D575-4A7D-8463-A1E808627736","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445917$35936769-854A-4AA0-8271-B822490C7D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"32410cecd67261fd0c4b64ab235adc14aab8d32e","datavalue":{"value":"93B03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445917$67813ECC-F9B7-4094-93CF-9EBDF6EA662B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51f7be2e7f1cde70ea7cfe4eefc24187db411a27","datavalue":{"value":"6072673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445917$BDA32757-2017-4ADF-8781-9202AE6DAAFE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5758ebfc045dbc93641321bc316b17ba20d2ea77","datavalue":{"value":"symbolic models","type":"string"},"datatype":"string"},"type":"statement","id":"Q445917$544F58D2-3BD6-49E8-991B-39BD7D01019D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2080f9471c539ae7bc58b4d8c09422581c9e0f89","datavalue":{"value":"approximate bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q445917$196B31BC-B6E6-4DFB-804F-4E150AF0788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q445917$9CEE1BEB-3BE2-4236-9FFB-F434AAFB4EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f47fee90c5592664decba5aa2e51ae852ecd7730","datavalue":{"value":"optimal control","type":"string"},"datatype":"string"},"type":"statement","id":"Q445917$400DBAB1-F4EC-4AD2-ACC1-2EDAB49DAD0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d85edb3ce99122a91874624562aa066c820faae3","datavalue":{"value":{"entity-type":"item","numeric-id":22907,"id":"Q22907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$C092C5B2-277D-492C-8964-C170FD5B1E25","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":"Q445917$919A1A2C-B317-4AB8-A7AC-326681A84AD6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dae1fbb14f7dbb489aa93c98232cfa83b4770548","datavalue":{"value":"W2962709723","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445917$A03DF7A9-93B7-471F-8EE3-AA043E08C6C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29473a2376743691e9c98e0cf22a5189cad3e0f2","datavalue":{"value":{"entity-type":"item","numeric-id":5267222,"id":"Q5267222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$DA5CADB9-32F9-4983-94AD-A904E4989172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e6db6de4a9c8f0d60ec1d1dbe987f2f7e039d","datavalue":{"value":{"entity-type":"item","numeric-id":1401346,"id":"Q1401346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$B87442E2-804D-446A-9A57-AAD5CE8EF1B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab702fb645e1fd078009ae355fae5263062dc47","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$90933B96-E43B-4B81-921C-705B928119DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$255AB3EC-D9F1-4DA7-B6AB-AEAAC4A81737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$41317CFC-0A90-4AE4-B5D0-1B916509923A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d015e577de20a1f6b45648c9ab7f31e3e01c1081","datavalue":{"value":{"entity-type":"item","numeric-id":4552472,"id":"Q4552472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$A4936AF8-E5EE-419C-89A4-E3E433739030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4eac48660dd43d4c001dede0e79b7b0add4585b","datavalue":{"value":{"entity-type":"item","numeric-id":5898988,"id":"Q5898988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$BB8FDB4D-3C5A-4388-90FA-35667C3F8B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$DEB0F00F-E503-4F85-9728-F8F377AC6977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b17638db1f144c3c0eb75314d4bcb89af51a3e82","datavalue":{"value":{"entity-type":"item","numeric-id":4953402,"id":"Q4953402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$D1A4983B-E9F6-4F5D-813D-323FE5A670E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a11eae73250eb4087c69355f871c1fbedf9f2d9","datavalue":{"value":{"entity-type":"item","numeric-id":1978485,"id":"Q1978485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$FD11F6A1-46E4-4CE8-82BB-C6A5141B4D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fce30f5d00d1e74ed5d5aa045c93f932d22763df","datavalue":{"value":{"entity-type":"item","numeric-id":1004115,"id":"Q1004115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$314F5341-32AA-4162-B7D3-FE7F3A8B0852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6854b58216c33693ca533b745774c0403789147","datavalue":{"value":{"entity-type":"item","numeric-id":4393084,"id":"Q4393084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$1E5439F2-75EF-4175-953B-A1B026EC25CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254fb2c47573403d95dc8dc816c70507e882fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5899708,"id":"Q5899708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$8CB29685-D0A7-4CDF-87D0-8C55A1B6852D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3590e20829eaaa4c053f31ed90f7bd615d5e141f","datavalue":{"value":{"entity-type":"item","numeric-id":3624580,"id":"Q3624580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$75577703-1499-48EC-87CD-9DD8ECB6D154","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":"Q445917$75CB9307-91A2-4B8D-9F99-027D4ECA0C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f5e7b9368615051c1055b4de5c53078517205c","datavalue":{"value":{"entity-type":"item","numeric-id":5281987,"id":"Q5281987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q445917$311623E4-0082-4875-880E-3B59B6939F74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10dd981df54bf0a0d86425624bfe10bcbccd3651","datavalue":{"value":"10.1016/J.AUTOMATICA.2012.02.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q445917$274446D6-BC27-451D-8586-5060727AF78F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a28e12b549d1774a26740a88a5632490d85fb331","datavalue":{"value":{"entity-type":"item","numeric-id":2985872,"id":"Q2985872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e9990b7c1fb4b2fb64838553952cb8c952ff168","datavalue":{"value":{"amount":"+0.913400650024414","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":"Q445917$45C631B6-373A-45F5-81E1-1E09E23DA07B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8299439049d317ae8d3bfa8fe72ffb9a20bdcd9","datavalue":{"value":{"entity-type":"item","numeric-id":2986729,"id":"Q2986729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c197abf4506d7e189dbf11583a78b5c10918e308","datavalue":{"value":{"amount":"+0.7906139492988586","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":"Q445917$341CB703-7937-4842-A20C-E1B938B0C3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc73181ee3a15eb5d8fbb4297119778131525cce","datavalue":{"value":{"entity-type":"item","numeric-id":3612974,"id":"Q3612974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c025b3d9c0d90e11acc5aa461369e5b1cc04b34c","datavalue":{"value":{"amount":"+0.7876781821250916","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":"Q445917$4D1D3BA9-1010-4BF6-A4E6-843E1A9A7414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"838cc5bdf87ebfe7f2a513a1479d27c00684a09a","datavalue":{"value":{"entity-type":"item","numeric-id":2252962,"id":"Q2252962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0000516981470de69295d99f749c10f5c96245f","datavalue":{"value":{"amount":"+0.7830970287322998","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":"Q445917$68918DE9-8734-4F98-9942-1B5344599A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e8f4ac3b5b380edd239e3d713e8314e29a2b82b","datavalue":{"value":{"entity-type":"item","numeric-id":2519735,"id":"Q2519735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f3e08479f1fd4e02762f04777537eb86766fb6","datavalue":{"value":{"amount":"+0.7751818299293518","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":"Q445917$2B781C3E-B59A-45F3-B4B4-68BC9E2EDF2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Controller synthesis for safety and reachability via approximate bisimulation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Controller_synthesis_for_safety_and_reachability_via_approximate_bisimulation"}}}}}