{"entities":{"Q2945720":{"pageid":2956440,"ns":120,"title":"Item:Q2945720","lastrevid":55966048,"modified":"2026-02-21T14:22:17Z","type":"item","id":"Q2945720","labels":{"en":{"language":"en","value":"Verifying Reachability-Logic Properties on Rewriting-Logic Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481949"}},"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":"Q2945720$10CBD164-7235-487E-88FA-6ABE90DACEF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95d98adcb79597755d6be87758199893097041c9","datavalue":{"value":{"text":"Verifying Reachability-Logic Properties on Rewriting-Logic Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2945720$C2CF4D3E-CDA2-4224-8E1F-F0D7CED60FEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b897678d4622b6d49ccbd1891204251ee018d67","datavalue":{"value":"1321.68359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$095F2AAB-CE66-4104-B2DD-3163A0A7DD67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f1f54e846bb4f6b4c0e52c9e38f800d74b94b20","datavalue":{"value":"10.1007/978-3-319-23165-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$7D084198-1858-419C-9588-D2F4AE49BE6D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0a54b19aa26970eaaa1ec809a9eee1a0531ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":493519,"id":"Q493519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$E3AC6AC4-CC51-4B10-A996-D8A885E0B605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$33EA1082-C812-4CC8-B6E2-B04329A907CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5933ce3e049f97ccca1c72bcb583cae3495db8e","datavalue":{"value":{"entity-type":"item","numeric-id":507360,"id":"Q507360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$99E2AD85-A517-4546-93FC-8B42309BF975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1278b7772ff04d9a7882941c345e2fa92d6375ea","datavalue":{"value":{"entity-type":"item","numeric-id":781248,"id":"Q781248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$E3B7EFDC-A36A-4A1C-ACE3-5EF5C8B82365","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":"Q2945720$6EFD4206-4D25-4492-95AC-82E69A2FEE10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ece460bc202bb4ec344b5d620998e472753b138b","datavalue":{"value":{"time":"+2015-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2945720$A7B56C4D-2509-49AD-AB45-0FB64252D686","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$D1A30EB9-D93E-4628-ACF3-0C04A1A6F16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$57E9E4A9-99F5-4C55-B2FF-5DDAAF797663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$C3743960-9A09-4BBC-ACA9-2106A80A453D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$EBEBF88A-6921-4DC5-81BF-0C64290CB2D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab219b7fb8c4c826b5206dcd68dfe75960c39f90","datavalue":{"value":"6481949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$B320B1B2-64D9-41E9-BDF6-FE501FEA07A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$E487D838-7143-4C45-BA98-6BFD042916EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$4AD4230D-374B-482B-BBC8-A727BF57830F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$8FC47C6F-512D-472A-AB84-19AF1BF7FDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6b3dc99177236f98a28268bc9de8552588fda1ec","datavalue":{"value":{"entity-type":"item","numeric-id":30822,"id":"Q30822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$98CC9A0E-A678-451B-9897-B8EE37390887","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":"Q2945720$3222031C-EC7F-4685-9B15-69BBA8C5A601","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6fb755ab418911b51238d8aa41a6c37e1b1f946","datavalue":{"value":"https://doi.org/10.1007/978-3-319-23165-5_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q2945720$9AC5FC4E-E090-423F-A230-0265073613CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93977ad0f6070fd5c47bcdc6ad9341113cecd4dc","datavalue":{"value":"W2293504102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2945720$EFFF1C38-44FF-4B38-9DF4-C3737A5C230F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$C134141C-D891-4A4E-9036-6DA05C6B7370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$696A4491-C97A-4020-9A3C-6837338501E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bad7f5057e7864ee572ca3c11ad9a00080b514","datavalue":{"value":{"entity-type":"item","numeric-id":4647855,"id":"Q4647855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$CF5EA244-5A18-49BA-B20B-2381CB14371D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1ac20aef2f2fa3a1493f669811757d690a0798","datavalue":{"value":{"entity-type":"item","numeric-id":3167025,"id":"Q3167025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$C563A34C-4EB5-463A-B6B1-E080AA8B1062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d1b205201f13d82c065e97ff01a6bc59a545ee","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$CC629869-2227-4489-B2F8-80B63F12637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$FFCEEC97-7F31-45EA-B0B9-1A091AEA3830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2a7a357eb6113b166cb4bb85e076f679569ab25","datavalue":{"value":{"entity-type":"item","numeric-id":2819831,"id":"Q2819831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$8D5FA11F-43F2-4BD3-BAD5-4B6E62B6FAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$A5BF50EF-BAE4-4EAB-AC23-CE25BF1138B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2737e8d4322f9f87afda426facd81d5c8bc2f98","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$C7429B1A-2F88-40CA-A3D9-5A220256B8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7d72fb0b583e355b8cac85cb179d5e07a3d64a","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$99EA4DD8-E670-42BE-B9A9-DDC1272723A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00e7fb512c3c2088a0e31db09a35588d6ca50ae7","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$64138143-EC6F-4AEA-A17E-4CA0B1CCC766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55474ef7b09a7d9ac924269c7b98f7c00174578b","datavalue":{"value":{"entity-type":"item","numeric-id":3090877,"id":"Q3090877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$1AA1F83E-C9F7-444B-A964-C036DC7F003E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$4672A7D2-0BDC-4544-9EF8-DDD6B55D2AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f22f1e7ec73ba657b43cbe915c5d1ad1a36dd","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$D6E775F0-FA26-4DF6-96E4-EDEACEB88C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fba135daa6196e0eb9784f9dc5b9fbc454999ff","datavalue":{"value":{"entity-type":"item","numeric-id":844884,"id":"Q844884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$D0A9CFC5-4875-4991-8A5D-7E69773DC2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb01132ff078294ff34f5679c3984622fdbd54a5","datavalue":{"value":{"entity-type":"item","numeric-id":2945139,"id":"Q2945139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$2585FB39-2220-4EF0-BD85-D888A86185D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a57b560950711a24f080f300348b0504c3b9c3","datavalue":{"value":{"entity-type":"item","numeric-id":2945132,"id":"Q2945132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2945720$2F958B50-D63B-4A0A-8D74-85C29BE593D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cd21deef8e8804b56013c2e7cdcc132ea1307","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849d8960bba54061cded4db583705a0fe8c0d822","datavalue":{"value":{"amount":"+0.9451626","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":"Q2945720$6F912B5F-AC57-491E-9772-8FC6CCD93501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953f8808924d93ce3881083fdfc321e5ccc4d9dc","datavalue":{"value":{"entity-type":"item","numeric-id":3025340,"id":"Q3025340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b89a2eaa8b9345b45b26a5e704f6f774c6a723","datavalue":{"value":{"amount":"+0.9302339","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":"Q2945720$7FA7FC06-18D9-4392-98B2-AF7514728078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca0bcb65b5468bbb13bd98ff48bab2b186bc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":2703694,"id":"Q2703694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd7ea9f02acb4e62f7c96da3f405df876ba9321f","datavalue":{"value":{"amount":"+0.9272744","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":"Q2945720$22B5E2C7-5FD9-49BB-A1E0-749A912F709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f53430be3e63b53037556f228b8559ae84c227","datavalue":{"value":{"entity-type":"item","numeric-id":1671153,"id":"Q1671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c842904278e0e40f0c781f186fbc051e290fa6b","datavalue":{"value":{"amount":"+0.9120345","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":"Q2945720$DEC55967-E723-48F8-B69A-B96BF867BB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26436a96f7d2cf431beb31dc392294cc47579b0","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c842904278e0e40f0c781f186fbc051e290fa6b","datavalue":{"value":{"amount":"+0.9120345","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":"Q2945720$82F6E874-82A1-4D2D-9E6A-B077F343F16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e0f3012050f4fe135eaa9629e2716245665a19","datavalue":{"value":{"entity-type":"item","numeric-id":5901568,"id":"Q5901568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a447341d7316571a78fad1f239ac350a42b4e9e","datavalue":{"value":{"amount":"+0.9082805","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":"Q2945720$6E8F25BE-16C8-4570-9B50-A041F4708A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d615dfe2b1207b198fe8bf2e5d59e2482e19331f","datavalue":{"value":{"entity-type":"item","numeric-id":4222860,"id":"Q4222860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83adf0e53ff0fdfafc00fcf4ade6baba26a0e036","datavalue":{"value":{"amount":"+0.90501094","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":"Q2945720$8A0963C7-5E35-4582-8C09-7DA7FE6E62A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37159249d26633301ff8166c62dbf7c2f2715b9","datavalue":{"value":{"entity-type":"item","numeric-id":5504672,"id":"Q5504672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90fa7322ac202e5463ee749a036d99e2f582a947","datavalue":{"value":{"amount":"+0.9047505","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":"Q2945720$C24BEFF7-5B39-4D4B-940E-CB91C2F13C5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2945720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2945720"}}}}}