{"entities":{"Q6860001":{"pageid":20656639,"ns":120,"title":"Item:Q6860001","lastrevid":84252245,"modified":"2026-05-14T05:36:48Z","type":"item","id":"Q6860001","labels":{"en":{"language":"en","value":"Teaching mathematics using Lean and controlled natural language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8158268"}},"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":"Q6860001$4BE7084A-49BA-4AB7-B6B0-330C91917CEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0681e1a9a45167f6dccb91f0ec216c91deb4dcdf","datavalue":{"value":{"text":"Teaching mathematics using Lean and controlled natural language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6860001$175F3791-873D-4232-856E-40E7A5DFDC91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90f29e179dc99876adb424a6c316123e08833a5b","datavalue":{"value":"10.4230/LIPICS.ITP.2024.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860001$FAC1C2D1-DA5C-4F7D-9337-D282BE9E6B16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0303b6a4a1dd58dd87316d23fce7e7f02f09d830","datavalue":{"value":{"entity-type":"item","numeric-id":431130,"id":"Q431130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860001$69399D38-FD8E-46F0-B07F-0E8EAA4B4E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f115c6be43614d2596ce7cf4daadf566de48c39","datavalue":{"value":{"time":"+2026-02-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":"Q6860001$016BA3B3-C8E9-4793-B858-74D27A1B3D57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860001$15D242EC-1674-45AB-ADB7-65561A2B305F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1316b3d1367c4ec35f3d38bf5e54aaac6ee946e","datavalue":{"value":"8158268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6860001$A3B5F60E-0317-42D6-BBC5-547B2AEDEBD1","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":"Q6860001$4527FA8E-4358-4A61-B584-B8B92C807DC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010e1efe31735b94bdca5ad5bc8396213fe62e4c","datavalue":{"value":"mathematics teaching","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860001$6A58113E-F540-4864-8E87-3CAA78D4534C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860001$ED1203FD-4F96-4FCB-82BF-2087054A91A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56c21f08e858402615d1852fe38efca6e6d91ea8","datavalue":{"value":"controlled natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q6860001$BCFB2DE3-5E6F-4C45-8BC2-FDE3756EB73C","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":"Q6860001$4859CCED-EE8A-4DE7-A9A4-DB381EC0B384","rank":"normal"}],"P223":[{"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":"Q6860001$5B3511DE-E83C-4247-82B5-293A820A23CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f0763657aadcd85e121e9ca732590824f0e644","datavalue":{"value":{"entity-type":"item","numeric-id":6643006,"id":"Q6643006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860001$89BE3E81-BEB2-457E-B670-BB6E55D73EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82cb1e257dda662945ebd1839cf365c3833f0da","datavalue":{"value":{"entity-type":"item","numeric-id":5094129,"id":"Q5094129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6860001$3BB79208-2C3C-4EDC-B5FD-0A939C86335A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Teaching mathematics using Lean and controlled natural language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Teaching_mathematics_using_Lean_and_controlled_natural_language"}}}}}