{"entities":{"Q6201581":{"pageid":13336468,"ns":120,"title":"Item:Q6201581","lastrevid":98879405,"modified":"2026-06-05T18:42:30Z","type":"item","id":"Q6201581","labels":{"en":{"language":"en","value":"Compositional safety rules for inter-triggering hybrid automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7807677"}},"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":"Q6201581$10665F24-5CD3-47EE-A49D-448E29158B8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"182f3aa0f73a8f6027ba41e94375848c31aa5e19","datavalue":{"value":{"text":"Compositional safety rules for inter-triggering hybrid automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6201581$E4FE7908-60B4-4917-B0F1-A78769FC9C49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02307ce7c982d854411cd1494e17bbbde99573dc","datavalue":{"value":"10.1145/3447928.3456659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201581$FF9229AA-5ED8-4033-950B-FE9C8D723F37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8f5da47667e9635564aad352c2cd81e6177f668","datavalue":{"value":{"entity-type":"item","numeric-id":6120697,"id":"Q6120697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$43DDEDD2-AF56-4759-BA6E-39262821CCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25953c7043bb96dbee83eb7464db8cd67225fe38","datavalue":{"value":{"entity-type":"item","numeric-id":3381946,"id":"Q3381946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$44F3A4FE-BB25-437A-9BF6-711C93C9BBA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"95013a4f6c4b451ec787f91e571c1c67a0e562c9","datavalue":{"value":{"entity-type":"item","numeric-id":313325,"id":"Q313325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$049B3662-BD38-4723-8E2C-1446E404BB76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c9dfdc01ef5ed5895c6cc9bbddc5ce615ddeb020","datavalue":{"value":{"entity-type":"item","numeric-id":6120655,"id":"Q6120655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$63C76173-106B-4CF6-B886-89A15BE80B0F","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":"Q6201581$4DB37EC3-DFDC-4041-8443-883E0418C5F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201581$CAF5E887-9E56-4D32-9DFF-FC68FF1C5E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201581$07F924DF-E579-4765-B6BC-0A3D7046CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201581$F5634942-4ECD-4A0F-891E-DC051653F8D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"075200091fe3b8efc376933eb4dcfae7c83832ce","datavalue":{"value":"7807677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201581$E63F46F4-F958-42C6-839F-7B821DC50F46","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":"Q6201581$C416B081-35C2-4EAE-9382-57760875EBD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1bd714c2b6019acefeba938d4a887d2bd0d3953","datavalue":{"value":"https://doi.org/10.1145/3447928.3456659","type":"string"},"datatype":"url"},"type":"statement","id":"Q6201581$F94C8A73-2E21-42CB-8A91-FE8804A7E92B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad067bd1c08f5c60798945b3183ced9d06e8b15c","datavalue":{"value":"W3138917074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6201581$D695F315-A2F3-4463-8CD1-5124703EE15D","rank":"normal"}],"P223":[{"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":"Q6201581$AC7199FF-A466-4D50-96F5-874885F7174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$3805930D-3936-42A9-B691-0B6B9FFC9720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6426fecdf4fa7517e2f282497f0baa187ba53e7","datavalue":{"value":{"entity-type":"item","numeric-id":5146379,"id":"Q5146379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$6CBEE0F6-7F72-4E68-B0CA-22D7B7122270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ee198e579ba9861b2bcaa47b1ed5eefff2e76d","datavalue":{"value":{"entity-type":"item","numeric-id":1427865,"id":"Q1427865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$754AE994-ED47-4D52-A082-6030AF2C6587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90622f26cb21013c4cea46e94a7687ca074802d1","datavalue":{"value":{"entity-type":"item","numeric-id":5375276,"id":"Q5375276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$DDBF1EDE-947E-4B63-AD4F-3A3678C4C839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5acc23289e4633438b1e07221a723f9398ac98","datavalue":{"value":{"entity-type":"item","numeric-id":5146401,"id":"Q5146401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$18E2E5A3-33E4-4A4D-A5BC-6FD8531B5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b60076d97b2a011e4e04599c2f6ae83c7768a5","datavalue":{"value":{"entity-type":"item","numeric-id":4990152,"id":"Q4990152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$AD3CA5CE-9452-473E-A91F-74AA9535CB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4f61826166b28c3f60c1322d64d4b0ebf98d3d","datavalue":{"value":{"entity-type":"item","numeric-id":4517722,"id":"Q4517722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6201581$CB869537-58D8-4D7B-A7AC-B7083FCC48E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional safety rules for inter-triggering hybrid automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_safety_rules_for_inter-triggering_hybrid_automata"}}}}}