{"entities":{"Q6653090":{"pageid":14264247,"ns":120,"title":"Item:Q6653090","lastrevid":42406974,"modified":"2025-06-15T08:24:11Z","type":"item","id":"Q6653090","labels":{"en":{"language":"en","value":"Single-set cubical categories and their formalisation with a proof assistant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7958426"}},"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":"Q6653090$86443D89-D66F-4A06-8F0B-0891DEB7CFB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28c39b5ecd41c24593931c5e64c72c2b62dfae2d","datavalue":{"value":{"text":"Single-set cubical categories and their formalisation with a proof assistant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6653090$A2874BA5-8385-47B2-B8E8-C200B71A0773","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ae4b969fbc1559ba70a4d3e9cf79030bab6ebc1","datavalue":{"value":{"entity-type":"item","numeric-id":456806,"id":"Q456806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$7230AABA-A543-48B4-B028-DD22454B0240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a78f5b1f1665de9bb8405fa20888559742379fd3","datavalue":{"value":{"entity-type":"item","numeric-id":6518087,"id":"Q6518087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$08856AF9-E5EB-43D5-B1FF-96117A898380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$4186B8D1-5F42-48F4-8FBC-72AEF4C03251","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":"Q6653090$057FDB94-4DCC-464F-ACF5-4938B8E9488E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36a753f28d83967922d073eae3d7f7df264e02ed","datavalue":{"value":{"time":"+2024-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6653090$A6DFE727-A019-4AF8-8DCB-91DF1E5016C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653090$1233ACA6-A4E8-4C9A-9001-16782BC66F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d7c4df303aa84b1ec2f7e45b851ac2b5bb770c5","datavalue":{"value":"18N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653090$70D67DED-C08A-4D7F-8EBE-14FAE451D889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653090$BF31372A-D78E-43F8-B847-4D0A807B6D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653090$958C910C-C58B-4F3C-9F4A-40D47BF8DCEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dabe25a2133d8ef7414d03b3cab1a75b315fdb44","datavalue":{"value":"7958426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653090$5B3807C8-CA39-49CB-A365-431782E25173","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d4abe86abc106703e2cb01d7d19d9fa3a28b00","datavalue":{"value":"cubical \\(\\omega \\)-categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653090$E2049CE4-F11A-4E36-9CF0-50F006A6C083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c908e3891683d83ddbcdf71fc30e31eab2e1172f","datavalue":{"value":"formalised mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653090$59F33EE0-3191-463B-BEC6-0BE7A2DC9625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653090$ABB79C83-F3BB-44CC-ADFB-30287A0C2629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2c7a67b020e5814c994a88f71e5885ee8a23b68","datavalue":{"value":"higher-dimensional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6653090$AF9287B6-6C1E-4097-82C0-FD862CFC0B31","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":"Q6653090$12A30520-4D16-4211-84CD-19A1C369DB06","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4837042b7af559f1c76ea177bdd27045e38752","datavalue":{"value":{"entity-type":"item","numeric-id":1849218,"id":"Q1849218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$E343AC05-3B19-41A0-AD3F-2CC2B4C65B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f6f04e0829cea3174d08000975cc9f5ac02599","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$470B0A13-4654-433C-A5B0-7F2DA20E6736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$A072AAAE-B73E-42B0-AA8A-97325768BFA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a81b20c39194198bd8522651b2e5f3384f964d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2209550,"id":"Q2209550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$6E79178B-4FD1-4BE9-9306-DECF5B9F49CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$67B70C09-C22C-4681-B47B-FC3BC22F135E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51636923ea16744023bd5fc2b9721836eb3ae76","datavalue":{"value":{"entity-type":"item","numeric-id":2257308,"id":"Q2257308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$4EE4AC69-0300-44E0-A5F8-6928EFEF719C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$F82E3AB7-DDAE-4FBC-8556-923157274294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2474dddf4d0718a97eaa90dc970e977a75057fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2319981,"id":"Q2319981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$1536B749-B413-4234-B2ED-812E747CA3B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24afb900902be47b689eed286762af70150039de","datavalue":{"value":{"entity-type":"item","numeric-id":1159912,"id":"Q1159912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$9E1A5633-4863-4638-A6C0-81213E3B9144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee6e0da6b392fe02b06ab0ec6ebfa791bc0981d","datavalue":{"value":{"entity-type":"item","numeric-id":3948322,"id":"Q3948322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$99906276-748A-4586-B184-479FD63D0DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4fc907233110cf6ea798294c0827e01035d68b","datavalue":{"value":{"entity-type":"item","numeric-id":1156392,"id":"Q1156392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$6110DE30-F5BA-4D81-9F02-591230F2898C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d07beeac4e2dbef92d2a7fef9465163fc6a5692","datavalue":{"value":{"entity-type":"item","numeric-id":1090970,"id":"Q1090970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$6073D125-DE34-4B98-BD7C-027F3A8EC32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42693690bf5a0c496ce3cf6960b7121c92c48a3","datavalue":{"value":{"entity-type":"item","numeric-id":4111748,"id":"Q4111748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$AD41BFE3-18A8-47C7-9DB6-B563744B3D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38c59c4f1c099bf3aa105699227af5848a751ebc","datavalue":{"value":{"entity-type":"item","numeric-id":636218,"id":"Q636218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$44723F63-C4E2-4744-BCDF-D6154F001453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c97c6bf555d4d4899d14984ac2ac66750bfd3e3","datavalue":{"value":{"entity-type":"item","numeric-id":5060195,"id":"Q5060195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$D5F16B7E-4300-43EC-A226-AF160EFA6A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$32C3FD2F-13D8-4E1F-A211-750BFE17C3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"141cd678e1130d844a8e97f5edc14c22d3325fe9","datavalue":{"value":{"entity-type":"item","numeric-id":2686581,"id":"Q2686581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$6A735577-4E2E-4201-8AE0-F1AF8C5FEA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c2cbb2bf8af8fbe11bad5070e570df4153428a","datavalue":{"value":{"entity-type":"item","numeric-id":2500494,"id":"Q2500494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$62459217-8B16-4FCF-90D1-863DC25127DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3546b46a649fed581f9d6598ad032e6407f2b021","datavalue":{"value":{"entity-type":"item","numeric-id":2515156,"id":"Q2515156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$CF6F1ED6-7413-4F23-AA10-F90B238C01FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dfb124f04bfdfe8aadf6c513fa09542cea2eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5731806,"id":"Q5731806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$4DD1C921-27BA-4E29-AFB7-2FC94773047A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65a7c62d8ac53263b35784497f41cc4b969cd3f","datavalue":{"value":{"entity-type":"item","numeric-id":3995720,"id":"Q3995720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$DF2D2F3C-E343-44D3-84D0-7966A45ED328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a16cb3de41ef02b5a9305b03bf26fc821592ed4c","datavalue":{"value":{"entity-type":"item","numeric-id":5277895,"id":"Q5277895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$12F2ABB0-DEA6-47BD-93A6-D4507F50B3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"587fa8dcd7ab943ef67e1c65a404b719762ec576","datavalue":{"value":{"entity-type":"item","numeric-id":4507891,"id":"Q4507891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$F4956FC9-FD7D-44D7-927C-456CFA41D959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821f59f0e2ee140d81e5f1c93808fcc93235fd94","datavalue":{"value":{"entity-type":"item","numeric-id":3146269,"id":"Q3146269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$D493761D-2364-4110-BF1C-A0323F7B1E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f6ad6248b3890c879e9234fc5920f0f38d257bb","datavalue":{"value":{"entity-type":"item","numeric-id":3594563,"id":"Q3594563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$0B419AB6-6DA2-43A5-8F83-4FE300B7B63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075aef123e914ffa4ca172c6bf161c17d1e17998","datavalue":{"value":{"entity-type":"item","numeric-id":3625520,"id":"Q3625520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$04B5CF24-836F-41D3-8271-966A674920F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061330ec723895e16c808cc360689cd54925612","datavalue":{"value":{"entity-type":"item","numeric-id":4707052,"id":"Q4707052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$558E5816-2D5C-4439-B7D6-F1872B1FEC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1bb9f09803578a9b141d787cf70b941ab80b27","datavalue":{"value":{"entity-type":"item","numeric-id":456807,"id":"Q456807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$803C7238-B967-4ED8-AB87-656CF32DD010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5650e006ce041a22546a6993741a10ea6bac8c83","datavalue":{"value":{"entity-type":"item","numeric-id":3130298,"id":"Q3130298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$2890A9C7-90BF-429E-B007-ADA5972952B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"834fc1fdbf82d6d8873b059db26617b7bff977d3","datavalue":{"value":{"entity-type":"item","numeric-id":2272945,"id":"Q2272945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$F53D6919-3274-4E85-B522-B02B59DF9F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a50fcc90518a182dd6733d1d9d1210c0f8007aec","datavalue":{"value":{"entity-type":"item","numeric-id":2324599,"id":"Q2324599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$E4852E15-4D28-4EA1-A75F-ECA6A0810776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5ff024eb03013723e59a7d51bba6f058f3d2fb","datavalue":{"value":{"entity-type":"item","numeric-id":5850160,"id":"Q5850160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$4D47B47E-E64F-4612-A8F5-B91B45073553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$590ADD23-6769-451B-BA9B-D393D8EB062E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669fedf0853a649f3d7988820057ced4d5b868b6","datavalue":{"value":{"entity-type":"item","numeric-id":1167450,"id":"Q1167450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$3A93BBB8-C19D-4E0A-BD7B-7B301A02AFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df14e1fc1f633e66ca62f2e65af1fb07d15a1703","datavalue":{"value":{"entity-type":"item","numeric-id":5220186,"id":"Q5220186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$DDA3ECEF-3180-45EE-B4C3-9B8549B9C50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e916037e73fd363478a89d072e59756b6b25e090","datavalue":{"value":{"entity-type":"item","numeric-id":5787927,"id":"Q5787927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$16FF26A2-F5D8-4935-A2B1-3D1A928EF76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cd17aad84f745ffe3b85603ec34de24ae4ea2f5","datavalue":{"value":{"entity-type":"item","numeric-id":6134654,"id":"Q6134654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$2B61386A-1E39-45A8-8436-E54D6A940DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd95195afffe55ce3fca7a3946350993e9436c84","datavalue":{"value":{"entity-type":"item","numeric-id":846036,"id":"Q846036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$BBF0D145-BAC3-4E61-BE40-FF4DC42311D8","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":"Q6653090$33D74927-5531-460B-97EE-F334B2CBBC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5abcf41fea649615601f486008c895807c31c664","datavalue":{"value":{"entity-type":"item","numeric-id":2649877,"id":"Q2649877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$1FC3D8D9-0F9E-48BE-A0DE-54EC215DAD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc9d75e7affbd4b03aa350af1fed52afdbc067f3","datavalue":{"value":{"entity-type":"item","numeric-id":1770298,"id":"Q1770298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$25BCF772-A6A9-4562-9B56-C8FDB3679279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$A722A1EF-080B-4499-B2D1-3837F42893F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3386a1f6515ff45a57d9529980ca986927fe9c72","datavalue":{"value":{"entity-type":"item","numeric-id":1194302,"id":"Q1194302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$55BE3889-CA24-4A3C-873C-87A91CB84C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3916113c855be09ff7c725f2222d49866271f77","datavalue":{"value":{"entity-type":"item","numeric-id":2491631,"id":"Q2491631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6653090$18C91351-1C2C-4780-88B1-22FC3D8587D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42b082a31c6b3321ba284a0361f45ce19552511e","datavalue":{"value":"10.1007/S10817-024-09710-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6653090$53F2CB17-8D6B-4862-A72C-F18C485DCC8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6653090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6653090"}}}}}