{"entities":{"Q3636015":{"pageid":5665921,"ns":120,"title":"Item:Q3636015","lastrevid":88572515,"modified":"2026-06-04T14:52:54Z","type":"item","id":"Q3636015","labels":{"en":{"language":"en","value":"A method for CTL model update, representing Kripke structures as ``table systems''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5572756"}},"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":"Q3636015$82614C24-F145-4ACB-9FE9-BB683B496DF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09eb1a4093d939b5b7abc3bbea1239cae922ea06","datavalue":{"value":"1178.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636015$5E969FEA-1B48-4519-AF76-BFB56F6A9368","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abfea93f3bea662f81e728fefa1ba2762c7246ea","datavalue":{"value":{"entity-type":"item","numeric-id":3636014,"id":"Q3636014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636015$4052187E-1C4D-4A9E-B82F-D8F62654BAE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3099020c37a0c5db3099732ecbeb26ac3d50eaea","datavalue":{"value":{"entity-type":"item","numeric-id":406209,"id":"Q406209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636015$903C46A7-F67D-4E8B-AD7F-C350E796F758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09df791b31880a83cb69102ced8fef72b45dd8e8","datavalue":{"value":{"time":"+2009-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3636015$C1E7FDB8-8E50-4AE2-984D-A906669CFBE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636015$EE196120-2117-478C-BCDB-6EE36FF31BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4ae1e3934c8adc2457d9164a171b4a6eb9d161b","datavalue":{"value":"5572756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3636015$40845D69-53AD-4B9E-B8B0-A0B23C4B8A5D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636015$7A58DDF0-FD30-4546-B359-6D8A3F739038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec65ebd7481afa966d18bd40ae3753cc3d63ef56","datavalue":{"value":"computation-tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636015$DDCBA9D1-FC29-4D20-AE8E-45EA7B7AC5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3edbdba92341c56ce91fe9602d73e1913b86f1a","datavalue":{"value":"model update","type":"string"},"datatype":"string"},"type":"statement","id":"Q3636015$04BACB85-3EC5-4C11-BB8D-D193DBA584AD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3636015$A189BF32-D459-4493-BCDC-1CAA14BEF523","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":"Q3636015$28E26FF9-D5A5-4063-8785-D7B6D2D5A73F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d7a290c730049efccd8a4024ceef1a60c45dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2453698,"id":"Q2453698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bde0b51339089ef871faaf9c1116eea3ac82fe6","datavalue":{"value":{"amount":"+0.843345046043396","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":"Q3636015$49D2A4B0-1B06-48BF-8406-652BFCBFBF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02d5301750680033303db035c16f31d4c2b2f010","datavalue":{"value":{"entity-type":"item","numeric-id":3172903,"id":"Q3172903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1a7ea64fefbcf523434b1538cd17f1b7205eb04","datavalue":{"value":{"amount":"+0.8295498490333557","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":"Q3636015$52360018-91CE-4623-9713-76749C380251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60576313d55c2605cbb57bbde9db89473f18f888","datavalue":{"value":{"entity-type":"item","numeric-id":3624112,"id":"Q3624112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e40c7b7a8899061f360f1c24ab24b75db6678b6","datavalue":{"value":{"amount":"+0.8225351572036743","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":"Q3636015$BA9E205A-3982-470C-90A1-05EA4C98728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4fcd4591f71342cd23210cb6c76f6e07896d8f0","datavalue":{"value":{"entity-type":"item","numeric-id":5898019,"id":"Q5898019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78cda7a3b048c064a3f5bf03eda8d99b0348384","datavalue":{"value":{"amount":"+0.7983211874961853","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":"Q3636015$DFDFDFF8-684A-4FA9-A391-CED44DC17876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea33be34ed4f7a59e0c5cb48e5cd267fa9f0d49","datavalue":{"value":{"entity-type":"item","numeric-id":2999196,"id":"Q2999196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f86ada09d3883884e1fb3874a4fa09dd8d7d92c","datavalue":{"value":{"amount":"+0.7568315267562866","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":"Q3636015$90CFCF88-55FD-449A-89D1-8032139DC0C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A method for CTL model update, representing Kripke structures as ``table systems''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_method_for_CTL_model_update,_representing_Kripke_structures_as_%60%60table_systems%27%27"}}}}}