{"entities":{"Q6045012":{"pageid":13179168,"ns":120,"title":"Item:Q6045012","lastrevid":56663286,"modified":"2026-03-18T12:51:35Z","type":"item","id":"Q6045012","labels":{"en":{"language":"en","value":"Controller synthesis made real: reach-avoid specifications and linear dynamics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689218"}},"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":"Q6045012$2D8B2044-ED93-4BE0-A2F2-BB5AE023FB21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a505c207bd2f64c7f3cf699151403af21b2da742","datavalue":{"value":{"text":"Controller synthesis made real: reach-avoid specifications and linear dynamics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045012$E55C84E6-A8FF-49F3-9E18-F117320FD68F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4368f933313eba395016300cec0bdbb969d30872","datavalue":{"value":"1511.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045012$E302AE45-CB02-4803-B400-D27BDCB9382E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7edca5769c1a165f72049410f56b61e7bea1a469","datavalue":{"value":"10.1007/978-3-319-96145-3_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045012$9770962B-8A5D-4055-9A16-93BAA4F74F81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"324e54d20b268f5e07e96fa166a32e3445f86344","datavalue":{"value":{"entity-type":"item","numeric-id":2024374,"id":"Q2024374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045012$738666B9-480A-45A0-BD33-4EC6CBCD28A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3832a6f49368bc25104676db11d18b956393ba53","datavalue":{"value":{"entity-type":"item","numeric-id":2164213,"id":"Q2164213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045012$68D96AD2-2053-4D1B-8174-EF0E0A058EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"90393429fed72c1283fc5e6b05722ab07dfbec00","datavalue":{"value":{"entity-type":"item","numeric-id":432131,"id":"Q432131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045012$8109A16C-8B26-4C61-A2A8-998AD8134965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045012$58DAD5EA-0378-489E-937D-DADDCBD8C2D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045012$EF4A37E0-5DA6-45BE-8DD6-0ACB86ABECBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045012$C7F7C982-7283-4CF3-BB5A-2B0382DBF141","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045012$CBB95ADA-69DB-4853-AF83-A7AB6875A445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045012$D0A7425A-7B83-4764-9F3D-83CB3230D0D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51c58428062aac2ceb1a971397da9e5d9e4a2165","datavalue":{"value":"7689218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045012$18F4DC39-E404-4B5A-8709-A945C93C5652","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":"Q6045012$D570B1CF-1F85-4CAD-9A2F-6736D4339F78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3675d9152aa189c15df37a67170960f08fb4661","datavalue":{"value":{"entity-type":"item","numeric-id":5092060,"id":"Q5092060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a8d006d0265d6ebe3d59447410be9167264537","datavalue":{"value":{"amount":"+0.9558305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$F8468E2E-A1B8-4C03-AE2B-567BCDB770D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8bcd5e411d4f0a7f87d5f49a2c304c667c3b993","datavalue":{"value":{"entity-type":"item","numeric-id":3454364,"id":"Q3454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6729f98a11f13cd2580648cfce73c802e198bf7a","datavalue":{"value":{"amount":"+0.88849324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$0D4F8A60-707D-4794-AE7F-32654A9DBABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d84d0830e4571ad98bcb55aeab011d88b77e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4990166,"id":"Q4990166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca74289eaa2f28693db65b3c53b2bb5bf8c83db","datavalue":{"value":{"amount":"+0.88607395","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$C5A3F9F5-893F-46D1-A8CD-64FE5A689A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfffda094391927ccce10b9c85fa9d688069294d","datavalue":{"value":{"entity-type":"item","numeric-id":5429317,"id":"Q5429317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1780a94321ad073142ff02eea824304614951ed0","datavalue":{"value":{"amount":"+0.88553154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$0549D650-2ADE-40B6-9137-886FC9462E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f8ed0b1370b47c7d78b3733902176bd54e62afa","datavalue":{"value":{"entity-type":"item","numeric-id":4953410,"id":"Q4953410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba36464e823eee787614669c511d8558240088f","datavalue":{"value":{"amount":"+0.88198984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$BC344E24-9092-449F-96E6-FD879E2D25CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a8ab3dce6da7fd100c0ae9c249c065faafa69b","datavalue":{"value":{"entity-type":"item","numeric-id":4974254,"id":"Q4974254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dc310cf59feb45391803ccc832678020763ddfd","datavalue":{"value":{"amount":"+0.87967646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$CAF45EF1-1CB6-4815-86DC-FD355E30EA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710cd4f6d1144c4211c780e2158eb5691b8c5e32","datavalue":{"value":{"entity-type":"item","numeric-id":5211160,"id":"Q5211160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15856b9d47f6551a61e4318f6f8d0eacd72dcbbb","datavalue":{"value":{"amount":"+0.8757769","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$E3965EC5-0741-4872-A486-F4ED69E60D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f07642d8d2560bdfcd851f2ddb1dff5c51bccae","datavalue":{"value":{"entity-type":"item","numeric-id":4901683,"id":"Q4901683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8bf621fd2bf2f84e75204f63d09639aa9c99b5","datavalue":{"value":{"amount":"+0.8755729","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$5D2D269F-BAEA-4326-9E99-EC26CCC6C59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b6d0eee4a3571e7936208a7826aa967e634ee1","datavalue":{"value":{"entity-type":"item","numeric-id":3360068,"id":"Q3360068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be50d7944207c1b8d29d17255d2b991e03c82ab9","datavalue":{"value":{"amount":"+0.87139314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$AA91200A-D53E-4CA0-B626-8BAFC2C75177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e3127994be17a8f137c9f465dd2cd210c8d6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2891434,"id":"Q2891434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a5a99033dd3dd42dfdc600e2fb11f9684979527","datavalue":{"value":{"amount":"+0.8708626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6045012$CA0E972E-7778-4296-97F7-CE1E52FDDBAC","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":"Q6045012$23846E76-45E3-4AFD-9A63-7A186B9B7267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045012"}}}}}