{"entities":{"Q6202080":{"pageid":13336967,"ns":120,"title":"Item:Q6202080","lastrevid":37637848,"modified":"2024-08-27T10:32:38Z","type":"item","id":"Q6202080","labels":{"en":{"language":"en","value":"Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807946"}},"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":"Q6202080$DB9D3B1D-8FE5-4AC8-B8BD-31C710E153FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c9ffcd072a3e73ed8dbcf068116facc126d4148e","datavalue":{"value":{"text":"Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6202080$831BEC77-486D-48C0-AF31-E415125524B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67835a81a5cf182de94fd969a5fe0d68b54d1ae3","datavalue":{"value":"10.1145/3575870.3587121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202080$E051EB0E-F93E-4270-9DDE-1519431D309B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c1df4b389883cab0f6da8d8312690f996b51ad7","datavalue":{"value":{"entity-type":"item","numeric-id":2085158,"id":"Q2085158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$96DF440A-7702-423D-8751-F0FC30818DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c27e4631b2c9b13c752eefec6794fe8a11e84f","datavalue":{"value":{"entity-type":"item","numeric-id":2116656,"id":"Q2116656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$4062059C-E1C3-47D5-8933-A18C3990FD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b477b5658b51465a1d02c115134f329e7a04eb9","datavalue":{"value":{"entity-type":"item","numeric-id":296101,"id":"Q296101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$2E44B10E-964A-48DF-B8FA-93D2C8C70158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d07c5e313dd51ab1aed894a2b76df59a8e3b19f3","datavalue":{"value":{"entity-type":"item","numeric-id":988779,"id":"Q988779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$14A33C9D-ABA8-443A-9589-C6DBF1E571AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb2f198d23bf9650c0fcd84bd7988a6354cb1f28","datavalue":{"value":{"entity-type":"item","numeric-id":6202072,"id":"Q6202072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$0BEEA78B-5AF1-45F6-8419-37D5C424BEF4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53360f7ab3681474b85d2627dbbaf9766814842d","datavalue":{"value":{"time":"+2024-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6202080$DC203CBC-8841-481D-ADCC-A76C7AB69BFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e2be2dbf1570143df4bb9ad2e2c902f6bb254c9","datavalue":{"value":"https://mediatum.ub.tum.de/1710697","type":"string"},"datatype":"url"},"type":"statement","id":"Q6202080$3A35A2CA-3A06-4045-818F-1823C1AECDC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202080$AA5704A9-5FD6-41B8-BDB7-01CA6EF4E68E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202080$D0305927-E03F-4BB9-A959-7FBA0F7009C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202080$9840E382-1DF2-4A4C-87BA-6B2E03BDC339","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5da3997db38ad51253187f692aefeb42e2da9b57","datavalue":{"value":"7807946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6202080$379F73C3-E852-4CC4-A828-7E0904FE6739","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202080$86597D62-30C0-4657-B349-A614BED4CC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165fd2148f5c1fc83658e5bcb32f1e4a5fe1869e","datavalue":{"value":"automated parameter tuning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202080$5E82D128-95A7-487F-A4A6-A1776B53E2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c81f0c84668db83f4ffe2369ce466c4d2aa8f50","datavalue":{"value":"counterexample.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202080$CA5FE692-6572-4E18-AD62-7FCC10B06BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"348e012bf21a3fa1c0eafe876643fe11847690bc","datavalue":{"value":"high-dimensional systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202080$FE2A620C-17D4-492C-B50D-0F20F94DC6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad86361ad64fc068dee97816cc2b63d57f6712d","datavalue":{"value":"iterative refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202080$55A019D7-25D6-475F-9F0F-244E8E1D29EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"130a536c24357d7379924eb2c42cf71e5361b31b","datavalue":{"value":"set-based computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6202080$83691A2A-5A2B-4B34-8448-D9ECFA81014F","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":"Q6202080$7C50CA20-0638-40C4-9AB8-A177F91AC407","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8c00e6859456436b4dd4fd8d1212e545db8330","datavalue":{"value":{"entity-type":"item","numeric-id":4953376,"id":"Q4953376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$6336EDE2-2E0D-4D47-8863-DBFFAF815DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4210c8aea09880546d29e9e230c6a0170c66e8c","datavalue":{"value":{"entity-type":"item","numeric-id":2151263,"id":"Q2151263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$05D91CC0-9F8C-42C4-8AE4-B0A82AD3C857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d8ba3ba2675e44b8c6482a3ed62cae39ea4709","datavalue":{"value":{"entity-type":"item","numeric-id":5239217,"id":"Q5239217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$E8B2202E-A6CC-443F-82F7-D78B2E766E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34322d8c95819475484693a5aa99ad79ccba7a25","datavalue":{"value":{"entity-type":"item","numeric-id":3303915,"id":"Q3303915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$93FDE82E-64A5-4EBB-8D90-905A741BC78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14869e5b87ea0d6127789d506b7efc8a71702385","datavalue":{"value":{"entity-type":"item","numeric-id":5266964,"id":"Q5266964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$6545252C-4175-426D-AC4C-76A1200C50F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b02c90d5dfcae50baaaab8bcbb80dfd3f95124ef","datavalue":{"value":{"entity-type":"item","numeric-id":3612969,"id":"Q3612969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$B88E2A04-AD2F-4B56-8D13-AD84F3E3A539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74ccbd6e154af64b688640cfa7069952b1451025","datavalue":{"value":{"entity-type":"item","numeric-id":4633548,"id":"Q4633548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$ADA321D5-F7F4-4F43-BB6A-FD7F13141B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feb80b7a460fe7a46ccb81930d657ccfa4e44392","datavalue":{"value":{"entity-type":"item","numeric-id":432241,"id":"Q432241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$BE8544FA-52B7-4D51-90BB-BD2EB61E4522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5d4e2d64d8c6febc054bc1bd2cc6472d7a02de","datavalue":{"value":{"entity-type":"item","numeric-id":2165508,"id":"Q2165508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$A383EDB0-6B6A-440A-9026-30060D60B741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55dd5542e30ac9593c05d93da9f3320bd91e81ca","datavalue":{"value":{"entity-type":"item","numeric-id":2988931,"id":"Q2988931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$8316A991-20DA-4D0E-AB1C-093AF6BA65DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b2d87369dc7337f66e0e9b7601a45128e39edd","datavalue":{"value":{"entity-type":"item","numeric-id":2986925,"id":"Q2986925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$18564EF0-F5E7-4426-8CE8-393125AAFD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f0f63012bd8a792f6bfe8c36d172c7ab45bdf7","datavalue":{"value":{"entity-type":"item","numeric-id":4682245,"id":"Q4682245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$01BA668B-1804-4CF3-BEAE-7CD2E5D584F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3d771fe4d67b7e62b1337b5ef67a0024cc8717a","datavalue":{"value":{"entity-type":"item","numeric-id":5703929,"id":"Q5703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$602C5BBA-7717-4437-90AA-780BE08F2EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f58403091e3cae0cd0ee861240b50ca299f4cef","datavalue":{"value":{"entity-type":"item","numeric-id":3523109,"id":"Q3523109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$A43E984A-A071-489B-AED2-B65A049ED122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"759debb9825d225ea87326644349c01a8ddd722f","datavalue":{"value":{"entity-type":"item","numeric-id":5898983,"id":"Q5898983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$3FD51D86-E5B1-4EDE-8476-D7DE21B395CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2516a3adb62db364c5341765e8ff1c499f5ec316","datavalue":{"value":{"entity-type":"item","numeric-id":2518996,"id":"Q2518996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$AFEE05E3-C76E-4140-8C2D-15197E0DCEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fcc8325a98cb782cd0324d5a38a66ece281eb9","datavalue":{"value":{"entity-type":"item","numeric-id":6056403,"id":"Q6056403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$BFF4F283-50B8-4C72-909F-B37FC8FBD349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ce21c0af5b0744b4a11c7df8ddcc9112e73fa9","datavalue":{"value":{"entity-type":"item","numeric-id":4953393,"id":"Q4953393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$B827A2E8-4C7E-41A8-91E7-B6640E3D0B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80563aa2a53c69a48fb355c7b30755fe0ec51a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3636880,"id":"Q3636880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$6EE9536E-C24C-4E0A-8459-91C2CBF297D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e11599fdd1f647685b3844fd11d8d0539850b","datavalue":{"value":{"entity-type":"item","numeric-id":988781,"id":"Q988781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$069A34A7-1D1B-47DF-ACE6-BE8DD1FF8B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7784189294e81874fa9d2380e5da09a4d09a5f97","datavalue":{"value":{"entity-type":"item","numeric-id":5274100,"id":"Q5274100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$774D4E97-3438-4255-838E-D7AE67B6BE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c347c60e13d160aa53a2f40cfef7b79c62c55cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1040772,"id":"Q1040772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$98A328E4-3702-4962-88E8-3177C59C848D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12bcad11fe97484505c727089d3af542344d4df9","datavalue":{"value":{"entity-type":"item","numeric-id":4930176,"id":"Q4930176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$2FD4B566-EBA4-436E-855D-B58950AAF481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bd8c4920cca33206bfa68443a6ef7dc4905880e","datavalue":{"value":{"entity-type":"item","numeric-id":2986721,"id":"Q2986721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$B8D184CE-1FBC-4595-AC7F-6CAE3605FFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ad41628e5c514648aa3055d776621cc63b95ebf","datavalue":{"value":{"entity-type":"item","numeric-id":5307944,"id":"Q5307944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$3FD67CFA-36B8-44FA-A4F5-A6A52FA0D319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8a0c7f69cc7b61244a88a3320724a7c0f897ae","datavalue":{"value":{"entity-type":"item","numeric-id":5282200,"id":"Q5282200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$2E26CA2A-CEB7-4840-AE49-A087BE61EBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b055b28c3ecf01ed8cfc370eaa73dc48a2d0ca26","datavalue":{"value":{"entity-type":"item","numeric-id":5703953,"id":"Q5703953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$E4C815E9-FD62-4D45-8E40-A3E5783733AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"943f04775a6040ee43576366157de6e3d6845c30","datavalue":{"value":{"entity-type":"item","numeric-id":2324234,"id":"Q2324234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$0A09B347-4263-4791-89F2-DDB8D1B70741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a234a6460b2c5fb4d70a82b7e2055eb052a82145","datavalue":{"value":{"entity-type":"item","numeric-id":286264,"id":"Q286264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$4691317F-B549-4376-8F53-1DD462528753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0928165d25b80d2a0d7aae42e758650dd1ff986","datavalue":{"value":{"entity-type":"item","numeric-id":2085160,"id":"Q2085160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6202080$C01EF4F4-1FEB-41FF-B5A4-36B972C524C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6202080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6202080"}}}}}