{"entities":{"Q2643331":{"pageid":2654074,"ns":120,"title":"Item:Q2643331","lastrevid":79431164,"modified":"2026-05-06T13:53:33Z","type":"item","id":"Q2643331","labels":{"en":{"language":"en","value":"Denotational semantics of hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182396"}},"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":"Q2643331$B2C5939B-E9EE-40D5-83F0-1F1C78924F78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9d899d0663ec0c4ca1ab41a6c396e1a5eaf581a","datavalue":{"value":{"text":"Denotational semantics of hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643331$17A3EC79-C360-47CC-A7C8-16C90613CAA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53b27682ece745014a3222df516ddfe64af29c06","datavalue":{"value":"1123.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643331$3A99B7BB-DBE8-47FF-B7A9-DF01D0716C2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89b85073cc702d9235bfb4bacc4df7d4f53a93b","datavalue":{"value":{"entity-type":"item","numeric-id":483297,"id":"Q483297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$CFF1B661-C492-46DD-A687-C4F9DAC38125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4aa98607dbb9e851d4e2feda2e6a57901527c54","datavalue":{"value":{"entity-type":"item","numeric-id":558416,"id":"Q558416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$D3F13B6B-D3A0-4F10-B07D-74FE399C008F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$ECB01C24-348A-4670-A370-22A83069566B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643331$761143A5-D1F1-4F47-AD6E-8A6CDB7CB712","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643331$ACAEBE30-53CB-4D65-89CD-FE7D87859870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643331$F0451D17-9F8B-49ED-B65A-41166C1DDC26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8260b45550f5d611494d2ea5e9fd56d020dd7d40","datavalue":{"value":"5182396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643331$AAF8B5F4-3CEC-4EF7-9848-D3BAB328D759","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$432FDB31-4D71-4512-AF88-CCB10B75B97C","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":"Q2643331$53A35C65-305B-4B7E-AC48-68DF9C5BBDCC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a4fafea862a144a899515167a6b9ca68dbaed8b","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2007.01.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643331$CAF886BB-3315-4434-B7FF-6C1B0C7D69FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f71b760665c7da1ca39f6326cb5fb59da0688439","datavalue":{"value":"W2091166411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643331$60649D51-F929-4F02-8D95-DBDFE6E10D10","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"51168937b953606ba438f51561c83b743d0cfabe","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$F2F9AA6A-3D11-4EDF-8CB2-079BCD7FB700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$60D92D4C-43F0-4382-9862-7D13AC19BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79dc4a1688b10f434f276ba92a264202cc5adcfd","datavalue":{"value":{"entity-type":"item","numeric-id":5905497,"id":"Q5905497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$5176EBE7-0272-462D-93D6-08F0AFA30D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9932000c15c0c019583170615f8e91cd2d5539b","datavalue":{"value":{"entity-type":"item","numeric-id":5804403,"id":"Q5804403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$9FF80DC9-3EA4-4A38-833C-795FB14129AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14835e03b166f1fea07fc7b963a1677825bfa694","datavalue":{"value":{"entity-type":"item","numeric-id":5847332,"id":"Q5847332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$57F29BD7-EE72-4F0B-AA4E-C24FEF26E5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fcf8fce194931bc435ab16e57b896d0642d1b35","datavalue":{"value":{"entity-type":"item","numeric-id":1898475,"id":"Q1898475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$507825EC-1168-44F9-9E08-F859510246CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcf6893c63dabb8b8f94071f9c457088f68923","datavalue":{"value":{"entity-type":"item","numeric-id":1917075,"id":"Q1917075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$03DC232A-ACD9-4D67-8047-2BDA5C288177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b7c9c8ed275b605b691eb5f8e0688b1e8d5f36","datavalue":{"value":{"entity-type":"item","numeric-id":276473,"id":"Q276473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$A702C6DC-75DF-4468-821E-28DDC29B0E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc0be52416caa14a22aab78d28777e52a103d17","datavalue":{"value":{"entity-type":"item","numeric-id":4659539,"id":"Q4659539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$EA48F9EB-0D64-4800-B549-5514DA71E4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15493df6f452ee8722c5b938fec71e585253ab8d","datavalue":{"value":{"entity-type":"item","numeric-id":5466488,"id":"Q5466488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$BD76B8E3-5E8E-4A35-A71A-83CDBAB4A380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1565f36da789667382d97460a08d8a577c57cd65","datavalue":{"value":{"entity-type":"item","numeric-id":2852369,"id":"Q2852369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$68F563F7-267C-4253-AE05-5B997549AF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6b3c36501b9b1b073093720ef4076558eecd1d3","datavalue":{"value":{"entity-type":"item","numeric-id":1295215,"id":"Q1295215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$F1196BFD-D597-4A8B-9A32-47AA772A98EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$F9B242FB-7C99-4A4F-A546-4F8E0530FF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$8220CEBB-925F-4ABC-9793-2CD23753800C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$164FB4E3-FD46-4DD5-8D2E-0D4B7424059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e668b6f805cdbc09b9399ccf1d56f2a981c7e2","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$80401934-C745-4230-93C9-B670D4A68951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abce7460f53931c79ff8c0ec3edb21464689b134","datavalue":{"value":{"entity-type":"item","numeric-id":4953388,"id":"Q4953388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$25ACF364-CFA4-4DE3-BE3F-9D1A9F07CB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05a95392975f3ed4625c78f2400a066f29eb5432","datavalue":{"value":{"entity-type":"item","numeric-id":3731958,"id":"Q3731958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$DD23FE2E-C5D2-4E54-AD33-869DEC8E8406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b5c1eeaca4be47a7238679606f140398a17ab1","datavalue":{"value":{"entity-type":"item","numeric-id":4393078,"id":"Q4393078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$7F0CF123-46A4-4BC6-98EE-74F3DAE01C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7137efd685b2d6f81d07032959247bb5e051ed8f","datavalue":{"value":{"entity-type":"item","numeric-id":4948549,"id":"Q4948549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$D1EAAB89-13A4-48D7-8A4A-3E399ED26BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04403e6a9aecfa43c60c451360a5e70c9c07a1c","datavalue":{"value":{"entity-type":"item","numeric-id":4953411,"id":"Q4953411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$45499A2C-4927-41F0-85FD-F03F9005DD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc75f98dab04a32e9ec813391cce25fef95a5a0","datavalue":{"value":{"entity-type":"item","numeric-id":4393077,"id":"Q4393077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$39EA0732-0459-4E41-AD8E-233BE96E555B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643331$391614F6-3666-4508-B219-B2FDEEB8A36A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7a2f5c54a1ea0ae16672739838f8d1d66ba76c4","datavalue":{"value":"10.1016/J.JLAP.2007.01.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643331$C2C0FCA9-ED5B-4DCE-A482-48016DC7C84B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094638c95d193ac81f9e78b35ae3c2560d0841d6","datavalue":{"value":{"entity-type":"item","numeric-id":5899091,"id":"Q5899091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a3708c8d11e728832472de7c87b396b0d8c967e","datavalue":{"value":{"amount":"+0.9810959696769714","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":"Q2643331$FEA726FD-35D3-4283-8C35-9973D2C98C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0ffcacb7b7e5a0834ba0b3bb0780f55772b134","datavalue":{"value":{"entity-type":"item","numeric-id":5458386,"id":"Q5458386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ef63bfc8205349d0323d8a22389eee05f57264","datavalue":{"value":{"amount":"+0.8331118226051331","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":"Q2643331$3A9DA59F-182C-4944-A43D-1D268C0514E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d6791c788377fe8bcee549dc63fe9fdf00e0888","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a405f29e4c4f1b88a5a4fef147f0041a08bfaa","datavalue":{"value":{"amount":"+0.761612057685852","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":"Q2643331$BE2C08DA-D93C-49A0-832A-CCE30A9A56DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aee26a031b3f66ef6c1139f91580f7bedce9b2c","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e3de00bb094e6ee1b5bdb0390e048f2317556f5","datavalue":{"value":{"amount":"+0.7529293298721313","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":"Q2643331$D1DD456A-48C2-401A-9A36-A6B2C1E661E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381945ea769de386b72b6070be0de552530df4f3","datavalue":{"value":{"entity-type":"item","numeric-id":4393079,"id":"Q4393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9230ff85860efe3076b7b42ec72d03659dfd66","datavalue":{"value":{"amount":"+0.7417628765106201","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":"Q2643331$B9268444-BCCC-4164-9E07-9F1EFF7222CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Denotational semantics of hybrid automata","badges":[]}}}}}