{"entities":{"Q4907866":{"pageid":6937445,"ns":120,"title":"Item:Q4907866","lastrevid":40773374,"modified":"2025-04-04T15:45:40Z","type":"item","id":"Q4907866","labels":{"en":{"language":"en","value":"The Discrete Time Behaviour of Restricted Linear Hybrid Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6138806"}},"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":"Q4907866$D71717DB-09AD-401C-B3FD-AE0E44CB2BC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db74c6a392bec097200bdb48933df21a60b94740","datavalue":{"value":{"text":"The Discrete Time Behaviour of Restricted Linear Hybrid Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4907866$60851EC3-BDB7-4D1E-A9FB-497839F769FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5bc4a42ff9d83e0dc285e2762ed1c6e96c2593bc","datavalue":{"value":"1256.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907866$DEE4D9DA-725B-4CF4-988B-F819717DAA16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffb46b2a22d94157395ab53090779a2b2f1ab5ed","datavalue":{"value":"10.1142/9789814271059_0014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907866$D8F473FA-871D-45B4-AF17-1C3AABC0995D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907866$2DBBD885-8AA1-49FD-ABCC-D41CBBC64859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6230ef9d4b83b0e88153405817b4f8862216ee7c","datavalue":{"value":{"entity-type":"item","numeric-id":418806,"id":"Q418806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907866$88959FD3-774D-4E2B-9008-6FB9753F55DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49099c29476e7ee2ac9e3add1f59858abe2cb0f","datavalue":{"value":{"entity-type":"item","numeric-id":619895,"id":"Q619895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907866$AFD4ED1B-C49F-4B92-B875-CF6C96BC6A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a56bc7b07f95b5885e3133c205b9456af5cfa030","datavalue":{"value":{"entity-type":"item","numeric-id":324251,"id":"Q324251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907866$5A4F7038-A830-4CF0-8A82-A25032C11494","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aeebf9bd4378e6f764c1e2d0c61fa01519002d39","datavalue":{"value":{"entity-type":"item","numeric-id":4907852,"id":"Q4907852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4907866$42DEBD52-11BB-4776-80F1-F31556C435AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"15ea8e6212b2d0b7fd67fe1be831418ddf2951d7","datavalue":{"value":{"time":"+2013-02-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":"Q4907866$6A2C937B-5CB6-4682-89E5-2354BC783BA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907866$77F911DE-B37C-4074-BE17-DC97E7A50A63","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"445cc43335f41760624cd6bdf204999daeb2f0a1","datavalue":{"value":"6138806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907866$17880217-86F8-4F8A-AFD5-8DB6E5645105","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4f4c6f22735a50175f03e5056e3b26acd23404","datavalue":{"value":"linear hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907866$FE694177-BAAF-4D37-A066-58D249451AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3f74d771c3b9879882670aff5c15c46b894a4e0","datavalue":{"value":"discrete time behaviour","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907866$D5AB6A7C-5EE5-4956-9775-3B922CE217D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"362a667d6c6bf947bb40fcf4a93d8284c5f54745","datavalue":{"value":"control state reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4907866$B540DC0C-6FE9-4A43-B95A-9F55DFC9FE74","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":"Q4907866$591967F7-F53E-46D1-BD7F-C0C0CD53369E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52172681a6b450d824e13f0460118f573386591c","datavalue":{"value":"https://doi.org/10.1142/9789814271059_0014","type":"string"},"datatype":"url"},"type":"statement","id":"Q4907866$390E88E0-86FB-41B6-B720-A07388DE579C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64f72c3b42070e6b560b9a392ed7900a7516e1fd","datavalue":{"value":"W2404288050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4907866$57494513-0462-4CF0-80C3-1FD0F6AE9AFE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96007b6b972fb8c78838919d238ea8da157a4464","datavalue":{"value":{"entity-type":"item","numeric-id":5703956,"id":"Q5703956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79cce6b473102f761b559052bf2de478b1ed606b","datavalue":{"value":{"amount":"+0.9375758","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$8B746071-489D-4C4A-BDB6-60D8A1843F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed5ced35e7de8e8b9e66dd47c7c226cd604562f9","datavalue":{"value":{"entity-type":"item","numeric-id":5898966,"id":"Q5898966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c99f6b03f7a827c65052bd96b3b88dc505c1c94","datavalue":{"value":{"amount":"+0.93072164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$DA1D9193-DE8C-477A-A854-E4FE40266D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2e25693155d1e2e57632e512c846efb448abbb","datavalue":{"value":{"entity-type":"item","numeric-id":4736605,"id":"Q4736605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bb24a579d50ed0209b21f956b088d7f14dc2b0","datavalue":{"value":{"amount":"+0.91196066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$FE23B1C2-6B69-42BA-A25F-379968701588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd9968e936c48054e81c3fd1b90019dbc19e7029","datavalue":{"value":{"entity-type":"item","numeric-id":4953401,"id":"Q4953401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fb2fbe7f4d5e73289a5e45824c5f3c97dd87d9","datavalue":{"value":{"amount":"+0.88070154","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$14D02449-FAE3-4A66-8127-6964BB8B0174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688a3893299dce630068923a5bfe9bb8e20db89c","datavalue":{"value":{"entity-type":"item","numeric-id":3012937,"id":"Q3012937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f290df9a5b60de7e2bec2dc93e6adfadf612c677","datavalue":{"value":{"amount":"+0.87964374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$916158B0-ED17-445B-B2A9-1F5A7BFB5D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29085bb6e98a6401b67c1a93af3b26e0ccadff86","datavalue":{"value":{"entity-type":"item","numeric-id":4909026,"id":"Q4909026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f1364bd16b12660b12a3ae7a75d582ed3606441","datavalue":{"value":{"amount":"+0.8753967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$97159D01-927F-402D-AF3B-44D65155C9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d6c2b8e62bc65b1cdca450fedde5059f3a578f","datavalue":{"value":{"entity-type":"item","numeric-id":4246810,"id":"Q4246810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3445a225c54b39331250da96690506f4b961bb","datavalue":{"value":{"amount":"+0.8724815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$BD2DD85B-F46F-42C6-A3CE-8F7EC66BEE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de4614a9dcd717ef3baf964e1d7eec90a3843e01","datavalue":{"value":{"entity-type":"item","numeric-id":3612979,"id":"Q3612979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f50dbdf4c34d347bc04cae4887d821959ed124","datavalue":{"value":{"amount":"+0.86555856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$952673E0-5C82-4192-B505-ED3495FD3ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c653af73102b89bbf8a1c40c9e167b3275ad90","datavalue":{"value":{"entity-type":"item","numeric-id":5500564,"id":"Q5500564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b056c8d808817771da94ef5de8526966387d10c9","datavalue":{"value":{"amount":"+0.8651899","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$32BA1F84-AD22-44EA-8E48-34ECEE9652A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ff8f98e1b51a29a6cb5d2b1a3edfc262ee19a4","datavalue":{"value":{"entity-type":"item","numeric-id":5352841,"id":"Q5352841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8590874b97a440cf23e046137abb8aef0a2b7725","datavalue":{"value":{"amount":"+0.86149037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4907866$947FD937-98F3-4203-800E-D9084A29C9BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4907866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4907866"}}}}}