{"entities":{"Q714796":{"pageid":716645,"ns":120,"title":"Item:Q714796","lastrevid":63765771,"modified":"2026-04-11T15:23:53Z","type":"item","id":"Q714796","labels":{"en":{"language":"en","value":"Formalization and correctness of the PALS architectural pattern for distributed real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093020"}},"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":"Q714796$92842435-6D4D-4517-80E9-D25DA7E009B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52a1110447742c03cb1dc9cc1e18b9e31f579660","datavalue":{"value":{"text":"Formalization and correctness of the PALS architectural pattern for distributed real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714796$624C9113-7645-4642-A9F0-1656DA91B66E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e27940b2d39dd5def230bd463d957cae5482fc0","datavalue":{"value":"1284.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$D116A9BA-DCAB-438E-8AD6-A49D7DCCDAF6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$1D0A1234-14B2-40D7-B8E1-4451FE549F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffa3aa6236fe928872880c7f4a30dce18000e322","datavalue":{"value":{"entity-type":"item","numeric-id":714795,"id":"Q714795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$32F9E0E4-3B3A-432A-AF34-8D9B0E7C0FBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$60239C9B-5B08-4559-8F0A-CEE1740F1D0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q714796$7526338B-A97D-43A2-BDE3-A2ED56717783","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$8ADF8461-C532-4CEC-81EB-4AF18DF703B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$89604D1D-1B98-4441-B347-3E38C9A1070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$8AF1A2CC-F968-4D41-B1C1-ADE30EE43B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$A6D04B50-3283-49BB-9A49-98BB82F0DC18","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5861d14d1d9fe42f933323dc51a33d60efcd41e1","datavalue":{"value":"6093020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$05857F37-ED74-4C46-BD34-B3E02C3FA813","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae46fd5fb1b4a574481a4c82824c0bbd6e70bc6a","datavalue":{"value":"distributed real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q714796$EF26B0BE-C07C-495B-9A5E-0EC776C5CFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q714796$BAFD33FC-9B39-4460-B2EB-6C530AE6CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3ed3552606a28dedd2c4ad1c0a44ab48518459","datavalue":{"value":"synchronizers","type":"string"},"datatype":"string"},"type":"statement","id":"Q714796$0E0D869D-A414-4FF0-BC47-F5D48E2C0A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e14c77fd9ee4d0d6876837e39b04f33808653a85","datavalue":{"value":"formally verified architectural patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q714796$DDEDB443-3B5E-4613-8413-D439558AD3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q714796$17A03E6B-7F64-4164-A5A0-B31396137B8C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$16588959-9F2E-4C58-858D-9ECCD30C71A3","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":"Q714796$9E5C27F7-F52B-4E71-8724-C150B285D1EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb372951b8950039327650d630ccb52785d9d8ea","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.05.040","type":"string"},"datatype":"url"},"type":"statement","id":"Q714796$B47DF1E9-CE67-4809-A3B4-891304951E4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"149d6bca35361dc3bfb259ed503afee9397b7e5d","datavalue":{"value":"W2077349223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$A2D46891-36AD-43B9-8713-DE24AEB7FD79","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d048233381c0716ea6c30d78f1c09dc6fb64e9","datavalue":{"value":{"entity-type":"item","numeric-id":3765248,"id":"Q3765248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$35A5E09C-9656-445C-A1A9-EF4BEC2DF256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$230F93EA-7A12-481E-801B-76D275976C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$DE5D956E-A0E7-441E-8B94-54ED1DBFB7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde5bb6ec79560e368ebfb7e5a3f6b384731866","datavalue":{"value":{"entity-type":"item","numeric-id":4439587,"id":"Q4439587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$2A7DDE6D-6DA4-4D1F-914B-DA7ED17C12D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$0E4334D7-46B6-4314-A8AD-CF8375F03821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$54EEAD7C-6381-4B84-AF4B-B9ED0BCE702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$C3D1B29B-89FF-462E-B59C-7C21D6463530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$D318C56C-25BB-4CD3-9A18-C81FE6A9D3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e644eafc03f1e398f799fb407c1e09356f7d3a39","datavalue":{"value":{"entity-type":"item","numeric-id":714796,"id":"Q714796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$98729B72-E419-4826-93BA-DAB5B62A172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$7A52A5AB-A2B9-42C1-A4A1-88B845A2AD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$49F4AFFC-70DA-4550-923B-4C124CE4A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"585b0e68292ecac2efe23c8281fad65778ef57c6","datavalue":{"value":{"entity-type":"item","numeric-id":5295514,"id":"Q5295514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$D7F4F3C4-460A-4667-89B8-CCC4FD254DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc39abad7a5243f379e369597f35e5145a5dff3","datavalue":{"value":{"entity-type":"item","numeric-id":4473734,"id":"Q4473734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$7FFB90AA-1E80-41DB-AA6E-F75EFB368255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad55c99a91fa8f6b9f828213a7ae3827c897c4f","datavalue":{"value":{"entity-type":"item","numeric-id":4325545,"id":"Q4325545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$940FFC6A-4534-40B7-8523-ECA2CF92527E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d79aea1e327ccd987d812b9d683bb1ab849b14d","datavalue":{"value":{"entity-type":"item","numeric-id":4564085,"id":"Q4564085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$F5588193-E0CD-493F-9845-C1763A8DF7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714796$1FAF69E8-FDB0-47E3-9711-1C2B9EF1A0D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8c8f0b28f1f0dcd5913f24805a66af28d1319b1","datavalue":{"value":"10.1016/J.TCS.2012.05.040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714796$83E5DA40-E300-475C-8862-C504718D5384","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18974de561603ecb36faef87cc72b36aec5b7e2a","datavalue":{"value":{"entity-type":"item","numeric-id":2945702,"id":"Q2945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5903560d2769059283e00e342cab71036b3a303a","datavalue":{"value":{"amount":"+0.7726393938064575","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":"Q714796$08F09329-590D-4283-882A-01D73852A6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da5aba07f025a458bf21ef9c37f794d0321d89e4","datavalue":{"value":{"entity-type":"item","numeric-id":2988973,"id":"Q2988973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d7eb00876e587b6ba8423e509ab0be0c5ab381","datavalue":{"value":{"amount":"+0.7463129758834839","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":"Q714796$688B2301-EE5D-46E5-BCC1-EAC8007AC1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31c6e03cf55628603bd35896a6abcfe904ec3a21","datavalue":{"value":{"entity-type":"item","numeric-id":5447370,"id":"Q5447370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6494f65a09877862a2d6f97a0c3f641dd6d035a","datavalue":{"value":{"amount":"+0.7415102124214172","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":"Q714796$54070095-42C4-436C-A1A3-9451B741B21E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b08bde013cf4a00f7bcdfc21c42c0c93358a1ae","datavalue":{"value":{"entity-type":"item","numeric-id":685095,"id":"Q685095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec5a9b1f110d0c78cbe69f3739d291066493734","datavalue":{"value":{"amount":"+0.7401266694068909","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":"Q714796$1A9DDCFC-DD65-4F8F-929A-2C2DE7B25846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8754b43883f8c556eefa740aa8ec2122eba165e","datavalue":{"value":{"entity-type":"item","numeric-id":5179365,"id":"Q5179365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c879cc5648fc9b94460766746a062cae26f62ff7","datavalue":{"value":{"amount":"+0.7384623885154724","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":"Q714796$2E2874EF-68D4-40E2-85F1-F67427A6BA3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization and correctness of the PALS architectural pattern for distributed real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_and_correctness_of_the_PALS_architectural_pattern_for_distributed_real-time_systems"}}}}}