{"entities":{"Q694243":{"pageid":696092,"ns":120,"title":"Item:Q694243","lastrevid":51612332,"modified":"2026-01-19T01:55:03Z","type":"item","id":"Q694243","labels":{"en":{"language":"en","value":"Interpolation in weakly transitive modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6115029"}},"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":"Q694243$D60F4F16-05DC-4195-93C2-F39856A54ACA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5964bd7cb268e3a8b943838b5918fccedfa37a67","datavalue":{"value":{"text":"Interpolation in weakly transitive modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q694243$F8F57713-8300-40DC-9BDA-AB45E68CEAFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f24bd8bd7670c05b8a65c955f81021be15986d02","datavalue":{"value":"1282.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$7BFC8568-3FC7-469A-B8CE-BF01FF722738","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f14adf62ee56f03f316afd21008095e72362225","datavalue":{"value":{"entity-type":"item","numeric-id":431658,"id":"Q431658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$97452AE2-43AA-4C43-AF10-B85A43DFCC8D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$9470AD40-DE94-4C0A-8039-CE0CA4AB4718","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaff6a94ac821c6dcde7cb7d6a059bb2e8edd01d","datavalue":{"value":{"time":"+2012-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q694243$F5B2CF83-338E-4122-9D33-15CF1FD81D9E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"355ca139eebea08525ec408ca6e4867af7f37ffa","datavalue":{"value":"The paper establishes decidability of weakened versions of Craig interpolation for two classes of modal propositional logics, namely, the classes of normal modal logics extending the systems wK4 and DL, respectively. Of these two, wK4 is just the basic system K plus the following weak version of transitivity:  \\[ (A \\wedge \\square A) \\to \\square\\square A, \\]  whereas DL is wK4 plus the Brouwer (symmetry) axiom \\(A \\to \\square\\lozenge A\\). The author uses algebraic semantics for modal logic so she mostly speaks about, say, DL-algebras rather than DL-frames. The paper relies heavily on the earlier results obtained by the author herself and by L. Maksimova; more than 50\\% of the text is devoted to an exposition of preliminaries and of a dozen theorems from earlier papers. The author basically builds upon an earlier result that there are exactly 16 extensions of DL that enjoy the so-called deductive interpolation property. She then defines formulas that can play the role of characteristic formulas for an important class of finite DL-algebras so that an algebra from this class will be a model of a given extension of DL iff its characteristic formula is NOT a theorem of DL. These characteristic formulas are then used to give finite axiomatizations of the 16 extensions mentioned above in a pretty straightforward way. The author then uses the fact that checking whether a given extension of DL by a given list of new axioms coincides with one of these 16 extensions can be done by checking that the additional axioms are FALSE in the algebras corresponding to the characteristic formulas used as the axioms in this latter extension. This provides a decision procedure for the deductive interpolation property in the extensions of DL. As a corollary, the author obtains decidability of the weak interpolation property for logics extending wK4 using an earlier result that an extension of DL with new axioms \\(A\\) has deductive interpolation iff the extension of wK4 with these same axioms has the weak interpolation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$50E473BA-610A-4070-ADD4-D27487AE91D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f46f502d79fa3cf8b9cb4b3f8aaafba82f984805","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$44437CB1-3B96-460E-83C7-C9D7EBAB0449","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$C81DB19A-F588-4CA0-9419-9B90518EAFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$7C527753-E897-4EE5-95BF-43FBC61701B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$2084940C-75EA-401D-B480-6157EEB88C3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f12f11514e3811e250e7d3a0555ef24a8202ec7","datavalue":{"value":"6115029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$3980F2A9-EB02-4C84-BAF4-E6AB7A04B3B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dc60743674ec774aef62581b61bf4ffa9a141c6","datavalue":{"value":"weakly transitive modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$550D8D33-A3B6-41FA-9137-694EAE40A2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad6e0e12748edd331aa6dc6d04b9ff598c716ffa","datavalue":{"value":"DL-logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$F6B5F0A7-60E8-4391-9A2C-C69BBB9D4A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$C274CF85-0659-4ABC-B012-8B8123AA240B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$9FD0F9E7-50A0-4ABA-9B67-D655868D5E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1488f9a366e224f4e9f874b07c7a8b57cf50236b","datavalue":{"value":"interpolation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$38CF5DC1-481D-4A29-AEB3-634B5984A103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d6fe77bb17a8abd353139697e2983e889e38dd","datavalue":{"value":"amalgamability","type":"string"},"datatype":"string"},"type":"statement","id":"Q694243$E4E87C4D-BB99-470F-A7CE-05BD54B75344","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":"Q694243$ABB3C3E9-5F6F-4E6F-B333-20DF96E9317D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b931c5d9984343c63a070fe64e77c46c160c8e5","datavalue":{"value":"https://doi.org/10.1007/s10469-012-9177-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q694243$0E61E8EE-988E-4873-AEF1-F4F4E87E735B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e7fc28a9f6ca514876a8ce755794d51b4991075","datavalue":{"value":"W1984162169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$6DB9DDB3-11B3-4A10-830E-85A1C053C3D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$DE4A8BBB-0FF6-4D2B-8180-4B159930230E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce968879010e38086a1a32061605df188d2926c5","datavalue":{"value":{"entity-type":"item","numeric-id":619324,"id":"Q619324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$1BB4A46B-8E8A-4B0E-94FF-D4BC042D7439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95e53e229aa565daac24e9941243d7e6b641e022","datavalue":{"value":{"entity-type":"item","numeric-id":606045,"id":"Q606045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$B9A2EF27-F2D0-4CD4-AB4C-576F715AB623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89289da95721dfb8b76a16c8ba44f68b5add452","datavalue":{"value":{"entity-type":"item","numeric-id":4424659,"id":"Q4424659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$629F632F-8579-4286-9FDE-49ED3D68803C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$08A5E647-7485-4F54-84D3-ACD3C4F89D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37772bc8a9ab069bf1b2842d6e80861b80209223","datavalue":{"value":{"entity-type":"item","numeric-id":4032643,"id":"Q4032643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$96228A06-94FE-4094-A7A2-8DAA91AA1F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de140db476e3cb4a77792caeebac28e6bb14357","datavalue":{"value":{"entity-type":"item","numeric-id":3244103,"id":"Q3244103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$EE677F11-AA1F-4C17-AE9C-C71464968CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07068643ddea0fbadff8ff1609f514e60430e230","datavalue":{"value":{"entity-type":"item","numeric-id":2498367,"id":"Q2498367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$059AAE79-1496-49B2-B493-1D0BB9CFA72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaa8bc4d369f25596c5cb0778003ecc5e80043","datavalue":{"value":{"entity-type":"item","numeric-id":3022776,"id":"Q3022776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$800B5736-654C-4139-BD5F-C51AD4A7CD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$A25F7E57-733D-4272-A021-0914DC15B8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f287ec434f73fc65319b4f82efc9e3feb7e92e61","datavalue":{"value":{"entity-type":"item","numeric-id":431659,"id":"Q431659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$B39B8C9C-A548-40DE-9392-3AFFC271C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3229fd331385beddc0bb23ff7c9863e53c5d47c3","datavalue":{"value":{"entity-type":"item","numeric-id":1317604,"id":"Q1317604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$5DBB4282-5AD4-4A9C-BB8B-6AF2013080EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$40C00C8B-82EF-417E-BCAB-394E52448FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$AF9ABDD1-BDF5-441E-B799-773CA1035D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc56f2f655fec3b9707505e4f9c356f0c245d319","datavalue":{"value":{"entity-type":"item","numeric-id":3900020,"id":"Q3900020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$B42B197C-4B3D-44C5-8F3D-0F3B673F7396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4d5ac9cf7d6294db8e4231e40d5ac07fed9754","datavalue":{"value":{"entity-type":"item","numeric-id":3546074,"id":"Q3546074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$6251654B-2832-4191-8771-A9D6378845DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb3d2f911ecb3b5590d70035c532dcb4003778fb","datavalue":{"value":{"entity-type":"item","numeric-id":3875896,"id":"Q3875896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$A7C39FD4-B244-4D9B-A6DE-7774432BED99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888e656b64c352f98e2fdeb1c14e7f5ef2ed3b3c","datavalue":{"value":{"entity-type":"item","numeric-id":4531583,"id":"Q4531583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$C99B959E-239B-4E8F-B43B-C47CFDD54D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$A7F834CD-BED9-4653-9CB8-1AECD7B55AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0996b297d7a93293d6093a367bbe6e07fedd1d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4895321,"id":"Q4895321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$987B9F4B-F46B-44E6-B72B-D5848881D06D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"131bf4f50d9e047552a1b8d23a5314c1af075964","datavalue":{"value":{"entity-type":"item","numeric-id":3875897,"id":"Q3875897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$1184AC03-62BB-4F2F-83B2-31FD717B9B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0b07ead87714376d00abdf91eb942dc6be050d","datavalue":{"value":{"entity-type":"item","numeric-id":431717,"id":"Q431717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q694243$3BCE5413-FD88-49DC-A75A-8F23D20000A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02d86e9a8897bd7bacb0ea3128c32ec3971b03ff","datavalue":{"value":"10.1007/S10469-012-9177-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q694243$9B664C9C-B5C1-48CD-8673-DA3FD23AB36D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700318abd9532212db40c49c51d6a12592622bd5","datavalue":{"value":{"entity-type":"item","numeric-id":5214737,"id":"Q5214737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecfb57b8357163ea4141178c98ccc0aa8200739","datavalue":{"value":{"amount":"+0.9171223044395448","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":"Q694243$60BC1396-E53A-481A-93EB-8CDEF02E49C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0143019c2109d897c0e73173735a19ac74023d05","datavalue":{"value":{"entity-type":"item","numeric-id":606045,"id":"Q606045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309a31087aef9236437625507733e7021ec66b7c","datavalue":{"value":{"amount":"+0.8708673715591431","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":"Q694243$60E896BF-6E13-49BD-A677-BAEFD227CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9397178310bd846682faa6c71be7192055c38f","datavalue":{"value":{"entity-type":"item","numeric-id":431659,"id":"Q431659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927a956053cd2b1577b5d8a5013bcfaa306623c8","datavalue":{"value":{"amount":"+0.847979724407196","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":"Q694243$78D3F310-C206-458B-9890-210FC6DBDFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e10b07f6081dab72d46ad69d739f1c278f361f3","datavalue":{"value":{"entity-type":"item","numeric-id":3001102,"id":"Q3001102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfab04164fe7e3ce95e5cea6cdbaf1d16da35be","datavalue":{"value":{"amount":"+0.8021461963653564","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":"Q694243$259B2919-8F4E-46D6-B6F1-D751D833A7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d68d615a3823acd7cd0feec648a8c633b3ce122","datavalue":{"value":{"entity-type":"item","numeric-id":2630547,"id":"Q2630547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4210b4a2eab43ef4aa2dad0f0325bdaf72ce6b","datavalue":{"value":{"amount":"+0.8017340898513794","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":"Q694243$201CBCBA-1CF3-4394-B656-DF5307577925","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:694243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:694243"}}}}}