{"entities":{"Q832017":{"pageid":833865,"ns":120,"title":"Item:Q832017","lastrevid":64673697,"modified":"2026-04-11T21:28:01Z","type":"item","id":"Q832017","labels":{"en":{"language":"en","value":"Spotlight abstraction in model checking real-time task schedulability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7497973"}},"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":"Q832017$4045EC21-FE7E-47A3-A9DC-29BA091323F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca24a4c7d7d88dc0f8e7897040d839ba5e4369b2","datavalue":{"value":{"text":"Spotlight abstraction in model checking real-time task schedulability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q832017$E55BF0C7-7761-4337-8007-59AB112C3288","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b899e6642fd82d50cb06d0346d9228cf108b6b0","datavalue":{"value":"1490.68135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$BCEBBA96-0B4C-49E5-BE21-3F3E64DF4B88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbbdd0558849f0f614227ef4a06487db24ad5643","datavalue":{"value":"10.1007/978-3-030-84629-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$4E7D9A6B-8E58-47FD-A554-C34BB23EE012","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66e35254fd4af9d3ac8cfa644391ee4b2167984c","datavalue":{"value":{"entity-type":"item","numeric-id":832014,"id":"Q832014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$24C937A2-38A1-4A9E-80F7-F5DF76C195FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24ded8c8d541f1e4a4b945a9397a18dce6ec659e","datavalue":{"value":{"entity-type":"item","numeric-id":832015,"id":"Q832015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$732B6870-9CB6-4AEB-B1B2-6C5650940E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75c51fc34b1b317a7e03e3f5619e37da770cd338","datavalue":{"value":{"entity-type":"item","numeric-id":832016,"id":"Q832016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$686320E5-D2CC-46D4-8548-90D98BC4F3E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee216241628d7ab3ed1211164658dc9e68b98545","datavalue":{"value":{"time":"+2022-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q832017$963B033D-3AC0-492A-92CA-CB0A87385CEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$17D52A5F-28A7-41C0-98A2-F2F887ED718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$75A74FFC-429C-458B-91EC-FC095C07E6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$B6037C21-9AFE-468B-81AC-66F4EF28F6F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e79facbf5a80f6eafcae89d6860397db18a6b380","datavalue":{"value":"7497973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$FC7E6E05-B2B7-4764-BF01-3BEBDF143F80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q832017$18F46699-80DF-4CD6-BA37-1278D263C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q832017$F2DC9D7F-78EE-41CE-A3B1-8A52900A7D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80717ddc01e6067beb2f1c6abc363708cdb05a99","datavalue":{"value":"three-valued abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q832017$FF8FBCA4-7F69-4552-A9B5-224EE11D984B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267727d71138c8af8df1fe0229813b961c7e4aa1","datavalue":{"value":"schedulability","type":"string"},"datatype":"string"},"type":"statement","id":"Q832017$E2691FCB-0D04-4245-856E-00322D1E3923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346d2cc3a657c4d33b736000a1ae6fcc72e0e172","datavalue":{"value":"queues","type":"string"},"datatype":"string"},"type":"statement","id":"Q832017$0CCB352C-BB00-4759-84F5-60862D5543AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"facdf200105caa9a8346d7f6e980c631ef5276ce","datavalue":{"value":{"entity-type":"item","numeric-id":14142,"id":"Q14142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$792DC6FF-A20C-4175-90F6-368A55351EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"57b5cd5d4c684812e3cc62aecbd47a87db871c5d","datavalue":{"value":{"entity-type":"item","numeric-id":13197,"id":"Q13197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$4EADFD45-ADBB-4444-991E-22C0C001AC43","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":"Q832017$49919364-CC71-4F64-B672-3D0792413031","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8135e1a493abc6a7b8fd955e41ef52572982c5e2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-84629-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q832017$C1304804-E9D9-4786-8DE8-FF5D9E3B097D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1be2066f26b7c553217c5a5558f6bff1e582b46e","datavalue":{"value":"W3193861647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q832017$82133CBE-955D-407E-B38B-48CF58489C6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"796fee6517807b3ea1ff0b6e047794616ccd462f","datavalue":{"value":{"entity-type":"item","numeric-id":4472231,"id":"Q4472231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$7EC272CF-3451-4551-8242-942CBB486E46","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":"Q832017$7A10D32B-1D3A-4C9E-87BE-DFC6D33F4052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e2f7bf41a2058a3e9116bd7a2da831d9a59e8e","datavalue":{"value":{"entity-type":"item","numeric-id":4472261,"id":"Q4472261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$422F309E-EDC0-45A0-88FB-A24E1F1FD89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c815cb968c16107cefb000f62a5dae27bc671faf","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$E58B70A2-C95F-44F4-93B0-1E04ECA17233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ec9162b4f0b9c61e7771e9a995d49106e63603","datavalue":{"value":{"entity-type":"item","numeric-id":2481262,"id":"Q2481262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$98D4F485-CDA6-40C9-B222-748E49CB5233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e32be6f87d14c47f7c13dbaa3b2914dfe42e9c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$A349004A-53FF-49B7-8142-C2D560348725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c28cb0c60d36a6b02cff002e350a60a5cd6bac8","datavalue":{"value":{"entity-type":"item","numeric-id":4472228,"id":"Q4472228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$9094E389-0959-47A9-BD8A-13230DD7A8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$B3AD4834-7EC8-434F-A174-2D0B50B03EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58d5b5ef220f6f2383a3477daf70dc594eb1404a","datavalue":{"value":{"entity-type":"item","numeric-id":5875377,"id":"Q5875377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$E19FE0AF-2BE1-4ED9-92DE-CDCAE8745DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90c9b8edc67e7771f573327273560a206ec8c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3060979,"id":"Q3060979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$D349E4D2-E690-4EF6-87FA-5AB8AB6CBEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4ef16668b23a47c29b0d7fa300962a3df1a1fa","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$6BD28937-1B2B-468D-86B1-90B265CEB0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea67b034c9d80ead8fad28f48b3dbaa7da33e9e0","datavalue":{"value":{"entity-type":"item","numeric-id":342707,"id":"Q342707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$4C03754A-AA71-43CF-82D1-B09285E5B021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa2383af19b89dceb8df6d73900f6c3fb59318a","datavalue":{"value":{"entity-type":"item","numeric-id":5429326,"id":"Q5429326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$BD25F6BF-7F09-4190-BB66-E0B567EBD87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b103e7c650cb833c27d77c19b0dea3997ea72e28","datavalue":{"value":{"entity-type":"item","numeric-id":6154573,"id":"Q6154573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q832017$4B8F4FB1-3651-4DF6-85C8-02FD0A1B0376","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379abc75128a4109f5e25829fcd644d4f72e44d0","datavalue":{"value":{"entity-type":"item","numeric-id":3543301,"id":"Q3543301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5817df2fc88ae75a9a7012859ee962552d5f7edc","datavalue":{"value":{"amount":"+0.9071852","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":"Q832017$18A1C58A-54A2-4C95-9C40-7CD63F04FB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db533c119bdd004b0866acec121d3d3a666c136a","datavalue":{"value":{"entity-type":"item","numeric-id":4412495,"id":"Q4412495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf53461ebf723c7b921eb775364c4631f97d2f2","datavalue":{"value":{"amount":"+0.88688487","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":"Q832017$F74A5D0A-7C6A-4402-BA84-DD3B6431B9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7a326ec265b5b022f88bd960b3bb2b9756f18b","datavalue":{"value":{"amount":"+0.88446486","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":"Q832017$B6DB1757-9DC3-49E6-90D8-AFB51F0AE0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667c55db4d0629bf8c5cbb63e0c01ee3be437c6c","datavalue":{"value":{"amount":"+0.8804463","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":"Q832017$49C5BCED-A142-4139-A350-6B65EBC6A0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ead5727c5fd6d7326da705083f0c9b5e83204","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce850506d8e7a791bfb74fce26fd8d4543def8a1","datavalue":{"value":{"amount":"+0.8802916","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":"Q832017$0943F2D1-AE0F-42D8-A65E-5D397A257C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cc682ff07520da7b67b68f77cdb981de922990e","datavalue":{"value":{"entity-type":"item","numeric-id":3176387,"id":"Q3176387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a6ef1285e8fffaab01c7a61a8f7994d67020e28","datavalue":{"value":{"amount":"+0.8739061","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":"Q832017$C11E7FE2-72E9-438F-9FDE-0492B34DA1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7cc7842fcb6dd086fc04915ad90803a6fff136c","datavalue":{"value":{"entity-type":"item","numeric-id":3564011,"id":"Q3564011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"523166c61ad31988fac4d5bfdea1026efdaec564","datavalue":{"value":{"amount":"+0.8710544","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":"Q832017$E5C23F0C-8F29-4B76-9936-BD4187A2E32E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9d06cf2d8edff08f922c79b6a1fb638ac93b7c","datavalue":{"value":{"entity-type":"item","numeric-id":2026779,"id":"Q2026779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ee22fc965c44d36ff8d4f76fc059788b074738","datavalue":{"value":{"amount":"+0.86725914","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":"Q832017$B741D105-F702-411B-AB4A-D94CCC398663","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Spotlight abstraction in model checking real-time task schedulability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Spotlight_abstraction_in_model_checking_real-time_task_schedulability"}}}}}