{"entities":{"Q6145023":{"pageid":13279330,"ns":120,"title":"Item:Q6145023","lastrevid":58715574,"modified":"2026-04-06T10:56:19Z","type":"item","id":"Q6145023","labels":{"en":{"language":"en","value":"Concise outlines for a complex logic: a proof outline checker for TaDA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7785153"}},"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":"Q6145023$59835E1B-0777-4157-A09C-163A215C5CF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c804c11ffde731dd560cfebce63110780346a6f","datavalue":{"value":{"text":"Concise outlines for a complex logic: a proof outline checker for TaDA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6145023$B62F07F3-9BF9-496B-83D7-F975D2BEC481","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd91ad17b7a93cad5bb0243158b9124276417963","datavalue":{"value":{"entity-type":"item","numeric-id":6145022,"id":"Q6145022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$74778263-79B9-4DB0-81C7-9F2A4CF2246E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7806a0e30c5fefb27da104c283adf3df9d71c5ab","datavalue":{"value":{"entity-type":"item","numeric-id":2796034,"id":"Q2796034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$06A56F38-1027-4171-B661-41A1C53F6D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a35f7bcc35ecef12900b8d681e0c43da878793d","datavalue":{"value":{"entity-type":"item","numeric-id":240898,"id":"Q240898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$C97C8735-2959-4AED-928D-28FA11C94EFE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$D6F774E1-5647-45E1-AEFA-37D80E0062BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e50f80f2416051e0e7d7d1cfabce1de8c3ea5bd","datavalue":{"value":{"time":"+2024-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6145023$34C1D02F-153F-4EE5-B510-74D5AABC4BC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05df8b5ec499fa32247b2807b9546e798dd766e3","datavalue":{"value":"https://arxiv.org/abs/2010.07080","type":"string"},"datatype":"url"},"type":"statement","id":"Q6145023$778D1860-51A3-4D0F-B86A-B90EBB4098FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145023$AF2D86E6-7994-4251-ABBE-94EE6AD17EC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145023$D4337196-8CAA-4D65-997E-07ECA0E75FB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9024b3523f14fb5484938423570a9d9e82d67f0f","datavalue":{"value":"7785153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145023$4AE6ED69-A037-4FF3-98B8-9F48FF1EDC3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145023$9180E874-D96E-44B5-A896-780D90055E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3eda5f5f97737225272d0f83baca5c1ab3a600","datavalue":{"value":"program verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145023$56899E86-C183-499C-A581-FD29F3D67E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145023$7984E215-3D97-42FC-BCA5-F83C048A9CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145023$44E85AA8-4FB5-41C1-9CB2-F02AC7A823BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c0ff791bef59c18e0be5c681d736f264593fa9","datavalue":{"value":"fine-grained concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145023$4ECC5D39-9940-4D10-8691-B2A0371037CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6145023$FEE66229-87F9-49AA-B7A9-AD3CB4BA5E07","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":"Q6145023$42994C03-A66D-406E-9069-5D2BDC5D9CA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f5dbfbd9909a0076ec621599db0bc580c608d4d","datavalue":{"value":"W4385418050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145023$B58D5CE6-3FA3-44CD-A428-5AB1EE8A62C0","rank":"normal"}],"P223":[{"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":"Q6145023$38C83ED1-6908-4316-83DC-3ED1C479E763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7ca9d7d4c37cba35ad27dfba84e476bdb59d65","datavalue":{"value":{"entity-type":"item","numeric-id":5311497,"id":"Q5311497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$2BBAEA41-75BC-4A1D-9B85-A9861CF55DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fafe746e3b002ee1de89cad9c41b98e375dad63a","datavalue":{"value":{"entity-type":"item","numeric-id":5311481,"id":"Q5311481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$BDA5A28B-3627-4915-B071-F83F3F3FFF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"796364eeefb9789a01eab3a144d0337d6c23ee01","datavalue":{"value":{"entity-type":"item","numeric-id":1219675,"id":"Q1219675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$FB3A39E7-E760-4B16-8300-29037521657B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9d568636dc034cf5bea0b01c0319383e3edc3a","datavalue":{"value":{"entity-type":"item","numeric-id":5410698,"id":"Q5410698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$2B75A262-BFAE-4413-96AE-7F1C17F5D034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"928940c82f5eab2df5a1704d32409a802ad3f2f0","datavalue":{"value":{"entity-type":"item","numeric-id":5244818,"id":"Q5244818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$7F0A0EE5-DE5A-4E67-A637-5770A24159D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f5a22d9f04e362b8ec930a158e9412e528ccf3","datavalue":{"value":{"entity-type":"item","numeric-id":2802462,"id":"Q2802462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$B3B9FB64-8316-42D9-916B-764330E17410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fa3e0baccd13a31decdefff78dab1089382403","datavalue":{"value":{"entity-type":"item","numeric-id":2988651,"id":"Q2988651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$EEC6BFD0-AE07-4B02-8D6C-82805AA42002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"989ffcc992d1ac31e39a63758614d7ce6f35323e","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$9DD3D51D-8B66-4DA7-90C8-B8AD5C4C2ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60ec3fa11448ba46a63979aff58ae23be2ddbb68","datavalue":{"value":{"entity-type":"item","numeric-id":2151272,"id":"Q2151272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$9F9F9F24-F5F5-4F74-A7DE-10301C0BEBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422aaa623eb5f87aeca9f244e6f007c7eb8ce2c","datavalue":{"value":{"entity-type":"item","numeric-id":2796035,"id":"Q2796035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$54CF9FDE-60F8-4AFE-89AE-1DBEC6FB6126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1d89278057f829a68cd8215a1e83a3013e2243e","datavalue":{"value":{"entity-type":"item","numeric-id":5276150,"id":"Q5276150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$CD66221F-A655-44C0-B699-1FA7C8D94680","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":"Q6145023$5D65F2A8-6F68-47CA-B339-3725B17A40E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"127db5097e77e5b4edc8afc4e762efcd27117ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2931804,"id":"Q2931804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$5CAD4BCC-3E02-43A0-8D98-C94C45C97452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98cee365141e5fa92d7653cbd9339d2b411ec5f2","datavalue":{"value":{"entity-type":"item","numeric-id":2904617,"id":"Q2904617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$6BFD5E2E-4A34-4264-86C9-470F656AB4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d36cd773aabf189aeee9f5a8e88141bd0e8f83b","datavalue":{"value":{"entity-type":"item","numeric-id":2802477,"id":"Q2802477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$B3E1D36A-8760-447B-BE67-2A104BBFE84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b6f86e69e4182fe9dee7c3758ceccac77217422","datavalue":{"value":{"entity-type":"item","numeric-id":4813391,"id":"Q4813391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$314D5841-E1C3-4134-A113-3B33EBDA4ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1182097fb44d1361e09ae16f758d339b08a5ce4","datavalue":{"value":{"entity-type":"item","numeric-id":2988652,"id":"Q2988652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$194A0CC5-B164-4B0C-958B-387412629433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d34476e0fc3213e918db7c48fd221cd690cd8a79","datavalue":{"value":{"entity-type":"item","numeric-id":3612005,"id":"Q3612005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$27179D3E-A0DF-4673-ACF0-70E58C44DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8018fa003f60a008f92d479b6caa6c6649935fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1630044,"id":"Q1630044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$57C2D901-50AF-4B99-B5E2-412618BC853A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbe506beada9bb0831e3665fa451027cf6697b0","datavalue":{"value":{"entity-type":"item","numeric-id":2324213,"id":"Q2324213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$E0F30FF0-D600-4675-B134-FEFB4B3D3176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55fbaa7b570af31cfa5d8e16c655c1bc869851e","datavalue":{"value":{"entity-type":"item","numeric-id":2796064,"id":"Q2796064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$6B55DEF7-115C-4CE4-8172-0117D4D97123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90600d640bf241ff0996bc9c4593429acd22ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5410705,"id":"Q5410705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$723EA37D-B931-46E3-B89F-E19864D90663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b33c59c6f656ab94cbecb956a44c846cecea9cd9","datavalue":{"value":{"entity-type":"item","numeric-id":5145319,"id":"Q5145319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$EBD1419D-7100-4ABE-906B-530E28E64D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc39397aff1a518f386df54d5fcaaed065b005b2","datavalue":{"value":{"entity-type":"item","numeric-id":4625160,"id":"Q4625160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$D1E79F9C-2C90-4CDA-97E5-FD0FB0F0789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$B790ADD1-AB62-4B11-891D-17054A451B2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5530be86a44a39584a9a341b198eec8163a60bde","datavalue":{"value":"10.1007/S10703-023-00427-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6145023$F57D4708-B827-43A4-86FB-875F653854F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc73622dd17a1093cfb9f852be76751bfdd17dc7","datavalue":{"value":{"entity-type":"item","numeric-id":4885878,"id":"Q4885878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74fea6b7b12ebc24adcaf50c33f4a64da14c8a9","datavalue":{"value":{"amount":"+0.7294193506240845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6145023$C43A0630-4905-45FC-A892-54F8A89E4DF1","rank":"normal"},{"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":"64f1721906aea3b937151e3a081815e0ebf85386","datavalue":{"value":{"amount":"+0.7102958559989929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6145023$A98FF85A-FCA3-4927-8741-988D9196D5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"666d3c9e0a0602f2b92fda11efa4cd1f6313cc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3183539,"id":"Q3183539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61563000e6e3d33085cb206995c40c35b4d98a7b","datavalue":{"value":{"amount":"+0.7010105848312378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6145023$F908D6BE-D3F9-44B9-A2A6-FAD99C85C307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0a6160766d56fcc5b54b16a1441c7012255209","datavalue":{"value":{"entity-type":"item","numeric-id":5883571,"id":"Q5883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1753752626fd8958e547d2843428b39007f998","datavalue":{"value":{"amount":"+0.7008959650993347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6145023$E8072F2B-0D13-4EDD-A75A-F6C4FBFD57A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1694d6bf440cb2a8ed659587389564d3cae23a","datavalue":{"value":{"entity-type":"item","numeric-id":3454118,"id":"Q3454118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447b8e9cfa3235062b6483e9d69f9f9743bf20b0","datavalue":{"value":{"amount":"+0.6940886974334717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6145023$3D4EB696-89AA-4D86-85C6-9754E7C894D0","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6145023$12EBB059-51AD-4C0E-B4EB-C1198AC3C312","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6145023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6145023"}}}}}