{"entities":{"Q2209550":{"pageid":2220293,"ns":120,"title":"Item:Q2209550","lastrevid":71553273,"modified":"2026-04-13T23:01:15Z","type":"item","id":"Q2209550","labels":{"en":{"language":"en","value":"Exploring the structure of an algebra text with locales"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7268895"}},"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":"Q2209550$924300FB-E952-46CE-AB61-2A11031C2FB6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3d8835abba2071fcde5e9bf716143bb492463d8","datavalue":{"value":{"text":"Exploring the structure of an algebra text with locales","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2209550$7BB9E625-1D42-48B2-8555-4477DE364F57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4c659cd5f67110f5da967904324ed5a309b57d9","datavalue":{"value":"1468.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$ED46AB23-C8A5-40B9-B058-80BD67138269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$6F287969-86B3-4452-AED4-B138024BD4F1","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":"Q2209550$83208C21-8443-48BA-87BE-2696BB5D145A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4011c0437b0c50916bbdc1f2b0514a4c041c71e0","datavalue":{"value":{"time":"+2020-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2209550$5B0FCBE3-A394-4CCC-A863-FD0E53AF3001","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$11B2C7FD-901A-43F6-909F-6BBDB09B21B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$5E8FBD91-BB4E-4572-BC5D-15D70813B1CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9dc168e9ed92e010d83da3c726f48c272857318","datavalue":{"value":"7268895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$18B63CBD-95D4-4753-93FD-748E55A93A64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29305963469a565eb92060782443e37174cc9778","datavalue":{"value":"abstract algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209550$B2519672-8D57-413A-8AD7-70918EBBEE17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc9283eec564759c117cc6888635408907541c0","datavalue":{"value":"case study","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209550$F0FFA506-91BE-4FAB-881D-47F0BACB4A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209550$78ED183F-7F17-49CA-818D-5F1B9ABDE0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f76e4c6e45d480748f23181265e5d12ca8d72d0","datavalue":{"value":"locales","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209550$A7A09F25-1707-4611-B497-6EA92DD58C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4e770c5268f1041a9ac6fedbfc41045f248ca22","datavalue":{"value":"module system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209550$3085C5B7-E980-43D8-95C9-127F6B87C846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q2209550$67576903-5C2E-4E45-98A7-F471389250FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$37FF0AD1-6C44-46C1-B30F-4117300CF070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$69B3BDC9-4AA2-4F82-B748-5826099E9B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$4F049DB8-EE4C-44C7-A2ED-D18083E020CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19dd471d2dc259f7f02222b689770cc165c0fe0b","datavalue":{"value":{"entity-type":"item","numeric-id":53727,"id":"Q53727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$AA4FAC2F-FE09-449F-9832-B5D24E37D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$B9EF2A72-C16A-4772-9014-368F466F08D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$AD2D46E7-C75D-4884-959C-2BE9BD754CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$62796B75-E739-40B7-89DF-4E7D335CAC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcecfdfcc6b6cde789a5ef307812b238fed9bee3","datavalue":{"value":{"entity-type":"item","numeric-id":41250,"id":"Q41250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$92D80D9C-A5E5-424C-839C-4DB98810C410","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":"Q2209550$E93BF44A-28ED-443B-9BE5-4D3F4DEBDADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b08ab15fb97af7ed9b9f653f13ad5fe308c6a606","datavalue":{"value":"https://doi.org/10.1007/s10817-019-09537-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2209550$561199D2-610F-4A4F-8610-8DB5F9CB18A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ade64a492607b085be7f3d7908c756c0cbfef41b","datavalue":{"value":"W2993571361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$7B1C156E-F88C-4485-B0A6-D71B0907E276","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e05d796bf9697a19f65291283574571722759b96","datavalue":{"value":"Q114689846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$1BA0A038-698E-45E1-BD73-DBD3801C8BDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5454750f5d297118e2d43ae886b47301283891","datavalue":{"value":{"entity-type":"item","numeric-id":928666,"id":"Q928666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$58224277-B8A9-4EF4-AC16-9E64E7AC0B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$B7D154F6-BF88-478C-8971-14AD24CD9C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32397b1095265031d4ab0bf41b38c7753dd5fc","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$7C0726D5-B05C-45C4-BFAA-932CB363236C","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":"Q2209550$2A113117-19B4-44D2-9E42-56F3FE31E78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863dff1ec39c42296687f1c2c5d2b7c1e2903d5d","datavalue":{"value":{"entity-type":"item","numeric-id":2945627,"id":"Q2945627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$F847895B-9446-4E37-B63D-3F0A5DE028B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$9E04D408-35F0-4B51-92F1-03E0FF20603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$057E99EC-EC28-4696-8E80-CD10E98A9673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75dbd6831f5997bcd1e3a90202470be0212b0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$97EBEE7E-1926-4431-B1B5-D82AA03186D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c45d318d795f466432197c656e7084c7e098258a","datavalue":{"value":{"entity-type":"item","numeric-id":4944854,"id":"Q4944854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$DD6F1C05-8435-4C12-B71C-2AF75848B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"398600f288655ed58072c0fe96a764c48f633a7d","datavalue":{"value":{"entity-type":"item","numeric-id":5327334,"id":"Q5327334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$79325190-4699-43B6-BE3C-D28AF3A66D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$C7693538-8DBC-4771-B33F-2AF04B82D470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f3d1ae30c91383ada80e5423ca9f4c05b9f2dc","datavalue":{"value":{"entity-type":"item","numeric-id":5277759,"id":"Q5277759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$60C9A4A5-01CF-4257-A272-E41179759336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c91066f858fa64a799af591825e0694228fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4122841,"id":"Q4122841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2209550$EED34EF9-C0FF-44E0-9A22-F990800B51B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2632ea72747efbd903b7527dcc19c1403cafc95","datavalue":{"value":"10.1007/S10817-019-09537-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2209550$1DC773E7-66FC-4306-B78E-643708EFFCA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2facb9784a7170c9a092f64762e607a4c929eafe","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d00f7d964ee83f0434184b9f37fca56c6bb2f06","datavalue":{"value":{"amount":"+0.8144249320030212","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":"Q2209550$175D15EE-30B0-47D5-8F54-D516C63827E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fd24b865f4828fab0e58deff453e0d79e3a445","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40146da2aafbf671b18d58e07f2960e9e3355e68","datavalue":{"value":{"amount":"+0.8106705546379089","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":"Q2209550$FC70DDC0-03E6-40C0-8CA9-C560D003CD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5c10f469ebd8973e02cfaae23e4767153b3bb7","datavalue":{"value":{"entity-type":"item","numeric-id":2723411,"id":"Q2723411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24d4429353cc74ac98f86b6ae3b75e7086b523ec","datavalue":{"value":{"amount":"+0.78902268409729","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":"Q2209550$91C04FA1-D5AC-436B-A152-A1D9FB3BB459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c013473e7b4cccdc138bb31021c66fd5349a7c5","datavalue":{"value":{"entity-type":"item","numeric-id":4944854,"id":"Q4944854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c5ba061e64bb095c701847013c312c2c5503f01","datavalue":{"value":{"amount":"+0.7595688104629517","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":"Q2209550$3B474FEF-AE40-4E49-8865-3D6147533D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5adebce8da741bcd5685a837c61ec3dbc058bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4810d5c2840da802a7fb723378a305a48a21af59","datavalue":{"value":{"amount":"+0.7540555596351624","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":"Q2209550$29F5DFC9-B1C8-4865-930E-08CBD94F23CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploring the structure of an algebra text with locales","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Exploring_the_structure_of_an_algebra_text_with_locales"}}}}}