{"entities":{"Q3016218":{"pageid":3026942,"ns":120,"title":"Item:Q3016218","lastrevid":51290414,"modified":"2026-01-17T15:18:28Z","type":"item","id":"Q3016218","labels":{"en":{"language":"en","value":"Computable semantics for \\(\\text{CTL}^*\\) on discrete-time and continuous-space dynamic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5920514"}},"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":"Q3016218$F560C2B6-19CA-40B8-B978-1B56C3F6600E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"051d874c55145d738d3fa2469afb66bb666f8a0c","datavalue":{"value":{"text":"COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3016218$5BC666C5-8D99-4BF2-9BB4-620520E1AA58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c5dfb908b6d35293327373ea1b0e1d56cb11fc9f","datavalue":{"value":"1238.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$D8D0A2F5-47B2-466B-B0E9-1891B05CF6B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d481d08d7a29b195edffb35a0f555f6bb73760a","datavalue":{"value":"10.1142/S012905411100843X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$70539677-44A8-44ED-8AF4-A252152FE579","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"245f3a3731bcc53f7bebefadfe1a5d701d5f6e6a","datavalue":{"value":{"entity-type":"item","numeric-id":3016217,"id":"Q3016217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$97AC4062-ADFB-46FA-9080-0E6D7CA64A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c7885c8cbd04ebb00767ebb2b7724535a595ff8","datavalue":{"value":{"entity-type":"item","numeric-id":857033,"id":"Q857033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$AB112B32-5C99-40DE-A20B-D48728F28577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$50EDC94A-62EA-4E49-91AB-61070C06FDA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3cb91b61275a9337dc0b3da1b4e47e94aca6afd0","datavalue":{"value":{"time":"+2011-07-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3016218$77157E94-BEDE-4ED5-AD14-AA3880A8670A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$DF517A52-AF2D-404A-A445-A39105964D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$4461EDD8-26CC-41EF-B995-9EC94493089A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$4184E1E4-89F3-4C7F-B3C7-CF598637DAE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f99b26ebcf3102d88ed2e6ae5f322cd01901f0b","datavalue":{"value":"5920514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$F108D1BE-DD04-4406-A0CE-71C8DBACF42B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$0A1527B3-143A-42FA-A654-DCF3A233F021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c408169caceb667dd97c6c7b1e1843ace02f95a","datavalue":{"value":"dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$72C08B0E-E933-4999-B2E8-13B6F7118DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4601b7f5acfb6985d2ed85b2e6acb1eee8b959e1","datavalue":{"value":"continuous state space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$D4C884FC-17D7-45E9-B8CA-3B8235AB6B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$4A9B5049-9428-4584-86C9-280D3C5A2DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$95E1A35F-5365-40E9-8B80-3580F6AFDABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$A9C96127-5C71-47AB-AA4A-CFF4349F3906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$20047284-1A78-4BE9-AEF5-F9C36D2CDBED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6116363df33f23101fd493c4bea69a690099e48","datavalue":{"value":"\\(\\text{CTL}^*\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3016218$7AE71D01-B926-4AD4-85E5-B239D09BDB34","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":"Q3016218$070C252D-F727-4F30-AF46-15C776D86B18","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9571d442c3ec44fc309bb00bc9302631e9931d","datavalue":{"value":{"entity-type":"item","numeric-id":1427773,"id":"Q1427773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$33CF2054-CEA7-4874-B7F1-D48F682C083F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$F83AE9FF-6DDE-4960-BA33-A9D0C1731214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca9b29ae4579420e2eab175344d321019cd09c9","datavalue":{"value":{"entity-type":"item","numeric-id":2566008,"id":"Q2566008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$B02F44BF-AF9F-412F-A5D1-C110A9CF3934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b2a0908fd6b94fa78a73f4c1575602ef795075","datavalue":{"value":{"entity-type":"item","numeric-id":2642902,"id":"Q2642902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$93D5B9C3-C36C-4526-9CD5-683FAC589350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$9101C093-031E-4AA1-A633-10019F86B6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef377be609bdf17409a180b5b277bb12cc1abded","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$9D3A57E3-B2A4-4652-A468-26C9D85A7CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf19a269bb4da2f18f1bf54c8d24e2457f4e91e4","datavalue":{"value":{"entity-type":"item","numeric-id":4918021,"id":"Q4918021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3016218$59E81FFD-28A1-4640-8E63-E404D085E7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"613efb7e860b8025f58ddc1eca6b1ad5b0c50998","datavalue":{"value":"https://doi.org/10.1142/s012905411100843x","type":"string"},"datatype":"url"},"type":"statement","id":"Q3016218$B34C636C-DA58-4F51-BA29-FCEF3E2332EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e52fed92c5037458b0f1f4b260b5ca56fa091095","datavalue":{"value":"W1981881367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3016218$A4B21B14-386B-4FA2-8A0C-D7EEA9126413","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e56df3ceb6e83a690f814d11fdab6d36457c86","datavalue":{"value":{"entity-type":"item","numeric-id":3646256,"id":"Q3646256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892745c3a8ef6adb48ebc22187c1e2493b0d1fa6","datavalue":{"value":{"amount":"+0.9383038878440856","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":"Q3016218$D6576A8F-B510-4813-B32B-79C5E4BD2F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38a7ddbe37553b7618f45e9c502ddbc403ce0d8c","datavalue":{"value":{"entity-type":"item","numeric-id":2771065,"id":"Q2771065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b256837b277dc293d27033ba5206cc9ee04ed6","datavalue":{"value":{"amount":"+0.7653236389160156","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":"Q3016218$25EC9D6C-CE79-4DFA-97DB-18800377D011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a862cb69beba7a1760df6c030e592a608785d601","datavalue":{"value":{"entity-type":"item","numeric-id":2842666,"id":"Q2842666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5e3d963fb12933dbe7b2e342823862b534d9b47","datavalue":{"value":{"amount":"+0.7598526477813721","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":"Q3016218$92E66AD4-B6EC-406F-8FF9-50D956CD7152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0431db232f25b6835a05871c6b1c32e366cf0c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3427490,"id":"Q3427490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d398d988ab59d1447cca31b9ba66702944f1e8e","datavalue":{"value":{"amount":"+0.7588918805122375","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":"Q3016218$508FC4B0-6336-4669-A21A-0ED6E3F7321C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65a8cfdc3a726183847675febfa6ff30ba69be4","datavalue":{"value":{"entity-type":"item","numeric-id":1603537,"id":"Q1603537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78fdb8bc01927b94e4cab586535462e599edbde","datavalue":{"value":{"amount":"+0.7563927173614502","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":"Q3016218$F4217AF3-3486-4AD9-9ADC-DDA73ACFFE2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3016218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3016218"}}}}}