{"entities":{"Q844238":{"pageid":846086,"ns":120,"title":"Item:Q844238","lastrevid":64766775,"modified":"2026-04-11T22:05:06Z","type":"item","id":"Q844238","labels":{"en":{"language":"en","value":"Formal verification of real-time systems with preemptive scheduling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5659959"}},"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":"Q844238$CF0B6D7A-0B92-4FA6-BA10-B636600408B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"223cabe9fe034529e197a6691c3fc948adc61f0c","datavalue":{"value":{"text":"Formal verification of real-time systems with preemptive scheduling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q844238$5E403F81-5083-4EAA-96C1-3FBAD2F41E2A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ff1711a9e204d7fb14ef93582abbac511fb826b","datavalue":{"value":"1185.68429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$F87D9D13-0E0D-4578-8B76-083B5763EEEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$5FD4C7C2-700F-4372-8FBB-62A22A536DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$0E81B6F8-A56A-498B-AC45-8733EAF10551","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":"Q844238$422F7D7F-85E1-4602-94C9-59D8A0C62178","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"160ae7be62905e153a649a9a4d09ab3aa02ded62","datavalue":{"value":{"time":"+2010-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q844238$5A2AFBAD-6420-4F6C-A64E-3AFD6C3616D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$52A58863-F9CE-4A21-B694-BF5BC3EC3B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$F25200C7-1970-44C8-869A-9F28166D7E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$0603A515-7E2E-45E2-BB00-D296A08812E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f10eafad0b6d3fa4ed43e8d3ac25b693e4babe9","datavalue":{"value":"5659959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$0285F49B-466E-441B-9039-3503D69E3394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q844238$C8F9DE23-5C44-4CF4-AB28-4E858900C907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q844238$C33D390F-955A-4404-8926-F4CC664EB116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15eff2489d1abe6198af3b015ee555ef09dd6324","datavalue":{"value":"preemptive scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q844238$84B7009E-F274-4746-828F-B2BA2BE6A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q844238$F15D3C8E-F1F8-4B92-9D54-518EA3A9BC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc0b00a9961434d0b0a06c75d9321cb01f9b2c6a","datavalue":{"value":"hybrid automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q844238$BF201ED4-36CB-4361-8714-1798E99D01B2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce91c9303e62db122d4c0c98d17eb9dbb9274541","datavalue":{"value":{"entity-type":"item","numeric-id":33078,"id":"Q33078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$F174DAF5-F299-402A-85BA-1E821418F4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$E84380F2-F861-4A21-B97C-C70E766CB44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edb9350a99d741bad75dd4840fa0f295c872eede","datavalue":{"value":{"entity-type":"item","numeric-id":13560,"id":"Q13560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$D0B12397-9A12-497A-840E-B29599346515","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":"Q844238$A0EB9AA9-139D-4013-BD04-7385691B685B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a32f00c1f9f424c76b52b4066f18eb0e203ed716","datavalue":{"value":"https://doi.org/10.1007/s11241-008-9059-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q844238$40B3E242-D316-48D4-B4E0-CC144A629C02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b549f0126e32918aa7a0b8ed9c9920d5ec4a3221","datavalue":{"value":"W2086156607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$23C5DB1E-386A-436C-96D4-B4A4370DD3F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b40b375c01a9c4ec0f890009df77131b36b96152","datavalue":{"value":{"entity-type":"item","numeric-id":698466,"id":"Q698466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$CC2ECA8E-8266-4D4C-B661-95C86B42F378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$4AAA897B-E57B-426A-9955-6EA8C2D09F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$9843FD88-53AB-48F2-906F-54C06A4C4E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace3fda645fc1bc41d0e17513fe6ba61bd5f5189","datavalue":{"value":{"entity-type":"item","numeric-id":1575828,"id":"Q1575828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$A0785498-C67C-45C7-B225-8CFD25F7C3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"988d71a736f33be45785804e9658af2a1866bb2d","datavalue":{"value":{"entity-type":"item","numeric-id":884758,"id":"Q884758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$338F25AB-0998-458A-86A1-D9FBFE11E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dc32dff08f7e062837373e4e0bb0cd53c724ad","datavalue":{"value":{"entity-type":"item","numeric-id":4536599,"id":"Q4536599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$943A60DD-673A-414F-BEC7-FD747B5E49B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43ca27cba6b8cbde68d00987a946f9cde333444","datavalue":{"value":{"entity-type":"item","numeric-id":3844775,"id":"Q3844775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$349D87A1-A838-45A5-897B-1AE258EAEF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b777c00bf75b64ce3901e1eec98e9fa7a3e52ed","datavalue":{"value":{"entity-type":"item","numeric-id":4658723,"id":"Q4658723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$9F616139-5169-49EA-B3A7-D089B4B824E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c229fee535a77692e21857c8fc3b91b2557c748","datavalue":{"value":{"entity-type":"item","numeric-id":4417925,"id":"Q4417925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$7ECABCA5-32A7-4124-8804-EAABE98B2A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78424e16cd24d9742c865ada89549a4edd25ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":2368958,"id":"Q2368958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$557C4E62-AC85-455F-8FE6-C5104A9039AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30aaac525995ce57aa8b04f5ceb3346e0026fdd8","datavalue":{"value":{"entity-type":"item","numeric-id":5716584,"id":"Q5716584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$04DCAF03-1F06-4CAA-A95A-54567F542D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2651b38c430bf315a03a74ba0b66cf4d7861db6","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$48D842E3-D7E9-4A44-8E24-3BCF452E72E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$8C0E84D4-7316-40B8-8B7D-EAEC2A5F81C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$E0A81702-D9DF-412B-8C01-A4D4856BAA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe8e0b59f06dc85a99b144c3f823e4b00612d6c","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$768CF9AB-2062-4FA5-957B-2BB789421143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa5133216b14614490f456ec9f05c5af9bfa07","datavalue":{"value":{"entity-type":"item","numeric-id":5681520,"id":"Q5681520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$E670F585-6900-4DBB-8C2F-A6EB318DC870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df63538162f9e159411979e014352538c7c4d499","datavalue":{"value":{"entity-type":"item","numeric-id":5712345,"id":"Q5712345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q844238$EDB96400-008A-4ECE-B61D-F4478F43F9A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac7f0085cbe38d4ee4b95119738d5c2ea03143c6","datavalue":{"value":"10.1007/S11241-008-9059-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q844238$ED937C5C-7429-4541-BDCA-B073E5B79693","rank":"normal"}],"P1643":[{"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":"b16e7398a20c1e8de6300f11636edd72dc7585b2","datavalue":{"value":{"amount":"+0.92904234","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":"Q844238$BA1DEC5B-91C8-4CD7-A4E1-0744C890048B","rank":"normal"},{"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":"d2855cf2ca15991b1fba2b26802c0b990125b2e1","datavalue":{"value":{"amount":"+0.9255456","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":"Q844238$2BA3DD88-4377-413E-BD1D-D17DA5CD5193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b048c6ffc608a1b3d653f4cd34e5bcb4d3d580","datavalue":{"value":{"entity-type":"item","numeric-id":2783116,"id":"Q2783116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15f12cb933e689af015dfb46e1c337fcb2057724","datavalue":{"value":{"amount":"+0.9226186","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":"Q844238$1B2FE582-151E-4B29-9026-2C058A227BE1","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":"028b88133e316e00b5bb2d17fcb565eda4c2c244","datavalue":{"value":{"amount":"+0.909237","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":"Q844238$FA01AB47-6DD7-479D-B4CA-E48F2FA67E71","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":"028b88133e316e00b5bb2d17fcb565eda4c2c244","datavalue":{"value":{"amount":"+0.909237","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":"Q844238$393AF162-2B5B-4186-8229-9899C7AAC4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdce073c4f6bf73ea098334f8fd024e525339d","datavalue":{"value":{"entity-type":"item","numeric-id":3564026,"id":"Q3564026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f4b8034c08e9d46bdb7f88e1cb6edd476f7091","datavalue":{"value":{"amount":"+0.9076116","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":"Q844238$ACA5DC61-E3A4-4F8F-ADE1-3D29752B0D62","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":"fce32e22c79e5921925fbf6710029eade602640d","datavalue":{"value":{"amount":"+0.9043625","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":"Q844238$96A1B349-E56D-423A-9AD0-620138A1A57B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal verification of real-time systems with preemptive scheduling","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formal_verification_of_real-time_systems_with_preemptive_scheduling"}}}}}