{"entities":{"Q2128791":{"pageid":2139534,"ns":120,"title":"Item:Q2128791","lastrevid":43572745,"modified":"2025-10-27T11:13:23Z","type":"item","id":"Q2128791","labels":{"en":{"language":"en","value":"Formalizing axiomatic systems for propositional logic in Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7511924"}},"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":"Q2128791$B976E22B-98A1-4E18-906B-49359EDE7821","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a5224a67b947212411f9e6e6ebbf2692dbae3ea","datavalue":{"value":{"text":"Formalizing axiomatic systems for propositional logic in Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2128791$62723F92-A47C-4F8D-B574-6704A70509B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62cfabb961d1191928274cb55b5102b6182a4242","datavalue":{"value":"1485.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$51B3328A-8EFB-4E2C-AD9A-CEF8F96E6075","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c9cceb4c668abee4c855e6532ff83c8bc4fb235","datavalue":{"value":"10.1007/978-3-030-81097-9_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$05BDC00E-082A-455D-B89C-FEE2D8235A74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b28ef1f69804175267e0c47b9aca79300dfa007","datavalue":{"value":{"entity-type":"item","numeric-id":2096469,"id":"Q2096469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$7D8AB1F9-0135-43DB-B0BA-407CA4070E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35f2c834a8db8a78eb18b9f6d9da8700b5dfa7d1","datavalue":{"value":{"entity-type":"item","numeric-id":2128790,"id":"Q2128790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$BE921314-1832-47F3-9956-F3ADD706F33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b3705dab3e613fed020a57376646104168a833","datavalue":{"value":{"entity-type":"item","numeric-id":766279,"id":"Q766279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$1AE3DA8B-E274-44A4-A107-6B478A6C892F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a2d220bbda83e730799716cad61153265e68ffa","datavalue":{"value":{"time":"+2022-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2128791$322C7261-A2AF-4449-9E9C-7804CBF673F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d32c06f1f96beb9c340656359a76c2c6473619b","datavalue":{"value":"https://orbit.dtu.dk/en/publications/a8f3ad6e-d47f-450f-a889-5af864770732","type":"string"},"datatype":"url"},"type":"statement","id":"Q2128791$79083DC4-D3A0-46AD-958C-4B4D275934E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$5904B89B-5FB8-4C96-AFE0-6CCDAC928BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$62C635B2-C342-45D3-BE6D-FED5F262CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$51086178-ED3A-4E2A-8609-F464B909FFD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52ca8eaf38921e353798899870f8d6b0d58d021e","datavalue":{"value":"7511924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$3518F122-BE9D-4915-93B2-8B97C4C0C74B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128791$5826BAF6-B8CC-40D4-9EC9-4AEE3D91E7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128791$39D02AD7-5B78-4B57-A552-96A544EDC784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128791$5FC31EDE-F80A-4E84-9CB9-91AC56D476F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128791$0F2C0820-F747-433F-A81B-D3851E3A8082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2128791$373304D1-B181-4099-8F82-AC96AFC57784","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99f80b4a650d537df92904cfea7e05d958894f43","datavalue":{"value":{"entity-type":"item","numeric-id":5973201,"id":"Q5973201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$6C0E0BFF-A0D1-44D3-8E72-8EF427E59FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$F44A4B24-ABE0-4D39-A4CD-98F81C03F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$24107A7A-4190-4E41-BAA1-EDA2A9273253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3b575651d08d25911fd759648a77b862d522c9","datavalue":{"value":{"entity-type":"item","numeric-id":5951893,"id":"Q5951893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$5CA5BF30-4556-4361-8393-45872B888D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b659b1f6009ab3df1cf8432adfeb1aaf4fe4f69d","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$39939E10-F0C2-4A85-B4E3-5CA1E80063C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$83590EE0-8034-4735-A3EE-6BBDF16D00FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443687e1644d765aff7a815618637b8d7305da63","datavalue":{"value":{"entity-type":"item","numeric-id":5919011,"id":"Q5919011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$64AFC11A-C38D-4786-9FE6-EFC0AF4742F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f391fa2ea5fc8cc91eb10352d5e77651921466e","datavalue":{"value":{"entity-type":"item","numeric-id":5783647,"id":"Q5783647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$40E4A007-FB06-465A-8A04-6385C15B54A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4e1a291ac3cde8edb33ae306339a64d5e53ff45","datavalue":{"value":{"entity-type":"item","numeric-id":4792019,"id":"Q4792019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$738A52E6-4324-4C18-A07C-465FF7F85DD6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"baf948fde49c7f5674900359ba32cf44bb1db692","datavalue":{"value":{"entity-type":"item","numeric-id":5973201,"id":"Q5973201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$34F2E6C1-874E-45F8-BE95-358DB10F0570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$AC98C376-E6E1-4F03-8D38-664A561E7080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$74174022-71C3-41B0-88B8-84D332677BE9","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":"Q2128791$A055C0F7-E93B-40CC-B4EC-E6088775BB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$182F627B-9556-4FEB-A1FC-66B1FA8ED7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128791$4F8F6D26-B15C-4323-B1C4-2CABFAD9BECF","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":"Q2128791$B9E5C9CB-1B03-43B5-9A85-F88CCD65C9C4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b200ff3428dfc4160bfd354451f64f0a37200f1c","datavalue":{"value":"W3186360832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128791$7C966E95-4FE3-4116-9C6A-45999C2459A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd43aeb7e077e004a58f71e8c65c70e807b2737","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63aa8a0d5eee3a554443c8bc9dc4313453f7fe07","datavalue":{"value":{"amount":"+0.9221521","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":"Q2128791$FFE6EBA5-8320-4009-81E7-606246EEE1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7dd15d1a92d0dd399cec43584909645740b4af","datavalue":{"value":{"amount":"+0.9151766","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":"Q2128791$918B5C86-9E9A-425E-A25A-72D5D2814FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2847302b44fc3049c114692a6d76b8371330f7","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c54bfd662cf2c56fe1a8a6bb53cfe8d0d572f8c","datavalue":{"value":{"amount":"+0.9070767","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":"Q2128791$804B9797-C3ED-448C-B6F1-79D62513521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d4ebc13797ab3b2d3bae44fd87546547f06494","datavalue":{"value":{"amount":"+0.90528536","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":"Q2128791$72149ED4-CFA8-4B35-907C-C37240E02EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d6a02e8ed4be52df77c85be2c6cec6b5104aed","datavalue":{"value":{"entity-type":"item","numeric-id":6159365,"id":"Q6159365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6551fedc5d2d93e35cdd8e38c6ad41208b68e3b8","datavalue":{"value":{"amount":"+0.8962864","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":"Q2128791$C5E710C5-B9C2-47B8-B7FE-D53C77FB85FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f619466380248c55ace1b70c6c55c0d678caba54","datavalue":{"value":{"entity-type":"item","numeric-id":4247082,"id":"Q4247082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e5c72d766090451171fffa30bc2ee086c5c5f3","datavalue":{"value":{"amount":"+0.8943491","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":"Q2128791$25B2F9D1-0B41-47CB-9B38-67D308ADEF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a588c992f66473ce2128ef7f91aa58bc970e2d","datavalue":{"value":{"entity-type":"item","numeric-id":5145439,"id":"Q5145439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61790e97ebfffaa134e679b83089a8bf5e9e4fff","datavalue":{"value":{"amount":"+0.8938699","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":"Q2128791$38B4A53C-B93F-4A6F-B36D-31C4A8B4B51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d13ef8d6fb57ae2a72aea166ff2dfe0e46e35c","datavalue":{"value":{"entity-type":"item","numeric-id":4435474,"id":"Q4435474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c51e22698adcd7dcf06b1e2443c02b147e5ad2","datavalue":{"value":{"amount":"+0.8926025","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":"Q2128791$09AF9C3E-75DC-42E3-9359-E690789FC70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca334c71b2f31093563b1df55327e8a824bfeca","datavalue":{"value":{"entity-type":"item","numeric-id":5415649,"id":"Q5415649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6be43b38c909118a9240b13c84442ec210b33e","datavalue":{"value":{"amount":"+0.8903643","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":"Q2128791$2EA830BA-DD95-4976-B6F7-D8B47714617F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b0949bca6460ae1f5912e2961866309910fefa","datavalue":{"value":{"entity-type":"item","numeric-id":6162119,"id":"Q6162119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdac29884ddd598aeeebda8f8c269e056b048ccd","datavalue":{"value":{"amount":"+0.89036226","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":"Q2128791$F5ECAEA6-0970-4C69-8BAA-8D57AF55B735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2128791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2128791"}}}}}