{"entities":{"Q5046495":{"pageid":7076072,"ns":120,"title":"Item:Q5046495","lastrevid":91905683,"modified":"2026-06-05T00:22:19Z","type":"item","id":"Q5046495","labels":{"en":{"language":"en","value":"The stochastic semantics and verification for periodic control systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7609622"}},"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":"Q5046495$C6C15965-428E-4994-9B5A-B234C040599B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ef17d9a5330f5093516254ba1eb90c97f33162b","datavalue":{"value":{"text":"The stochastic semantics and verification for periodic control systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5046495$ED94C85D-FFBD-4E61-BD61-19A75BD0A285","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63cb718cae4470c3aaff3f26bc9da8c718caf4b7","datavalue":{"value":"1497.93216","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046495$D3FAAF6A-B519-455F-A745-2220EBA29607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37e085ecbc83d59919ae382f77064b9890c510b4","datavalue":{"value":{"entity-type":"item","numeric-id":247889,"id":"Q247889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$AF642C1C-B725-4861-9E23-5FBB99EF76BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"923f159692290ff3dc0354e151e760b090c26982","datavalue":{"value":{"entity-type":"item","numeric-id":294628,"id":"Q294628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$40538394-2587-4E2E-B91C-C09E4E8DD310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$1C7E0131-78BA-47E4-9D80-784D5EBBF1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6240a0e63014b3ab3cb57b4f37c6b5dce0ed710","datavalue":{"value":{"entity-type":"item","numeric-id":436399,"id":"Q436399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$1674E63F-9426-4D05-9694-5E5011D8AA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c070a33f8297eb81472738edbeec8a26e479904","datavalue":{"value":{"entity-type":"item","numeric-id":247890,"id":"Q247890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$E3C75B9F-B4FA-466D-9776-6FBB245D7B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8b4b706e0e1892c8640abf317cd4e1ff44c4fa9","datavalue":{"value":{"entity-type":"item","numeric-id":207989,"id":"Q207989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$00F04928-5387-48A2-9367-314DC8BE4321","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e61521466efc69453d03c996ffe47614665c4523","datavalue":{"value":{"entity-type":"item","numeric-id":5018141,"id":"Q5018141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5046495$8AC7D904-A012-4EF7-A295-B4AF3F76CA92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53054553ecb74c2ac65075053855ec535794968e","datavalue":{"value":{"time":"+2022-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5046495$9C26F7E8-1814-4745-A8D9-26A86605E1E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046495$2FE56987-D0BD-4793-8BAF-68D7B4B3CC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046495$488AF4D7-E063-4283-80A1-0EDB54ECDFDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05c9b9a53fe6a4bd2fb47e616d35bcbca3476bf8","datavalue":{"value":"7609622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046495$83078668-E99D-4E54-9E3B-028B894414E8","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":"Q5046495$76A8B75A-E707-43B9-B035-BBB83DBE8667","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52d7297f63052b83d6f654ab67b5ac9e62e32c8b","datavalue":{"value":"https://doi.org/10.1007/s11432-012-4750-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5046495$E2028938-3D4C-4409-B131-0D263127850B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b9d134ff95a90feb72235d8e81b20d569ca529a","datavalue":{"value":"W1968172146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046495$9F5093A3-86F5-464F-B67D-EAF12962D5EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae63cee2a0a40aa1d2509c12d3c3bdf8491ba5d9","datavalue":{"value":"10.1007/S11432-012-4750-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5046495$5830A76E-2670-4310-83DF-1EBDD8665AAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The stochastic semantics and verification for periodic control systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_stochastic_semantics_and_verification_for_periodic_control_systems"}}}}}