{"entities":{"Q5717489":{"pageid":7747043,"ns":120,"title":"Item:Q5717489","lastrevid":101626916,"modified":"2026-06-06T01:51:53Z","type":"item","id":"Q5717489","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244872"}},"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":"Q5717489$47E83BF5-7885-463E-A97C-03FB51529E36","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":"Q5717489$09999123-BF1F-45F9-8127-0CDB64BF00F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f15e66123197175e8aef3d6c6e547c5a3cb40e2","datavalue":{"value":"1099.68667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717489$D7D9C5C6-39E3-4666-BB54-8D91A224CBF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7509f467e7c71b7b80dac3b4a96464886196fb48","datavalue":{"value":{"entity-type":"item","numeric-id":608341,"id":"Q608341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717489$8C3E43EC-4969-4601-A06D-E092401FC7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f678e8c47ec36cd0eb7b6db8f157bdf8c28c9631","datavalue":{"value":{"entity-type":"item","numeric-id":608342,"id":"Q608342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717489$677270DC-50F6-4C39-9C2A-2DFE4B577CB9","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":"Q5717489$F0A20E73-C434-4127-945C-1347A8AB0278","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":"Q5717489$E83B864E-490A-4161-9DBC-480BDDF41298","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717489$C846E8C5-AD55-4AC8-8062-71AB27803F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717489$84D43550-A7F0-49A6-898A-27FEF6392387","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da78d01cad4ed3bbed18b902ad3e23770f1b8c09","datavalue":{"value":"2244872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717489$AD15B7AC-DDC6-4721-8C8F-A71B6AE7AAF0","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":"Q5717489$2DB950AE-0B55-4F42-BD44-E292AB31FFA7","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":"Q5717489$59700B56-6EEF-4A2E-91E3-1415EBC38BB5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717489$072FAAF1-DD56-450C-BAAE-5ECE74B6BAD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717489$AF841D36-FBDC-4AA0-B3FE-1B4AA8A50F0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25029ded45921f723c064a7317e4996653e659a","datavalue":{"value":{"entity-type":"item","numeric-id":608343,"id":"Q608343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e436015e620501ad5ceae73ead88d559b9960bce","datavalue":{"value":{"amount":"+0.8159530758857727","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":"Q5717489$1973BCCE-783A-4252-A35E-BF2B0011C8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdda57ce28babb3d5500ef26e0d614094efe3eea","datavalue":{"value":{"entity-type":"item","numeric-id":2915135,"id":"Q2915135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5199d7a27c7cceeac1e69429dd0f11069e244694","datavalue":{"value":{"amount":"+0.708997905254364","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":"Q5717489$F231EFF9-5F52-4627-8B6C-977AC3FB8FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6808194cbc6b5ee47e8ec2a67ea429d6dbbd20","datavalue":{"value":{"entity-type":"item","numeric-id":4473262,"id":"Q4473262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5489ff37268293cfe38a9447996e2e0eaaf79a51","datavalue":{"value":{"amount":"+0.694502592086792","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":"Q5717489$3AE7F66C-9B83-4D51-A63E-0BA4C40D1348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e6951b7a8430c448d2db7bc3bf17a2d59a2f16","datavalue":{"value":{"entity-type":"item","numeric-id":1273466,"id":"Q1273466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"732a630e6c3292c25dd930e0924b608f21e603f2","datavalue":{"value":{"amount":"+0.6846950054168701","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":"Q5717489$C40E15A3-3AE0-4045-9ED5-DEC03CEF0C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8121a5e498a4157794acd3321d4047ae64632e8","datavalue":{"value":{"entity-type":"item","numeric-id":4939022,"id":"Q4939022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baacfd71bffc40677a0b77219e5744410e3dbdc3","datavalue":{"value":{"amount":"+0.6692754626274109","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":"Q5717489$FC2A9F1D-88D7-4ACA-9E63-33B006FC9189","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Modeling and Analysis of Timed Systems (scientific article; zbMATH DE number 2244872)","badges":[]}}}}}