{"entities":{"Q5897958":{"pageid":7998570,"ns":120,"title":"Item:Q5897958","lastrevid":49966597,"modified":"2026-01-12T08:27:51Z","type":"item","id":"Q5897958","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072040"}},"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":"Q5897958$9A690A9C-A46F-4BEF-A9FE-64724DB167CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b2c85b6980737cd12066f706077286f4fb04bd","datavalue":{"value":{"text":"Formal Modeling and Analysis of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897958$614372CE-87F0-4788-95D4-B964A30F0A6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4983a7695c7fa84765345cf4dbbd477bbbfa1337","datavalue":{"value":"1175.68256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897958$D3FFF923-D9BD-4319-816B-BA673701CDDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897958$A2617B5F-5AB0-4F3A-9A06-40BDC5BA3201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d424413aeec311b651d13247c996fa4e3d447106","datavalue":{"value":{"entity-type":"item","numeric-id":481095,"id":"Q481095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897958$3C321E2F-B01C-49AE-ABEC-92D3C4C2220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c628048560a95e93b98909122a7164e3572ba0ca","datavalue":{"value":{"entity-type":"item","numeric-id":548703,"id":"Q548703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897958$4028614B-219A-4158-AE73-7F1458412A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61d9dbabf0a46d5abc1b2de661610d71f11ba29b","datavalue":{"value":{"entity-type":"item","numeric-id":1622949,"id":"Q1622949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897958$23F3DFA3-FBEB-43F7-991E-FE8291B32396","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897958$043851F5-9B97-4426-87D1-895A1E5866AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"834c709ac9b6f605c97f46bb2d05fd8a3e4ef397","datavalue":{"value":{"time":"+2006-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897958$3017AB0D-2124-4AE0-884C-C27A458D853C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897958$052A9505-3DA2-4760-A53C-AEB36BC5D6D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897958$A84B5A6B-6799-451C-A74A-DF2505C25612","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5abb33fbcaac460da31810f29924b6e95572725f","datavalue":{"value":"5072040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897958$1BEAAA4D-9E1A-4BE9-B46E-7EFF62D94890","rank":"normal"}],"P1463":[{"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":"Q5897958$9AFCEF79-F4B2-49D3-8DB1-BD323A94C083","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":"Q5897958$8FB26CA3-8835-44A4-B519-1AF49EC20771","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c8b6078bfcaf1fe964f04796d22e00c2ac7fa5","datavalue":{"value":"https://doi.org/10.1007/11603009","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897958$847E83D3-B007-46EA-9E18-6B84003FD572","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897958$B1D88BDA-6D95-4663-A15B-7BCAF31BE48D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657077d65a2d441234e402b98f482b86befd17d4","datavalue":{"value":{"amount":"+0.824682891368866","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":"Q5897958$208CA9D1-14AB-4615-AD00-787E2FF3258C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f07783b54ad19fd3d0569cee41ef766e612cd21d","datavalue":{"value":{"entity-type":"item","numeric-id":5472953,"id":"Q5472953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cbbab60e2cfdbd5fb80ae0f492f082a9a5bb177","datavalue":{"value":{"amount":"+0.8240078687667847","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":"Q5897958$C0E6E5DC-1886-4EDB-9EC8-CF715F686045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5206ada1b191101afcac846b9650968ad69cd8e","datavalue":{"value":{"entity-type":"item","numeric-id":5009444,"id":"Q5009444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcb1bd52ad0705f526f560a13075356d55a9d65","datavalue":{"value":{"amount":"+0.818832516670227","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":"Q5897958$A2E387E1-2801-4A36-A497-D628C6A48D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86bcaeb25144e11e1cc54b5e1396ed73acbf0a29","datavalue":{"value":{"entity-type":"item","numeric-id":2829277,"id":"Q2829277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc0a95994f205bebcdcd776f1a5b0c4eb985d5d","datavalue":{"value":{"amount":"+0.7814511060714722","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":"Q5897958$F886935A-4E77-4C2E-A8AB-CA24159AB6DE","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":"6b5f2ca3857902a673ae7ac5500b2cb8f9b03696","datavalue":{"value":{"amount":"+0.7807807922363281","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":"Q5897958$A95E909C-7ACF-48FC-9AF8-703953F645FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897958","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897958"}}}}}