{"entities":{"Q5897953":{"pageid":7998556,"ns":120,"title":"Item:Q5897953","lastrevid":49966585,"modified":"2026-01-12T08:27:50Z","type":"item","id":"Q5897953","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072035"}},"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":"Q5897953$F2682DE9-8C4D-4514-BA52-13027E04DD33","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":"Q5897953$17B80A74-ECC7-4D3A-85AA-CEBDEAC90A51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"783290ddad465cc0a09501f9980cf61a3eaa9f68","datavalue":{"value":"1175.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897953$71EF8600-84EF-4E6E-8AF5-578D22FEEA18","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897953$56FC4ABC-1C52-4DE4-9BFD-3DAB3BC03B6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c813e4eac9249a49160a1fa23fbb3a021a9d29aa","datavalue":{"value":{"entity-type":"item","numeric-id":520341,"id":"Q520341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897953$114C4A43-5203-4E64-BB45-CD2DA9CF0038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897953$363D5470-9A6F-4B9F-BD0D-FF6D56146EE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897953$4ED65161-8E66-48FF-B779-7799B68A745F","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":"Q5897953$84865B32-F1A6-4F61-992C-7C7ADAC9604F","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":"Q5897953$F6395FF8-E322-41C4-83A0-9EFD7AFA1EA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897953$572D21E4-991B-4D69-8FC9-05830855AB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897953$A3DDEEB0-A4FC-4B7A-A5EF-294E2723ED7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17d07ff76cda587f0ba3c6d00a29388d2c2fb069","datavalue":{"value":"5072035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897953$E72C0311-7762-4CA0-99E4-6A4835F60788","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":"Q5897953$EA20A567-03B0-4C56-B688-77092BCEF7EE","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":"Q5897953$25DC19CA-7AC7-4D70-B04B-4FF86CC5391E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897953$0AE467E0-FA1B-4FB5-90AC-EE4BC1D43D97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7383a0dc6641d28c7d244eb6ac6740689f94cb63","datavalue":{"value":{"entity-type":"item","numeric-id":5466455,"id":"Q5466455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18c92e69540f346ba17ec947d763d412dc2a3d3d","datavalue":{"value":{"amount":"+0.8940066695213318","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":"Q5897953$08AB27B2-F091-4B90-BAC2-4CC19B614BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14380a7508591f79a0a28c3798f717a15fc6b581","datavalue":{"value":{"entity-type":"item","numeric-id":5428863,"id":"Q5428863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774d491b848a90e0fca61e2a3981db44da1c821a","datavalue":{"value":{"amount":"+0.8819782137870789","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":"Q5897953$8397A73B-ABD7-40A9-93CD-E62F43AEB9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd4382fcd54f079896d48a467827ff2c86dddd1f","datavalue":{"value":{"entity-type":"item","numeric-id":5385998,"id":"Q5385998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bab2797f36cc0746781eacfe35a64d44cabca80","datavalue":{"value":{"amount":"+0.8616999387741089","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":"Q5897953$1EEBAAE0-073A-4B69-94DC-5DB53E1C0064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4135359d3ebee69187ed146c62a04a1ac71411fd","datavalue":{"value":{"entity-type":"item","numeric-id":5465848,"id":"Q5465848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f641c458d460bd8387a21418e9af9b0c5451f981","datavalue":{"value":{"amount":"+0.8601410984992981","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":"Q5897953$C02B388C-74E2-4899-90EB-C934312B01AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228a4b8f98491638c0df0169fb913c8c421ce82b","datavalue":{"value":{"entity-type":"item","numeric-id":2385195,"id":"Q2385195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2948c7f5a2a4b5774cfbaa2b28cf436da82c0641","datavalue":{"value":{"amount":"+0.8581786751747131","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":"Q5897953$D12754FA-1BB3-4CDE-9B72-1443FBE7E7FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897953"}}}}}