{"entities":{"Q5897960":{"pageid":7998576,"ns":120,"title":"Item:Q5897960","lastrevid":93308102,"modified":"2026-06-05T04:10:53Z","type":"item","id":"Q5897960","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072043"}},"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":"Q5897960$0F3F2707-31F0-4857-A1FB-2243F2EA5B2A","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":"Q5897960$59775BA6-C45E-4EE1-9119-88CEEF3B8EC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa34d3beb45f1c4b107c0d967088241a5d339d0d","datavalue":{"value":"1175.68243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$70F1D906-C385-4484-95D4-887291211565","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$8D4866CC-A585-445B-954A-CE8429A91023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897960$04A3EFDB-58C2-48EC-8605-DE515EF667E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897960$7540F123-9322-45C5-9D70-D9E72BCBC03B","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":"Q5897960$3B6BF391-FA53-4EEB-8542-6E2000770C21","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":"Q5897960$1AE4D3DE-509B-4857-A753-497B52731A9C","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":"Q5897960$351EDF3E-F162-41DF-A23E-2AE365CF4CC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$51CD832B-2852-49B9-8931-2B63BE861AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$FD708C70-9D85-4A62-94FA-BDD72AD00F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3cf19f414d003b599cb8555b9227d1a95bcc55a3","datavalue":{"value":"93C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$2A749246-C249-4B13-A00C-5966147E6FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bec664fc111c8c38f0715786ddaeb8636a48223c","datavalue":{"value":"93C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$1C734368-67CD-4036-9929-E5F43837E1FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a29f40f2e55aaa5948d52add673573d6c4f49440","datavalue":{"value":"5072043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$FD6D4281-AFB1-4E06-B52E-D8C421C21B2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42bb6883144be7c7f9497f9e3bba727f80e1e22b","datavalue":{"value":{"entity-type":"item","numeric-id":16309,"id":"Q16309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897960$47B666E9-A0EC-4833-A06B-F3A70421F446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897960$55A8D174-53D0-457F-ADDF-17E2AE380CBA","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":"Q5897960$F78F2703-7114-4637-9D4B-9682BABC6A53","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":"Q5897960$460B7CFE-3F45-4747-B1DF-4DC616FC8F18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897960$C90FFEB6-CF46-4B7F-96BF-5636D06E4F17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a5bf9a579537691c3b97510fd98aba54353bab0","datavalue":{"value":{"entity-type":"item","numeric-id":888464,"id":"Q888464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8154ac4767bc0e050eaed92ede1dbb62fff9995f","datavalue":{"value":{"amount":"+0.7786442637443542","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":"Q5897960$0B5232AD-A145-4B76-BE31-EC42877EE12A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02e29ccb83fdcce6b1ea272efabe39a1ae3d6ca","datavalue":{"value":{"entity-type":"item","numeric-id":2926638,"id":"Q2926638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f89dc55912b090a37265db1e2d2e1cda5d45964","datavalue":{"value":{"amount":"+0.7752445340156555","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":"Q5897960$7D8ADED7-C9A6-4590-8E2F-5D3D1EE4C639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f3782bcc3f42ea1b7656de2420eaaf15658dcdf","datavalue":{"value":{"entity-type":"item","numeric-id":2496812,"id":"Q2496812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d54164c2d6c57ece20eb6fc8bd986579c3a6295","datavalue":{"value":{"amount":"+0.7721773386001587","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":"Q5897960$80BC7772-C07A-4739-B905-CD03078FCFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb661497f55a6c2b38c182c34f0b33cbf1014188","datavalue":{"value":{"entity-type":"item","numeric-id":4518893,"id":"Q4518893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679e7c40df14b4e51d796662143c71ed7a95203c","datavalue":{"value":{"amount":"+0.7714958786964417","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":"Q5897960$3DD8DD11-A039-4170-B1DD-A689D1AF10B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90524259465ce06e064cfef5e4e8bebd2a2818b0","datavalue":{"value":{"entity-type":"item","numeric-id":2272936,"id":"Q2272936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e932ee0ed4062f8ed84e5ca27ce05d363a7b264b","datavalue":{"value":{"amount":"+0.7621327042579651","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":"Q5897960$38FD2889-E24E-489E-B09A-6C9A63920DFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Modeling and Analysis of Timed Systems (scientific article; zbMATH DE number 5072043)","badges":[]}}}}}