{"entities":{"Q882449":{"pageid":884297,"ns":120,"title":"Item:Q882449","lastrevid":65072100,"modified":"2026-04-12T00:07:16Z","type":"item","id":"Q882449","labels":{"en":{"language":"en","value":"Automated compositional proofs for real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5156654"}},"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":"Q882449$A997C845-DAD9-4B20-8D0D-8C5C15E9C69B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70d0b1f7fc56ec661e8b546c028199a3ed8c9dc4","datavalue":{"value":{"text":"Automated compositional proofs for real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q882449$9991469E-8F1F-4061-A2E5-2D3DAD21BA54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2fbf19b0a77c5d7efe55888dae86b45da3fa13","datavalue":{"value":"1116.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882449$731CCE7B-6E00-4197-BE11-7624D1FA557A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"31a65fbbaeae777cc53a7239a9ca34bd6b05d7af","datavalue":{"value":{"entity-type":"item","numeric-id":714628,"id":"Q714628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$FD17F11C-E32B-4229-A32E-B816CA366499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$DD6CDCA5-3CB6-421F-A4FA-1F90B089EE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3fdba189ce1dcf3dec02a20b242e7a252ee1a17","datavalue":{"value":{"entity-type":"item","numeric-id":530558,"id":"Q530558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$05984487-B8B0-4E20-AAAB-7455091BE49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef94de4ba8722c9929436fa8de2168bdb5d0b57","datavalue":{"value":{"entity-type":"item","numeric-id":383725,"id":"Q383725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$41A40758-117B-45EE-876B-D8D023E8DB40","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":"Q882449$1111F9DF-D8D1-465A-A23F-D790D190989D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb79a3e0bfdcad0d17b112619a3508f5e6a105c","datavalue":{"value":{"time":"+2007-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q882449$AAD7716B-ECEE-4C19-80ED-39D70420C179","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882449$735B7E9E-7614-4177-AE69-4B67993C6E32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ffec1fca65b1dd456a59f22d50304240ed41034","datavalue":{"value":"5156654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882449$C67DB30C-198B-4C43-8888-02BB5E52BDD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q882449$977481C3-5969-4D8B-BE1F-29AE19CAEA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75232cb76939534549d3e824c3d528a23d1c99dd","datavalue":{"value":"modular systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q882449$201D953F-390D-45FA-BA84-BFBE5231A68F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f20dd649bc10efa5e5acc4f3062bf85bd231792","datavalue":{"value":"real-time","type":"string"},"datatype":"string"},"type":"statement","id":"Q882449$A4044F7B-B768-4AB9-AF6A-43D6AD92A415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q882449$2C562D95-5C85-4C38-A468-6F623655C43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34515593d32176bc4bf4d87eaf0b06052cf5a08","datavalue":{"value":"rely/guarantee","type":"string"},"datatype":"string"},"type":"statement","id":"Q882449$BB6B8DF5-F1D3-40E9-B918-59CBCF339B57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$840614A5-A9B7-4618-BDC8-377043F2E8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$67A4CF05-C8B2-44A8-A3BB-E2F92112AEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$DDB52065-2AA1-4B70-8A0C-A1FE5052E947","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":"Q882449$8AFCA777-A023-4528-81DA-07DEA9656E70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4d68def1421bd2e25e18f0ee1a1ede4d551f742","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2007.02.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q882449$79719900-228C-45E8-87F5-BA822493927A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c4b4e1e8b57edd04e0f227f095a68a7f94020f3","datavalue":{"value":"W2121678371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882449$89927468-6B4A-45EB-9638-1C24E3AA1191","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e18026b3156e42d685a8b576abdb0db909fe6ac","datavalue":{"value":{"entity-type":"item","numeric-id":3569039,"id":"Q3569039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$B871BE56-A7AD-42CF-9B98-DBFAEA3ABFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079e3d033aa5226b4c4c9a66e517cc27d2cd53a7","datavalue":{"value":{"entity-type":"item","numeric-id":5900581,"id":"Q5900581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$37B355A4-6BEA-411F-B240-27D99AACEEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$64DB7933-C506-4E9F-8D41-F5DDE939AA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceb9d4f1d49d9d9c45e2282f017b93d47d978fe","datavalue":{"value":{"entity-type":"item","numeric-id":3919063,"id":"Q3919063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$A402CC00-2B38-4951-87F8-EFB2583180E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$5D657BC9-5574-4789-897C-B0A98D86090E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5460068db90ff38b085175c88860321949675e8","datavalue":{"value":{"entity-type":"item","numeric-id":5316439,"id":"Q5316439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$4191D89D-17AE-4F63-9C6E-305F33314B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7e969e61fd0929fd6a4041f5e3ec0b094f53487","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$9E037AE0-3CA2-4762-B9BD-22104F5A86A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1fe71c915b11e877aebbbf7b6381bb1cb93bb6d","datavalue":{"value":{"entity-type":"item","numeric-id":4417869,"id":"Q4417869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$DB1B4A0C-8E9E-4CA0-ABC0-821AC37EE9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$1CAD1E6F-4929-4071-8DC2-1C47AC5EF7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$E3735248-FDC4-45BA-8892-87D4D41A8EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50f615061ac96c9799cb135176c9735a55599c3","datavalue":{"value":{"entity-type":"item","numeric-id":2754080,"id":"Q2754080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$3663FD81-9776-4960-BDF0-D35A6ABD953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0547eb9218225ddabe42e553f1425cea5df1434e","datavalue":{"value":{"entity-type":"item","numeric-id":4508313,"id":"Q4508313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q882449$F7D654B0-6568-45D1-9871-37D2E92E94BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc4433ffa1e9338264da50de0a6ce636c503f593","datavalue":{"value":"10.1016/J.TCS.2007.02.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q882449$8CD63635-7135-4661-8DD8-193BFA90DBAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9200452c8eebe6121b6357a76ed71e24174e2143","datavalue":{"value":{"entity-type":"item","numeric-id":5316439,"id":"Q5316439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"586cfb87b1c99ab5c4309e761e7b32c04651c0b7","datavalue":{"value":{"amount":"+0.9996280074119568","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":"Q882449$63AB1132-499E-4BE6-8620-DD423272DB5D","rank":"normal"},{"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":"a790afdae94a7f430e7e4b0c267dd41e3bf0dff6","datavalue":{"value":{"amount":"+0.8241551518440247","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":"Q882449$3A73503B-D643-4B9C-AA60-383FF8D45B0D","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":"a790afdae94a7f430e7e4b0c267dd41e3bf0dff6","datavalue":{"value":{"amount":"+0.8241551518440247","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":"Q882449$D2EA0433-FFBE-44E2-9EBB-CBB2CF7CF0CE","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":"d2b2108c2a046b509c1d617ed5c5f1f883475690","datavalue":{"value":{"amount":"+0.8020275831222534","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":"Q882449$382005CA-3E34-497F-975A-BDABF4EEF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d920660bb4f81a6b66c7bf9f2888f69308c1a4fd","datavalue":{"value":{"amount":"+0.7845175266265869","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":"Q882449$5201A2F3-DBE2-485D-9290-6AD5BA0904EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated compositional proofs for real-time systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_compositional_proofs_for_real-time_systems"}}}}}