{"entities":{"Q5717497":{"pageid":7747051,"ns":120,"title":"Item:Q5717497","lastrevid":48625828,"modified":"2026-01-05T10:34:35Z","type":"item","id":"Q5717497","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244883"}},"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":"Q5717497$D6EC01FB-2CAC-4ABC-BE8B-233E22DB49FA","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":"Q5717497$2C29C12B-642B-4845-8A6F-AD52B42A30FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"571a4188f41f64e8d4bf102d51f179ce9857f672","datavalue":{"value":"1099.68669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717497$696C07CD-C175-4EFF-B20F-9B625812EAF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"633354b8994b9ca427b5ed3fbd4e2f5ffdb2f67f","datavalue":{"value":{"entity-type":"item","numeric-id":2864390,"id":"Q2864390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717497$FA4F66DD-F42E-48ED-BB15-356D905315E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717497$4F95FBCE-1FC7-434C-BEB5-D7D9FA0C7E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f5eaebbf7c201717b30817262749feba5d5244","datavalue":{"value":{"entity-type":"item","numeric-id":209128,"id":"Q209128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717497$3185D552-68B2-4510-9B7E-4EB2B491C760","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":"Q5717497$52310BD4-F1A3-4439-A8E1-1955DC36588B","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":"Q5717497$76D9522E-332B-4802-A8F3-7533F45E90B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717497$1688ACB1-B870-4B40-827C-8A3694D4586A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bed5617a8861cb7b26ba27bed958ee8dc855017","datavalue":{"value":"2244883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717497$34BC8C10-3989-414B-A6A4-06FBAF8F90E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc665b0a4717f50659ffe34004ab0cbf42a50d49","datavalue":{"value":"Timed Petri Nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717497$297A95ED-8372-4391-BD23-F0B457835550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e74c90a22fab225ffcdb3e4ad5a6707196c6b12","datavalue":{"value":"Zone","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717497$277C0C70-8D96-4425-B5F6-B95381E8D750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56288d93e6e31bf495425fa45e07748e70161fa0","datavalue":{"value":"State Space","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717497$EFFF094D-557C-4C04-AE72-F8D2BF87B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"188a4b095e04415e8150b2520373e8c73d7c3745","datavalue":{"value":"Reachability Analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717497$9AB4E289-D425-4DAF-9F80-D12AEDF91805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68be6715570c298de2f7dfb5b1baeb889a9c5942","datavalue":{"value":"Verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717497$724F0D28-C715-4708-AA4F-958C7BE883FA","rank":"normal"}],"P1463":[{"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":"Q5717497$DA29777D-6CFF-4198-85EE-9D972A441A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717497$1D3F61E7-7A28-4376-83DD-D8E8B68E47B2","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":"Q5717497$E5EC3B38-288E-4B1E-B071-CAA8CE1689D3","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":"Q5717497$6E3BB948-2F3A-4E84-BF18-184F71E684CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717497$DAE1D183-F5FF-489F-8616-759F7D90EE6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717497$8A86A325-9D81-46AC-BF14-71636C83A98B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ca02a1411a74a04b94cea415887303422b5ff7","datavalue":{"value":{"amount":"+0.8881696462631226","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":"Q5717497$24EA8D0A-445F-4897-B4D5-EEC7A7DE226B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1debb5ffccfda81929a6e97dfb5d56cf6d0498b","datavalue":{"value":{"entity-type":"item","numeric-id":3543303,"id":"Q3543303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eed59944b097d22edbbfb3a129f6d40790123b54","datavalue":{"value":{"amount":"+0.8408558368682861","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":"Q5717497$343C772E-2302-497A-9718-1FF5F1DBC1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097128c0e0c67294c921ebcfb5ab3dceb9fb6e3a","datavalue":{"value":{"amount":"+0.811725378036499","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":"Q5717497$CEABF8F3-CBB7-4A9D-A47E-191B02127058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f027c0751f3eee573879985dd6aae744edd0ee14","datavalue":{"value":{"amount":"+0.8022971749305725","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":"Q5717497$3254C39F-B224-4F96-9E28-3E9EB3E8A5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4b96d19e8e976874d5e1893b6fa6973eb2c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4535175,"id":"Q4535175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32bdb8832a3fd104bf3b686527d864b85cd6dbea","datavalue":{"value":{"amount":"+0.8000224828720093","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":"Q5717497$3E106AB0-B287-4A95-B3EA-3B3213897D11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717497"}}}}}