{"entities":{"Q2851917":{"pageid":2862637,"ns":120,"title":"Item:Q2851917","lastrevid":83774177,"modified":"2026-05-07T11:14:58Z","type":"item","id":"Q2851917","labels":{"en":{"language":"en","value":"Spatio-temporal hybrid automata for cyber-physical systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213553"}},"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":"Q2851917$16BE6029-3F4C-4A4E-9302-A1D0FF60EE8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f23b21f6e2f39de087782023ec467dbb100f8d18","datavalue":{"value":{"text":"Spatio-temporal Hybrid Automata for Cyber-Physical Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851917$50EC6EF1-F352-4B43-B0E7-E9A1149E89FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"882f4d6cf70f48f212fa2221719c9fc2bd54d8e5","datavalue":{"value":"1405.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$5575FD3A-AE21-4915-8A8C-E69D503AA131","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e73f6c05af76694af3f0d18d27df859d9a39814","datavalue":{"value":"10.1007/978-3-642-39718-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$1D56D8A3-B6DB-4A89-A7BC-B6000EBDC083","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e3566bf27754fc9f8d7f191b6795b86b861e823","datavalue":{"value":{"entity-type":"item","numeric-id":2851916,"id":"Q2851916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851917$A67BDD6B-E411-4B2E-92D4-67C98D2C1095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c4297545f0aa475008f703f2703e89139ec69a5","datavalue":{"value":{"entity-type":"item","numeric-id":6100751,"id":"Q6100751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851917$BE61D7B7-9639-4D4C-9494-9861C6B94CFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"427e8eb9fd32bb5d57a5a57855d39d1b11cc9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2851896,"id":"Q2851896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851917$B7913965-5C74-491C-AD22-CAC0C3A8E45E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851917$883E80F3-A832-4BA5-92E8-00D516CC1A33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$83C8EBE7-DF51-485B-B5CE-E9D011F1B700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$ABB3D1AB-5BBB-4989-8842-3E3512E4C3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$2BF8E076-C122-4C3C-84A3-8BF0ADF03FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$3259F76A-5AAE-44E9-900A-CF8E1E0905A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9727d9ee90ef6c0f1bdf0ba5bb711e9a6b7cd05","datavalue":{"value":"93C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$8BEA61D2-87B7-456D-BCDD-3B874BB701A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f619596891f12cb22ec92441e54f737918c2951","datavalue":{"value":"6213553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$FD24CF52-B58D-410F-B76F-6C99339EE249","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31a79af31bb84c66c3a4b78b65815f510cf62b28","datavalue":{"value":"spatio-temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851917$848EAD29-5A81-489C-A059-972520242645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fbdfbc61a91c53e946a6ab07c1feedf79132c","datavalue":{"value":"CPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851917$5B003F3B-CBFC-408C-B608-7947BB12AC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2851917$7F4E7470-8F61-4BD6-9CB7-A9AD7C501295","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":"Q2851917$E4140686-FB1D-4EEC-9EB5-3487888AEE47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a4dfcd8fd27d6dd47020f1aad555dd8c48571a1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-39718-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851917$4EE810B0-1994-478F-8EC6-4FC1F4A8C81E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"882b4a0a6000d03b92e960344c11daf4f6e8f360","datavalue":{"value":"W2172533083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851917$4849B97A-85E7-4DBF-AAA2-C66EB240346B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e42d7c24e8df1d225bf6fb114ae9b496d4d6adf","datavalue":{"value":{"entity-type":"item","numeric-id":1699390,"id":"Q1699390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0d82e1f90fe33835ec9094cec9c35af4927c50e","datavalue":{"value":{"amount":"+0.7447522282600403","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":"Q2851917$77905968-0A79-439F-8E31-2C0DD9C0F5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931b9dd2495f7a89d87162a85349cdcc6a50c53a","datavalue":{"value":{"entity-type":"item","numeric-id":2842648,"id":"Q2842648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59973d741686a33fc6acf073ad2c2341e956577c","datavalue":{"value":{"amount":"+0.7347766160964966","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":"Q2851917$0E2E5604-2B05-4FAE-8674-9F69A8F4BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2b327139531fd45c28ef58472ed77ee0dae0329","datavalue":{"value":{"entity-type":"item","numeric-id":5738991,"id":"Q5738991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67abe61af4f19b9f914aee673a742e983194618","datavalue":{"value":{"amount":"+0.7347621917724609","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":"Q2851917$B29F0B28-D9E8-4D7E-A515-85CC0957CD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e53f9d4330d326d050bce7117ad7b00c4d9cdb","datavalue":{"value":{"entity-type":"item","numeric-id":3525160,"id":"Q3525160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce050c72295def8d3f7307f321672be476f0e677","datavalue":{"value":{"amount":"+0.7151526808738708","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":"Q2851917$9F20AAFA-2DB5-4210-9956-E23BAA8FA003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0320d6f7a8ef1b22393e65d775087725c6c252f6","datavalue":{"value":{"entity-type":"item","numeric-id":6487260,"id":"Q6487260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec5bad22658438886d0ef70b0b6e2b5bafafd7c","datavalue":{"value":{"amount":"+0.7069990634918213","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":"Q2851917$5EB3BCE3-E11B-4359-8369-EFE00222E156","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spatio-temporal hybrid automata for cyber-physical systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Spatio-temporal_hybrid_automata_for_cyber-physical_systems"}}}}}