{"entities":{"Q2453698":{"pageid":2464441,"ns":120,"title":"Item:Q2453698","lastrevid":56966616,"modified":"2026-03-25T09:47:20Z","type":"item","id":"Q2453698","labels":{"en":{"language":"en","value":"CTL update of Kripke models through protections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6302253"}},"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":"Q2453698$1D244522-6349-48F1-B5BB-34FECB2D5817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16a0d31a85996c2ca4433bca6d08ad0dd877f071","datavalue":{"value":{"text":"CTL update of Kripke models through protections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2453698$E1045B58-E99E-4515-9F39-7A7E1C106719","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bb24bc85894c0d451d3e2e76e607e302593dd81","datavalue":{"value":"1405.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453698$111CCA20-328E-49F1-ABF7-0FBEBC82AF73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7980f5516d2569fe26644b0ded3e11b642a0420","datavalue":{"value":{"entity-type":"item","numeric-id":2453697,"id":"Q2453697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$E135AA96-0FAE-4D8E-B6B4-A11EA88BC1EC","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":"Q2453698$3F22F408-056A-4891-8934-931079235D9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$7387C945-BE91-4311-B957-A8E9B24DB1E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7deb189b65cc3fc27b859d71d92363347a0068f0","datavalue":{"value":{"time":"+2014-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2453698$A696C4DA-D1DE-4120-9A66-047A966C4BA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453698$3D79F592-CFD4-48C9-8941-E85340512DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453698$EAC3B315-556A-4113-8C78-161984A21113","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d6f79a7e6c4aae996a36b922201144b60ed7011","datavalue":{"value":"6302253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453698$66F2D26B-62B1-4F85-B202-CF3DE7CADEC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef811c9f40d787e564b6c577f5ee58970a7952f5","datavalue":{"value":"CTL model update","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453698$BE556D98-9DE4-4C06-931D-5FA9901F1708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453698$C3A6C0C6-37EE-4963-B76A-9448E79C3015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ca4469b1e8eb31d8872e397756ed813b5fbee70","datavalue":{"value":"automatic synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2453698$7056B0A9-8A9E-4C00-AF9D-D982FAD7C60A","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":"Q2453698$8F2ACE8E-242B-4197-A2AE-01A0A19CA3E3","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":"Q2453698$D91FC222-DD5A-4844-84F1-B12DB5F04EEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bed1d086c5ee6e0ec415abc7af5dfed7c01b1eb1","datavalue":{"value":"https://doi.org/10.1016/j.artint.2014.02.005","type":"string"},"datatype":"url"},"type":"statement","id":"Q2453698$D980D943-9FCD-4645-9B00-B364AFFCB864","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf7a1dfd504cb960c239ec2ccbb9db75f18c27e9","datavalue":{"value":"W2021983132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453698$D23A0CD4-207E-4E28-AFEE-8A363EB5666C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c3a5cec6206d4035998713017a253092f6d405","datavalue":{"value":{"entity-type":"item","numeric-id":1606310,"id":"Q1606310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$7AD18136-90DF-4721-BA11-D117A280097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33d56ce70e0c8b36aa729e660ba1565c08593a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5943101,"id":"Q5943101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$0953CE79-5D1A-4BA7-84B6-886ED4631ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7721596ae8b1f92785bf78c66d237e2eeb406a1d","datavalue":{"value":{"entity-type":"item","numeric-id":924866,"id":"Q924866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$A5EE84E6-19EC-4564-92F2-E1585072832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c8230066aa0bd0f3cb142f8960cde585ef695e","datavalue":{"value":{"entity-type":"item","numeric-id":3636015,"id":"Q3636015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$5D31B7C1-CEE1-4A7C-90BA-CB695266D31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ccf56ff872d030bf171e6f0559b48a1f8ce7d93","datavalue":{"value":{"entity-type":"item","numeric-id":3172903,"id":"Q3172903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$6FB375C4-FF57-47AC-9270-527B8C1455B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$B15794EB-1BEE-419F-A7DA-02D6C34558CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5db9d4c45e0bd51b8dcebc4e388be6abab28ca7","datavalue":{"value":{"entity-type":"item","numeric-id":2428038,"id":"Q2428038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$19C72150-09D8-45C4-9883-CD0204055512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$F7B59D88-1770-4FDC-9E78-0F5B564B7E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19fcfe0b9c96115a36ed7ad3e8d79e8ee5218898","datavalue":{"value":{"entity-type":"item","numeric-id":3624112,"id":"Q3624112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$63D55087-E33B-4043-A2F4-60D3B0B6574D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8968ba88cbf158fa03a45fb73466bf730987dd37","datavalue":{"value":{"entity-type":"item","numeric-id":622109,"id":"Q622109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$15FAF58B-2C63-47A6-9E31-682CF7F1EB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$1710454B-E907-4348-A60C-807779F7E453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$05911ACA-8594-4B17-AB98-AFFC22411AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222b1acc7367c5793963a315d7c5e04a1e65e018","datavalue":{"value":{"entity-type":"item","numeric-id":414907,"id":"Q414907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$7A1345CC-3DC2-4E51-8AC6-AB0E38304109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd2e6bcdd532393661fd4566b75add2a32d9c57","datavalue":{"value":"10.1016/J.ARTINT.2014.02.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2453698$1EF167AB-3C16-4A3C-AF96-06F6DC867D4C","rank":"normal"}],"P1643":[{"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":"8847a157368a1e0d9bd8eafd45b6fcb5faf5f05f","datavalue":{"value":{"amount":"+0.9453477263450624","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":"Q2453698$70B78007-F281-48A5-A206-BB49F800BBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b4059c13b05306bad8d5303731891c4bc09112","datavalue":{"value":{"entity-type":"item","numeric-id":3636015,"id":"Q3636015"},"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":"Q2453698$8FCE7977-87D6-4F72-AE31-9D6E7232EC68","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":"f58de535fbd896921c727dacba70b241c2c455e1","datavalue":{"value":{"amount":"+0.7943506836891174","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":"Q2453698$6AD66CC4-86C4-445C-836B-EB373E65586F","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":"c857fcc04a2d4b6809cb0cbaed9c1168c7341d46","datavalue":{"value":{"amount":"+0.7936985492706299","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":"Q2453698$AD9EB60E-2B06-4AD3-8334-8A726640EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6de32a2dec7b233f9187ef7f7448772352ddbb","datavalue":{"value":{"entity-type":"item","numeric-id":6487557,"id":"Q6487557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1824d752d73dd8bf1de432a38f2434d320135648","datavalue":{"value":{"amount":"+0.768278956413269","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":"Q2453698$C62C1B28-C14E-47FC-A59C-D0F9B521650D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"601a8be25209c46f574d1c22a38bee2246bce6f6","datavalue":{"value":{"entity-type":"item","numeric-id":57078,"id":"Q57078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2453698$30F8F36D-E407-4FE0-8CB0-CAA5E1136510","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2453698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2453698"}}}}}