{"entities":{"Q464595":{"pageid":466362,"ns":120,"title":"Item:Q464595","lastrevid":56912469,"modified":"2026-03-24T14:31:49Z","type":"item","id":"Q464595","labels":{"en":{"language":"en","value":"A computational approach to synthesizing guards for hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6362023"}},"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":"Q464595$3F46A4FA-E645-4E62-905E-A28310DA086F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc66455df224c9360a1d961bb73cc52d426883d8","datavalue":{"value":{"text":"A computational approach to synthesizing guards for hybrid systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q464595$BDD69274-43DB-4D8F-B142-A3F2F6E82A7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f05a49d0f44831b7521465c55f3960ce9c3201f8","datavalue":{"value":"1297.93100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464595$2CDDE04D-1D3E-4DD7-9AC5-860FC4DF3E5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46acb9fec80e04f994c4516d13eea5ee4a666b3d","datavalue":{"value":{"entity-type":"item","numeric-id":254597,"id":"Q254597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$6DA1CA2D-7EBD-481E-A4B0-EB8412C1ABC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"804871355f0ded4f0be5a0fad239a4e43a0bad76","datavalue":{"value":{"entity-type":"item","numeric-id":162589,"id":"Q162589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$2944468E-ADEB-4C7B-9E50-D0F0DBEC8771","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b1ed7a090d8f1d0a3795177bace50e8f939f7c97","datavalue":{"value":{"entity-type":"item","numeric-id":196914,"id":"Q196914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$196E0282-D084-48E0-8C6C-D0BC5484B17D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f6f7900ba8ceb723d72b93c818553c4373cdeea","datavalue":{"value":{"time":"+2014-10-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":"Q464595$D7232B6D-5221-4D1B-8BC8-803DAD98AF90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"286be1e45e959a4fce799c43e8fc22eee85c2f5e","datavalue":{"value":"https://arxiv.org/abs/1308.0586","type":"string"},"datatype":"url"},"type":"statement","id":"Q464595$E3648188-DD9F-4EDE-B529-01F6151D688F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464595$9BD4285F-5F35-4012-918B-C9D3C6C9BA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464595$1B3DCF0A-C85E-44FC-9F48-A7AF64303E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2571640bb350bb717ea6dda839085580ef0a5fe4","datavalue":{"value":"6362023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464595$F33877DD-A1BD-456F-BCEB-5F9A6551CE74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q464595$E5403D26-B100-4A1B-930E-7E4CFB855C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7207f2ccfd29125ba7fb4cc9cccabf77582951d","datavalue":{"value":"guard synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q464595$771782DF-3385-4FE1-9ECF-EBE6A2B4D136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414e6843f98551231ed1ba3bc7139db7370e685c","datavalue":{"value":"computational methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q464595$D5665650-97DB-4946-A6E1-147ED2CD15C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"586abd5aa3e73f6652a0a54ae2a02fc283d78be7","datavalue":{"value":{"entity-type":"item","numeric-id":13635,"id":"Q13635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$CADF004C-7A1E-4914-BF34-7FB0374A5F07","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":"Q464595$D79CB47C-18DD-4BC8-BF81-52B07CAF0111","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15ac69a08b47750add76c5f304498442e459af72","datavalue":{"value":"W2163860928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464595$63D4605B-FB5E-4053-8DF5-AE4B32FF400A","rank":"normal"}],"P223":[{"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":"Q464595$597A767A-3BC7-4948-832B-B1C2BED0D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d1000ca942484011c80915e2c1a4d21c0b30f1","datavalue":{"value":{"entity-type":"item","numeric-id":1583480,"id":"Q1583480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$AE3CFC2D-463F-4B36-B6C0-9B4A4943D7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba466e8a1bdaef98518de15c9a43402d1858c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2566293,"id":"Q2566293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$C90C7E84-2B07-419E-9237-EC45FB0D3436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179b936cef2516ca2b21232e5ea191cfaf50347","datavalue":{"value":{"entity-type":"item","numeric-id":816704,"id":"Q816704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$ED6CD5E7-129A-4AB0-AA55-E4D1551B5AB3","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":"Q464595$C6B6DC33-30A1-4CB2-8BC0-B6E4AB68B2C3","rank":"normal"},{"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":"Q464595$7B60363A-DFD2-44E0-B6A2-B1C48BF2582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35c667016138f3baba5fb1ce44abd9e7e1ab003","datavalue":{"value":{"entity-type":"item","numeric-id":5347804,"id":"Q5347804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$C2E61EF0-3BF9-426E-901A-28C8825D024D","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":"Q464595$C5DA588C-0B33-4EC7-AE5D-55E13796C156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b85a55b322659f70ac7d4e0c6535ce61c82ab5","datavalue":{"value":{"entity-type":"item","numeric-id":4953410,"id":"Q4953410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$CC708A8B-F735-43BC-A173-79F0C684ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bf18bc06c1f4fca2dfd2640c3ea67015d5acb9c","datavalue":{"value":{"entity-type":"item","numeric-id":1004144,"id":"Q1004144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$853A46FC-3A94-42E8-9D54-2CF5DDD355E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df16580f6f974f881ed949b615e442cb8d0f868","datavalue":{"value":{"entity-type":"item","numeric-id":1424271,"id":"Q1424271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$1D2BA392-7EEB-431A-8B6D-F407DD653728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba9e7e836de2e927c7e49cd764e2f0b1699813","datavalue":{"value":{"entity-type":"item","numeric-id":5902505,"id":"Q5902505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$D4858421-5EDA-4090-BD49-8E533802080B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"006105d6cc35a4c0c56f5ce79a9166a8101fd845","datavalue":{"value":{"entity-type":"item","numeric-id":3224358,"id":"Q3224358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$C0F9B17D-B5BD-4950-99A0-F0FB44F53D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ac53f30bcde8499af4675a0019300885b6e85","datavalue":{"value":{"entity-type":"item","numeric-id":4974557,"id":"Q4974557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$C2A21A94-F2F8-4F58-ACD6-48C7E155F620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fb262e9ff4eb9da6e26d1e9466af4ca58bc589","datavalue":{"value":{"entity-type":"item","numeric-id":1805797,"id":"Q1805797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q464595$3962793E-43E8-47EA-B0DB-3599157F765C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbe216452b34f6ad93acd2d10b7fd5df558dab25","datavalue":{"value":"10.1016/J.SYSCONLE.2014.08.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q464595$7889E9F8-464E-46EB-A9D0-0A81C8100BD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69edb794f58d4cffb04d6dc1446ef2a16e01d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2327605,"id":"Q2327605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c10674af278697553d2eb084f67a24a6cb540947","datavalue":{"value":{"amount":"+0.8821242","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":"Q464595$EA7B29BA-00A0-4C4B-B733-1A9BC93C7856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4efa20e428c087568deba158e30dc401db18dac","datavalue":{"value":{"entity-type":"item","numeric-id":1716585,"id":"Q1716585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71e3c32812c0c0607f61c6a739a7f472e2a0065","datavalue":{"value":{"amount":"+0.8747324","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":"Q464595$985E8E4E-EC1D-414C-8494-79A274E56E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a510a1b81b5c3e30178a2621dd0693268aa483a","datavalue":{"value":{"entity-type":"item","numeric-id":2026785,"id":"Q2026785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa6ecbd7adbe92c4818cbdf41f2674cbcf3a4677","datavalue":{"value":{"amount":"+0.8661561","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":"Q464595$94D2F326-6E67-4083-A527-B53620C4DC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4968961eb7f836ce8c2b4c51e3f290a3e161268","datavalue":{"value":{"entity-type":"item","numeric-id":4931283,"id":"Q4931283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7c09a9f0d6f90d6d6118ec04444e1eb8c3019e","datavalue":{"value":{"amount":"+0.8640305","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":"Q464595$292BC325-E4E2-4E50-890A-BDCCC1C75595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2767618abfdd7be5b76a014ab973c27738837666","datavalue":{"value":{"entity-type":"item","numeric-id":5146361,"id":"Q5146361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6f416647cc487cb1aeffc37e184e502c92e7b7","datavalue":{"value":{"amount":"+0.86168516","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":"Q464595$CD042A09-534C-46BC-A99B-95BA73C63C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522a8a35c2d797e1b593808da81aa48dd62c3f34","datavalue":{"value":{"entity-type":"item","numeric-id":1786614,"id":"Q1786614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc359f0ac2d95f94ad63667ad74eb09983a39a3f","datavalue":{"value":{"amount":"+0.85784715","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":"Q464595$0C9ED1CB-FEF3-4116-A03D-70C88EE1FA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"adeb43e44b2ee645443d1c9235356e0e2e9c8412","datavalue":{"value":{"entity-type":"item","numeric-id":5429337,"id":"Q5429337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61726e90966fa3759f4230f23c6ca3cf0fc8fdb5","datavalue":{"value":{"amount":"+0.8547157","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":"Q464595$E1DD167D-9817-49BE-BDBB-14B9C0657576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd25745d909e49d961167ea760f905e4e0d9ef54","datavalue":{"value":{"entity-type":"item","numeric-id":3587253,"id":"Q3587253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac56fe8322e2ed518ed54e9cae4f5baf926a8a8f","datavalue":{"value":{"amount":"+0.8547038","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":"Q464595$12FBB4F0-0FE2-4C95-B6D4-01EF741540DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111c8abd414d1e9c55dc8eb82b2d7b9d5e7a17c9","datavalue":{"value":{"entity-type":"item","numeric-id":2945598,"id":"Q2945598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d704da67f26fc6d3a32d07a076ea4570085ce3f","datavalue":{"value":{"amount":"+0.8536935","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":"Q464595$2FA25B0F-A1BA-4996-A0F4-E478C8583836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:464595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:464595"}}}}}