{"entities":{"Q1749143":{"pageid":1759885,"ns":120,"title":"Item:Q1749143","lastrevid":69128679,"modified":"2026-04-13T04:58:01Z","type":"item","id":"Q1749143","labels":{"en":{"language":"en","value":"Compiling and verifying SC-SystemJ programs for safety-critical reactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6868763"}},"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":"Q1749143$35866D20-859D-4ECF-8473-00FDA379AE3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5317fb5b8fc8fa7457612a4e310aecd2923b11a7","datavalue":{"value":{"text":"Compiling and verifying SC-SystemJ programs for safety-critical reactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1749143$1FED6827-9BB1-47AD-AA26-B8945E4562A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7c9ed2042811ce62d186fee67f8bdc9229d78b3","datavalue":{"value":"1387.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$58D1C60F-084A-43B9-BDBB-A0D7F5B83512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c592800831e1ff886544ec57ea7eac216db4fa6","datavalue":{"value":{"entity-type":"item","numeric-id":1749142,"id":"Q1749142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$71DCFA4D-EA06-474F-8078-370D63D83296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdcbc2c5799a6d7e18c505569a64c7ffeedef882","datavalue":{"value":{"entity-type":"item","numeric-id":1652449,"id":"Q1652449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$79B268D8-55C5-4D11-995E-BE8E6004360E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7084659445c4f985521c189d4f89d54dccc24d77","datavalue":{"value":{"entity-type":"item","numeric-id":871522,"id":"Q871522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$D7EA4990-3FE5-42DA-893A-3DD443068F4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d2f38e43c691e4079017f3fcd6faa7b21dad657","datavalue":{"value":{"entity-type":"item","numeric-id":456462,"id":"Q456462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$125BDE64-D6A5-4972-A7CD-5263262206C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ea136133176b0e732e96c018d3bbea7a42c842e","datavalue":{"value":{"time":"+2018-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1749143$83B7E4D0-0BC7-4A15-8CAE-C8E3275E202A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$F9A56CCC-016D-449C-9EB3-F782E450541D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$776906A2-CADC-4AC9-963D-B723B417C4B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e5c38e35caa5afce8c5ebc32d9281bd3d5548cc","datavalue":{"value":"6868763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$A2FFBE0A-18C8-4B78-8933-5CAA75BDCDD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ad1bb2cfabfadd41c4f89ba62a7e4e98ff90060","datavalue":{"value":"SystemJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749143$BCE35308-712A-41FB-B3D6-397AD9CB1B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"722b77e4bb749ebe8faef36819a65d7414426841","datavalue":{"value":"SC-SystemJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749143$BBC7C11F-BC55-4ADE-A56E-80168CF7DB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ce15f012d1da8bf95a383413a5e4b2cc1f5af49","datavalue":{"value":"safety-critical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749143$FA6BFFD9-8D9E-4DD4-8A26-4BCA046FB6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749143$1A478440-CCAE-4C08-9DDF-45CB6B3FAF4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749143$AF8E3E28-6CE5-4314-8392-79C0001C54C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30465c7253323499b5cce6c4f064def1ef2d4445","datavalue":{"value":"compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1749143$DFE980CB-ED4C-4D9C-A3AE-DD975C169A1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$FD6C06A3-4999-499D-B3AA-204907C9BEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$CD2788CF-AEEE-404B-B4D2-7E314063C1C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"36c9d6fcaf477a579c7792b357595ef21fc9cc19","datavalue":{"value":{"entity-type":"item","numeric-id":19660,"id":"Q19660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$65EA90EE-A2DA-4260-AFE4-2DE94ED15425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ccc062e2d311aa84366365333d09c3a4e32b41bc","datavalue":{"value":{"entity-type":"item","numeric-id":20934,"id":"Q20934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$D66F0D8C-F2FE-409A-9A04-F397D3D46C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70849c7de8b1fba6771cc05a0e9adf71b0d9785e","datavalue":{"value":{"entity-type":"item","numeric-id":31835,"id":"Q31835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$9B025DD4-D666-494B-B24E-E7D5910CC5AF","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":"Q1749143$9429F6C2-2DFA-48EF-BC82-BFCF1AC06CA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b45a0de3bf57ee22a379110a6c8266da45071c05","datavalue":{"value":"https://doi.org/10.1016/j.cl.2015.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q1749143$D170AB8D-CC7C-4A11-B457-A2515DD8F3F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9b5c6c3791a0a0cdc8579d169e936027e21ae4e","datavalue":{"value":"W1878532202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$78A7E461-8DB0-4AFC-B7E9-033514639D30","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"598c1ad6d61ac1f1609363d76385bffe823db85b","datavalue":{"value":"Q58799908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$77D7C8EC-EFC4-496C-8988-748D9A870843","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$A05EA0C5-CA1A-43A6-AFBB-3F484AC2BB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$509A7CBD-B74B-4755-BD0A-F291BB8E9A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d52ac13fddfe2dc0c6676e5b4f8c299aff04944","datavalue":{"value":{"entity-type":"item","numeric-id":5452300,"id":"Q5452300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$A2E399A0-DF19-4304-8035-8FB61BBCA1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$E31E0267-8B6E-4D24-A658-CBFF3FE4D116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$C8DEE340-81C0-4C30-83E6-18B031416F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5435fe92f35277fe917336889c915998ff808c24","datavalue":{"value":{"entity-type":"item","numeric-id":5312940,"id":"Q5312940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$FB35154A-9274-474E-A4B2-B5F50C1D880E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$148B3A9D-A924-453C-BDE2-25112CFD931A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da935f1521b6e35de7f6fe6de2ba023fbd6d31d","datavalue":{"value":{"entity-type":"item","numeric-id":1822489,"id":"Q1822489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1749143$D31128AB-0F76-42A7-A496-2AC8B68BB6E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35dc4d5a4f96b52a62ef43e455749f9f23f390da","datavalue":{"value":"10.1016/J.CL.2015.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1749143$98D6FC1D-4CA2-4229-A59B-23469996248F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5111a2da839c7c60185e2363fd273f0e17d3dc27","datavalue":{"value":{"entity-type":"item","numeric-id":4233450,"id":"Q4233450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"710a2e715f7a855fb0eb6560e581c72f3dbf4154","datavalue":{"value":{"amount":"+0.7252353429794312","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":"Q1749143$063C7808-223F-4101-8167-4A0FC8240D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca65fc484428009938f32e7729bb0106f7c651e","datavalue":{"value":{"entity-type":"item","numeric-id":4494116,"id":"Q4494116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfcecbd29a6558b624d490bb6951337623b32cc","datavalue":{"value":{"amount":"+0.7203226685523987","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":"Q1749143$CDA5C3A9-1F0C-43E6-9300-BD2ED48718CD","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":"76f27662ec8b3fc2c44277b2bc64544dacf585aa","datavalue":{"value":{"amount":"+0.7193911671638489","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":"Q1749143$884F8456-D051-4D14-A6BB-7DC5C04C6125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03562a22ba3d198d49b75ea6f4030f98d9dbeff0","datavalue":{"value":{"entity-type":"item","numeric-id":2842861,"id":"Q2842861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f180b7cf62c075ab2916b64e62d2a93a00756e8","datavalue":{"value":{"amount":"+0.7141005992889404","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":"Q1749143$1B8E57C5-5363-4F62-8F4A-294790475BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de3d15387c229207d7c2e49f3192b254d89dce6","datavalue":{"value":{"entity-type":"item","numeric-id":2443940,"id":"Q2443940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b19176ac8f34fd009a39c12667ddd9ff681697","datavalue":{"value":{"amount":"+0.7108606100082397","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":"Q1749143$1A4F5B6F-2F25-4482-948D-F5FF61400852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compiling and verifying SC-SystemJ programs for safety-critical reactive systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compiling_and_verifying_SC-SystemJ_programs_for_safety-critical_reactive_systems"}}}}}