{"entities":{"Q2842869":{"pageid":2853589,"ns":120,"title":"Item:Q2842869","lastrevid":42256952,"modified":"2025-06-03T17:26:51Z","type":"item","id":"Q2842869","labels":{"en":{"language":"en","value":"Bounded model checking for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199181"}},"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":"Q2842869$A9C1B4F7-BCA6-40F3-93BF-448060E0E249","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"299903726ba3a8e820ed43c7adaeb64fa8ac5483","datavalue":{"value":"1270.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842869$8DF7B485-F1FE-440E-AD11-BB2418C654A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00f475b4fdf76b005bc72fe14b40c387d4b0206c","datavalue":{"value":{"entity-type":"item","numeric-id":2842587,"id":"Q2842587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$A0348BB2-A1D1-45B1-A105-87B5A2C3A334","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5e3c44c746061bd0bf2a18d344466d7ceacfe1d","datavalue":{"value":{"time":"+2013-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2842869$2F936BF8-1E5A-4A8A-99A3-91326B03CB13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"114f709e929fe8b9e05daed645270ab8a298df5e","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805231","type":"string"},"datatype":"url"},"type":"statement","id":"Q2842869$A0805CC7-05CF-405D-B615-693225FABFB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842869$13801DEB-C449-45A5-AFB1-3B4971A3D655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842869$AE0692EA-3C13-4284-8FA5-7CBE24256B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842869$CBF7D34C-9226-4FEF-8327-9E91FA1A1554","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d72788e1be793ebfb597aab503dfb7c5be314e3","datavalue":{"value":"6199181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2842869$2F76F513-8820-46BA-AEDA-233897F57418","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$3ED1A662-100C-49EE-92EB-08E0A49B7CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bd777b004f490ebffe44b53e6d8b41afbc318cb","datavalue":{"value":{"entity-type":"item","numeric-id":23717,"id":"Q23717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$C83E26EF-B06D-4060-A49A-9A79F354E946","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":"Q2842869$6D748328-D7AE-486B-A18D-59FB1E2F2602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040a8483cf79deba3a2eb66461dcc90b466cac47","datavalue":{"value":{"entity-type":"item","numeric-id":33420,"id":"Q33420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$881EEBA7-2C7C-44BC-B9B8-7D8B4B8E94E8","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":"Q2842869$268C3B45-4269-4151-8C55-F44809101BC0","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":"Q2842869$A1F02477-7537-48B3-B3F8-89C17D51E713","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":"Q2842869$8B07281E-4910-43F9-BEF7-D1E8B805B57A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0677d986de7ae767d3696ee3197efa0dd10513","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$5B867668-48CE-44A2-BC39-775CDF3E97E4","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":"Q2842869$80DF90A6-E78C-4F19-BC93-272FFEFC0B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93883db00833e89e855c8e92c4e962692b3eeca8","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$230EB7AE-36BB-4C23-81F7-79588931BE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$CE1B6354-E62E-42CB-BB9B-39E52296DBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$5E89A1C8-4E54-46EF-A3EF-19ED0FC195B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$F5427548-3A57-473D-A1CB-2DFF80C4B339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a179078c9a9f8b24e5164f170dbd1be09ede2650","datavalue":{"value":{"entity-type":"item","numeric-id":4551177,"id":"Q4551177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$78DA01F9-2CEC-42EC-8B0C-301B02EC14D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$A521594D-C1E1-4578-A06E-5B30CCF93A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6da6ded218db8e1aba2fc38982f0c41333c8292d","datavalue":{"value":{"entity-type":"item","numeric-id":4809077,"id":"Q4809077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$804047C3-6854-494E-91F7-6F90E8249DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d202b001b8ed36eaa43fbe0e48d77bab7ad85a","datavalue":{"value":{"entity-type":"item","numeric-id":4553256,"id":"Q4553256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$3C9B3807-0B61-4E9B-88AB-3CD6FEAFCA77","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":"Q2842869$999AF0C1-7A78-4427-8AA2-3CC49CEF49BC","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":"Q2842869$5854F860-8847-4A6A-BD34-F56C615CF9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$AF158449-C2FB-4267-A1B2-D964F957F7DD","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":"Q2842869$FA526993-61CA-4024-B2AF-0BFED6B86950","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":"Q2842869$C138D318-E67A-4008-B94A-C37553A31188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d249c28d5a6184a84b66210fa68746adccb1c8ee","datavalue":{"value":{"entity-type":"item","numeric-id":4945220,"id":"Q4945220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$98027E87-2AF7-43F3-A90D-5D1254BE29A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1975ace360956e97bd41a9619bf19fe361b7707","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$3E8BF908-7F0C-4DD3-ACF4-9CB361CAEE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e31460d03447356beb6dcb816454c7cb3b6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$F1936942-6A46-42B4-8FB5-BD791488419A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e01f63a4d6aa737a5a25554642bd7c28e5fa29","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$9E00BAB7-A135-4F67-BBF5-71FE790B0E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c63d982dc105c28707a995483aecf925525eec","datavalue":{"value":{"entity-type":"item","numeric-id":3922186,"id":"Q3922186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$262F9829-A32C-4A3F-973B-CEB1BAEF5984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c975b107162ac74a24f829c2f56a0100515128d","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$01A73822-06B4-42FB-B72D-1EB8F1CC9BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba57bef9dcf8610ea862985a8d05b601f1f871bc","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2842869$79293A20-1199-49DC-9F6B-40C7EF44A26A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f810b4f95156bc63741c036bc11ae67b10df841","datavalue":{"value":{"amount":"+0.981802","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":"Q2842869$A1F37493-3A6A-4A14-BA93-546B870639DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca546ddcc3383389a40cc796a1fa8e7c82617a18","datavalue":{"value":{"amount":"+0.9797512","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":"Q2842869$97E0ACF9-6097-45BC-B1C8-3E4999F77172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d7ef25e7fdeb4371d72e36779ceff8901c01702","datavalue":{"value":{"entity-type":"item","numeric-id":2324206,"id":"Q2324206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2d2eb64ee2001dd04eaff41f138fa1746fb599","datavalue":{"value":{"amount":"+0.9447283","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":"Q2842869$72129578-9A44-474D-8678-B1154E1D834D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1454116014189fc4bece50c7a54141fd441d32c7","datavalue":{"value":{"entity-type":"item","numeric-id":5259307,"id":"Q5259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f3840a40c3c3b112e6f2f26bad6f412f28b058","datavalue":{"value":{"amount":"+0.93307024","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":"Q2842869$8D52E767-D173-4031-9373-ECC46B87E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad38e91a940616d714a9cda6655944baac3915f","datavalue":{"value":{"entity-type":"item","numeric-id":5717499,"id":"Q5717499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22487ce0336ba757e3c1eed59aedf2890d28e159","datavalue":{"value":{"amount":"+0.932948","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":"Q2842869$922E9FFB-E211-486C-A1A1-11F2750A894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73543fc92806a459b8ab0a8e48626de52aaa37","datavalue":{"value":{"entity-type":"item","numeric-id":3557090,"id":"Q3557090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b46829bf1ee1838c244e3e787aa732759c99a28c","datavalue":{"value":{"amount":"+0.929659","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":"Q2842869$067EDAA9-35DC-4ADC-B9CF-90F31416AEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaba8635b567616f6fe2d0ca8b0c243a041a22b","datavalue":{"value":{"entity-type":"item","numeric-id":5506384,"id":"Q5506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09caf6456d19fb6452008e36171fc25c819eb78f","datavalue":{"value":{"amount":"+0.9271829","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":"Q2842869$1C6E20A9-554F-4D3F-A4EB-9F52E3F1759A","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":"7353266d0b6125319a658b38511ade6ef90c2072","datavalue":{"value":{"amount":"+0.9258232","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":"Q2842869$0E3AF71A-7922-44C3-9782-02814FCF76CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc515ec118b932f1c95ee27e047198bc63c138","datavalue":{"value":{"entity-type":"item","numeric-id":2986927,"id":"Q2986927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95b8df9082ee74ecb35d94e00c0b9378a5ea9b0a","datavalue":{"value":{"amount":"+0.92562056","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":"Q2842869$0F1D1C59-66D7-478A-8FEB-D161960B4B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e18bd3bea54ba4a5a3715d321e625b1a3a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa768a47c306c9fd88991585b6bf3a50e182edc1","datavalue":{"value":{"amount":"+0.92414886","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":"Q2842869$CE4988CB-C8B7-4EAE-AAB7-7D28E9E6B99F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78826b9fd4d620c1fca6c6aea9759da1c695ad77","datavalue":{"value":{"text":"Bounded model checking for timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2842869$FD563EE4-AA12-4F21-8524-FA28C810FB71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2842869","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2842869"}}}}}