{"entities":{"Q2866734":{"pageid":2877454,"ns":120,"title":"Item:Q2866734","lastrevid":83943317,"modified":"2026-05-07T14:50:11Z","type":"item","id":"Q2866734","labels":{"en":{"language":"en","value":"Computerizing mathematical text with MathLang"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6238548"}},"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":"Q2866734$5F152221-585A-4281-A547-5B103E30281F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e39edc26ad7c753443d07cceafad4af137e1ae04","datavalue":{"value":"1277.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$5E3A6578-2F8C-44B5-BFA6-0483A913D576","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789e7d13968ff4d1bb0c8502c94008354a07915","datavalue":{"value":{"entity-type":"item","numeric-id":195251,"id":"Q195251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$5AC780BF-3473-4A87-B28B-8D1A3A476718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a2269dc8ff52b10e3d04be8d12a89f73e958388","datavalue":{"value":{"entity-type":"item","numeric-id":334148,"id":"Q334148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$C9F3226A-DA5C-49EE-9B82-62F7E22BBC17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$9921D61D-022F-4BA1-B5D4-8F31DB89A68A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53717fa6c8d29b46d6a34473fd09757844b25aa8","datavalue":{"value":{"time":"+2013-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2866734$AF6CD054-4D85-4FBB-991A-6615906FCCE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$8C4EEACC-321C-4005-BA5A-2652259D5255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$1A069630-C855-4512-9CD9-409C72E8BE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$E7B178CB-BD13-48B4-A931-F78EB801FA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$BFE8075A-F009-4F99-8592-B203C7DB70FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe624c987dd44aedec6f490258b577a551e77745","datavalue":{"value":"6238548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$E3DC98D3-86D4-41D8-BC7D-34D62476ACA5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4e7c408aec7731748e8ff0bc3e910c03cc3320","datavalue":{"value":"mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$ED9E1A47-8BDF-4C12-A0B8-8EB29CCCC4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df1135dfd165c1e44c43a246eb193f879196ba40","datavalue":{"value":"mathematical vernacular","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$F2B836B2-9AD2-4FB1-BC2A-70CD914D0C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3f9d5980ac41dbfa24051da266a4507f11909d8","datavalue":{"value":"mathematical typesetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$58F4FA47-89D8-46A5-BBF8-8125399A1210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b8b62da11890aecf723b21f49fcff64d7043211","datavalue":{"value":"logical foundations of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$69EAD787-54F8-4554-BE39-E6752F76B642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$3A737C20-5509-456B-B2AB-07BD7DD13112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37bd8882071494445777f9f995e8e72eebe1c8c","datavalue":{"value":"proof checkers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$4DCFF278-0434-4ACD-8F9C-3055E8A556BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2866734$DC26CB78-369C-4655-9ED3-C46682139778","rank":"normal"}],"P1463":[{"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":"Q2866734$0643A0BA-0763-4902-AD86-052F61E8071F","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":"Q2866734$94B91341-2F07-4C79-9935-1E927F4D4CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$D59C97DF-2B13-4939-9524-82E3FCDD6641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1c3bebe77adf598f50deb4742409c08fba85245","datavalue":{"value":{"entity-type":"item","numeric-id":17495,"id":"Q17495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$3A29FC88-22A3-462C-A5E3-3C3C9AE2DF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$763EBC3C-03C1-4794-96DB-32B74F64880B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"380b73281230ba107ea03e5a076e3622efee27f6","datavalue":{"value":{"entity-type":"item","numeric-id":33164,"id":"Q33164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$710C6A81-E415-4F3C-8FC4-D31002899D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ed4578a9e59fc37a289203f209d4dda4485f87a","datavalue":{"value":{"entity-type":"item","numeric-id":18755,"id":"Q18755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$721C44B9-5610-4A56-9C49-F3D8F5D15CEF","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":"Q2866734$AC9054DC-4AA7-4784-A342-F18592F7C348","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8439041ff792ac3834674f1490676bed66c4e0a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.063","type":"string"},"datatype":"url"},"type":"statement","id":"Q2866734$E4F88438-EEFC-4FD6-A746-4CAA5F967FFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09ace32eb1811a21384d11732e1df32d49ec8260","datavalue":{"value":"W2132783187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$620F5B35-4A6B-48BD-9A35-38BCDBEDEAF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7d01517d5946f7b490e527f2cfb73be29e8c1","datavalue":{"value":{"entity-type":"item","numeric-id":4664918,"id":"Q4664918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$E4957BD6-8FDE-4157-B680-0AC2AD68D666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dd605a53203d04fc0bbc478ed4034eed2988dd","datavalue":{"value":{"entity-type":"item","numeric-id":3069645,"id":"Q3069645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$8158C2A2-EC89-411D-8C77-69F9F913E686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$C9AC2E34-ED02-4130-82C0-B98BC54C10DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f33828376fb09a1c4901dc70fc1e29785f6219","datavalue":{"value":{"entity-type":"item","numeric-id":3268374,"id":"Q3268374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$896E4285-1945-498F-9F4F-CA67C143D057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c73841be7a036aa750445338a117e9c666fa27","datavalue":{"value":{"entity-type":"item","numeric-id":3589835,"id":"Q3589835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$13E1F117-013A-4847-B447-56B48CB673F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$2669A25F-B4C2-4082-A1E1-9EFAB14882D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34070298881ffe0d4f53738836dad999109b0f75","datavalue":{"value":{"entity-type":"item","numeric-id":3234138,"id":"Q3234138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$B1162B0C-8475-45B1-91D0-4A474EBA3A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47cc5718e35e57ae39d15c74967403e17f65b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1887432,"id":"Q1887432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$161C99F2-16E5-4C35-A3D2-1805B860ACD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410b8c984f73177d7f425a239cad93feffcb7ce8","datavalue":{"value":{"entity-type":"item","numeric-id":5428277,"id":"Q5428277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$8EAE8388-7221-4F7C-8B07-DEADE273C778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1026f081210fc472eabb997b7db5fc496ffdb1c1","datavalue":{"value":{"entity-type":"item","numeric-id":5428279,"id":"Q5428279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$05179880-ABA0-4000-BFD6-4C94101B19EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a42978edf5a8d4e82887088e56405aaa3268acdc","datavalue":{"value":{"entity-type":"item","numeric-id":5313055,"id":"Q5313055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$FE374026-D49B-4CA5-AC85-E1BCD0E2C8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33058b26cb2bd7e1137deda47982318097542939","datavalue":{"value":{"entity-type":"item","numeric-id":2847398,"id":"Q2847398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$DB38E628-9B2A-47D6-AA32-9F27CF4B1AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71ada9f7035e8b1319eba64ba91e12d3c7c0a871","datavalue":{"value":{"entity-type":"item","numeric-id":5898522,"id":"Q5898522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$4290CA58-1CB7-4C28-9B69-12329C9879D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d1efaf3011598847d3954f457cae839aa26e35d","datavalue":{"value":{"entity-type":"item","numeric-id":1876109,"id":"Q1876109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$01EF4935-94F5-40E8-8A2B-2698D5E6EA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b612fdd714b5878cd744b28a275999390447487","datavalue":{"value":{"entity-type":"item","numeric-id":5756772,"id":"Q5756772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$97197B7B-3740-4734-B0C5-8EC255B56959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4d2a11191b941ae5a6e5a0de7dfd478d3ae770","datavalue":{"value":{"entity-type":"item","numeric-id":4436195,"id":"Q4436195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$761BBC1A-94AE-4796-A93C-D21662EBCF2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$5297B6DE-CAEA-4909-9C98-E2532CDA6D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5928533f1a1251f0d11dc18c7b4ce473f48af9","datavalue":{"value":{"entity-type":"item","numeric-id":4187337,"id":"Q4187337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$850B7E94-6AC4-44FC-A84B-8A46C17FDD6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c89d163ec2cfe20cdcef09243a785a3cf35ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5573940,"id":"Q5573940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$A544C686-25B9-494A-92EA-165B868269A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8aa91c4a25127242fbd0312c544462443894c6","datavalue":{"value":{"entity-type":"item","numeric-id":3283891,"id":"Q3283891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$E0C53E30-3DA8-40C8-87E8-DA080FCB5243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2503feeec7eab5bebfae2eefbab2a7d275b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2866734$87CAE71F-1AD6-4E2C-ABE3-41D48FA2D5AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b953d1f7c4a7a44450ea5ca2c63bfa8e5bc47670","datavalue":{"value":"10.1016/J.ENTCS.2008.03.063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2866734$95EB7556-40BE-4308-A850-8C747DA910FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fb65a9ce093e82c32aeaa00d901ca2440d20146","datavalue":{"value":{"entity-type":"item","numeric-id":4221208,"id":"Q4221208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ce6f8a053941f8009ab683d6a6136f42a129d0f","datavalue":{"value":{"amount":"+0.8865341","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$37BE287B-2596-4FAB-82AE-2B69D635EB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7309270df68b5b0cacc79f0be50ab147d1dd6a8","datavalue":{"value":{"entity-type":"item","numeric-id":3989061,"id":"Q3989061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcac98bd8035c275ffd6ea83a97144dd17058460","datavalue":{"value":{"amount":"+0.8704355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$6C5BFDA3-6E53-4D50-A392-40C3972B5805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"251caf1878a3e0306162ac017fdb5ecef03cb89c","datavalue":{"value":{"entity-type":"item","numeric-id":2847398,"id":"Q2847398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bf70453a573465d0d72604e4fec2fb7ba284ee","datavalue":{"value":{"amount":"+0.8663981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$443F6140-9D8E-4A36-B7E2-C5E719DD9570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9739796fddd90f3aade40de8760cbde76ac575c","datavalue":{"value":{"entity-type":"item","numeric-id":5428277,"id":"Q5428277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a421fc1b3abad34ab2ac51ff28f98e2935fb746","datavalue":{"value":{"amount":"+0.86376166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$61C57C4B-7DF0-4C00-814F-89B7FF53DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ae34fdad1c3de6f52233396721d30e865c0d78","datavalue":{"value":{"entity-type":"item","numeric-id":5195276,"id":"Q5195276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a701a5784f74cd2c19bcbf6229071db57642d78","datavalue":{"value":{"amount":"+0.85364264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$9E8870FA-FA41-4C36-A71F-5C71BB37609D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a7a7614798bc336a939942ec77625c7e8f79a9","datavalue":{"value":{"entity-type":"item","numeric-id":4227355,"id":"Q4227355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4a4789f6abb2023e497f91e78bdb6dbf71d3466","datavalue":{"value":{"amount":"+0.8504498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$121EB605-3998-4017-9E7F-B8567110BBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"499c96a1fdd11993890f1774781c3fc9c27fe180","datavalue":{"value":{"entity-type":"item","numeric-id":5096574,"id":"Q5096574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2001c69b10b420017b7bad28a9088fb37c41bf56","datavalue":{"value":{"amount":"+0.84640753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$63CA8593-E030-4595-B550-CD03852A206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41989a4f727ebaf94d992d7cb8eedcf993fcf285","datavalue":{"value":{"entity-type":"item","numeric-id":6041451,"id":"Q6041451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107211eaa059e2039a9d8d8aaa4dfe777f438afc","datavalue":{"value":{"amount":"+0.84629655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$C420262F-5FDD-4C48-B13F-E61EF576B657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e97ea85747dcd5b81fccee67826557ad7cdbb4c","datavalue":{"value":{"entity-type":"item","numeric-id":4234336,"id":"Q4234336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cd46815f00e2f1ad14804366256672eb6b6450","datavalue":{"value":{"amount":"+0.8451355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2866734$DE53AD95-AB0E-4FB5-ADFF-A8C48CA6D81B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b786f1217ed459bbe55d14e7adc67e49ee92594b","datavalue":{"value":{"text":"Computerizing mathematical text with MathLang","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2866734$EAF796C3-2A1B-4F3C-B90C-E11715FEE582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computerizing mathematical text with MathLang","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computerizing_mathematical_text_with_MathLang"}}}}}