{"entities":{"Q1090469":{"pageid":1101221,"ns":120,"title":"Item:Q1090469","lastrevid":42868230,"modified":"2025-07-15T13:34:15Z","type":"item","id":"Q1090469","labels":{"en":{"language":"en","value":"Semantics of infinite tree logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4007748"}},"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":"Q1090469$67018F9F-6227-4B56-A140-7BC0E72D31A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e1d06761e9480e12379c0d7be8a8d375b140290e","datavalue":{"value":{"text":"Semantics of infinite tree logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090469$587ACA40-6E96-43A3-9953-ED27AD4DA11D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f47c32b4c2efd2b4de0f5eb8e4b9931c6465bb73","datavalue":{"value":"0621.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$C4D35B09-49CD-406D-8910-793EE8D6AEA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00c39751371e2385a77c87907d923a5a10b48ac8","datavalue":{"value":"10.1016/0304-3975(86)90027-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$639FA345-C891-4A94-BD0B-07D1DE68A9C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c22202056a7e54fe7d747a972d5d32461d68b3","datavalue":{"value":{"entity-type":"item","numeric-id":688822,"id":"Q688822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$DEDF0B45-13C1-4C24-82EC-DD60DEDDDCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$31EF8DAD-868D-441A-8EFA-A87A6CE12415","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":"Q1090469$4154C9C9-F406-468B-A82F-20B3BF3F5052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1090469$683235B4-0366-4F35-8501-4E0F2304F999","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79301fceca38fc2f560f16563ee29e96e1aeeb60","datavalue":{"value":"The logic programs considered here consist of clauses \\(A\\leftarrow S[ ]B\\), where A is an atom, B is a finite sequence of atoms and S is a finite sequence of equations and inequations. Unification is made as in PROLOG, i.e. without ''occurs check'', so f(x) and x are unifiable and the result is the infinite term f(f(...)). The main difference from the treatment in the literature [cf. \\textit{J. W. Lloyd}, Foundations of logic programming (1984; Zbl 0547.68005)] concerns inequalities. The equation (resp. inequation) of terms u, v is true for a substitution s if us, vs coincide (resp. do not coincide). A satisfier of a system S of equations and inequations is a substitution s such that any element of S is true under any ground instance of s. Derivation sequences, success set SS(P), finite failure set FF(P), immediate consequence function \\(T_ p\\) for a program P are defined in a familiar way. In the absence of inequations \\(T_ p\\) is continuous in Baire topology on infinite terms and atoms containing such terms, but for the program \\(Q=\\{p(x)\\leftarrow (x=a[ ]q(y));q(x)\\leftarrow (x=f(y),x\\neq f(x)[ ]q(y))\\}\\), the \\(T_ Q\\) is discontinuous at q(f(f(...))). So, instead of simply considering closed Herbrand interpretations to prove standard results on fixed points, the authors have to check that the results of T-operations have rational cover: any ground atom in a set is an instance of a rational atom (having only a finite number of subterms). This turns out to be possible since unification (without the occurs check) preserves rationality and any finite system S having ground satisfier s, has also a rational satisfier s'\\(\\geq s\\). Defining a (Clark-)completed program \\(P^*\\) for a program P in the usual way, the authors prove that \\(P^*\\vDash A\\) iff A belongs to SS(P). Here \\(\\vDash\\) means consequence in all Herbrand models. Similar equivalence for \\(\\sim A\\) and FF(P) holds exactly when P is derivation compact: the sequence S' of equations and inequations arising in any (possibly infinite) P-derivation is solvable iff each of its finite stumps is solvable. This is true for programs containing no inequations, but is false for the program Q above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$0F190490-BEFA-43A3-AEDF-7212EA8337C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$E5C33534-20D3-4A03-9352-26F4C08FDC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$AF991E53-3945-4936-AA93-C712463DECE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa21ce2a5a0babaaafbf9086175c256395de92be","datavalue":{"value":"4007748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$7888D94F-63C5-472D-B277-76CD9B50F988","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$0678CC4E-C9F6-4021-B4AF-F447FD9C3210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e1f641e3e46820c91213af4554718593f8bba9","datavalue":{"value":"infinite tree logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$B0A72B22-71DD-4718-B7BD-750C9E245642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$AE5DEC2F-19D6-4F8B-841F-C35BEE7767FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99dcefb52ae4954b255af60bc8280a5163401a38","datavalue":{"value":"inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$73EB8894-102B-4AC6-87D3-205A2033366B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8064713be002f6efb433d79c27d2ce03144712d","datavalue":{"value":"satisfier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$8B1D2F64-D1B5-4D53-85F5-6B5E79CBDCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$FE3AE6F0-CCC2-40EA-B987-EA771D9051A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85736bdf0f4c1e99df52c3892caefcbb5886d107","datavalue":{"value":"completed program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$07F644B0-D088-4618-915E-C8A2DAABC04B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f88ac5f67b60af29e2c27a88e224922e41ea230","datavalue":{"value":"consequence in all Herbrand models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090469$5749CF3A-7028-4E8E-B315-8D3ABA140E91","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"acad34c77994b57d963d6cec1e031a33cb8d6db2","datavalue":{"value":"Q55921413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$DD1829FA-7A85-411A-BDC6-92E224F3BCBB","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":"Q1090469$ACA1F90A-0845-41A2-9AFE-3BCC2EC0D6BF","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":"Q1090469$3753F93C-0B1E-412A-A160-086784F403A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90a37afd6811b1822dee8364923dc83addcf2333","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90027-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1090469$A4576738-6028-4E96-9D68-DAB6EF063FC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ea31dbd7e6caa6e0c790d2264c594955bfae2e","datavalue":{"value":"W2091154692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090469$AA76FF9E-6C70-461E-B44B-D4AB4B5BFAA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$99157627-4140-4695-9292-8F8A2545F9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$6BBB4E54-7DA1-4757-BC70-41A5169C31DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07dfc319b67c832ddc44b110d60382d8d07fc77e","datavalue":{"value":{"entity-type":"item","numeric-id":3725539,"id":"Q3725539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$B6728239-CD26-48FD-9A9E-3AC3F100052E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08494127cebe2a7e5cd00bb77f9a92192bb264cc","datavalue":{"value":{"entity-type":"item","numeric-id":3707362,"id":"Q3707362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$80E787D4-5F26-4BD7-8E5E-E88F745E332D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea2b7941e0263f7b7e467836b074360d7c632e24","datavalue":{"value":{"entity-type":"item","numeric-id":799098,"id":"Q799098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$51CB4457-B8B5-43B4-ACD8-EB4FDBF3B854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090469$2E1EC8C5-4F9B-4DCD-A6C7-21E4968CCC67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69774367d5a74f4b463c400a62bd6a629de91fc4","datavalue":{"value":{"entity-type":"item","numeric-id":3221399,"id":"Q3221399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b48fbc505ac2ca3002a77b9c6bcdb6994a0882","datavalue":{"value":{"amount":"+0.89975977","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":"Q1090469$83D2C558-0575-4ECF-BA28-C551DCB9BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beec96db776a089983412407a6acae56aa3f6dc2","datavalue":{"value":{"entity-type":"item","numeric-id":3787447,"id":"Q3787447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"087c4d25f2fc70c607e16c29ab5bc47840cf24c0","datavalue":{"value":{"amount":"+0.8974223","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":"Q1090469$B4D2461F-37D5-4271-BA58-E0548E430F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16f9c2f71f82915a94d53fc3cd1fa7d2d5cd021d","datavalue":{"value":{"entity-type":"item","numeric-id":812390,"id":"Q812390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5e92d3e9100c0c363f56a73e3d8948ecbe9607","datavalue":{"value":{"amount":"+0.89389384","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":"Q1090469$67C9E6CD-3799-4460-90C7-8CA9639D71B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7add5c454b96ee1bc9aae2e7cea03a38860253eb","datavalue":{"value":{"amount":"+0.8938637","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":"Q1090469$E46FE2BE-A2F2-412D-82BF-6D0B27FBC080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3163fabc3d3e24ed4b22a2d5a35911f382903aef","datavalue":{"value":{"entity-type":"item","numeric-id":3998008,"id":"Q3998008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52e4a411bd6d031217ed4bb007dc0bb47e9f8bc","datavalue":{"value":{"amount":"+0.889926","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":"Q1090469$B9244E1C-A609-4C38-AB62-9B6AAF29648D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dadc0477c46d5fa0eb6629a75d06e47d128df34","datavalue":{"value":{"entity-type":"item","numeric-id":3991295,"id":"Q3991295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23dd0ba28da6cf25ba5abce179b81216c0d92e66","datavalue":{"value":{"amount":"+0.88966703","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":"Q1090469$594ACC93-B9AF-4F30-BD96-7DF5182E38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a0bd2b0f55e76eff8f80379c1ae1ab36d82fb2","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"817f9fc4b3bf4c262f809b2991d2e7e489cd9579","datavalue":{"value":{"amount":"+0.8869724","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":"Q1090469$01BA1BDD-7EFE-44F2-93A7-312D9FFB3D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533086404a1e35f8cd135d532dd761cc0f318725","datavalue":{"value":{"entity-type":"item","numeric-id":5204339,"id":"Q5204339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb6736bec51b3a34d6643b2aa62e8e93cac3e42","datavalue":{"value":{"amount":"+0.8852477","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":"Q1090469$C3E43518-4012-413B-88E9-6861F9FB7EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"512c7479d7f7e95622afbd8a84e497281a7c2c89","datavalue":{"value":{"entity-type":"item","numeric-id":4708939,"id":"Q4708939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8609c49147d8c18531e68434c70cdb127ce2fb19","datavalue":{"value":{"amount":"+0.88325024","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":"Q1090469$4E9F502A-DE03-4D90-950A-12CBD55E5EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2b0e0dfe140e013d76013b6a5951689556d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":4933296,"id":"Q4933296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20157668c872043a68e0d57ac4d51ef152a31461","datavalue":{"value":{"amount":"+0.88208866","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":"Q1090469$E528EE0F-7E84-4D34-AE7A-3825E2A0817D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1090469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1090469"}}}}}