{"entities":{"Q5717495":{"pageid":7747049,"ns":120,"title":"Item:Q5717495","lastrevid":48625810,"modified":"2026-01-05T10:34:34Z","type":"item","id":"Q5717495","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244879"}},"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":"Q5717495$25E727D6-0330-4208-8F9A-B6A2097B6C61","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":"Q5717495$3E845987-05F1-4349-A2B8-57DB02799E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30649d014c55454c9da0de1bb1a8f82b3a78c903","datavalue":{"value":"1099.94523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717495$06EF4F49-2C5F-4E8D-A93E-110A724A2350","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af86bf4edfd66fc0f0dd425cefe2b67678b87092","datavalue":{"value":{"entity-type":"item","numeric-id":3510832,"id":"Q3510832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717495$D6B43D17-70EA-44A4-8EDB-093A02A0BE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717495$302CEA3E-B0F2-4DEE-A167-C061C5DA4ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"797dff732e38d176bf7500ab5c245082b935afd3","datavalue":{"value":{"entity-type":"item","numeric-id":533350,"id":"Q533350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717495$5B2ECA21-0801-44FB-8A06-D8C673C586A2","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":"Q5717495$ADA0C904-2ED4-479B-94E8-3364E59E66FB","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":"Q5717495$10F9E9B8-2AF1-4DAB-8B65-2EEDB7709306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717495$C54698B7-A49D-4A24-A586-7BBBB9B58365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717495$243743A0-4E39-4D24-892C-478BFDB99699","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2e88d4e4002e27ed475f6ae0cacc3ddabfa6402","datavalue":{"value":"2244879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717495$70F6E4BE-631C-40D5-A1F4-309BF93F48A5","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":"Q5717495$6AACC47D-B57C-43C7-97DC-CD4F56783C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717495$3CAB3B79-B719-4C13-B509-A971F592A046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717495$1A59627A-7126-4F51-9999-BCA5C2AA10A3","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":"Q5717495$299A489A-269B-4C1F-B9F7-56015A8696FC","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":"Q5717495$640CB430-73A5-4FE9-89FE-7E163A11CE3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717495$69EBD3F0-C99B-40C3-853B-977CEDFE746D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717495$6BB5AA04-DD3D-439E-8F1A-BCF22768D524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc34a3f422c02b5fbad7b4824980cb1354bffa1a","datavalue":{"value":{"amount":"+0.7581578493118286","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":"Q5717495$AE547D4A-5088-44AF-995D-41D2A0152420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db62abfac25dbe57f722e812f3b1671395d4a1ab","datavalue":{"value":{"amount":"+0.7554685473442078","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":"Q5717495$C6DA0772-F7E6-4CE7-9E53-A575389671C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125d09249d50edab1da9f9b2785ed5e0ee10411d","datavalue":{"value":{"amount":"+0.7536850571632385","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":"Q5717495$3D9C0031-1FD6-4445-A01C-54FDB932084C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a4ddc283d2c55817c0dd96d134caf3fe978e92","datavalue":{"value":{"entity-type":"item","numeric-id":4251920,"id":"Q4251920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772a173f0784ffd95a777a71f231f6941e8a3f17","datavalue":{"value":{"amount":"+0.7444592714309692","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":"Q5717495$6E9DB8D7-5AA4-4877-8E93-5200C17665E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899ebd0c598201df88c80cb4cdc0185fffa9a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":3546383,"id":"Q3546383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772a173f0784ffd95a777a71f231f6941e8a3f17","datavalue":{"value":{"amount":"+0.7444592714309692","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":"Q5717495$350973B7-562A-4B36-B009-20B3DF17E3B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5717495","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5717495"}}}}}