{"entities":{"Q1935595":{"pageid":1946337,"ns":120,"title":"Item:Q1935595","lastrevid":71179470,"modified":"2026-04-13T20:04:22Z","type":"item","id":"Q1935595","labels":{"en":{"language":"en","value":"Introducing reactive Kripke semantics and arc accessibility"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6137028"}},"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":"Q1935595$B55ED140-EFBF-48A3-8519-A2F872739CB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5573dd61d43f3c256ea1aaf1b5073fe6c8bb4a77","datavalue":{"value":{"text":"Introducing reactive Kripke semantics and arc accessibility","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935595$86800B68-92A6-4DA6-AB7E-C31A0A69696A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"251da8ec0d071de72a9f6f04c51aae3eca3dceb2","datavalue":{"value":"1272.03097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$4B4828D9-24AC-46F8-B55D-D4BF839DCEBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$29231A07-D2C4-454E-ACFC-211D7A4B5D6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935595$5E876FA1-680C-44B1-B9A7-A6CCEF0AB64E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1791ec745bd8a6b1b76fff97bdad6e9f6c052fee","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/15853","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935595$BE7D08E6-F32F-4395-B191-30969159F60B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$29944F3C-9D79-4186-97D4-CE204833A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$0A17085B-9BAC-4EAF-9B80-4F1861986E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$59BFDD12-254D-4E29-993E-8E5EDD2C8230","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a8b20892b9b5cea577f1949b1c25ea0f9f11c00","datavalue":{"value":"6137028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$5877D240-8BF4-446E-8FBF-597E83C1FD38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$356F80DA-639C-4596-A7B0-4E5B4D1C0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75628edfe18d9271975b72a8a7ded77f899517f2","datavalue":{"value":"nonclassical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$EA9646DB-CA17-43BF-8279-8699C3C9627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d5e82ca5d1fa5d16e203c6d55c0cd1ef524df","datavalue":{"value":"combined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$4D613B91-873B-45AB-81C6-C3B618D1CC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$94433432-E11F-4D0F-9A48-335AE2E4828E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1ca82ec1407c37a0bd4e88c5f64bf309e6c774","datavalue":{"value":"reactive Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$C7A59F00-D8A7-404A-BF64-D0F1DE44A963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d46875eafc38f75f55ff9c1eac68244d8ad0eae","datavalue":{"value":"arc accessibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$1823562A-03DE-47A3-9DE8-42EF9E738D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935595$323EA28D-632F-481E-935C-544F529177FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$62EDC4F3-44BE-4765-B1D4-8248EB7C008E","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":"Q1935595$4D681DD9-0663-4B16-8203-9ACF3DDD7FD5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b6c34638a49464474a9db3febce4483d8971377","datavalue":{"value":"W1848296822","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$8F906749-7410-4211-9F6D-CCA8611E6E6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc9c5e24197ba6994045ed6111edb8184b4025b2","datavalue":{"value":{"entity-type":"item","numeric-id":4918403,"id":"Q4918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$FF42E865-4197-47A7-8867-542FE869285F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57152626eccdef04f7485d19a54e1d3df61b2f69","datavalue":{"value":{"entity-type":"item","numeric-id":3569196,"id":"Q3569196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$9C0AE5EC-5EB0-47F3-8E3F-4926279FB7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f899434f3c229cfed2b5959fce12292ba531305","datavalue":{"value":{"entity-type":"item","numeric-id":716325,"id":"Q716325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$51522C51-E111-413A-92F0-A21A2B207F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$C133F174-5E2F-4384-BCDC-5C52379173F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$A7A231BC-6E29-4690-9908-779447877359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d50d6d29a3bfa40d26b9207dbc4abbebc1a71a","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$C186D607-61D0-4B0B-9E0C-6D1B67D798C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97916738d9a473d34d5caa079f37cf4745515007","datavalue":{"value":{"entity-type":"item","numeric-id":1610618,"id":"Q1610618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$D8DD60AC-D871-4061-92AD-883C5E370F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1523a5b65a70aa8fa83c008b1e1cdd67f4087989","datavalue":{"value":{"entity-type":"item","numeric-id":1935595,"id":"Q1935595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$EA9CD861-3907-4FD5-8B61-3EDFB383AE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdd27312677e1ec779939745c2b773af100c062","datavalue":{"value":{"entity-type":"item","numeric-id":2269507,"id":"Q2269507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$A007D471-8B84-4B8F-AFA2-7FFCA0D91E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abb6618f1eedaa490c868212409980d105b92252","datavalue":{"value":{"entity-type":"item","numeric-id":3167598,"id":"Q3167598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$1406E379-6C4B-47DD-8DEE-668E7F52A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$89C736D6-13E1-4C77-AA29-476318218D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fd88b07cdda06479aaae5bde266d69b16bd95c3","datavalue":{"value":{"entity-type":"item","numeric-id":2915038,"id":"Q2915038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$A3D93F4D-7483-42AC-BDD2-F92EA37680BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009aede56377c5fd6b7382e33f74ae2661392009","datavalue":{"value":{"entity-type":"item","numeric-id":2269510,"id":"Q2269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$A7FB361F-C544-4440-A12D-4279CFF063B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d580d739e5ebadf6acf6fd1b72630f128a7d1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4952023,"id":"Q4952023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$905B06F0-7176-428A-BD1E-3FAAA699E8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d74cbf44d6f8194d30214bd0aea6be33b599d7","datavalue":{"value":{"entity-type":"item","numeric-id":5311265,"id":"Q5311265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$5A953F28-0665-438D-B78A-A6FCB5D799AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f393e897b6ca3ad190cc8e7030da66e28119b3f","datavalue":{"value":{"entity-type":"item","numeric-id":5717444,"id":"Q5717444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$07D038E0-2414-4972-B76B-2D7FA201C358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed9a3df0fe6e59184c7ec28a20fc3c19007e4d6","datavalue":{"value":{"entity-type":"item","numeric-id":859825,"id":"Q859825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935595$A0DF0086-986B-4311-B05E-BF172177CE55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11d3ea149bb8092fdabdd6cc22820d9b17369c24","datavalue":{"value":"10.1007/S10472-012-9313-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935595$FC95CDCC-5004-4DFA-835E-D55AA166BF7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe834c6783f738435e762d6ea92b2ff430014d1","datavalue":{"value":{"entity-type":"item","numeric-id":5452184,"id":"Q5452184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$333D877D-FE1A-455B-9A29-6DE1904969D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5a6fd3d10f67e4baaa5feca78f91ca39ab04c9","datavalue":{"value":{"entity-type":"item","numeric-id":2864222,"id":"Q2864222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8d783bcc2d99ff35bd332784fd03eb0373a8d6","datavalue":{"value":{"amount":"+0.9010837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$C801203B-5BCA-4A64-BAC2-C0694D00D4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32102a253077e36db7accaaad755cb096bd6072a","datavalue":{"value":{"entity-type":"item","numeric-id":4594248,"id":"Q4594248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"987ed9b89f6cf5e3eb4affe481b1c5ec0199bc8a","datavalue":{"value":{"amount":"+0.8371271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$29F78623-E168-4FA1-A9A2-868E663747A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1d4267ae9ccb75c911cd4e2207c77deef960df","datavalue":{"value":{"entity-type":"item","numeric-id":484156,"id":"Q484156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e498dd9c810ee767f343a103610d6b59f3a46a","datavalue":{"value":{"amount":"+0.8333864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$836F2619-E2ED-4605-B2E3-25409350F874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7b8d2744be896f2cc910582335c1b9930830cb","datavalue":{"value":{"entity-type":"item","numeric-id":1292578,"id":"Q1292578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334873e6d1aae179386e71fdbd705f72e6a9029a","datavalue":{"value":{"amount":"+0.8321695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$0211BB00-42A9-4476-928F-84C66BED02FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6c10829b6ee80dd709d1854b6c8d0aa6b9c1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4010362,"id":"Q4010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4daa5f0de53cc1062fad5b81fb573138b1c69338","datavalue":{"value":{"amount":"+0.82665634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$FCB4F4CF-90A9-458D-AE25-E87D90943619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24735ea1ca918b250cac8696470da088cee59fde","datavalue":{"value":{"entity-type":"item","numeric-id":631753,"id":"Q631753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a2e786cb0b7ecd0a14351c8fba7679902a390e","datavalue":{"value":{"amount":"+0.8264623","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$C394C149-C5C8-4EFE-8613-6A2BE16FB54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b965c002861a088b332cf6167650b081df8dc887","datavalue":{"value":{"entity-type":"item","numeric-id":2767039,"id":"Q2767039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64e5ccda265c6897d24f7e34e07269a22c7ff063","datavalue":{"value":{"amount":"+0.8219271","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$126C22A5-F502-4368-97D9-D4BC786E7A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e63316f812e588df9d1bc08c33e30afbde48f09","datavalue":{"value":{"entity-type":"item","numeric-id":3412001,"id":"Q3412001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b41860315c1444d4ad66c3a57a2c0a69c7ff4e","datavalue":{"value":{"amount":"+0.81938016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1935595$D85CC2E8-8236-4A22-9894-8703E53DC69B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Introducing reactive Kripke semantics and arc accessibility","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Introducing_reactive_Kripke_semantics_and_arc_accessibility"}}}}}