{"entities":{"Q1798936":{"pageid":1809678,"ns":120,"title":"Item:Q1798936","lastrevid":53239196,"modified":"2026-01-24T12:58:03Z","type":"item","id":"Q1798936","labels":{"en":{"language":"en","value":"System description: XSL-based translator of Mizar to {\\LaTeX}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957953"}},"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":"Q1798936$C4C47072-0486-4F55-9902-CEEA4EC80B41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a661970131c5eae91030edc8c99433c5cc242156","datavalue":{"value":{"text":"System description: XSL-based translator of Mizar to {\\LaTeX}","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798936$9D9ED7EE-EEFB-4201-898D-15F883A5391C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83071ea093a3d9ebc566ced874f9873100d07912","datavalue":{"value":"1417.68202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798936$269A5CF9-8AC1-4394-8AF4-DF2AB58839EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"281ec24e229dcbe9a7fc549680738a2fc658187e","datavalue":{"value":"10.1007/978-3-319-96812-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798936$736A5AA1-5EF4-4BF0-8C28-66B18CF9E488","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e947881a37feaf70ec2d452e5c32ce0e6b540396","datavalue":{"value":{"entity-type":"item","numeric-id":467810,"id":"Q467810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798936$099CAB30-EC06-43D8-8EBC-A50CFC33B6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d21f7099afeef01813dafa96d5f9f9c05717b38","datavalue":{"value":{"entity-type":"item","numeric-id":226646,"id":"Q226646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798936$C68DDDB2-0B0B-4084-B3F3-1B26E31BB97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798936$BBE9F541-39FB-4A39-98FD-0718B51435ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798936$225D7D20-E3C3-4B3D-8FD5-F3DCFBCC9178","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc92b30360823005d53920cc724383e17bfab5ea","datavalue":{"value":"https://zenodo.org/record/4515366","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798936$31EDF31E-3071-411B-9BC9-064FB2E261A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798936$DC89B38E-5BC2-4717-B150-746CE7E36C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a949d7a6e72784eb53409e2ff8b59f49fe4f062","datavalue":{"value":"68U15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798936$D29DF98A-E4D3-40D3-BC50-827A33B3C113","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d62a2c99c06e8853010fd1135826803e6031d2e","datavalue":{"value":"6957953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798936$59577661-8A74-4F1F-B4E3-21DC95EBCFF8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ea0f807e9dc1229f0a5e44480e85f8c5ae2877","datavalue":{"value":{"entity-type":"item","numeric-id":14521,"id":"Q14521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798936$230EDC23-D306-4916-BE3C-AD22183B8DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1b6094e58cb505dcc86ecf5fbf89097d9a9da01","datavalue":{"value":{"entity-type":"item","numeric-id":19566,"id":"Q19566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798936$9C696D24-5E3F-44C7-BDA5-C8AE1467B1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"211c43a5b835fe620b561d29820fa20ae55def41","datavalue":{"value":{"entity-type":"item","numeric-id":45361,"id":"Q45361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798936$2F8C93DD-4378-4518-8EDD-B873928B957A","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":"Q1798936$EF112C90-131B-4A5D-B382-F5CEF2406909","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":"Q1798936$E6ED07B0-8E7D-4CEA-B5BF-FD2513D864A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f2693eeb8c4d6b9a5e31be8c98028b5987f8df1","datavalue":{"value":"W2885022248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798936$7CCA8FEA-6318-44AB-92D9-068CE28FCAAD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca01c9ef5bf2a34c878abb0547674240f3bf6ff0","datavalue":{"value":{"entity-type":"item","numeric-id":1945907,"id":"Q1945907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b10764685683583488b8cef69071460e121c6b","datavalue":{"value":{"amount":"+0.767697274684906","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":"Q1798936$9E2F85C3-6B8D-48AC-92EE-A9DEBEEBAAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"092884b73504ec8a130e217d43d988c3d095c606","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46c4c8e58091d3083f84b92a6cf502ac6a184ee2","datavalue":{"value":{"amount":"+0.7589842081069946","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":"Q1798936$29AE19BD-BAFA-42BD-8175-BEBAF8A4D523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86930e50c98cf354bb283e1562c8ba3467e93c7e","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39242b6ec8884652e8ea9aea3627f52116ba6c6f","datavalue":{"value":{"amount":"+0.7580702304840088","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":"Q1798936$D7F03E34-66A1-4439-8F90-FBECC869E1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed25aa4185f2e815bad791afac995de061e6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d62fb21c8ffc8fd222f319bbb228679a1b1289","datavalue":{"value":{"amount":"+0.7540216445922852","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":"Q1798936$DD0E7458-2F4C-4A24-9FE4-203CE7D83C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee2626a7ebeafe9534d0338c5aeb25841f2e563","datavalue":{"value":{"entity-type":"item","numeric-id":2867936,"id":"Q2867936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f459c5b1c024fceac682792555aa886833685a61","datavalue":{"value":{"amount":"+0.7505843043327332","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":"Q1798936$E3242926-0484-4BF7-A405-FB48C278A4DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1798936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1798936"}}}}}