{"entities":{"Q6504361":{"pageid":14083314,"ns":120,"title":"Item:Q6504361","lastrevid":103437095,"modified":"2026-06-06T07:22:10Z","type":"item","id":"Q6504361","labels":{"en":{"language":"en","value":"Universal Algebra in UniMath"}},"descriptions":{"en":{"language":"en","value":"scientific article from arXiv"}},"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":"Q6504361$6F64EB42-3CD0-4F5D-AF10-29DC7A7B1F26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f792c93e620bdab5a844bddcd02f5a6fc622a1a0","datavalue":{"value":{"text":"Universal Algebra in UniMath","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6504361$2171A9D3-C930-43D9-8433-8AC016AFB86C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c57a0d1f62d0ca0f4f2a479750cecec4923e5b40","datavalue":{"value":{"entity-type":"item","numeric-id":281280,"id":"Q281280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504361$B60B9B4A-95B5-407E-846D-822096A1BDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cd380a57bd61a6cb85dfd8fc1c888e9a27b1dc3","datavalue":{"value":{"entity-type":"item","numeric-id":6504360,"id":"Q6504360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504361$271BFEB9-3929-441F-9DF6-AB16AE5B6C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea229d5c7d566db264a7e69175c2b14cf582fccb","datavalue":{"value":{"entity-type":"item","numeric-id":438545,"id":"Q438545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504361$FFA1DCE7-8D22-40E2-ADC1-140837F8A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e7d692191b67bbb24ac678c3610c7474581e82c","datavalue":{"value":{"entity-type":"item","numeric-id":2062202,"id":"Q2062202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6504361$4FCE3A92-4041-46BA-9F35-D8D9991291B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6504361$5FE55170-550C-40A8-BC1F-6B19AA1FF6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6504361$3E4F13EF-320F-42EB-AD6A-C020A3CF7025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6504361$A3447A10-2616-41DF-9A89-8439E12C1584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6504361$C4C9675B-0DC9-407C-A796-EFD0D524BA3F","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":"Q6504361$D5DCE635-3F34-472D-98F1-3C16B379FD12","rank":"normal"}],"P21":[{"mainsnak":{"snaktype":"value","property":"P21","hash":"d1d83bf73a7942f5c50db962666b78354a1b1aad","datavalue":{"value":"2102.05952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6504361$899FB9BC-C432-4B45-B507-738B848681F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal Algebra in UniMath","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_Algebra_in_UniMath"}}}}}