{"entities":{"Q714717":{"pageid":716566,"ns":120,"title":"Item:Q714717","lastrevid":55971202,"modified":"2026-02-21T15:33:18Z","type":"item","id":"Q714717","labels":{"en":{"language":"en","value":"Syntactic cut-elimination for a fragment of the modal mu-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6092966"}},"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":"Q714717$FFE56ABC-B342-4A7B-87CF-2DF52297C357","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33965750be7036ec9977dc8b7c57ce2fc677c124","datavalue":{"value":{"text":"Syntactic cut-elimination for a fragment of the modal mu-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q714717$4AFDB73D-AA36-495F-B7A1-688EF7B6ECE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2feb003bfc5e9edf1d348fc712529acf7e0b993f","datavalue":{"value":"1259.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714717$1AAEE606-5605-4166-805A-9A553B97B45E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4b8e93464bd8436b70044ab37bdd425a7513d2","datavalue":{"value":{"entity-type":"item","numeric-id":714716,"id":"Q714716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$9AFEAF29-EDEB-4280-B29B-C632639BD44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a23089233c6f9a342152a9a3a402eea56cc40e3","datavalue":{"value":{"entity-type":"item","numeric-id":194999,"id":"Q194999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$1110681E-CD9F-442E-AAE4-93EC7DB8FAE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$6A4C383E-DC95-4C84-8B67-B44FE94689F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"627a9c6691e92dc7a2f0927bf16af5db49918284","datavalue":{"value":{"time":"+2012-10-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":"Q714717$3274776B-5309-46FB-B89A-3BF32F94E8A2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5af438ea5e41e7b8722426d820632a37c37058c6","datavalue":{"value":"Ordinary finite axiomatization of the propositional modal \\(\\mu\\)-calculus contains an induction rule to guarantee that \\(\\mu XA\\) denotes a least fixed point. For an infinitary reformulation \\(G_\\mu\\) where induction is replaced by an infinitary rule (saying that the greatest fixpoint \\(\\nu XB\\) is a limit of finite approximations \\(\\nu^kXB\\)) cut elimination was proved semantically by \\textit{G. J\u00e4ger} et al. [J. Log. Algebr. Program. 76, No. 2, 270--292 (2008; Zbl 1156.68013)]. In the present paper a syntactic cut-elimination proof of a traditional kind is presented for a ``deep inference'' reformulation \\(D_\\mu\\) of the ``continuos'' fragment consisting of formulas where a \\(\\lozenge\\) does not occur between \\(\\nu\\) and its bound variable and \\(\\square\\) does not occur between \\(\\mu\\) and its bound variable. This fragment is sufficient for embedding of such systems as PDL and the logic of common knowledge. \\(D_\\mu\\) is obtained from \\(G_\\mu\\) by replacing the closure rule corresponding to an implication \\(A(\\mu XA)\\to\\mu XA\\) by a rule corresponding to \\(\\mu^kXA\\to\\mu XA\\) and permitting application of all inference rules inside any (iterated) combination of \\(\\vee\\) and \\(\\square\\). This roughly corresponds to rules for a semantic tableau formulation of S4. Since all cut ranks are below \\(\\omega^2\\), standard bounds for elementary cut-elimination steps yield an estimate \\(\\phi_2\\alpha\\) for a cut-free form of a derivation of size \\(\\alpha\\). The system \\(D_\\mu\\) is sound for finite approximations to a fixpoint and hence is not complete since a valid formula \\(\\square(\\mu X\\square X)\\to\\mu \\square X\\) is not valid for finite approximations. However, \\(D_\\mu\\) and \\(G_\\mu\\) prove the same continuous formulas.","type":"string"},"datatype":"string"},"type":"statement","id":"Q714717$DF5A787A-0373-416C-9E8F-73B2F6A22F75","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$70C6F3A7-49F8-4D7F-815B-FF947F27BE44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714717$6949F555-7967-40AC-A0BF-2A23E1DB2EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714717$71FA7575-ABAC-454E-9799-F12450A7BD11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"018aa24405acdde076ac7950524764d08fad815b","datavalue":{"value":"6092966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714717$8619D1BA-C147-47AC-A104-60762D597269","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q714717$2600E794-4A59-467A-B255-523A7BE84FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4368917dfeb6b4bbc805516f2452ab2d8a725b30","datavalue":{"value":"infinitary sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q714717$71E1405B-1181-478C-8996-0FCB7E9C5C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7703d39a27a27281175ecfee2e3e3ef8e18d9ab1","datavalue":{"value":"nested sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q714717$7A3F77AC-6513-485E-B8CC-9A88CDEA3402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q714717$97D2FBE9-7D02-4462-897D-4033775827F1","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":"Q714717$18431E3B-CCA5-4381-A98C-62A033214AF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afbd3fffa573e90ffc57dc968d6bbbb1982701ca","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.04.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q714717$2B62D785-79E3-4A83-80EF-93534A7FD005","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a7876b4437de073345377efbac505bdbb07fbf4","datavalue":{"value":"W2020453924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714717$2518CEBE-7666-4AA8-BF69-21171061317C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7354a9332cb09b54ff1bf30ae7407276a62067f7","datavalue":{"value":{"entity-type":"item","numeric-id":2643142,"id":"Q2643142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$B495D082-6ECC-465C-B878-79F802510FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$5284816A-C14C-4F7D-997F-5C559CFB19DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59c29138920afdd872cf6e3791feb17594655142","datavalue":{"value":{"entity-type":"item","numeric-id":3509048,"id":"Q3509048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$033CEEAF-E474-4959-8B80-3B517AAAD398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d8c566f2b6cb83f15f6eabe2b8d19b7b1d0849d","datavalue":{"value":{"entity-type":"item","numeric-id":1024553,"id":"Q1024553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$16379E4B-12FD-4AC2-B582-7F7CCEBE1537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d956577b3303ebd7039744b667c611553174c8","datavalue":{"value":{"entity-type":"item","numeric-id":4982123,"id":"Q4982123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$358E28D6-CAE7-43D5-B7DB-850E1EF937DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fb3a2a370605bddcf190de53623d5a9eb1feaf","datavalue":{"value":{"entity-type":"item","numeric-id":3540176,"id":"Q3540176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$1D1ABF17-32B1-46D8-8249-64CDC435C0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730ca176c0789d7172c718b3da4e5270b4504f8f","datavalue":{"value":{"entity-type":"item","numeric-id":965900,"id":"Q965900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$D8BC8D8D-C570-4B25-8709-F387AD450D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4809d0a3f36eea3885a973affe8141566cc9e5","datavalue":{"value":{"entity-type":"item","numeric-id":941442,"id":"Q941442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$8C43CDD4-ED1B-4B67-840D-0F748CE9ACBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840cdf0fd2fc7639009b50125648d2c88152a633","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$BE17F2D4-D90A-4296-9263-E7B3EE58705F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$20A238B4-DA03-494D-B131-570C218D2B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54f1ad840706c682b0fedd77190bd24d7fda2981","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$026D1545-9EE3-4E9C-B245-6EEE55E74EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1ddf5d47a928aafd508d66128aec39c9fc5d49","datavalue":{"value":{"entity-type":"item","numeric-id":5854738,"id":"Q5854738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$4964B768-0197-4734-AED4-4B58AD3C8269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e6365fede23c4492f6d5ad9821046aea104cd3d","datavalue":{"value":{"entity-type":"item","numeric-id":671352,"id":"Q671352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$851836EC-FA95-49C1-A291-FA2138682D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c394edfe97f2771d3f458e785c6ac06b6755082","datavalue":{"value":{"entity-type":"item","numeric-id":3358711,"id":"Q3358711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$C60A9143-B0ED-418B-8663-DFB784DE6485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e937235437828fd90111b19ee3ad3ae6f098959c","datavalue":{"value":{"entity-type":"item","numeric-id":3600562,"id":"Q3600562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$2B07D3EE-04C5-4DE8-B09D-D1A02630F3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$0B0B709B-DC5A-430E-AC9E-51C9D33B4567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec940eee0477184e354b8959d22d2df44a783c7","datavalue":{"value":{"entity-type":"item","numeric-id":4215633,"id":"Q4215633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$EA843628-E1DF-4FCD-9B44-F5E4826D4CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f09a5677857c114501de7a40c9ec5bfb3a3bb9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5538910,"id":"Q5538910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$7DB50AE1-B029-428C-AB47-67BF4D43E9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c3e6815cd921fc7767de9db6783bde242a686c","datavalue":{"value":{"entity-type":"item","numeric-id":4143279,"id":"Q4143279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$914569D6-F2D7-47E4-9B54-2182C3B8827A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c8c114ed91e2eb27d97fbae8c341950e41db76","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$82AEDC62-2AE1-479D-821D-9DDDDF635D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56327724d8101cacc3d4e5b36700dc86a7feb472","datavalue":{"value":{"entity-type":"item","numeric-id":4499084,"id":"Q4499084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$4C782A5E-5722-4A7C-9890-0DE49685BFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6c27a12992004b27e8d5ecdd7ddb5ce45b52eb","datavalue":{"value":{"entity-type":"item","numeric-id":4866992,"id":"Q4866992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$21A70B80-5273-4D48-890C-E108B6757520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a659b2cbd537713eeed2150669304c9e3e0f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q714717$A351149E-C77B-4D82-B069-6F488BAF783A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be6dab7874db717e1861897708418f4ab33f743b","datavalue":{"value":"10.1016/J.APAL.2012.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q714717$5F040C26-CD48-4376-AEB2-4190C90C3A87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11f8fc0117097eb96093beb1f7dde3a35ba7225","datavalue":{"value":{"entity-type":"item","numeric-id":454366,"id":"Q454366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3fb55a700e1e24290f1dd91e0792e9a936c254","datavalue":{"value":{"amount":"+0.8744202852249146","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":"Q714717$9177E237-354A-4654-802E-B4BA5C037DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6fef2f1f85161431fd9ef710dd32d7ae7432d7","datavalue":{"value":{"amount":"+0.8484235405921936","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":"Q714717$5D1CEF82-A17E-4757-8BA9-453AE3D16D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab8cc3ba85a7bfbc723b79ca15f082559c7e3c6","datavalue":{"value":{"entity-type":"item","numeric-id":1005937,"id":"Q1005937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9792640ad15e7e43ed3c5f409693ddcfe5174d6","datavalue":{"value":{"amount":"+0.8381299376487732","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":"Q714717$82B9F7BF-102F-4B14-896B-380C8DE34431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e615e7d0e04b6633760c034bfe90666f46c9166f","datavalue":{"value":{"entity-type":"item","numeric-id":3540176,"id":"Q3540176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e367704e4368f2d7c6fcb0c22e0a06fde147108","datavalue":{"value":{"amount":"+0.83587247133255","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":"Q714717$9320484A-9D1F-428B-BD8E-B0B4C202F1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f64d612d6f0f1df01645666e17c8959562b9e9a","datavalue":{"value":{"entity-type":"item","numeric-id":941442,"id":"Q941442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824b5aca10c080ff3cf0dac81e6f162176202c55","datavalue":{"value":{"amount":"+0.8202084898948669","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":"Q714717$C7B53926-0DD1-4007-9162-F05941675BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:714717","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:714717"}}}}}