{"entities":{"Q3646256":{"pageid":5676162,"ns":120,"title":"Item:Q3646256","lastrevid":50827730,"modified":"2026-01-15T08:00:12Z","type":"item","id":"Q3646256","labels":{"en":{"language":"en","value":"Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5636086"}},"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":"Q3646256$F5373B47-63DF-4C7B-AE50-479E7D046FE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ada16f0216bd7cc44296e6f47bde4bed3646bfac","datavalue":{"value":{"text":"Computable CTL * for Discrete-Time and Continuous-Space Dynamic Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3646256$74303C2E-DD95-4EBF-BD79-C426D6EBAC33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a1d17d0875a056e4137206b2ac87c8022187ea5","datavalue":{"value":"1260.68229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$1DACF40D-D4A9-469F-96DF-E234FDB66D99","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ba1c9fdfa02cb914199fcbbb85537fdbccebcd2","datavalue":{"value":"10.1007/978-3-642-04420-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$65A46A48-8081-4E36-8426-C521E7E6C0A9","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":"Q3646256$94E6413A-BAEE-43F0-B05F-3E7DBF44800C","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":"Q3646256$096C50C1-AD61-4872-91F6-8A9ECC6998F3","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":"Q3646256$45BCB25B-75B6-48DF-8F76-B4A7B315FA58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"578d14626f47760914b9a71c7f4ee295065574aa","datavalue":{"value":{"time":"+2009-11-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3646256$10ED33D7-0458-4BE2-863A-B2E9C66977B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"522d51bed88d2c9e629cbad626a3281aed98693a","datavalue":{"value":"https://ir.cwi.nl/pub/13946","type":"string"},"datatype":"url"},"type":"statement","id":"Q3646256$38A1B855-2A10-4FAE-AC31-721EC1B333C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$F0409676-B538-46C8-B693-715CD83E33E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$DD816B0B-ED51-4213-A2F8-ACDA5C96D233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$87BB4973-D914-40A7-99AA-CB3AEFA59B5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8eb8b9f66b962a4e283694ef433c83932d141ee","datavalue":{"value":"5636086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$4A63E56A-4382-470E-9757-E8782B654BFD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646256$29FAC4D0-025D-4B9F-9B0C-1DA91E67B6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646256$7DF823E2-AE48-486D-AF83-7D4A626B792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44be243d69efda29c0ba4faa918996522a846c61","datavalue":{"value":"CTL\\( ^{*}\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646256$40584094-B659-434E-B57E-B0B295680BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c408169caceb667dd97c6c7b1e1843ace02f95a","datavalue":{"value":"dynamic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3646256$4E092BD5-74FE-4375-B757-B9FED8D34228","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c78bdf0926b89a3e72d47cd1ab227eeb1025a90","datavalue":{"value":{"entity-type":"item","numeric-id":18756,"id":"Q18756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$AE776F21-28EF-43E2-A3D8-81EB6DE04D2F","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":"Q3646256$602BCDE6-C4C4-47E4-95F0-544B2DA11F21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfbb1da6351089a1eb024ba3f5a081410ca745ad","datavalue":{"value":"W2102281969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3646256$8291A28F-66C6-4712-9E45-31B004531922","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":"Q3646256$9D4B1408-A5C0-4EA9-8ADF-6D6C7C1DBF77","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":"Q3646256$D300C754-B3C3-495C-9C52-8A99B6A8D5BB","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":"Q3646256$8528EC8E-5188-4833-8778-14019F9B04EE","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":"Q3646256$4521B568-2A97-4662-A030-B4DE69A29719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24df11124a3f91a39666b2902fd26f190f9ad39e","datavalue":{"value":{"entity-type":"item","numeric-id":3016218,"id":"Q3016218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$2CD26F55-6935-45ED-99DB-B1338B11A296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f227b52d8b2c200950e1b815eace4ec9275cfdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3646256,"id":"Q3646256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$B9C59B54-A58C-4D5C-9B55-C964D049F7CF","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":"Q3646256$D7A24234-AA60-4552-AB26-7A1C464F20E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$F05DEBB4-57AD-46FF-BE39-4C3E396AAD39","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":"Q3646256$98CBC370-15DE-45A4-9136-EB6FD862B63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8150168d8295cf80bd4cb52b44dba3e5d9ea2a","datavalue":{"value":{"entity-type":"item","numeric-id":5277722,"id":"Q5277722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$674453C8-14C4-46FF-B0B1-1F613C6DF56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5410069e8abd75acf0c4dc99bb1a84758ddd17bf","datavalue":{"value":{"entity-type":"item","numeric-id":4187287,"id":"Q4187287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$8598529B-8FC5-4E0B-BE2D-C2D1C89D97B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$1ABBAB7E-E33B-41EE-B238-3BBB353FE21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb2f06c9b4f503b85bf56091ba53ba463c1b0657","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$BE8F0D26-00CE-4724-AE49-8A984D7A7AC8","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":"Q3646256$24AE40DB-AFB1-4BCE-B102-703270797DFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3646256$4E2706F0-F6E7-4E2B-8D44-E022C16DB7CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e56e943c8fb91f6be22ba33c79fdfa2d29587b0","datavalue":{"value":{"entity-type":"item","numeric-id":3016218,"id":"Q3016218"},"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":"Q3646256$FEEC11F4-8237-44D8-8E82-4902F7374E02","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":"3d2b4060e85300f0988bc9b29a52f8be0de38668","datavalue":{"value":{"amount":"+0.8479233384132385","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":"Q3646256$2A312263-F6FC-48D6-A318-62849724F264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58f218d0337f87b780db6ece151b7e0105d0fd4","datavalue":{"value":{"amount":"+0.7680267691612244","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":"Q3646256$5D3E3AF5-E7B0-4C95-9ADC-06AEC8660F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa47a6d1968b8a4aa68dc8b9fc99abac2ba33c97","datavalue":{"value":{"amount":"+0.7607599496841431","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":"Q3646256$D842E64F-ABC1-4837-909C-DF34A84AF7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29f104c062d810eb205c185094771add2f78107","datavalue":{"value":{"entity-type":"item","numeric-id":2901199,"id":"Q2901199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31730e8ba48b3792bf8d48f599676a1c630a6715","datavalue":{"value":{"amount":"+0.7603784203529358","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":"Q3646256$0FDF145A-65E8-46F9-8402-2525611170E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3646256","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3646256"}}}}}