{"entities":{"Q53727":{"pageid":53783,"ns":120,"title":"Item:Q53727","lastrevid":105428831,"modified":"2026-10-09T10:10:42Z","type":"item","id":"Q53727","labels":{"en":{"language":"en","value":"Jacobson_Basic_Algebra"}},"descriptions":{"en":{"language":"en","value":"AFP entry Jacobson_Basic_Algebra"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"ed2af25206639eb8cad4dbc923a53fb99ba8baaf","datavalue":{"value":"38027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53727$D1AD73D7-3039-4C81-B814-14B716E06C14","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$261CBF68-256B-48E5-A4E1-B5EEAD98D818","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"c786efeb92d4ba185667d05d3a50e608150c535b","datavalue":{"value":"https://www.isa-afp.org/entries/Jacobson_Basic_Algebra.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53727$AD5CDFA8-447E-4416-8F6B-D3810CD544C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53727$9E4DA647-5F63-4BA5-B706-81775D86271A","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"13ae3f845554b6de74a7e1ab0f17b460dd2e97bc","datavalue":{"value":{"entity-type":"item","numeric-id":41250,"id":"Q41250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$2BEEE956-0AC5-4750-8F30-6398AF832DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ed15eb8701a335444fde1bcc3327d1067ce64751","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$67DE01BF-90CD-4509-AB59-FADB24637161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$0F0BA676-8686-4740-8108-3820B4EB72F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$2DEE919E-8F4F-49C5-880F-B5EC674E52AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1cf582b1819623d8d4cf80820bebd86ea9aabf6f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$D1F4B4C4-1096-4E85-B87F-664A6DBCADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$C00E2E6F-F513-4AD3-A211-36851CA84F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"03281999c3208b8f3a62eaceadadf1ce834fe219","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$B2681A29-A68C-4FAB-822B-8E59C4ACA18B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c01178fba1e783ab97c2459e88c55637d785cdbe","datavalue":{"value":"https://isa-afp.org/entries/Jacobson_Basic_Algebra.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53727$6AF74AE8-E08F-428E-8756-34FA3897AA5D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"bf9676929d90cf3f0975f8e42c61300227d9a751","datavalue":{"value":"Clemens Ballarin","type":"string"},"datatype":"string"},"type":"statement","id":"Q53727$1FB8FD16-101F-4B04-A554-1A3A3FBD69A7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ce178a128b101c46065d2472ff2f7989359ed32","datavalue":{"value":"The focus of this case study is re-use in abstract algebra. It contains locale-based formalisations of selected parts of set, group and ring theory from Jacobson's Basic Algebra leading to the respective fundamental homomorphism theorems. The study is not intended as a library base for abstract algebra. It rather explores an approach towards abstract algebra in Isabelle.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53727$EDC92757-3044-413C-BBE4-990AE7BD8FF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"420048f440b3666e5a524a105e1a9e47ea22c546","datavalue":{"value":{"time":"+2019-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53727$37767E7D-EE3D-4EAF-9972-91FC1FA08B81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6491ed3c5266d911d186b24929828868f32a1a53","datavalue":{"value":{"text":"A Case Study in Basic Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53727$905EC504-3EC9-4D66-8FB7-06ACCF345B15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a6946d86cd70b1df31472de5e56aa19bc21d785","datavalue":{"value":{"entity-type":"item","numeric-id":3222326,"id":"Q3222326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$D0287408-B401-4787-8F16-8F36E64D913C","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$A76BBA1A-98B8-4B65-AD27-9F9D1E441F26","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53727$2AD61774-C33E-46E6-BB0C-70B8D79C281E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Jacobson Basic Algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Jacobson_Basic_Algebra"}}}}}