{"entities":{"Q2055874":{"pageid":2066616,"ns":120,"title":"Item:Q2055874","lastrevid":57686775,"modified":"2026-03-31T22:08:59Z","type":"item","id":"Q2055874","labels":{"en":{"language":"en","value":"Superposition for full higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7437091"}},"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":"Q2055874$9CA6C335-4BE9-4CAF-9E0F-BE8C4AF3F601","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddea42519708e221a048e9200e223b2e96e8489e","datavalue":{"value":{"text":"Superposition for full higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2055874$ADEF2746-43D5-468E-BB10-D572481660C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b737994634db1bac16a0fb71c8f0a631e29e55b4","datavalue":{"value":"1497.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$B566C89F-D69D-4139-91E0-C61787ED0C96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a396c3aef4894c8543418280d3ab334d30b0d2aa","datavalue":{"value":"10.1007/978-3-030-79876-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$FACF1B80-DDCA-4EC2-BDEB-272C174CFD3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15de60d15cad4f16d9ed61faf6018fbe1d338db4","datavalue":{"value":{"entity-type":"item","numeric-id":1687713,"id":"Q1687713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$8F775690-9F68-4B08-BC0F-994DB2185B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42c29c686dffd678d9f155b05a4a1aa93e85953c","datavalue":{"value":{"entity-type":"item","numeric-id":287335,"id":"Q287335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$364479EC-7D64-4CA9-9830-2C6E2D19F993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca512d58059d63156835648800422b2988de4fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2051562,"id":"Q2051562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$CDE4203A-2128-4775-A30E-3C3D2B08C1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bdfb0e05a7f9b26ddc4864b42413727acf0142d","datavalue":{"value":{"entity-type":"item","numeric-id":2051563,"id":"Q2051563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$F0D4E8CE-1970-45C5-ADCE-E01703C87BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"083b9dcd5269b8796cca7eb2ababa434dff5de3a","datavalue":{"value":{"time":"+2021-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2055874$5A4E1B68-FDA1-4809-BAAB-916FF0193499","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3005b59b4276d96c95fd09cef516e1b8afd77165","datavalue":{"value":"Superposition [\\textit{L. Bachmair} and \\textit{H. Ganzinger}, J. Log. Comput. 4, No. 3, 217--247 (1994; Zbl 0814.68117)] is a state-of-the-art inference system for automated theorem proving in classical first-order logic with equality. The problem of extending superposition to variants of classical higher-order logic has recently been gaining increasing attention. The authors essentially combine earlier work on superposition with Booleans [\\textit{V. Nummelin} et al., Lect. Notes Comput. Sci. 12699, 378--395 (2021; Zbl 07437090)] and Boolean-free \\(\\lambda\\)-superposition [\\textit{A. Bentkamp} et al., J. Autom. Reasoning 65, No. 7, 893--940 (2021; Zbl 07433023)] to obtain a sound and refutationally complete superposition calculus for full rank-1 polymorphic classical higher-order logic which includes both Booleans and \\(\\lambda\\)-expressions. A proof of refutational completeness is briefly sketched, with the details delegated to a technical report. The authors describe the implementation of their superposition calculus in the Zipperposition prover [\\textit{S. Cruanes}, Lect. Notes Comput. Sci. 10483, 172--188 (2017; Zbl 1496.68365)] and provide an experimental evaluation. The implementation outperforms all other higher-order theorem provers.  For the entire collection see [Zbl 1475.68026].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055874$BA88CADC-0876-44B9-A993-DBEB3349E52F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"748551b4391e5daf819d29c98559cdf77cf98d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1663239,"id":"Q1663239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$043B2232-A819-498B-BD38-6EEE7A6CB294","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$FAE5C450-9854-446D-9D82-8C53B6B205B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$BA6C1239-CF55-4E8E-8C87-B363750626FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$BE887B66-19E8-45CE-A207-08F7D5D81F9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51ea310373ad03f77def8d89b1ad3ffa593f0354","datavalue":{"value":"7437091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$3BE9F29F-3015-4540-830E-D08DFBD90193","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86a171fa82c1ea15db4e7a7c23402cbb117f3b1","datavalue":{"value":"superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055874$3EC8106F-251E-4544-B8E3-5D778941F25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055874$D18DC719-5084-4F7D-8F9D-7695ED36470B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b89fbb1f8c14b0b75285aa89c033b3cca9193d","datavalue":{"value":"Booleans","type":"string"},"datatype":"string"},"type":"statement","id":"Q2055874$DD080D14-3B42-417D-B542-4A9567DCE130","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4bc79cfb4b56d32776e1fa1258932352b9c2825a","datavalue":{"value":{"entity-type":"item","numeric-id":43962,"id":"Q43962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$7A8902DC-2844-497F-A75A-1DFB4AB8874C","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":"Q2055874$61EF670C-10A0-4F71-AF9E-0D2BADCBC508","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cede032096d2635a1704dbdcf42c5d64e804abf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79876-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2055874$9F04085F-69A9-4890-98C2-1A73CABDD9DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4afe605797cf79ac12154943cb1f834c3ed61f8e","datavalue":{"value":"W3180051810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2055874$5E67CBDE-AAAE-41E9-A74B-216E8A1C0D5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84661190c70e049933b7bb825904abf4b4a875a","datavalue":{"value":{"entity-type":"item","numeric-id":908896,"id":"Q908896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$549D9A76-C6D1-40FD-B3B8-8D397B4B4844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$8AC96646-C190-4E7F-8199-51E57AE6A205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f8c21e6d82f31fa2f7618306ddf28c9bb5b315","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$5EA24427-5DC2-45A8-AD97-C1888EAA36E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9bbc9cdd9667523730b17037c3549c772dd39af","datavalue":{"value":{"entity-type":"item","numeric-id":5918381,"id":"Q5918381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$09ED5E83-9036-4E46-AB70-C0A5486359A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"200a38ad327b4bf6451febd1153cf5712eb36a56","datavalue":{"value":{"entity-type":"item","numeric-id":1799065,"id":"Q1799065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$3EA1B81B-9B2F-4593-B163-3BB71A461993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$2D310B11-2426-4302-B3AF-FC6CB7338538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7ce665db3435fa98f1acda442e827ec5d171f3","datavalue":{"value":{"entity-type":"item","numeric-id":2096452,"id":"Q2096452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$43A0D2F9-569F-4527-BCBF-3C416CE90852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c39b9040e3d2807bc13175b6074f0175a0a4a1c","datavalue":{"value":{"entity-type":"item","numeric-id":5747754,"id":"Q5747754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$71E3A859-3555-455D-B006-B1FF431C048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$EAE04146-64FD-4A87-9578-2FAC5FB74059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$967B9902-48B8-4519-AC00-1252A92C2ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2df34984e311a9076151309fa9372d2f411ce0f","datavalue":{"value":{"entity-type":"item","numeric-id":2486577,"id":"Q2486577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$BCDA7D84-ECC8-433A-B79F-5299245809E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$4C69613A-8522-477C-BD58-496A9FE202B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ce06304bf3709cc235c3276b4f500aec1ac468","datavalue":{"value":{"entity-type":"item","numeric-id":1239309,"id":"Q1239309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$3BE8A798-8BB9-40EE-A0B8-3827D68403CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe753357a6d82c52967f1976a05f5e36a3cab5a","datavalue":{"value":{"entity-type":"item","numeric-id":3498479,"id":"Q3498479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$DF774BE0-B3A3-4827-84B9-FD1E286290BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f029e84cfc32ab5205c9ea68fc444f1299028665","datavalue":{"value":{"entity-type":"item","numeric-id":2055873,"id":"Q2055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$F70DAD92-4308-4E0F-9806-71F0716730BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$61F795E0-C33B-48C7-AE2F-975975B067C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1bdd6abc4d3cf5dea2b7602404acd1281c9b7d","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$D08B55D8-0282-43C7-A944-7202BB55E82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$98B08C14-7683-4FF5-9FEC-B104F3E5047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d69e7c781c6370212654a029921d34ee26dd92","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$BD8B80B1-9A2F-4830-A49A-90E82776B331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d61546e6fd6be76472da0ab32feef7093fd5ac18","datavalue":{"value":{"entity-type":"item","numeric-id":5918558,"id":"Q5918558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$6CCC2B68-BCD2-483A-8A8E-73600882E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280e0b1702810570bfcb2ef71f986f04bd154aa3","datavalue":{"value":{"entity-type":"item","numeric-id":6488550,"id":"Q6488550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$021E2D8F-1A8F-41FC-A2C4-F82149FC9B29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3af0cef260fd5715d276a6fa5c33ddfa938220ef","datavalue":{"value":{"entity-type":"item","numeric-id":5918575,"id":"Q5918575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbb1923d0828ae8d23bd627edc136906ffb937eb","datavalue":{"value":{"amount":"+0.9152073264122008","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":"Q2055874$32762C40-18C2-4F97-8631-5BAB79310987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c18e89ffeb4e5554da2806f9c36a4ef5d826cf6","datavalue":{"value":{"entity-type":"item","numeric-id":1799065,"id":"Q1799065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f884f195a3dc6d352b5ecd274250fbf30262b9","datavalue":{"value":{"amount":"+0.9133839011192322","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":"Q2055874$A2BC1C17-4F0E-4DAF-8A91-F69B5DF16A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2d442c7f5df274dda11adf2373418edeedfd4f","datavalue":{"value":{"entity-type":"item","numeric-id":5918403,"id":"Q5918403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d476a83cc0ad170c19556bc79f8dc98d31cd21b6","datavalue":{"value":{"amount":"+0.9061306715011596","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":"Q2055874$B3D11719-0785-4AD1-AC0D-95438823F24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3152317d7a03936a16bdd3c6afc147e2cefcabb8","datavalue":{"value":{"entity-type":"item","numeric-id":5919500,"id":"Q5919500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c856cc3f9423c9c839b1b5ec6f671e257ab809ba","datavalue":{"value":{"amount":"+0.8677842617034912","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":"Q2055874$6BF77404-6271-4DFC-8CC9-CA174B814EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e1710ded83e70542233b4417eea911ce3e3a0af","datavalue":{"value":{"entity-type":"item","numeric-id":5191094,"id":"Q5191094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"098e967d3394a3b17add36bfeca3966b73c37be3","datavalue":{"value":{"amount":"+0.8655713200569153","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":"Q2055874$8FFF4044-4EDB-476D-8776-27D573F594D4","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2055874$1BABA474-00F9-44AD-9507-57BA668A00C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2055874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2055874"}}}}}