{"entities":{"Q5897956":{"pageid":7998564,"ns":120,"title":"Item:Q5897956","lastrevid":93308024,"modified":"2026-06-05T04:10:53Z","type":"item","id":"Q5897956","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072038"}},"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":"Q5897956$652E02EA-A3A4-41C7-B464-7B3A275E5ABF","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":"Q5897956$53034293-6915-4714-BF85-CC20BB42C153","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e088d472874a13f5f7a6930db1ca77555b8d9c5","datavalue":{"value":"1175.68254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$F8DB7BA2-5C0C-4C0C-942D-46B0CE0947DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$B4CCE7D1-8180-498E-8413-4BD135982493","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897956$9E05F0D8-A419-44D5-9577-740BD774C27A","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":"Q5897956$43F7E3B8-07FD-49AB-A99C-9FEA5B2BDD25","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":"Q5897956$CF39EBF1-D608-4599-B585-5C1E43702FC2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$CF6333B4-DA06-4D3D-95F5-6E8798214695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$CCFA8005-B2C3-4F26-8183-54067765870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$46174947-8A7F-480C-9C33-97C61620421A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$0B331549-FD88-4A77-A53F-2038FAA330C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66353ee37893337d21d2e944cd32ec32cfb7d10f","datavalue":{"value":"5072038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$FDE7E0D2-1C4A-42C8-984F-DA7AC6FBC1D1","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":"Q5897956$A4D3A776-80E9-4E31-8AEE-5980C0518CBF","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":"Q5897956$2BAE3387-547C-452C-935E-C9F0E11A4B30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897956$2162B776-A081-4702-8948-5527395550A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65cbaf1e979b491d7a6e5f7ade5d53365f7dd855","datavalue":{"value":{"entity-type":"item","numeric-id":1886449,"id":"Q1886449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d1d00737d6c765df0d67f7e057dde97425a5527","datavalue":{"value":{"amount":"+0.8182564377784729","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":"Q5897956$7F2153EB-765A-4E33-9F37-DC9EAF66522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b2e0aff707e14711904e4306b8c631806584f7d","datavalue":{"value":{"entity-type":"item","numeric-id":3176379,"id":"Q3176379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2156750eeb0a95babbf3da24f7a612d5645255ef","datavalue":{"value":{"amount":"+0.8097749948501587","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":"Q5897956$FCDB0F00-1AE2-4366-968E-EB57563498A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709267e3c465aee249444b8785b4862aa5af1286","datavalue":{"value":{"entity-type":"item","numeric-id":2963938,"id":"Q2963938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0987f71233620b32e6b2952f1bc13b0fb57ced34","datavalue":{"value":{"amount":"+0.7975669503211975","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":"Q5897956$B0E09DE3-DACB-4765-9238-1271C699D9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a858124ef113f8466bebca27fd598bd5a58d2e4","datavalue":{"value":{"entity-type":"item","numeric-id":1853589,"id":"Q1853589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b586de57d16496c591f46c6a8899563e6f74399","datavalue":{"value":{"amount":"+0.7971925139427185","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":"Q5897956$4E626385-A236-4CC6-A939-68D440C3EB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e88d80e9074cfb0b5ba6a572c8ecfc53b22b379","datavalue":{"value":{"entity-type":"item","numeric-id":4414374,"id":"Q4414374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3311bd48caf182ba9021578d130c9205e86e64f","datavalue":{"value":{"amount":"+0.7966777086257935","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":"Q5897956$1F71F1F6-EF21-4662-A0B0-2BB71C32D446","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Modeling and Analysis of Timed Systems (scientific article; zbMATH DE number 5072038)","badges":[]}}}}}