{"entities":{"Q865049":{"pageid":866897,"ns":120,"title":"Item:Q865049","lastrevid":64936872,"modified":"2026-04-11T23:13:31Z","type":"item","id":"Q865049","labels":{"en":{"language":"en","value":"On dynamic topological and metric logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5125425"}},"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":"Q865049$FA073059-2D83-454C-9F0E-5D3C66EFBAF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ce5fb4a91b2fd709f5fbb6b61ff5ced2f922359","datavalue":{"value":{"text":"On dynamic topological and metric logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865049$5F09D0E6-EE25-40CA-B97F-2339CDA78A1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d414ed4de068a56f6411e3df2d1b749e0c716f6","datavalue":{"value":"1114.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$73B6E9D6-AAF3-4070-805A-7DB5E5E9D3B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$108E8551-E642-49EF-A2B4-7ACAA20054B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"449016944e3d25706d1c552178df46034339185e","datavalue":{"value":{"entity-type":"item","numeric-id":234711,"id":"Q234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$509CCDE8-CDA3-4059-89D0-D761AD38F083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e60a0c07bba14482d50b15616f4908ac766f73f","datavalue":{"value":{"entity-type":"item","numeric-id":253974,"id":"Q253974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$EB71DE71-137F-437F-9155-3EEDB7EAF76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$32CCA7EB-DE66-4CFE-BA6B-EAE57A7F3D52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$994783C4-C331-42FC-9D1E-1CBDFD746F24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6774d6ab22787c63fbf9dfb9bb080cedf0202a59","datavalue":{"value":{"time":"+2007-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865049$7786E768-0EBF-4C30-96B0-CCE817BC0787","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$35AE2A1B-08F4-43AB-A119-EEA422DB2BEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$EDAE5D74-5945-457D-B953-756A06CC80BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$62B72FF9-C65F-4F34-8597-8AC0B2593684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$D7FC8453-3226-4562-899D-8EA23232C9D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7138a5cc3285bc79034d6c36a838ebfee311db18","datavalue":{"value":"54H20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$12301056-2EDF-4C43-BF6C-159E34D4792D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419e8b46cb7dbf0b69e9c2a55c46a967652b278b","datavalue":{"value":"5125425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$97ACC2D1-9D4A-4379-96C3-F6F5F77A1E08","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599ab8b9e4174e8a9d1073d0692eb448ced9eaa8","datavalue":{"value":"dynamical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$CA9717A2-D5BC-4D73-950A-54073E45BEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73c0bd96350a803e0d44e887890e0705cabac759","datavalue":{"value":"topological logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$B0A1B37D-EE6E-451F-AF1A-8804A8EB6EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96a810129b114a6942442a7fc510c6873bd89ff8","datavalue":{"value":"topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$29750974-1BE7-4B45-A714-3A91D1F854CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20f87686e57cd5798939eefa169b80e212af9083","datavalue":{"value":"metric space","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$E0794189-F8C5-4C56-B6E6-8A2FAF3CD6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$599C15E1-5A2E-49CB-981C-79993D7CB3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$6FAF7BD4-8349-44AC-AA75-8EE7D748F02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q865049$FF5513A0-EECC-48B4-8D11-BA14C0CC43E2","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":"Q865049$17BEF41F-6973-4EA2-922D-1FD16C6F7678","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"eb745ae7652f039b83e95497c49df95bc043aa6e","datavalue":{"value":"Q62048646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$BB2B8BA8-89D1-4268-BD60-53DC0B807121","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b21aed54d2043fd4eda8f7fe00820d41fd68282","datavalue":{"value":"https://doi.org/10.1007/s11225-006-9005-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q865049$DD417AC5-BDFA-43BA-929D-991FFC87AA2A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ffb8610a021965e81a748596ecabebea051a7b0","datavalue":{"value":"W1966660950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$31D1CC6B-B09A-4DDF-8102-059A4A1FED77","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b00a92b4e0f4a6f2c10346ae58f94938b1b4077","datavalue":{"value":{"entity-type":"item","numeric-id":5522002,"id":"Q5522002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$73DE4A8E-9C65-4B45-9726-EEE660A83B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472a0ae6d0d60b375a55d867df1f0d57c07d82c8","datavalue":{"value":{"entity-type":"item","numeric-id":4100724,"id":"Q4100724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$57E16A09-CFA0-45F8-B315-4D4B860F3A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$35698970-0AD5-4913-8689-D031C904F0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$A38C9ED2-4B9A-42F9-A229-798806334602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3725f98177c3381a3638b1e83ae17578a0b12efe","datavalue":{"value":{"entity-type":"item","numeric-id":2503403,"id":"Q2503403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$B7ED649F-17B5-4517-8032-21C067E6AF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8280aaa780c3cf7d95f0d867169f4c1e1bc3f64b","datavalue":{"value":{"entity-type":"item","numeric-id":5715695,"id":"Q5715695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$FB7A744E-A5C4-47D7-83B6-D9F5E36DD2BD","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":"Q865049$B5F89928-D1A1-4ACA-9697-5FEDB3E224DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cad819cc2f27ae0d26ecf6e0fa589e64dcf928ea","datavalue":{"value":{"entity-type":"item","numeric-id":4840149,"id":"Q4840149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$A8983BEC-5F4F-4F1C-98C5-2C29E8938652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361994bc5e4959426e39a3cfcacc93fd92994b71","datavalue":{"value":{"entity-type":"item","numeric-id":5394613,"id":"Q5394613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$EDE05F7E-59DB-474A-A74F-B8DDD21F117D","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":"Q865049$DA4BF666-4E6C-49B8-96A7-6D9F78BD2C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$FC44F28F-6782-4D52-B74E-4FFAD999E37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdf21167536c54cb6989fbbba37aafccc543f51","datavalue":{"value":{"entity-type":"item","numeric-id":4552484,"id":"Q4552484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$8D7E71CD-D2A7-410F-BEC0-5EC6E5394D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$D3EDC011-B3F0-46D2-B38B-DDC68AEA64B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b9564b979a9d0175ba3c8db086470676cce61b","datavalue":{"value":{"entity-type":"item","numeric-id":3931654,"id":"Q3931654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865049$22A3E204-E564-478C-BD69-507202FBED16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49a8a701b042b46f58213bd26183392c8305c5ca","datavalue":{"value":"10.1007/S11225-006-9005-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865049$18C1795F-875A-4ED5-A5C5-2D802FD7672C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0d72affd4dfbb0fe1eb45825667db84c214192b","datavalue":{"value":{"entity-type":"item","numeric-id":5388732,"id":"Q5388732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bacb772f39f24c68516429a1c39984ea7ed8327","datavalue":{"value":{"amount":"+0.96288204","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":"Q865049$9FAB4866-650B-4D0F-9BD6-89C60FEF006A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3d769ccc15c36c35a9c60ce570dfbfa6ab067d","datavalue":{"value":{"entity-type":"item","numeric-id":3371957,"id":"Q3371957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5406180c209d493c7a40df842e9634068651ee55","datavalue":{"value":{"amount":"+0.93029416","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":"Q865049$38268F27-C9A4-4161-8764-A50B30853AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7c52730b90305ff5d16b95f1b28c79414825ec","datavalue":{"value":{"entity-type":"item","numeric-id":705534,"id":"Q705534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b443f6e034caa1acfb11c35b57e0cdeb4a20d560","datavalue":{"value":{"amount":"+0.92985106","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":"Q865049$219301DF-9EF5-420A-AA39-6BCCCCCF482C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0195ee430fb838b1805dcc10a1a23d4d765b431a","datavalue":{"value":{"entity-type":"item","numeric-id":3509059,"id":"Q3509059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf61a69fa0e3ade0f718b1df1912eb758c51c8cf","datavalue":{"value":{"amount":"+0.927066","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":"Q865049$4D50F864-AA77-457D-989C-5FE744F18611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0b59fb36930634e1300d81b6c967bd13285630","datavalue":{"value":{"entity-type":"item","numeric-id":5718689,"id":"Q5718689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a342704a12daa7b87dcedbf0d2c08add6a13ffb9","datavalue":{"value":{"amount":"+0.92410266","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":"Q865049$A1548DC0-E877-4D64-B85E-D9C89A85F3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42389f70c1aa7f5fa7e1619e5b7b266c2084ce66","datavalue":{"value":{"entity-type":"item","numeric-id":2915900,"id":"Q2915900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1bf51612cca4018ae730522845f504fd0e32484","datavalue":{"value":{"amount":"+0.92316633","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":"Q865049$B4628D28-EFEE-4004-B0CF-9B540119D2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7f8bc105a94f58634e99eaea11f89c022855a19","datavalue":{"value":{"entity-type":"item","numeric-id":5066804,"id":"Q5066804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b91c9fbfd2fe1174dba326489c6505e594b2e9","datavalue":{"value":{"amount":"+0.9161177","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":"Q865049$8DD936BD-45EE-44F7-8013-C235032C6A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ac3364b1c38ae20b2a5d2e02cd59611f91fca6","datavalue":{"value":{"entity-type":"item","numeric-id":766293,"id":"Q766293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd8ce8cbb29f6cd0a8acd65a55b1c635ddb1b83","datavalue":{"value":{"amount":"+0.9051955","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":"Q865049$1FD7B8F9-C56A-4C23-8529-2D435D30C551","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On dynamic topological and metric logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_dynamic_topological_and_metric_logics"}}}}}