{"entities":{"Q2443940":{"pageid":2454683,"ns":120,"title":"Item:Q2443940","lastrevid":51969710,"modified":"2026-01-20T16:04:35Z","type":"item","id":"Q2443940","labels":{"en":{"language":"en","value":"Safety-critical Java programs from \\textsf{Circus} models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6281368"}},"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":"Q2443940$7D12C0D0-F1DD-4E1F-AB18-0DB8967D5F1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81e519859b0c8abf24045dbe4dba32c15b4badd0","datavalue":{"value":{"text":"Safety-critical Java programs from \\textsf{Circus} models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2443940$EBE7770A-26F2-43AE-AE28-54455D142556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d0b094aee797a8d2ef60ca341cb901ebd6bb370","datavalue":{"value":"1285.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443940$A7A5D55D-84FB-490F-924F-EFC204B49B0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$2F7C2230-77C3-4322-A233-54F12EB92612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$7D23E868-6CD6-478A-8F49-8EA11AC553E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fcfe015b3d030ff851a646ac4a4ba21d0aeb782","datavalue":{"value":{"entity-type":"item","numeric-id":1770586,"id":"Q1770586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$51AAC42E-9A88-4EA4-9817-B558FF12E5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b177c98f0c180a7f9bea56cea726983f3dc3ee01","datavalue":{"value":{"entity-type":"item","numeric-id":504787,"id":"Q504787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$9C747D95-0AB7-4824-8DA1-03C8D9C8EB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$50F59A8B-A55B-441B-8DEB-5FFFECD4317E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6e6e67b92e7162a49988bf7bebe8dbba55d093b6","datavalue":{"value":{"entity-type":"item","numeric-id":202506,"id":"Q202506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$F908BACF-3DF3-4B41-8567-029AFF371C29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0f9eadeb459885e3bd96056c7ce63a55a5683f1","datavalue":{"value":{"time":"+2014-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2443940$065A2A1B-34AE-4EB1-BE66-4CE5E530DCED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443940$82201941-5EA2-48CA-BBCD-7D996E398C3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5f7fd497e007b1f5a2e65ec6b8cc5addc46ca8d","datavalue":{"value":"6281368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443940$5C8DBA6B-942E-4026-9463-16EF29C1585F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b1facd36d1bc0603f956ba83bc523fd5c2b715e","datavalue":{"value":"SCJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443940$90EE2337-2C56-45EA-83A1-DC40D69BA935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d7e4eb5ab47d27571e4fb9fd80212ef8705da73","datavalue":{"value":"\\textsf{Circus}","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443940$CB792E76-FDFE-4795-AACF-630A4CC799BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a0d995d50c058981a11d572789dee69298ccf32","datavalue":{"value":"RTSJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443940$A82F6770-0795-4096-8C5E-3BD5BF8FEA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443940$4A9FC41F-997F-42B3-A5EE-79D281C794EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443940$6BBF8985-5C6C-49F8-AA98-E095D01925A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2443940$22CC571B-02D2-4BB5-96AB-48F79A0259C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$E1C86792-F269-491A-AF15-6362200463D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$4BB79C08-C91B-4D61-B50B-42494A473E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"062708eac0855ac292bafeab4450f99dacbff29b","datavalue":{"value":{"entity-type":"item","numeric-id":12897,"id":"Q12897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$E08AA9EF-A302-4475-8DDD-DED8B27E7F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50f64be83cd865b14d65168a98dcda7f24e44b9b","datavalue":{"value":{"entity-type":"item","numeric-id":33627,"id":"Q33627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$0CEC4B67-7EF7-402A-B751-0A6AA9B921C0","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":"Q2443940$095C2FCE-E20A-4A5D-A7D6-154BBF7D1D38","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0609f69bdfeddcda5a128ba04e598af6c235d76","datavalue":{"value":"https://doi.org/10.1007/s11241-013-9182-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2443940$455E5651-49CF-4AA9-A2F7-C4799C7C33A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"99be235b185f789128fb4aa251626bc917800960","datavalue":{"value":"W2081399760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443940$98C56575-663B-4ED4-9BE5-DD9177651DA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d11cbc4d4003e49ca99cb3d08bb2917d2bc8f5d","datavalue":{"value":{"entity-type":"item","numeric-id":2863830,"id":"Q2863830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$40E6F70F-9537-4A14-B752-94512137215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b1f46c6a7cb606bd79b59aab549bcb0136ee05","datavalue":{"value":{"entity-type":"item","numeric-id":3594575,"id":"Q3594575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$6FFF949A-1A9F-4A3C-B218-9C0CFE0871E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10b7a4b3622c431ed62ce97a8f67e7b229bab321","datavalue":{"value":{"entity-type":"item","numeric-id":640296,"id":"Q640296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$897A4A02-E765-47F6-9F74-B8947867099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$47E6309E-C7E4-4F76-8F45-B3B74EA3B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948883497a568c9a6d165b4cad78823507f2746d","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$DFEAD829-40E1-454E-B0C9-F2C4016DA866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5de6837c1039b580a2b129c1e17dd7bde403e279","datavalue":{"value":{"entity-type":"item","numeric-id":1293891,"id":"Q1293891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$326DB4FB-C683-4227-8185-53C75C294223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fb67831048f0d62fe4d449fdd58a69df2892fe","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$25D942D1-50F7-4F03-BD97-38B48B84E09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e878bd6a0632ad42598e4d835b7bc330834119e9","datavalue":{"value":{"entity-type":"item","numeric-id":5929982,"id":"Q5929982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$88C4A1D0-164D-45FF-85FD-EF9427C6AD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"057be18c84e447286c4480f6e86eeba113396a50","datavalue":{"value":{"entity-type":"item","numeric-id":436420,"id":"Q436420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$4731779B-C1FF-48DB-932A-FFFC7B70CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"012b92d370d97f0cd4ff2cdadd43bc8000a781f0","datavalue":{"value":{"entity-type":"item","numeric-id":1114384,"id":"Q1114384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$80F63187-F14F-4B1E-9E38-B6D45FC9B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768da93377b5dbe67ffc466d796d0d32932c2d63","datavalue":{"value":{"entity-type":"item","numeric-id":4301161,"id":"Q4301161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$17DE555E-AC82-4793-AF50-DC728B7FAA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$1577724F-689B-4EFB-B16A-08ED04C0F28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$832471A4-9B26-4F64-B5FE-65B47C353A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eae4550db0f21facfb349c31c5ff4057cd2cf92","datavalue":{"value":{"entity-type":"item","numeric-id":5307472,"id":"Q5307472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$38C3AC19-0FF8-429A-BB4E-E7A247183FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07be54a74b6e196c5ea397ce63a96f656ed0929e","datavalue":{"value":{"entity-type":"item","numeric-id":968306,"id":"Q968306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$2F11B900-365E-4FAB-AE92-BB96B64C7B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$2F25199C-48AC-4A7A-B225-C530D756DFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f5283fad229cb4a2faf8324e19c587723671f2","datavalue":{"value":{"entity-type":"item","numeric-id":3585032,"id":"Q3585032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$18764BD3-2542-4931-A12A-907DA10403D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2df24839d625a390053c16402f9628907f226566","datavalue":{"value":{"entity-type":"item","numeric-id":5901607,"id":"Q5901607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$BD71030D-DA89-4BE9-815C-1868F31BAA69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$F9DDFD18-1EF2-4792-B8FE-7EC55EF95C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e25a221c3dec22dd9d5f425fe9805bb0e3f9568a","datavalue":{"value":{"entity-type":"item","numeric-id":432151,"id":"Q432151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2443940$E24F0436-7044-4BA4-9601-EE1EE68026CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad008973c65de330c9def7d45b9160251de4b56e","datavalue":{"value":"10.1007/S11241-013-9182-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2443940$269C315C-DC74-42C8-8624-DB5E634C548D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936db156d0f0685bb483c710e1ef4af74b2bbb06","datavalue":{"value":{"entity-type":"item","numeric-id":2355382,"id":"Q2355382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f29c772757ef54f07c8ebd8327a8d737a77e92f","datavalue":{"value":{"amount":"+0.8591068983078003","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":"Q2443940$72C869D7-DA01-451B-85BE-221AC02CFFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de01c215cf4f50be3d7010f8851fc15145abf901","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2365fd5a7f0a418a63e8a8451a87027fb41674d3","datavalue":{"value":{"amount":"+0.8387086987495422","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":"Q2443940$B21F0083-0ADD-4E72-B8AC-A9DD338D659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee5fa472f0985bf2352848c9f149ce2344f14eb","datavalue":{"value":{"entity-type":"item","numeric-id":5045476,"id":"Q5045476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777ddbf4ed93e4ec7fe32d98bb04194d89759068","datavalue":{"value":{"amount":"+0.7837751507759094","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":"Q2443940$D941B6DE-DC2E-4169-88B5-79C59F7EE53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf02a4dcf690b243985cb73a298e6383e00fcbe4","datavalue":{"value":{"entity-type":"item","numeric-id":3460876,"id":"Q3460876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7768cb6f7a4dcfe188d45ebb0f90e7a71a535b15","datavalue":{"value":{"amount":"+0.7470259666442871","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":"Q2443940$5D417894-BC7B-4A64-A3B2-75471B394A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd66bb1a1ae227ad3cdb792dd8c713b001b9d98a","datavalue":{"value":{"entity-type":"item","numeric-id":5179352,"id":"Q5179352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aefca9a92033fc7ed47674c997e5c252fd2916c","datavalue":{"value":{"amount":"+0.7257559299468994","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":"Q2443940$9FD9A8A4-AB69-499A-9904-9B8CE2D3EF8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2443940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2443940"}}}}}