{"entities":{"Q5754524":{"pageid":7784075,"ns":120,"title":"Item:Q5754524","lastrevid":50149736,"modified":"2026-01-13T06:54:42Z","type":"item","id":"Q5754524","labels":{"en":{"language":"en","value":"Compositional model for formal development of real-time systems design"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5181782"}},"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":"Q5754524$F87B04A2-7710-4999-924E-E850F0A3F381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e930307133e648ae39c591ef86b0a2c3be563ce0","datavalue":{"value":"1127.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754524$A3715246-7F4D-465D-ABD9-DB25575F6E49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a7809d7d740799f1d3201b8daf52c43c390824a","datavalue":{"value":{"time":"+2007-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5754524$A2E5EF1F-8ECF-4BAC-8F01-8C2D39287E26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754524$5DDAAAE6-2045-4E4B-A34E-60508349936A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8163fb65717f79067e560d157eb64a65842c88f9","datavalue":{"value":"5181782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5754524$BDB184BB-1C7E-4CA0-88AE-C189F14289C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04938c2c8f8919cf4c89cd9df3471980cd10763","datavalue":{"value":"Time Extended LOTOS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5754524$45E7F727-058A-4E5B-8C8D-1462AE13F509","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":"Q5754524$8CF80219-9D0C-4882-A6B7-46026CD4E9F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7d00b4e37ad44dc9cb1aa70ab4494b305dbb10","datavalue":{"value":{"amount":"+0.7373241186141968","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":"Q5754524$EB8A4540-7B13-4912-87D4-9509E1BF1DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5876800c7b1decd4ebed51d84d91fccbc563ba","datavalue":{"value":{"entity-type":"item","numeric-id":1918934,"id":"Q1918934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7d00b4e37ad44dc9cb1aa70ab4494b305dbb10","datavalue":{"value":{"amount":"+0.7373241186141968","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":"Q5754524$66E9A71F-EA8A-44AD-AC87-0B422D306212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2335e911d8eebefb300562646d4dcee270c8e93f","datavalue":{"value":{"entity-type":"item","numeric-id":1362773,"id":"Q1362773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94148d78b06d7fbabf69cdb6d539497e68bbe2ba","datavalue":{"value":{"amount":"+0.730462372303009","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":"Q5754524$BB0C3389-9F52-4F2B-BA38-4A74BEA6A192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac05a5e0bc8b38b4aa76a6fd376d301ffd581029","datavalue":{"value":{"entity-type":"item","numeric-id":5900550,"id":"Q5900550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ab7b5823df7aa1eaf8422b59a5d6424c44a4c2","datavalue":{"value":{"amount":"+0.7256853580474854","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":"Q5754524$7C780E2E-705D-4488-AF6F-280BCB6CB12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9bb69bda6a5c3fb7e34f516df78aefa606e1ec","datavalue":{"value":{"entity-type":"item","numeric-id":4003544,"id":"Q4003544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77990bbcb1e8b8df3474adfbe54b6dcd22008ebd","datavalue":{"value":{"amount":"+0.7230873107910156","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":"Q5754524$69C1B182-F758-40DA-BEC2-50830E9B4227","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5754524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5754524"}}}}}