{"entities":{"Q3510802":{"pageid":5540706,"ns":120,"title":"Item:Q3510802","lastrevid":58183833,"modified":"2026-04-04T03:43:24Z","type":"item","id":"Q3510802","labels":{"en":{"language":"en","value":"Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297044"}},"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":"Q3510802$340A97FF-2BBD-43BD-9C06-E0BB224E69C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f7ba0e4af8d96ed538f9ea8925af27791798317","datavalue":{"value":{"text":"Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510802$6DFC46CB-FDFD-4404-8EFA-2A566A5C796D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"125aafc2ab899c3e6da4e2b0d0b9325d9ea9c4ee","datavalue":{"value":"1141.68488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510802$84FD6172-4ADA-48CE-AEAE-90D9222DE937","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5614ca7722237d161b5b05ab4feeb6c84b209213","datavalue":{"value":"10.1007/978-3-540-75596-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510802$015A74A0-CC67-4A4A-8D1F-7F9A19D2FF3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a88a03f0fd586a6d84e0d9ff5549b5db1b8f206","datavalue":{"value":{"entity-type":"item","numeric-id":2988920,"id":"Q2988920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$DD8FE4A3-B6C2-440D-B0D3-954E107C60F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e38b07af1b1cf33086a0baf0bd78a51581d218","datavalue":{"value":{"entity-type":"item","numeric-id":626899,"id":"Q626899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$79AD40FC-3E2F-437D-979A-050448ADB265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c454c7a4707396f6f4a3a9ca912b6b6fbb0aff48","datavalue":{"value":{"entity-type":"item","numeric-id":1015927,"id":"Q1015927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$CA332D37-E3AE-4F8B-B36F-87A6C0F39E23","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$8C01D386-9C6A-4CAA-AD1C-40F30029200F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510802$27334EB1-F6F2-419F-98D1-19CCC0ECC149","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5287c1ba62021b64ae5eb93ac57063418f7b93e","datavalue":{"value":"https://arxiv.org/abs/1008.1417","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510802$078B9B21-59A5-4B60-BF8E-9190F9001B52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510802$53C17364-0F26-46C2-9C75-F46423358A2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95bfc62bbd4c63c8df5b3c2705f577a1905c5d41","datavalue":{"value":"5297044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510802$D4595528-363B-4DC9-9C52-D47C0757B238","rank":"normal"}],"P1463":[{"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":"Q3510802$07AE2BC9-44DB-41EC-AD58-B6C9E46DC89F","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":"Q3510802$6A2A3286-903F-41C8-8670-8F3CA3D76F61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69fb6a93fda7361624ac894fb7e22af4c4cf46b7","datavalue":{"value":"W3102888608","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510802$901B095B-81D8-42EE-8346-F7278FC7D434","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$05B69DEF-9981-4831-8520-7F1FB3B94FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$44F76111-4F3F-42A8-80B5-774D3488D853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c916782f5843f438376b5d40ca01e00bd0a30a","datavalue":{"value":{"entity-type":"item","numeric-id":5464747,"id":"Q5464747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$27F95B34-9CEB-4DDB-9D9B-1D41B95346AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"824bf93b5181245b88573e28058822d36f9fc0d2","datavalue":{"value":{"entity-type":"item","numeric-id":5204346,"id":"Q5204346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$F936A7E3-04A6-42DA-80F2-D2C1B0DD5E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$6927F61C-C0CA-4CE4-9D8A-801BA136FE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"624e15045b7ec331b5d08f92bbcf9bd0d8d4d001","datavalue":{"value":{"entity-type":"item","numeric-id":2754111,"id":"Q2754111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510802$B16A474C-81C2-4568-9542-2AE235C099DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"986e6c1f795b8dcec857c19751c4c1df4f39d2b8","datavalue":{"value":{"entity-type":"item","numeric-id":5464747,"id":"Q5464747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"194be762b3ddc70909fdf20e6c1573a9da8638cf","datavalue":{"value":{"amount":"+0.7705298662185669","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":"Q3510802$B72D3C24-B637-44A5-A4F8-B08515B84EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cdff6040dfcd85e9765df01f3517d03b89eac6","datavalue":{"value":{"amount":"+0.7491313815116882","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":"Q3510802$AF7D326A-00B6-4376-9B9F-6DF02202078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6367e83ec726ae279ed256df15611c9bb284dfb","datavalue":{"value":{"amount":"+0.7465922832489014","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":"Q3510802$A6D6D997-3CA4-4005-A4CB-B02C17F13B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbcf5dade46bade62bd735e1a56145d78bc858ee","datavalue":{"value":{"entity-type":"item","numeric-id":5464759,"id":"Q5464759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1d95d599a9b6cad88a335bd834d0aa95938133","datavalue":{"value":{"amount":"+0.7444202899932861","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":"Q3510802$3E2CA952-A9C7-41C8-8DCB-E9950FF15BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaa06ce217adbff99102a1202be537c3e01b788f","datavalue":{"value":{"entity-type":"item","numeric-id":5754521,"id":"Q5754521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e965b9cefabae7fcdd881fe0062e8f171936c2e","datavalue":{"value":{"amount":"+0.7419489622116089","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":"Q3510802$637E69FB-99F0-48B9-B81B-806611B933CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510802"}}}}}