{"entities":{"Q3582731":{"pageid":5612635,"ns":120,"title":"Item:Q3582731","lastrevid":88644416,"modified":"2026-06-04T15:04:18Z","type":"item","id":"Q3582731","labels":{"en":{"language":"en","value":"A Wiki for Mizar: motivation, considerations, and initial prototype"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774529"}},"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":"Q3582731$85C6BCA4-19F5-4A93-8798-8F6B5B3F9625","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9933cde1877dea92d2f0cd35ea65375227203928","datavalue":{"value":{"text":"A Wiki for Mizar: Motivation, Considerations, and Initial Prototype","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582731$A0F1485C-0F1B-4164-ACC6-7BE08E8A4350","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81c8e44abe51013687f37f5ad88d4507fefa503b","datavalue":{"value":"1286.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582731$04EB0A9C-3C21-4905-8624-B7D747E43BD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe31faf57f77116db3e08a8b47026d8a327f4b12","datavalue":{"value":"10.1007/978-3-642-14128-7_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582731$248E8201-FB81-4BAD-921F-97F5A8461CE4","rank":"normal"}],"P16":[{"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":"Q3582731$8B0CE5B1-6E4D-448C-B9AD-DC46517CA81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"263b3b42f52ae45efd16753ae3b4c5178f9c0385","datavalue":{"value":{"entity-type":"item","numeric-id":456971,"id":"Q456971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582731$FBD7642E-D6C9-4242-88C1-6AE8DCFACE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72ee9ffde9510a13b5bea91934f187bdc57c7e","datavalue":{"value":{"entity-type":"item","numeric-id":467775,"id":"Q467775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582731$AF6D8862-E939-48FF-B277-5F0D19057D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582731$AE832DF4-FBD6-4F59-86E3-4BA62CD7AB25","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582731$759D8D57-C637-45B4-8029-997B8DD23AF8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3582731$887C299F-02E0-4EA5-9973-C039A9EBAC56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5e100d16db1d4ab61aca76af13141160a357de9","datavalue":{"value":"https://arxiv.org/abs/1005.4552","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582731$E4147B5B-DB60-45F4-84F1-E97DC041120F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582731$922E1232-87BA-40DA-B35D-35A94A3AEA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582731$A1339EA4-CB9E-472A-BDCF-91C7E3E0A235","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7637ba30c0556026bc6cb88e5b952f5b17b358aa","datavalue":{"value":"5774529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582731$1F5A4648-3901-4A63-90B8-BFFF72A6333F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582731$87AE0E54-EF15-4D57-AFBF-A494856A71F5","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":"Q3582731$28C0C507-DD32-4172-9978-6B888EC92DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7bb1c7eafdbb853d5fe04051d89b8463fa8b943a","datavalue":{"value":{"entity-type":"item","numeric-id":18827,"id":"Q18827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582731$F21D611D-E54B-4A48-806D-2D3BAF9E7D4D","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":"Q3582731$51208EB0-284B-4F6F-B81E-5976EE8E8633","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9f254d23a27a71b33eaf8f37ab629d46b0895dd8","datavalue":{"value":"W3100063652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582731$555A7F4A-1B3C-417A-9602-B7BE4190833F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7049c9f0a4fe0964cf88755f5d2c3a48df668dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5428272,"id":"Q5428272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d803a1e11924387b91e740e0037c43dc18bed256","datavalue":{"value":{"amount":"+0.8306910991668701","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":"Q3582731$9DE59000-FD41-4B18-9C31-CFDD6664D7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"121d75c91cbcf7102243101fa866851d3d1b8805","datavalue":{"value":{"entity-type":"item","numeric-id":5200113,"id":"Q5200113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57b1039cf2abf519ef8a228a73237d77eba2f34","datavalue":{"value":{"amount":"+0.8269384503364563","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":"Q3582731$9D568493-C381-43B5-A73D-6332819A7ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b2765242fb7c1d0b8077c5a8857cf3741d6ed1","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e10db238716bbbebcf44696bc9e5ac4447405840","datavalue":{"value":{"amount":"+0.7842258214950562","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":"Q3582731$90686B9F-FFBC-414E-9801-1D659A4FA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd199b909313d5c432a847debe410e02ee8350d","datavalue":{"value":{"entity-type":"item","numeric-id":4413891,"id":"Q4413891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0c4c337dfb2700630c56267e96eeb0a4981fa6","datavalue":{"value":{"amount":"+0.7642678022384644","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":"Q3582731$8C5B0E94-75CB-4894-86E3-B2C844F55249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f694abd6ca82e87a286436859d0058672696889e","datavalue":{"value":{"entity-type":"item","numeric-id":5327363,"id":"Q5327363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0c4c337dfb2700630c56267e96eeb0a4981fa6","datavalue":{"value":{"amount":"+0.7642678022384644","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":"Q3582731$9CD655F9-ECBF-400D-A812-1E0843739CA9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Wiki for Mizar: motivation, considerations, and initial prototype","badges":[]}}}}}