{"entities":{"Q396986":{"pageid":398753,"ns":120,"title":"Item:Q396986","lastrevid":42533551,"modified":"2025-07-02T12:46:46Z","type":"item","id":"Q396986","labels":{"en":{"language":"en","value":"Specification and compositional verification of real-time systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6330458"}},"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":"Q396986$E578AC0D-1850-4FBE-A774-68095C5D25CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ea2203b1cbfce4165015e2bde2d803ba9ad75cd","datavalue":{"value":{"text":"Specification and compositional verification of real-time systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q396986$76D283C7-CE0A-499E-85DA-36AF3E98B915","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cbdadd505aca08050f7612c7312183914a55e189","datavalue":{"value":"1293.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$AC61AEC9-945B-40D7-AFB8-175A735F5BBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3cda7e9ec93899a9e46057d06371d1c95f88711","datavalue":{"value":"10.1007/3-540-54947-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$43E7EF69-6134-46E4-AB7B-F3CDF770CD99","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396986$80BDD2C2-7CD6-47B0-BFF4-EB4FAE0677A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"014386d1e7349618004d8e2aa9650d7520cb60bd","datavalue":{"value":{"time":"+2014-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q396986$438C4455-5335-4478-8750-23B1213404A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83f5e61009043142c3484e7094ace97f055006d3","datavalue":{"value":"https://research.tue.nl/nl/publications/6113a270-c7fe-4015-9f20-c589f4d7d42a","type":"string"},"datatype":"url"},"type":"statement","id":"Q396986$808887B6-A342-4B1C-8176-B79342202289","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$8492A1B3-5C08-4F2F-B386-445A55950E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$97209536-A7D4-4A6D-A8B7-A17851AB1449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$2825D0DB-A542-49A9-9627-1321C8EFFCC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28150a5b213e42e032c220c470791fe3e0117d57","datavalue":{"value":"6330458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$59F43AC5-3BFC-4F27-B3A0-0D9F8D03963B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"655b272f9711e4d9ee9172807da80e0536e6347a","datavalue":{"value":{"entity-type":"item","numeric-id":229991,"id":"Q229991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q396986$6918329A-6898-4BFA-AB0A-D705F9502A64","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":"Q396986$CF941CE6-BC29-4709-9587-365455B5C7A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53db16c72f324c89b3fd196399873d9342afca31","datavalue":{"value":"W2142210186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q396986$C04962D7-B817-4FB0-90F6-DDE9458E98A0","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":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$B55F48A2-5DB2-4DB4-BA88-314C5F6DC7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd60482142399ea4d453b1435060598d1ae83ba","datavalue":{"value":{"entity-type":"item","numeric-id":4802384,"id":"Q4802384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0366d0a0ee5feb2c4bead77dd2cdacac41872c","datavalue":{"value":{"amount":"+0.9646211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$A549394A-03B9-43B2-8FAC-D45CE7FA9366","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":"359e443aecaa80780907ebfb24081727a576e22d","datavalue":{"value":{"amount":"+0.9510709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$50FA92FE-1120-402D-933A-8BD6BD80871E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4edad70da239b7151ca5216579fa1889d2c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":4341644,"id":"Q4341644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450f1ee29b94b4dfb45e91810bf24e03092552af","datavalue":{"value":{"amount":"+0.94109607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$B0A10710-3363-4191-9C4F-E3D906CB2E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e8aafc26daf7e439279684845ccb8670130c803","datavalue":{"value":{"entity-type":"item","numeric-id":882449,"id":"Q882449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d6f6aa41451e5283ee8f8beaa8c06d2de65450","datavalue":{"value":{"amount":"+0.93350387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$154BDEFD-7A9B-4402-9E84-5FA1CF1D9603","rank":"normal"},{"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":"46d6f6aa41451e5283ee8f8beaa8c06d2de65450","datavalue":{"value":{"amount":"+0.93350387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$C59D4B2D-1A91-4674-A858-194F780F9815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263a854c5a5de15991d5d3c650bb40400fa9b6cf","datavalue":{"value":{"entity-type":"item","numeric-id":5900383,"id":"Q5900383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17a8c7c0da439b71700b09cab90a88f8736cae1","datavalue":{"value":{"amount":"+0.93072194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q396986$65BA3B05-17AB-4F4E-A58C-CE1415F090D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:396986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:396986"}}}}}