{"entities":{"Q5883571":{"pageid":7913122,"ns":120,"title":"Item:Q5883571","lastrevid":41756514,"modified":"2025-05-08T00:28:15Z","type":"item","id":"Q5883571","labels":{"en":{"language":"en","value":"Program Verification with Separation Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7666542"}},"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":"Q5883571$A4806665-3BC6-46D1-9988-FDE656EE20C5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb77da0d71565f81533ec921dcbea681d75dcb76","datavalue":{"value":{"text":"Program Verification with Separation Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5883571$B06649C7-6B6A-4CBC-9A6D-E4558862CE7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a7df7557ecd0ea9c4067c010523168dda2afd85","datavalue":{"value":"10.1007/978-3-319-94111-0_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883571$9F90DD01-E7AE-4583-B54A-3858D57D1CCB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ffdbfd7b9177bc6559af43c12c896a5d2e47038","datavalue":{"value":{"entity-type":"item","numeric-id":537951,"id":"Q537951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$2CE4A3E4-735A-43F7-A783-A9E54EE10262","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"522e9e5b50831c9c990a6ebdcfb4c44f217acf10","datavalue":{"value":{"entity-type":"item","numeric-id":2814620,"id":"Q2814620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$E8507249-55CD-4092-91F9-B845326F25C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9db9aab8c47e8de7d6375c30693ffa43d749cd68","datavalue":{"value":{"time":"+2023-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5883571$CC648F41-0D01-47E7-9B6E-5870FE5AB4E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883571$2D5B30C6-75AD-4A6A-8A50-54C637F094A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883571$238A29A3-0062-45E9-8B27-B4E054669659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883571$C05A8FA2-992E-4B29-8A56-D95111F30A4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80513565e260d68a3443bd7d94ecfcc86cda4c7a","datavalue":{"value":"7666542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883571$0B67E172-F9D4-4085-B034-F9E6DFA6D5DA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"da473e069d657f6312622e5621b040a55a3a4367","datavalue":{"value":{"entity-type":"item","numeric-id":32676,"id":"Q32676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$6D503DAB-BCB4-46A8-92C9-BCEA69BF4156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86e863a5050d80bfffa55dffe8141581cefb24d3","datavalue":{"value":{"entity-type":"item","numeric-id":40256,"id":"Q40256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$37D83381-ED94-4232-AE64-39DA01C586BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$61853B2B-C0F8-43A5-90BF-5713E3B5A034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f7cbd45ecb73cef1c098eba204d848b9a2d6639","datavalue":{"value":{"entity-type":"item","numeric-id":30358,"id":"Q30358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$5B77C6E8-71D1-4214-9850-D1CADD924059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$1ED5FE31-9753-4E55-B408-6AC54DB53B0F","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":"Q5883571$90181B94-979C-499B-A4FD-959B39B77C83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e82013eecec9ccff2af0ad70cc84856d6247dac","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94111-0_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5883571$D11134F0-2731-4C60-AFA9-7954E5AE48D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ce30d9c9ec343feb5e2a9cdbe7c7c45b557ae7a","datavalue":{"value":"W2808485914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5883571$98F2A35A-0916-4A74-AFDE-0C116090F919","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50703cd05e2859946ec4c082f410f58ddf7eb379","datavalue":{"value":{"entity-type":"item","numeric-id":5410687,"id":"Q5410687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$DCD26C9A-CE80-4F13-B830-9BB16BE0592E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee4a364c7ffd575e9526a9a72ed0402273dd4826","datavalue":{"value":{"entity-type":"item","numeric-id":5756740,"id":"Q5756740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$5D754B22-656C-4B2B-ACBE-8309D49BCCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd073d5f1b45c21954c5cfcc1b9243be226d02ac","datavalue":{"value":{"entity-type":"item","numeric-id":5429321,"id":"Q5429321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$3EC3BD8F-FCD8-42C6-B78C-9635D2F20759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$40955AFA-CAFB-4F62-BC49-09FFF23D4FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112d092ce03f7e86d9996ef530de2a740a2f8c08","datavalue":{"value":{"entity-type":"item","numeric-id":418137,"id":"Q418137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$765F0FEC-C40E-4448-8DFA-193DD64FB068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"329632390571b70c858fb813a0e714410ba89992","datavalue":{"value":{"entity-type":"item","numeric-id":5200020,"id":"Q5200020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$C76FB9AA-66BB-46D8-BD53-ED0C58416C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4555c0d89e243a8a9351cedc1b4ffbfceace09","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$F19ED824-0B20-46AE-B931-241B89E08E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17d0aa6de1a3c4e838a8fa4c7fc5c6cc0f20445","datavalue":{"value":{"entity-type":"item","numeric-id":5395670,"id":"Q5395670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$89C1328D-9EA8-451D-AFD8-52AA631EAFD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110e04d4625ac7707eb0d6fa980c0954dd5abff2","datavalue":{"value":{"entity-type":"item","numeric-id":5705900,"id":"Q5705900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$9443D61B-2720-4F97-870B-6C4F649E2D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1134f2341d7e5000fd707505605e06ca29388803","datavalue":{"value":{"entity-type":"item","numeric-id":2641288,"id":"Q2641288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$5B055BEA-B35F-4A8D-B9F2-0BC2BF4A7DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ef7590ac163e04f88fc79c8e41f44e7fea181f","datavalue":{"value":{"entity-type":"item","numeric-id":4474211,"id":"Q4474211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$64409E14-7F36-4353-85C6-40D66A813086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$7CF95BD3-CD3D-48C4-BA39-EC4998230DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$07900AE4-8701-440F-B1B6-BB370ADBAE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$B3438A5F-B52D-46D0-BC4F-6554DA5DAD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac23d65a9afeff852c7bda4556ad42907e525e44","datavalue":{"value":{"entity-type":"item","numeric-id":5178870,"id":"Q5178870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$EECDAAAF-946F-489C-9602-66560D15C960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37eafa32561bedd2503fc06cf62f87454a99ba0b","datavalue":{"value":{"entity-type":"item","numeric-id":3457790,"id":"Q3457790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$FD69F40E-A1D5-4554-BB38-0787EF0070B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$84542228-685D-4FA2-8509-6060BE52574F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$14CB8C1C-FE4B-415A-8252-1322A799433E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$B62942A0-4D98-4FE8-AB53-E49AFD547C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08f93a83cac59738e22393f05cfd94e4929ae30","datavalue":{"value":{"entity-type":"item","numeric-id":2961583,"id":"Q2961583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$4C77156D-91B7-495F-B469-61ED43468F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51744bbaabae728a8929f8609bc516657e80f106","datavalue":{"value":{"entity-type":"item","numeric-id":1990511,"id":"Q1990511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5883571$EC241FD2-FA04-4849-AC7C-A6E3CF9F4759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653bb42b19be8ce2e8f831ce06cf512b9e69994f","datavalue":{"value":{"entity-type":"item","numeric-id":5311261,"id":"Q5311261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"702b961522ce62dd84a9ba63ecb4de9e23aebf6f","datavalue":{"value":{"amount":"+0.9617792","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":"Q5883571$082D7AA2-0CAF-4614-AEFD-F26856D4DE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a74864b923291ea50043a414dd9cc0cf6874cdfc","datavalue":{"value":{"entity-type":"item","numeric-id":4640971,"id":"Q4640971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"165b5aacffa4a9bf251430d219793871079a229c","datavalue":{"value":{"amount":"+0.9402299","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":"Q5883571$CEEBA45F-E7E6-4151-9EF0-ECA971E05BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e58fb03a2423540659ac96248731fcdd04e32","datavalue":{"value":{"entity-type":"item","numeric-id":2941173,"id":"Q2941173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"149409cb7fb42f62722f069737326ee34fd3c841","datavalue":{"value":{"amount":"+0.93774164","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":"Q5883571$83F101C5-8FA0-4074-BED8-0496A06650B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e234375c4e29f9bad405686e399075eaa423aeee","datavalue":{"value":{"amount":"+0.9220023","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":"Q5883571$40D28603-03E7-4C3D-B3B0-13C700BAC233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab116f62a0b733ec0afd5e508aec01a388df675d","datavalue":{"value":{"entity-type":"item","numeric-id":3685173,"id":"Q3685173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c811b8f172ad6412030e403cd726b77369ccdaf0","datavalue":{"value":{"amount":"+0.9196128","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":"Q5883571$26FCC1D4-68F6-4563-8ACB-8DFCCCC4581A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51aaa25ebb07ee12b83c51af98b12f5d8616b46f","datavalue":{"value":{"entity-type":"item","numeric-id":2151230,"id":"Q2151230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb5e8a456ca6e80abcf0ea409282df48753d5892","datavalue":{"value":{"amount":"+0.9187865","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":"Q5883571$AE138730-651F-4DA3-A0B2-2272D68A42AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14762fd90891727bde9fbdab22337ae840f990a","datavalue":{"value":{"amount":"+0.91865337","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":"Q5883571$2EFEC220-ACFD-4E39-B37C-037C1EB9F743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea1dcbf7babc2f964f96a9177f5f230bbf81282","datavalue":{"value":{"entity-type":"item","numeric-id":3816961,"id":"Q3816961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3efe5680beec556e279d49870f3d62c2274fda58","datavalue":{"value":{"amount":"+0.9139492","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":"Q5883571$70A6A228-E2DD-4DBD-9F73-6288B6CDAB61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5883571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5883571"}}}}}