{"entities":{"Q2891425":{"pageid":2902150,"ns":120,"title":"Item:Q2891425","lastrevid":44709696,"modified":"2025-11-25T10:35:08Z","type":"item","id":"Q2891425","labels":{"en":{"language":"en","value":"Automating Induction with an SMT Solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6046587"}},"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":"Q2891425$42097624-4618-4E4B-88B2-25BE8D66313C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab7ca03957bc4e24a75311201b5e2432e39da67a","datavalue":{"value":{"text":"Automating Induction with an SMT Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2891425$EA0A92CE-4281-4FE6-BE51-7832DE533969","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1faa14d9a74aabcaa0365ee9c8448c6ca087c9d3","datavalue":{"value":"1326.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$7C7525BA-0242-4A38-A827-7FFB2888216E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a2d3fdfc265f5a5ff9c0a58684e1823c605c61e","datavalue":{"value":"10.1007/978-3-642-27940-9_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$E73A6BB3-C66E-48E9-A122-04842510AE9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e0c2c58ff8fd4ec1edd435e868f3bbbace9fa5","datavalue":{"value":{"entity-type":"item","numeric-id":633284,"id":"Q633284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$D7A4434F-234F-4B3B-8B4B-B7784796F879","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$6EE2FB3F-1F42-4CA5-B0DE-63FC979F9756","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e77e8a5f31c3c130201e11da285f79066a6e7f3","datavalue":{"value":{"time":"+2012-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2891425$88B22E58-D406-4DC6-81AC-E09FECC0D1F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$D5B72D11-68C2-41AC-A1AD-52913868FD79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$BF7505DB-FAB2-464E-A94B-6240EB40FE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$90FB27F3-8070-435D-AAD7-235B88CECB7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78453451892735dd995c5254afecf02b7719abf7","datavalue":{"value":"6046587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$9C82B331-BF93-4509-830C-CB4B66AAE21E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$D17DCB81-B884-4F13-92FD-3CE8027ACF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$26E29294-8AA9-4FE3-967E-596C2B7FC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$DF806C99-11E0-4EAA-8BD5-8469C1497967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$2519F2D9-43D1-48D5-A555-7F08FC760FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$D863D65B-1D3F-44C7-8A2B-F0DBAC5C93A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$0C2EC42A-305F-4464-B513-E7FC9E5AA369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$EF9EF155-0E65-42F3-BEC6-9D70E507E395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1efe251f10f20310d9fc2391ac64c314c66eb36","datavalue":{"value":{"entity-type":"item","numeric-id":19751,"id":"Q19751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$834317D8-D6D6-4583-91BE-47BE1FB0C9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"811a0fe9a7b57bf2a85ec487f0e3db8c3368751a","datavalue":{"value":{"entity-type":"item","numeric-id":19752,"id":"Q19752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$5ED7220C-7713-4CA9-A796-E7D21F41C01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$562D74E2-6AE1-4B7F-96FC-3A05F0DB024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$743B00FF-CABD-4B33-A962-ADFF097F85DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$C9B4D70B-5166-4CB0-8FFB-FC7C32064F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$23B6DC80-AEBF-44ED-B2D8-E33A96ED791A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5e12a5bc154ad67aa9b674da476cd2afc9531b51","datavalue":{"value":{"entity-type":"item","numeric-id":33982,"id":"Q33982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$D7B2F196-9719-47A1-824F-4EC3CC72EE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$5EC3BB41-AD4C-4138-B6FC-14D0CD42D6D8","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":"Q2891425$86939B09-9802-4E77-8409-0581A444853F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4542182e787bf2d40a306a7dcde2ed1b583850a3","datavalue":{"value":"https://doi.org/10.1007/978-3-642-27940-9_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2891425$30ADB6D7-E17B-4AB4-A02C-F43A8A3FF67E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6bad92c8c585c76472e3ca7ca95120135a54c5f","datavalue":{"value":"W1831545713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2891425$1E779C81-9276-4A9D-8583-6046E5C2535B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$E46C287B-ECE2-4302-B010-A4B35E9070D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$8B2B1168-3E74-4392-AA78-F740AF159A48","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":"Q2891425$2974E6D0-7F4D-486A-B49B-95EFE5D61BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$23341A7F-7FCD-429C-98C2-CF7017961B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e4e6e8c92ebfef6844c6464a49c0beb008a05","datavalue":{"value":{"entity-type":"item","numeric-id":3000661,"id":"Q3000661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$3CCA1D1A-D951-4607-B586-CA3FFD318212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$2CDED7DA-9653-49A9-87C3-77BF9EB43D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c19cd92e570c6dddc63b43d315e01307ee930c2","datavalue":{"value":{"entity-type":"item","numeric-id":5747656,"id":"Q5747656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$B78BDBB8-543B-4042-80A0-790C3848C383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$F297A4F1-1F05-4327-AB14-7854E14535BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$46B01F8C-569D-444F-A1E0-A90554FE4BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9d05406c8520c743824ba3092f3947dc01da67","datavalue":{"value":{"entity-type":"item","numeric-id":3557085,"id":"Q3557085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$36C0B2BD-06A2-4D1D-8DC6-BAD603ECA251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$F8DFA6E7-7F64-4278-A4CC-FD11330C1016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f4073212e5e8a290d1249a88cf67061f68759f7","datavalue":{"value":{"entity-type":"item","numeric-id":2894285,"id":"Q2894285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2891425$C9940E8C-217E-4EEF-AAD3-E4C32E4BBC1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4396432ef5ab133000893590ebe84a1984c3c53","datavalue":{"value":{"entity-type":"item","numeric-id":5172636,"id":"Q5172636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbbafcd50600effded1c61252c0f292888a9325d","datavalue":{"value":{"amount":"+0.94711477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$B67F2B85-8987-41DF-AAFA-479DE364896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1ea39664c2631d431370e4ff07fd3d267ddcc6","datavalue":{"value":{"entity-type":"item","numeric-id":5327333,"id":"Q5327333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0905b2b398455c0bea4156531f716d195f6b0973","datavalue":{"value":{"amount":"+0.9134107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$57E6C535-2C82-44FC-ACEB-E46AA492CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d531ebfcb6c94fc098771aa782e50b1cbb06b","datavalue":{"value":{"entity-type":"item","numeric-id":2164260,"id":"Q2164260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95a89a5d14f091050e6b5527146f080014b832bd","datavalue":{"value":{"amount":"+0.90482503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$83820D2D-4D86-411F-85E8-7D6B3A3C2E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540b6ab6d92113a91ff958757755562350221b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e32691a21b01a3bfe62a40a09d606e4c5eff9bb","datavalue":{"value":{"amount":"+0.90467095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$1B9516D9-44AA-4961-92BE-232335453282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127af5fd3220f755298985c131535b05bb4590cd","datavalue":{"value":{"amount":"+0.90352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$177FF398-0512-4805-8656-C62BABDE54DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b950c83128d11d71296f04dbe09c8f568420f","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6483100e1562482e17f778a76ad9ce9fbcf8f5d","datavalue":{"value":{"amount":"+0.9008309","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$A815861B-6E10-4EAC-A9C4-41AA92C5BC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ca45c803917ea740855b6c448b851f7463e911","datavalue":{"value":{"entity-type":"item","numeric-id":1854445,"id":"Q1854445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7565fe36d4d02a7bf447ef44979e722ffb498602","datavalue":{"value":{"amount":"+0.89608175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2891425$95735180-8BD8-404B-96AC-91EDA695778E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2891425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2891425"}}}}}