{"entities":{"Q5423883":{"pageid":7453457,"ns":120,"title":"Item:Q5423883","lastrevid":96261470,"modified":"2026-06-05T10:48:34Z","type":"item","id":"Q5423883","labels":{"en":{"language":"en","value":"Real-Time Model Checking on Secondary Storage"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207675"}},"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":"Q5423883$A609D993-E246-493E-B9A1-ED3788D1EC7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1af61d63dd75f3c3914436cf67395476e3964d2a","datavalue":{"value":{"text":"Real-Time Model Checking on Secondary Storage","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5423883$94437EC4-6637-48CB-A5F2-9C8CEC5EE347","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"543cca2a9e91315982f681c12708925a8c6ee06d","datavalue":{"value":"1196.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423883$4DE3F07F-7D85-4B94-ABAE-62717215E125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a0d86609e1f133bd33a6d81ab1aee729d0c86fe","datavalue":{"value":"10.1007/978-3-540-74128-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423883$C7C51C5F-A2CB-49A7-9BBC-139237801C1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e9891982d51a824b72785c3fad60d1c76460f1","datavalue":{"value":{"entity-type":"item","numeric-id":343908,"id":"Q343908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423883$E1F6522D-A33C-471B-A7A5-8803CDF45027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aa6298099f3f16de494fa8299557341486c65e9","datavalue":{"value":{"entity-type":"item","numeric-id":2852019,"id":"Q2852019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423883$5B17C32F-FA37-4343-B591-F0B001258B5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e30f5c42aad001db063f687525b9c7c698118a50","datavalue":{"value":{"entity-type":"item","numeric-id":3003423,"id":"Q3003423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423883$F8DAEF29-C977-4504-B620-2E198B9467D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423883$3D8F68AE-73CF-4B5B-8A45-01C3324D1011","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423883$C90B07A0-2B3F-483B-9E88-78587BCF70CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423883$9EEAA0C1-11B6-4F7A-9E27-D05A938685B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32b51eec5269efb7f86e2c7fa9ed2c53a8dcefd6","datavalue":{"value":"5207675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423883$64AFA0E9-E493-4189-B6DD-8779D9B3C16A","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":"Q5423883$4A7E9644-C072-4EA0-A937-F4E79D219A5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7af82f040393e2758e74707418750ee3b945a88","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74128-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423883$5FD65FD4-6D95-4E07-B33F-15B19AD23539","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f42c8a9098c91137131d1bc5d7d9dff7bfaa293a","datavalue":{"value":"W1531679094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423883$A935B0E7-57A5-4E07-8A3F-453573368413","rank":"normal"}],"P1643":[{"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":"1899bd21c8275ab6db385bcf0e46056a5d56f3b8","datavalue":{"value":{"amount":"+0.870142","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":"Q5423883$3F01B22F-D114-4898-A00A-8B6B4230D1B3","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":"840d039a045d8b339b7bb6c77ae6f455a42d3b43","datavalue":{"value":{"amount":"+0.85677993","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":"Q5423883$1D8E9521-D2F0-4060-A748-89CFE1ECE804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d180377698a92e9ad209e27f781223ba6a09f7e","datavalue":{"value":{"entity-type":"item","numeric-id":2709812,"id":"Q2709812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b460d2d0298bb2137eed143cf65e64b7751396d2","datavalue":{"value":{"amount":"+0.85661066","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":"Q5423883$90C559F7-0825-41E7-B8CE-EEF4C9CBD2BF","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":"78db3232df946971ff453a5afd8f62b2c4d97ba2","datavalue":{"value":{"amount":"+0.8555547","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":"Q5423883$4893785C-B6C5-46A8-81C7-F5598224699D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d493e274da9100ce86bb5b7d0f63352b7e13c52","datavalue":{"value":{"entity-type":"item","numeric-id":6162102,"id":"Q6162102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2169a969a005b2588ac7ee2fd8b70dcbcfd6761","datavalue":{"value":{"amount":"+0.8540002","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":"Q5423883$5A46EC2B-A1C3-4667-B788-3A48A421D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45aa8de96e11cb0f7b1f5532a500f0f26e2afcc","datavalue":{"value":{"entity-type":"item","numeric-id":2842578,"id":"Q2842578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25cb0823d9e3b9c15b726616f78d7911f271151b","datavalue":{"value":{"amount":"+0.8529591","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":"Q5423883$B8D04A36-BA07-4C3E-83B8-36F3089FA3B3","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":"4d2ee83f96bbc19747ee39057681ba5eea5530d8","datavalue":{"value":{"amount":"+0.8466864","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":"Q5423883$E716515F-19EA-46F4-A7E1-CCB5E9E0CE10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99533b0890fc913e92c0f53d5716e30e5d69ec6b","datavalue":{"value":{"entity-type":"item","numeric-id":1595892,"id":"Q1595892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"462498d5ed722907c3dfeab8edf33211a119684c","datavalue":{"value":{"amount":"+0.8333248","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":"Q5423883$9E8020E8-65CD-4394-96BA-997FB55B07E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d73db4948651b0b3addfe1307864877a6fe418b4","datavalue":{"value":{"entity-type":"item","numeric-id":3460552,"id":"Q3460552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d85bb8024484a97d912605e0765a418c9064ab2","datavalue":{"value":{"amount":"+0.8309294","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":"Q5423883$355264D0-29B6-4E75-87FB-CEA8794A9F70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real-Time Model Checking on Secondary Storage","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Real-Time_Model_Checking_on_Secondary_Storage"}}}}}