{"entities":{"Q6552501":{"pageid":14163656,"ns":120,"title":"Item:Q6552501","lastrevid":57126867,"modified":"2026-03-26T17:25:31Z","type":"item","id":"Q6552501","labels":{"en":{"language":"en","value":"Schematic program proofs with abstract execution. Theory and applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7862266"}},"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":"Q6552501$0DDB6BF7-9DAF-4E7A-A3C0-2FC38A99498C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c09a0a737b9b5ebd2ca95220950e0339db24c55","datavalue":{"value":{"text":"Schematic program proofs with abstract execution. Theory and applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6552501$204D77DE-8792-4B8D-8D1E-7D8F481F5902","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6c406ecd06b3ea55be08348408af877a7eddfda","datavalue":{"value":{"entity-type":"item","numeric-id":777888,"id":"Q777888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$96DCCA85-D895-4FA2-A807-50083E998572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$B0E9615C-D41F-49A2-9DA8-D1F352F15D2F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$A0738373-3497-4094-803C-F8B79CE40443","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cecc8d7d8d08573711fa21dc224c9ea5cd3eb97","datavalue":{"value":{"time":"+2024-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6552501$55D3C3FE-8A12-4613-983D-FA56A03123A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552501$7479A791-CC05-49B0-A594-ACF2F53B4F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552501$0A0B7895-4B43-4917-B604-672A5C4DB6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552501$989E3607-1D36-44D9-8FF5-5FEAFEC1724C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d425ec5e2f346ccdca0fd813418926483a807675","datavalue":{"value":"7862266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552501$31674DEE-BF25-4289-BC24-291661B697B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03fb1cfabfb1a5ef671f6335beef5cf0cd8947a5","datavalue":{"value":"schematic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552501$9B9A63E0-34B8-4FA7-916B-F9FFD0EBA825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552501$6A39A88E-B7A6-46A6-86F9-4E6A264E130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552501$07EA89EB-5059-4326-96B6-B62295B6F2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552501$77353E37-7E7C-461C-9CF2-6C6DFA242F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be54742c6e7b95e1641d76eaaa894077905bdc96","datavalue":{"value":"second-order program properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6552501$61CEA26B-ABD7-42A6-85ED-ECAA5BB45CFF","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":"Q6552501$0A7D201C-0CCB-440F-B7DA-08E28CE2D94C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$9855E9B0-59B7-47A5-919F-423BDD3D2926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$B1BA6977-BA74-4A48-950E-AA0B2359A802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee9d5f4efce57aad8d86642a198daf9ff288bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5387854,"id":"Q5387854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$9A757CAA-9CF7-4A0B-AD4D-9E2C656D628B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a02329ed016e9a79590aea49d3fad62fa533e84","datavalue":{"value":{"entity-type":"item","numeric-id":2044174,"id":"Q2044174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$A67CDFD0-EC7A-4A83-B487-2EB85E277564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40cca6599fff5f7902854c8c04eaec40b3f585b2","datavalue":{"value":{"entity-type":"item","numeric-id":2871841,"id":"Q2871841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$B94D6BB3-A74C-4D88-A257-477BB389A03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346fedff4e142fe20c191c9f13788281f5edcbfd","datavalue":{"value":{"entity-type":"item","numeric-id":6536349,"id":"Q6536349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$FB0027C0-0EEF-4394-A884-FC9886F60AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$A328AB8A-527A-4BDE-B82E-C93BCD4FAA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ed1ae4721b8360bb1d98cc58b97b3bb1ecbf80d","datavalue":{"value":{"entity-type":"item","numeric-id":3923571,"id":"Q3923571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$5A90747E-7002-403C-8602-74D9793B8AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"432347ebf7758fa5347be4c601bf2d08f68cb652","datavalue":{"value":{"entity-type":"item","numeric-id":2055901,"id":"Q2055901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$15A51C15-7904-4418-977D-D8CC6A1F2EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$A8C57863-26CF-4ABE-8F5F-8E0CF88A76B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb0cd25ca8cb587f2dbd90df962e8cb132d872f","datavalue":{"value":{"entity-type":"item","numeric-id":4743718,"id":"Q4743718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$53DBA89C-1369-4E72-837E-F55F9F2BB474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$AE240592-1490-4EA8-A77D-93C8D8A61D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d69628edd05f84dce6d2485296a67b18006ca92","datavalue":{"value":{"entity-type":"item","numeric-id":2075776,"id":"Q2075776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$05D85007-1BA2-4D81-9D58-4ADD326928B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccbb87d6277e3e0d172f5a2cbebd02ed4bc9f4ea","datavalue":{"value":{"entity-type":"item","numeric-id":4928448,"id":"Q4928448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$1F5F4423-3B24-4DF4-B547-D5E713FFB5F0","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":"Q6552501$DB5A6793-8AAC-4828-8097-4FE4335D9DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"373bdf3ff253672e395dd2cf7913f12715fe140f","datavalue":{"value":{"entity-type":"item","numeric-id":1179698,"id":"Q1179698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$A006ECD7-3475-47B4-91AC-653555FFD6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8adc689ce470baf801dd9e552396e6aeb1014b2","datavalue":{"value":{"entity-type":"item","numeric-id":539422,"id":"Q539422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$D64BCDA3-4A29-4D6D-B0C7-0B7A1C625834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$318CB9A8-F0F5-42E0-8B94-BE2F9DA81A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c4c8cb86930877d8440a71c475d0c772f7c372","datavalue":{"value":{"entity-type":"item","numeric-id":5388976,"id":"Q5388976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$EB527CB7-2134-443A-A36A-D38F3ACB5C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0752e584e73e5e512a0dbdc6f3642a06776294c6","datavalue":{"value":{"entity-type":"item","numeric-id":1606813,"id":"Q1606813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$BFDD21A1-9A3E-4FE0-9D8D-4A82B1A7D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$BEC6B567-7553-418D-BD6A-605CF4AA7D80","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":"Q6552501$C26DBA69-889C-4289-B61E-432331FE92D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb61c5c1ea145b3c800d5c014b2c4590b1c48513","datavalue":{"value":{"entity-type":"item","numeric-id":1707599,"id":"Q1707599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$B7EF4BF9-C444-4DB1-B726-04A35FBB5AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$5101039A-598A-4C1C-8357-026002DEFB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1294a9f149b32a4428893a0339f4128fe743db7","datavalue":{"value":{"entity-type":"item","numeric-id":3067542,"id":"Q3067542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$BABD8376-4D3F-4FD0-A83B-B749308DAB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$71E89D91-DBC4-4B47-84CD-65297630956C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0fba0d20c324a8f629535eb940739ad911423fc","datavalue":{"value":{"entity-type":"item","numeric-id":6535957,"id":"Q6535957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$89917D5C-03D9-4206-8E2C-FAF038C440DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7083e6f7b451f3150f8e9f91f4a3b0bd2210e8b","datavalue":{"value":{"entity-type":"item","numeric-id":777889,"id":"Q777889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$6BCAFD0C-0D04-4646-9A31-A1B688705E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b7dee6e7d17cf76652241ef534151263d94379","datavalue":{"value":{"entity-type":"item","numeric-id":5617313,"id":"Q5617313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6552501$0C5F234B-3455-47E7-B1D0-74792BCCFF94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e96dac348efc12cbb2d176efbefef5fcea21e403","datavalue":{"value":"10.1007/S10817-023-09692-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6552501$27FA42B6-A87F-47A0-9E44-CC473DFA8FF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1041646b64a62915ce0c157c7afab7dc4ab3f49","datavalue":{"value":{"entity-type":"item","numeric-id":6535957,"id":"Q6535957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02661fe0b30c11b21bb335d42db96306751c8563","datavalue":{"value":{"amount":"+0.8516753315925598","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":"Q6552501$1AE86CD8-B9C3-4F0C-920F-47E96886255D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d492cf0c4205087123231f7168581f24ba85741","datavalue":{"value":{"entity-type":"item","numeric-id":2044174,"id":"Q2044174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8dfd035e5f84827adf642b6dd12429e82719f5","datavalue":{"value":{"amount":"+0.7290834784507751","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":"Q6552501$3837F5A7-77D8-40DA-B41C-0D4021F8592F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f1d729a797220bf64ed5d47fa7c476089a479f","datavalue":{"value":{"entity-type":"item","numeric-id":5886168,"id":"Q5886168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af552c2e66661a914e95e80638f5bae2b578d94f","datavalue":{"value":{"amount":"+0.7152787446975708","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":"Q6552501$9EF61AA2-3636-4DD5-B1E9-0282159CE025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4c0d2c51367083858cb103cfe17a7ffa02a5948","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2835017d0b4e458a8f62ce1b3d134d904ab0adf9","datavalue":{"value":{"amount":"+0.714497447013855","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":"Q6552501$1CA928C8-0C1A-407C-84C1-F75BE3000F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f63087ce5a553fd1759974a5dce69dd911090dc","datavalue":{"value":{"amount":"+0.7104254364967346","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":"Q6552501$ECCC4365-FCC3-42FD-BC37-87429F95B386","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":"Q6552501$87F120ED-BAEF-4822-9274-9BF226101942","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6552501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6552501"}}}}}