{"entities":{"Q704786":{"pageid":706635,"ns":120,"title":"Item:Q704786","lastrevid":63658278,"modified":"2026-04-11T14:40:18Z","type":"item","id":"Q704786","labels":{"en":{"language":"en","value":"Using program transformations to provide safety properties for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2129787"}},"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":"Q704786$A7A14C5A-285D-4D7C-924E-54DFF1CF9E9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"338a71c1e9bff888db6787d681734185152d2f84","datavalue":{"value":{"text":"Using program transformations to provide safety properties for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q704786$A463898C-D96D-4F05-8E13-1E6428F57AE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3da90712681a77653d92e0673c9a6fceeab2ff8d","datavalue":{"value":"1101.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704786$555CC30F-2642-41FD-B425-602D6DBCCF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b20b920a09c095eaa9a857e668b1c94ade57653","datavalue":{"value":{"entity-type":"item","numeric-id":704784,"id":"Q704784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704786$F3150A65-58E4-48C2-8321-3DFC5922C4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a464a8eac113801a3cb3c7abfb4100278d1e5a9","datavalue":{"value":{"entity-type":"item","numeric-id":704785,"id":"Q704785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q704786$6A51BDA7-BE23-428D-8DA7-7CF12537BBDA","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":"Q704786$20775135-DF27-4BEE-98AD-902B105DEDF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90a3a6b51ce61dd6ffe2ca0150d5eb1344f5da74","datavalue":{"value":{"time":"+2005-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q704786$97ADD7F0-7E85-427E-A8A6-9A6E22421199","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704786$3704B708-E135-4ED7-B5AA-34E2848EBA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704786$72073AD7-8792-467D-8969-ABCA2B0334ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9846f0945437fac8177c529a0610fe7e1320832a","datavalue":{"value":"2129787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704786$7579E4CF-DF46-4DAD-9908-9A8F6E91834B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"966a3c964309d35cbe9a7015ff83e1307330d887","datavalue":{"value":"Real time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q704786$64519F33-DC76-4772-BA73-6E36E42899A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q704786$165A9829-C2B7-4226-944A-48151A3C0F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q704786$1FC77C0E-ADD0-4A10-8C2C-92DC163B4DBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff1061afd39a1c3862bdea5bc420a23232f809b","datavalue":{"value":"executable assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q704786$8B469BC8-8EAB-4D9F-BE31-5AAAAA7E9796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q704786$2B1C346B-5D53-4321-95EF-935CB2E6A806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b01b02968c48df9f6d634df64bea355af4ca03","datavalue":{"value":"fault tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q704786$A91C6042-3814-4158-B56E-747018A3E86E","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":"Q704786$BC19CD36-CEA6-4467-862E-B21ADA4160DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1589a95e63da47351e00e2b8a836b58a6a3b2ee7","datavalue":{"value":"https://doi.org/10.1023/b:time.0000027933.63133.5f","type":"string"},"datatype":"url"},"type":"statement","id":"Q704786$ED4DAEFE-BFF3-47A4-9C4F-8B480DF6F05D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"278687e07a5cb780d4f57402a340c26e7230e6fe","datavalue":{"value":"W2089018547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704786$C2DAF0C3-C59E-49E2-BCF7-C8065940E745","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"045dfd39799c75cabb0c0416e08ec6b981291abd","datavalue":{"value":"10.1023/B:TIME.0000027933.63133.5F","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q704786$91323D17-03A4-4105-AF63-6939FD402608","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab2e90cd1e8619de07a29e2be6f31189354b859","datavalue":{"value":{"entity-type":"item","numeric-id":1904642,"id":"Q1904642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13b7430874ca5a70b28e7a53b38184785a357e0","datavalue":{"value":{"amount":"+0.7579155564308167","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":"Q704786$075C0EE1-A19A-40C1-9326-355F722F5036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3269fd41fbb9c2bc9830640cdb4d276df2af894d","datavalue":{"value":{"entity-type":"item","numeric-id":1330423,"id":"Q1330423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13b7430874ca5a70b28e7a53b38184785a357e0","datavalue":{"value":{"amount":"+0.7579155564308167","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":"Q704786$C6B72C46-E2CA-4D34-8018-D8A9D3007B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b93186e530f81dfea244b26e03402cd97b7a27f2","datavalue":{"value":{"entity-type":"item","numeric-id":1589590,"id":"Q1589590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"613b6db4bc9eecdaf35741e7cef9bdd5e0e654f8","datavalue":{"value":{"amount":"+0.7298542857170105","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":"Q704786$9C3EFF25-83FB-4BB8-94C9-C06FD6B6DBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f178f6d6899337c82b7efea85b79c9996a71276","datavalue":{"value":{"entity-type":"item","numeric-id":396986,"id":"Q396986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a792a765478484ae567268156fe33456cae645fa","datavalue":{"value":{"amount":"+0.7162467241287231","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":"Q704786$F28AA6B2-5D17-4743-8282-DFE86CDB2B38","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":"7ed22b6c007dd929ffd7ae7308ddd770b0b97981","datavalue":{"value":{"amount":"+0.7130808234214783","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":"Q704786$45E51D45-6913-4139-8F1A-AA442E70ECE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using program transformations to provide safety properties for real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_program_transformations_to_provide_safety_properties_for_real-time_systems"}}}}}