{"entities":{"Q5897965":{"pageid":7998593,"ns":120,"title":"Item:Q5897965","lastrevid":49966606,"modified":"2026-01-12T08:27:52Z","type":"item","id":"Q5897965","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5072048"}},"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":"Q5897965$3C6C5E95-6B32-42F3-B77E-FCB0627CE6F6","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":"Q5897965$31202954-9EAD-4F78-8102-C5B2C5FFEE58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cec11d80a82fcabef43a8cae0279e1f50c62db8e","datavalue":{"value":"1175.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$6E1EFC29-3A6E-49D9-A7F2-F358413F02EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcf642420cd36522f65b94fcdcd45b804078cae4","datavalue":{"value":"10.1007/11603009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$4DFC904C-1B09-4DE8-B5A5-50B97B2F600B","rank":"normal"}],"P16":[{"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":"Q5897965$E014BF46-ADD2-48CA-8D3B-4FB67874FF73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897965$6BDF3340-9C7B-4490-B8A8-DFCC251682E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ec99ef01374ac77ba66b40a207a2d3d7ecc8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":388223,"id":"Q388223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897965$4C16AFFA-31E5-404E-A30E-6450D9A3A9CB","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":"Q5897965$FCA5CDC0-4896-4EC9-AC3F-F71135E58D27","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":"Q5897965$30000A8D-B75B-4545-BF0A-990202E137D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$08563724-C073-4BB1-B740-481AED397D97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$D69FF978-8010-4441-9840-670656D14547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$A2B8B2EE-017F-4794-8B71-2F0A21FF207E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"801e8b8fa2dc0ed8f52353e13129cd6947763868","datavalue":{"value":"5072048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$CE058264-0A68-4F6C-9553-72565A63113C","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":"Q5897965$131F8617-327C-41AA-8B27-D6A552726198","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":"Q5897965$22459522-8551-47F9-9DFB-D32A629FE698","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0cc24a131a86253fa9201d7fc13319c806bce38","datavalue":{"value":"W2493457341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897965$24B9CD51-C4B7-489B-84C5-A447BF13491C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d733aa564662979ee3b6c65d3b3d1962aed820e9","datavalue":{"value":{"entity-type":"item","numeric-id":2986932,"id":"Q2986932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c14971310d91fe38ce119126cce4bb535fb9aa16","datavalue":{"value":{"amount":"+0.8010479807853699","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":"Q5897965$704E6DAB-AB57-4078-A827-E4F5D4832C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a12d95967ad259acf137875a212f82bbae2a00c","datavalue":{"value":{"entity-type":"item","numeric-id":2575738,"id":"Q2575738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b401abefb79602926c1a6d80e5a1775a397a890e","datavalue":{"value":{"amount":"+0.7674391865730286","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":"Q5897965$0705673E-7798-450B-ADD9-C7A911AC0117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f3b6eb92d048405e7a5111c42f9af2bdc80f68","datavalue":{"value":{"entity-type":"item","numeric-id":710680,"id":"Q710680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82324d49284f57fe4e7110aaa05f9ddfce42916c","datavalue":{"value":{"amount":"+0.7630051374435425","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":"Q5897965$70E227A2-B3AD-4015-86AF-039F535E5F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f2cd845c8212222d77ee0dec679946123524fc","datavalue":{"value":{"entity-type":"item","numeric-id":5308390,"id":"Q5308390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3f307baa3fd36477b7122419632e42aeab4bee9","datavalue":{"value":{"amount":"+0.761035144329071","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":"Q5897965$2DEE4824-6E84-4A88-9823-1760CDEEA06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fdb95fb59db752b2013c5d25683f13f18c2a5","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2766adcbbe1b27fb0a1a052d73c2f862bf8ca120","datavalue":{"value":{"amount":"+0.7517571449279785","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":"Q5897965$E0541FAC-E7A1-4FB5-92BC-72AA487CD121","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897965"}}}}}