{"entities":{"Q2842586":{"pageid":2853306,"ns":120,"title":"Item:Q2842586","lastrevid":51800930,"modified":"2026-01-20T02:50:01Z","type":"item","id":"Q2842586","labels":{"en":{"language":"en","value":"Parking can get you there faster: model augmentation to speed up real-time model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6198628"}},"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":"Q2842586$F8505659-F712-4C31-97D4-F440C49BF205","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"259537efe4f492eb3db122650ac8bdf7602f2f1c","datavalue":{"value":"1270.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842586$9897CA4B-9E0B-4BC6-A643-721E7F255F33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116294c28772a1fa3800becce0bdcd1a3a0ab043","datavalue":{"value":"10.1016/S1571-0661(04)80477-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842586$613B2D5D-446D-4638-BCED-CC2F72C94E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ae3752c2bfe40c5c25a6850c4539416ac0e9b3fd","datavalue":{"value":{"entity-type":"item","numeric-id":2842585,"id":"Q2842585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$019AB03B-5E86-42B8-9748-E07C7ABAB1DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$B57649D6-1E01-4DDB-B7F1-476DD999D4D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cae65d5bdd2bde2e45e093857c98fd868d4f335","datavalue":{"value":{"time":"+2013-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842586$9AA1F316-C68C-4542-BC0E-BAC4E75CAA46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842586$3E4867BF-397B-482A-8C9B-1C5DA1C82C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842586$515F487F-59FD-410C-88ED-19F86155F102","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce30ead66e60459a36f2154bf4dac6acadae70ca","datavalue":{"value":"6198628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842586$D08AC10D-CC1A-49AA-AD77-1E78E10E413F","rank":"normal"}],"P1463":[{"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":"Q2842586$22EC7AAB-40E3-477E-BAB8-0B53177A934D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$CDBB4DB6-ADE8-4E43-9CD0-8EF8DF41EEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$DF9AC73A-81BA-484D-B2BE-B8A9E1660058","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":"Q2842586$EA235C55-1869-469A-A8D8-B7FE01CE9062","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$569D3669-BB1B-4131-A18E-F5EB194159AD","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":"Q2842586$B740CC3E-3E90-4ADF-9018-88E37BAFF5BF","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":"Q2842586$C2339BCC-11B2-4175-A88F-4B7B524BA53F","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":"Q2842586$F33F6942-0ED7-41C5-88D5-326416556746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$00446E64-3D6E-4E74-90CA-7DE87F39C987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6de659bfc3ba85985bb9a7f9946c4257ba504f","datavalue":{"value":{"entity-type":"item","numeric-id":4939617,"id":"Q4939617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$655107C8-B843-4AB3-9654-E6E1198D53DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842586$B95D83E5-3494-4EE5-86BB-C4B854CB1C6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c380d1d74ee312754e2ab3599419f9b96890cd2","datavalue":{"value":{"text":"Parking can get you there faster: model augmentation to speed up real-time model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842586$400E4146-7902-4419-9C3C-5275C484D80D","rank":"normal"}],"P1643":[{"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":"655a822bffd8c95e4dc1fa3ca30fdf54d7bc2195","datavalue":{"value":{"amount":"+0.7592736482620239","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":"Q2842586$651836F3-2008-40B5-A7E3-A0FDC28AB77C","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":"e5c8e8699fcec8c79462d9b0c081c421121b3a27","datavalue":{"value":{"amount":"+0.7568457722663879","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":"Q2842586$ADE5F7A9-992A-42F1-82F4-E3C7A141044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb769c17088f2deadf759c669ca5f5cb2196748","datavalue":{"value":{"amount":"+0.7448127865791321","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":"Q2842586$F7027762-774C-4AFD-92C0-9EE83837A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e046583140db6db83a2bc53da52d6e6ed2edda62","datavalue":{"value":{"amount":"+0.7446698546409607","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":"Q2842586$EC3A424C-1AAB-4DC9-840D-58C96201F13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee4f2e88130d467bf218bde8ddf203eaa2522ff","datavalue":{"value":{"amount":"+0.7434874773025513","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":"Q2842586$2B6972C4-EC25-4084-99D6-FE612D55EC6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842586","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842586"}}}}}