{"entities":{"Q3012936":{"pageid":3023660,"ns":120,"title":"Item:Q3012936","lastrevid":79950629,"modified":"2026-05-06T15:05:24Z","type":"item","id":"Q3012936","labels":{"en":{"language":"en","value":"Model checking the quantitative \\(\\mu \\)-calculus on linear hybrid systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918162"}},"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":"Q3012936$F0BFAAEB-1330-44D2-BCEE-0AEC6630D869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9183b13b063e5dbfb83b3d46e93f11368640d15","datavalue":{"value":{"text":"Model Checking the Quantitative \u03bc-Calculus on Linear Hybrid Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3012936$2EF0EC09-E9C9-4D57-84E2-5DA0EEB539FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5987f2b4c781f737125a1fb9434b4ccf7ce3c70","datavalue":{"value":"1333.68178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012936$379AD15B-138C-4E67-9D4A-F6E396D4EF3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"139b345be4a888be59572bfa0b747d6813be8918","datavalue":{"value":"10.1007/978-3-642-22012-8_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012936$92DF54C6-DE56-42E3-91B5-231FF7681D37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d24718e162602f15e4bddccd1975f986946b2803","datavalue":{"value":{"entity-type":"item","numeric-id":1959393,"id":"Q1959393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$33345840-66D2-4A23-80B4-C7AE34D2B696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9e3377d5a8683b76c323c193459e77e78f68c1a","datavalue":{"value":{"entity-type":"item","numeric-id":555654,"id":"Q555654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$E6E69AD0-E875-4C6C-8A34-C2DB1A1F776E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$B316328F-8FF9-4E14-BB8C-140D7901617F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3012936$0030C3E5-72A9-4FD8-AB02-B5183A48E1D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d20b70bc034c10a7225d58415624f5297898ab5f","datavalue":{"value":"https://arxiv.org/abs/1209.1738","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012936$42DDAEAD-0A06-40E5-9D5E-668226498A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd4639073ae0f73150289cfd7d4ac7d110afd650","datavalue":{"value":"https://publications.rwth-aachen.de/record/213947","type":"string"},"datatype":"url"},"type":"statement","id":"Q3012936$6D35E360-8A8B-4172-94DB-60EE33145B58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012936$888667DB-4C20-4699-A2D5-26DCCBFAE470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012936$ADF913FF-A994-42F5-AB14-EBC90380F231","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21a83c827c6075728c34ce0db55a9887eb75b5cd","datavalue":{"value":"5918162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012936$8C559463-4942-4AE0-A7D1-946747A71E47","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":"Q3012936$BE827C1E-6323-4D99-8AB4-82F766BBD435","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10987d317bd91f69f8abe57a82e91b90eddf7153","datavalue":{"value":"W1512316300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3012936$AE65697A-67A9-4589-A063-F5B1A136D9E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4f341c6f254e4778fd7612981663d8b8703db9","datavalue":{"value":{"entity-type":"item","numeric-id":673868,"id":"Q673868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$E63E29E6-5A1F-480B-B380-61DD5A1578AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd60f8f75864ecb804520c4cc0f094c9cf9f6a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5900561,"id":"Q5900561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$894BD5BA-3BA9-4251-97BF-2CF8DE8BE853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f65450edf6b4d53f17dd2e02467fb7cf435e4edb","datavalue":{"value":{"entity-type":"item","numeric-id":5466453,"id":"Q5466453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$60C56A4B-2B22-48AE-B34C-9F20FCE3D416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5277c9fd9b9d53af68cbc49f4685c9f7c49a0fac","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$490E1027-7814-4040-8419-17878FAA0235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"927a4c162ca95b094c5b7e0fcaf97fb9f1ead737","datavalue":{"value":{"entity-type":"item","numeric-id":3510795,"id":"Q3510795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$D682EE63-DF76-462B-990F-13F5BA9AC059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f744953abe92fee7ebcca2ae553853038af50297","datavalue":{"value":{"entity-type":"item","numeric-id":4270068,"id":"Q4270068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$1AC74A0D-F34B-473D-AA7A-9A017F963ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c61b8df768da1a4e1cc2a85425f3f7b271a5888","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$15BD805C-1B53-498D-93BA-8CB1844B600B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3959ffb868545a66d56438fcd6e21698cad3375e","datavalue":{"value":{"entity-type":"item","numeric-id":1060848,"id":"Q1060848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$7F81DEB8-5FBE-4393-86C8-4A9AEF3A5394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670c1684f85b15799d6e7e0fbb8ee8dc35bf41e3","datavalue":{"value":{"entity-type":"item","numeric-id":5277768,"id":"Q5277768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3012936$B3B40BDF-1D25-4692-A0FF-C74F9E0082CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4dba186ac45c577518fbec63dff14a0c02e22f","datavalue":{"value":{"entity-type":"item","numeric-id":2914242,"id":"Q2914242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69358865d2a0bc8f59cc29436597c7c3f9239e2","datavalue":{"value":{"amount":"+0.993417263031006","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":"Q3012936$CAEECCA6-AB05-42A0-AADB-510CE33F356E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b78d1dd018b4adb2240427ef9fddef11635ed3","datavalue":{"value":{"entity-type":"item","numeric-id":1959394,"id":"Q1959394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ef1a78376cc43d6e773e50b19b25fa6221968da","datavalue":{"value":{"amount":"+0.8282773494720459","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":"Q3012936$35B6BD02-4284-435F-9F32-08AE8DDE2774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b5ae91b6117279a7864ededdd149ebd8006eca","datavalue":{"value":{"entity-type":"item","numeric-id":4910728,"id":"Q4910728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a6760af1c440122c79800238b6df86cfc1e4a7","datavalue":{"value":{"amount":"+0.827647864818573","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":"Q3012936$B9BE4CCE-5D90-40D8-929E-F79CD2F25896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8caf40db68103c262833f62be7ca42a57b29a425","datavalue":{"value":{"entity-type":"item","numeric-id":5900561,"id":"Q5900561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567b549b3bd340c7274c71387b51fe9d9c4b52fd","datavalue":{"value":{"amount":"+0.7922560572624207","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":"Q3012936$3C365360-AFD3-4C33-A146-C226076F9B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec26bf5909b22f86d6cad4cf52fffedcce5c4995","datavalue":{"value":{"entity-type":"item","numeric-id":2754097,"id":"Q2754097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd464e9e0ef61ac536b08ed88f942e9312c198e","datavalue":{"value":{"amount":"+0.7921547293663025","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":"Q3012936$8B8FB6A1-C596-44B2-9DB4-FE16A52C4526","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking the quantitative \\(\\mu \\)-calculus on linear hybrid systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_the_quantitative_%5C(%5Cmu_%5C)-calculus_on_linear_hybrid_systems"}}}}}