{"entities":{"Q5717496":{"pageid":7747050,"ns":120,"title":"Item:Q5717496","lastrevid":48625819,"modified":"2026-01-05T10:34:35Z","type":"item","id":"Q5717496","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244882"}},"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":"Q5717496$EF79BE1F-F534-4AA0-A619-595BDE90EFEB","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":"Q5717496$9076394C-A912-4304-8445-BF6A99AA6A97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"057e3a2ef798ecfa91f10cfa1330432a0395ac13","datavalue":{"value":"1099.68649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$D92B4BE9-6A2C-465B-B366-0251A65C0E16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717496$EA5A9F32-F03A-4CA6-BEEE-8C8E394E5A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717496$0D55CDEC-B985-4778-992C-C0D879F336C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717496$5962DE35-19F8-4612-BB21-5A58EF3D2A30","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":"Q5717496$BDB20A6C-F463-4F07-86C5-8C072AA4C325","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5717496$4D09AA2B-A1D7-4A29-9254-377416A8D124","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$E7E8D616-1A87-4AFA-BADF-3D0A3F455B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$9E8119CA-E5E7-4BD1-A34A-ADEB6DA97FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$AB0A2FC9-D96C-424E-BB79-204D98C39714","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d779ce95f5e102856260c564b18f8dbb2ed323bd","datavalue":{"value":"2244882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$495068CB-5E1D-4D8E-8520-A12BDA38308E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717496$99DF21E3-1E91-4E6B-B87C-8948B299F43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717496$52CE23F7-2C20-45A5-B180-224C7646246D","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":"Q5717496$B00DA5CD-8915-485C-82CA-4AC313749C56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"327ca0400acd898ed9d3e6a95586ac327cb085fd","datavalue":{"value":"https://doi.org/10.1007/b12025","type":"string"},"datatype":"url"},"type":"statement","id":"Q5717496$B23E1F25-0E93-42D8-ACC8-D55B9998A133","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$1DCA5B76-E2CB-4430-97D6-10F6685FE32E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717496$0B11162A-EF88-4271-8833-7402D52CF73B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51e244f5b716ed80b5a4c3245d1648cf1a253547","datavalue":{"value":{"entity-type":"item","numeric-id":4461758,"id":"Q4461758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38e88327dda3830b4b3655182fdc7989c7b9125","datavalue":{"value":{"amount":"+0.9245198965072632","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":"Q5717496$589642F7-8479-4F93-B02F-DE118BCFA648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b90d8735f18671a06a6a6a95ca5a9901645a3f9","datavalue":{"value":{"amount":"+0.8052642941474915","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":"Q5717496$4BE788ED-079E-4E07-95B3-815E0C4CF1D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc616493ac9c0129409a3d4e064a7bf6f62e2f1","datavalue":{"value":{"entity-type":"item","numeric-id":5469517,"id":"Q5469517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3620dc55b4ac1f2444732136ab425a7ecb41953","datavalue":{"value":{"amount":"+0.7945056557655334","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":"Q5717496$B67F7A84-C60C-43C4-8F6E-6D763EA872BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4461760d789b6eb2f77a286ebb12ca4692f1886e","datavalue":{"value":{"entity-type":"item","numeric-id":3146274,"id":"Q3146274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8275575e7ff9d190cd19d6778e422eb6308d4235","datavalue":{"value":{"amount":"+0.7930001616477966","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":"Q5717496$533D101B-467C-4E7E-ADD2-93B63FEEB0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd691951a15260430e2afb9101ed58f05c7e423","datavalue":{"value":{"entity-type":"item","numeric-id":4787215,"id":"Q4787215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40503e670660e7d6e49d6d4c2fc8becd6a0562cb","datavalue":{"value":{"amount":"+0.7878914475440979","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":"Q5717496$9D8B830D-C11C-4B87-8CCA-0F911B3D92BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717496"}}}}}