{"entities":{"Q1870864":{"pageid":1881606,"ns":120,"title":"Item:Q1870864","lastrevid":73823520,"modified":"2026-04-14T17:23:24Z","type":"item","id":"Q1870864","labels":{"en":{"language":"en","value":"Mode-automata: A new domain-specific construct for the development of safe critical systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1910212"}},"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":"Q1870864$3B13AD2F-0C85-407C-B85D-0C354E11524A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c6664e38f29682684e2b01e028d27340d2c76ef7","datavalue":{"value":{"text":"Mode-automata: A new domain-specific construct for the development of safe critical systems.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870864$BC4036F3-9E09-460B-A59E-3DFF9C477FB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e77602526b2aefd546520b115a5406a27c1e6b2","datavalue":{"value":"1051.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870864$663174D4-7163-4290-B78A-815EE2F1186A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b88baeed837b1b8e5613535e42f87a2dde63d611","datavalue":{"value":"10.1016/S0167-6423(02)00093-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870864$27AFB14F-86FB-4CD8-AF1F-CB3C28CE32DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d6319b492331cc80fee0417b35be91fe6472a8","datavalue":{"value":{"entity-type":"item","numeric-id":1870862,"id":"Q1870862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870864$6767DF84-E82F-4849-8383-8AC3DCA87DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77bfe9c5e83961a7ccef9f84184900e3fe307f06","datavalue":{"value":{"entity-type":"item","numeric-id":1870863,"id":"Q1870863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870864$354129D0-A3A8-4BBD-8627-E8D4BED30A42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870864$7C8CBFC9-A724-4E02-A593-966CB59E551A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2739d9d5887c2ab5a6b70df0e9f5c64b00eb7649","datavalue":{"value":{"time":"+2003-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870864$CF8CE2AE-FDB0-486D-B247-927C9B8B2322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870864$D57ADBC4-EED5-4CF1-8446-304282D70048","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a051d3aca312819feb92827950ee29640df0c880","datavalue":{"value":"1910212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870864$701348D3-4C62-422A-9008-1361A6759C44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$D6887050-ECAB-4649-8E2E-630FDB7F4944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd4446d0c24a5aa1b4d49fdc8567562502ff21fd","datavalue":{"value":"Safety-critical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$B94EDF00-7AAF-4AA5-A36E-1C9B34222F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6511dfc657ee9376e5b0fa2b4d538d6298ebbe8","datavalue":{"value":"Regulation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$7616890B-3998-49C1-AD36-C3E49128839A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e59ec73c663a1e32e748f98328c33ba8e36bfd97","datavalue":{"value":"Running-modes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$AE711BF2-9652-42B8-AC40-427F7C893916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44322464792f3c250bdeb764c157ab353ca0a633","datavalue":{"value":"Language design and implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$2C3EF338-60EE-42C4-A89B-8455A321EB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3cd6cb4ecd8522320f77122286327fb0be011e","datavalue":{"value":"Case-study","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$33687B5A-186C-4AA5-8A13-E1E0F437D2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de238b422b9ff2cd33974ee590facd3859af5b7a","datavalue":{"value":"Production cell","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870864$FFE78E85-EC0D-4220-A3AF-3F54929CFDD3","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":"Q1870864$61DB1619-72FD-4378-B4E2-1EE22F8DF298","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96e7f36b01fafa7b7805d4393f0f9cf4c68f76aa","datavalue":{"value":"https://doi.org/10.1016/s0167-6423(02)00093-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870864$05C7D940-33F0-4CFF-99A6-F8F92D94F699","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32bbcd799b6c0fa776ac1538f4c10c7ca5813bc9","datavalue":{"value":"W2010945517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870864$0FEF80C3-26C1-4A2A-9E56-EE595F5AE096","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbc586ad0abe505d6161c31ca23038c1cb08e75","datavalue":{"value":{"entity-type":"item","numeric-id":3522903,"id":"Q3522903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d9e9015330f593e538511fc3470e16aa7b743f","datavalue":{"value":{"amount":"+0.8461116","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":"Q1870864$820B75B2-EFEC-4ACB-9137-95D6FD13E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8aaf6cd40d4afaabbe1e4ec2041e6cbaf13e4bd","datavalue":{"value":{"entity-type":"item","numeric-id":4564162,"id":"Q4564162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0a41308b2075686674cb0c43de680102f9d591","datavalue":{"value":{"amount":"+0.8395804","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":"Q1870864$876515C1-0644-4272-BE56-7D66469ECBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4c3fe13c1bac1bb380993634bb869e152330d5b","datavalue":{"value":{"entity-type":"item","numeric-id":5035705,"id":"Q5035705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f62f403f2c28c0eef66a3d623521c99e24bb2b7","datavalue":{"value":{"amount":"+0.8315697","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":"Q1870864$F0997C51-B635-44FA-8B44-D0667641C976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6548b02881863d94a9c89cfb407b59322823e2","datavalue":{"value":{"entity-type":"item","numeric-id":4551641,"id":"Q4551641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"228f89caf1ecb0f09f3b25c335ed244263a19776","datavalue":{"value":{"amount":"+0.82966113","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":"Q1870864$8666FCF9-B0E4-4836-B280-71B70BBC8444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7ff4474bcac0fcc680c87ac49ec5f8e12e5838","datavalue":{"value":{"entity-type":"item","numeric-id":5479162,"id":"Q5479162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c96c81df57c2171d20e9166865ebea2387a75038","datavalue":{"value":{"amount":"+0.8284158","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":"Q1870864$C4DC6174-827A-489F-846B-33FA9075B733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f8f38481804faf81b98b6a95f58449b44d3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":5045457,"id":"Q5045457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998a7778c46a523a52ca3dc398e6d998d0eba620","datavalue":{"value":{"amount":"+0.8275316","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":"Q1870864$7830F64D-1161-4005-9D86-64DA2C4F6E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8004059c2002a6197f7c514da59cfacdb9fbc24","datavalue":{"value":{"entity-type":"item","numeric-id":5394804,"id":"Q5394804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9739459b298de1efb443d680eebaa620d5567dc7","datavalue":{"value":{"amount":"+0.8250583","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":"Q1870864$B00A84B8-DD7C-4D93-A84E-EAAE61E93808","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mode-automata: A new domain-specific construct for the development of safe critical systems.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mode-automata:_A_new_domain-specific_construct_for_the_development_of_safe_critical_systems."}}}}}