{"entities":{"Q1786616":{"pageid":1797358,"ns":120,"title":"Item:Q1786616","lastrevid":68953974,"modified":"2026-04-13T03:20:28Z","type":"item","id":"Q1786616","labels":{"en":{"language":"en","value":"Visibly linear dynamic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6942985"}},"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":"Q1786616$D5683ADF-45A9-44CA-8189-DEDE95AE8BFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5728cd5a288efe5a6e37ddfa186e17088ebdfc5","datavalue":{"value":{"text":"Visibly linear dynamic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1786616$43A50FC1-4CF4-4448-8E31-A4F9B769AA27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc86278f05784e5c2111ac172c08f74f6638c870","datavalue":{"value":"1400.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$E6904B76-F66D-42DB-9689-08BF3EC7CBBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7567a872b0a03cf45b9a24331f1f97ee1ad2d9ce","datavalue":{"value":{"entity-type":"item","numeric-id":1786615,"id":"Q1786615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$19CFC1F1-0C83-42E5-95A6-45DC2DFA27D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55747a80f3ab2fd6b2d6e1010dc381d0b7b1832a","datavalue":{"value":{"entity-type":"item","numeric-id":218365,"id":"Q218365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$99AEDBF5-D203-4E54-B580-3AE72C2AE99A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$EFBA0B62-3D6C-4465-8A55-93F71638B7A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ed40e224e7b432b4f548a0bdc7aa3f47cf4ebf6","datavalue":{"value":{"time":"+2018-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1786616$460DED51-D361-4EA2-8577-95F2AFE2CBCD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d607b1c086b08b8a28a292d92744553f6929bec9","datavalue":{"value":"https://arxiv.org/abs/1512.05177","type":"string"},"datatype":"url"},"type":"statement","id":"Q1786616$062F4790-FCD9-4CF7-8585-10E1B3CF19B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"97e8c9324f71142e6e0d3b0bf0972dea9296f828","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2016/6863/","type":"string"},"datatype":"url"},"type":"statement","id":"Q1786616$45533A9A-422D-45F1-AE74-41D499150469","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$A77BDF8F-13D5-4806-AFD4-07EF2FE1A356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$586D765C-C448-4390-BC29-C384CB8B95A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$C832BF8B-72F8-4CCB-B365-AFD6AD02FD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$A8ED025D-3F5E-4F6B-800F-232118EB15A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$6F35431C-B9F5-4298-AC88-0E4FF3DCDC66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e8803c1f16c2b6493142ce1b7d9943eeeed727","datavalue":{"value":"6942985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$700B59C3-C4DA-4314-A52C-C3AAA747A2EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786616$B6400346-0DC9-4218-9A8C-ED2CC7AE50B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7edc067c231fb0d474ec785414d027813dcbf37","datavalue":{"value":"visibly pushdown languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786616$A7C76A11-C4C5-47C8-89C8-55F83B085BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786616$1505B251-08A2-44D7-A599-C117AB6776B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786616$B08901EC-A085-4B04-8AF6-2AB8E4D774A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9990370dd0c067c8312dfaca782543e55e0052a7","datavalue":{"value":"infinite games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1786616$A12C4DC3-D9AD-42ED-8FC3-0B463DBC164E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c4a576df40a56f4caeac99704b4faac3f837354c","datavalue":{"value":{"entity-type":"item","numeric-id":22086,"id":"Q22086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$D21F8E64-89A3-4A30-B28A-482EA176162A","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":"Q1786616$CB22CBCE-01CA-4AC6-AD9A-17B0DEC0081F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1257eafb30f9b43fedd40b280256557a74feb1d","datavalue":{"value":"W2963775146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$B19E4167-7FCB-43FD-96EC-0B14BC8D702D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfbb86f652e01890434b94fbb49e1c97c375169","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$B220B47F-B035-4C4F-AA6B-DED1D0EA5383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$89B08E01-0BBB-419D-8217-F5E61F9EF807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$ABD849B3-9F3F-449E-8A4A-77B7EAFD8442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$20458742-323B-4FA8-A970-A34355B59C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$7B77B894-781C-4C19-9E6D-A201EB98697A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$34192DB9-FA84-419B-9EA7-29A6B171C556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006dd7060267eb8c241907bdad1e9a1d82bb80f","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$80CB613A-4A43-4059-8A42-9D2D6BF822FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200cd015b3ab9482ec0c8403f564d8f278b4166a","datavalue":{"value":{"entity-type":"item","numeric-id":5465872,"id":"Q5465872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$917B2323-A240-4116-9CBC-DE011560D645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$E48CC85F-8DC3-412C-950E-8FDCA72579C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e068afb0faa98d1c150844226e6b8fc7ddfc29e4","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$D18D06EC-6A5A-4C37-9BE4-DE334458CF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9060228f548770a052f5e59e66cab04a6829746","datavalue":{"value":{"entity-type":"item","numeric-id":5136340,"id":"Q5136340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$130CEE59-7FE1-409E-9741-76627A7D3704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813fff4a50327a56d55d510380ed2e072fd352b1","datavalue":{"value":{"entity-type":"item","numeric-id":515660,"id":"Q515660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$C9C68CDC-F7DB-4392-BE07-2A4D1E7E273A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$3E2123FA-D121-4920-9878-B03286F3A613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4cf0e5263f18d6bf7fc0d1be1bccdb7dde47a2","datavalue":{"value":{"entity-type":"item","numeric-id":2453980,"id":"Q2453980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$44D44775-8007-4FB5-9A23-A4E52026245D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1786616$6DEA0B99-7CD1-49BA-991A-64D25933C599","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a4037ff327532ab9e20f1600420ee162562ab18b","datavalue":{"value":"Q129617475","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$43167EE6-8DA9-4483-8039-D34B8791C52C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f78ffa6378de12b99ab110b4071adba0b27b44c","datavalue":{"value":"10.1016/J.TCS.2018.06.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1786616$465AB050-62AE-4889-AA3D-7DE67D353A85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d442347cd50785f2bf49c878fea751019c6afe93","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b0c7abd9e77112f25b3997c3773ea768307e7a5","datavalue":{"value":{"amount":"+0.999682605266571","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":"Q1786616$AE00E3E2-C23B-4C33-BE43-6B21E4C7D667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdaff6e547bfdedc860b6f81ba859f89f90365c4","datavalue":{"value":{"entity-type":"item","numeric-id":682377,"id":"Q682377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1cdc8723a581e8242ad02b2911ad2357065eb5","datavalue":{"value":{"amount":"+0.8693323135375977","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":"Q1786616$7F5AFA0A-9AD2-4EE5-B44B-C45B9D3AE166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfad1942c2e978c9a5e20a81d9d4e9b4a4fa4da","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4602d674b5755f0b70bf01e46d83b201a15b008c","datavalue":{"value":{"amount":"+0.8552811145782471","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":"Q1786616$18B4E69F-75B3-4ED9-9E4B-B9F8C4E5CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea52539aa9dd5eaed3f5736d09e425d92306f5d","datavalue":{"value":{"entity-type":"item","numeric-id":5136340,"id":"Q5136340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e9dd57c071cf4e5e03e9b41c9c3e13e27cc3ae","datavalue":{"value":{"amount":"+0.833189845085144","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":"Q1786616$7160733B-2279-4909-84A6-E70DFA8D3C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6a7623ef20dd55bee2544cdc8f660eeb10946e","datavalue":{"value":{"amount":"+0.8019986152648926","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":"Q1786616$B337E3E7-472F-4500-AB8F-8B87E6FB52AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Visibly linear dynamic logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Visibly_linear_dynamic_logic"}}}}}