{"entities":{"Q2867936":{"pageid":2878656,"ns":120,"title":"Item:Q2867936","lastrevid":83946896,"modified":"2026-05-07T14:50:48Z","type":"item","id":"Q2867936","labels":{"en":{"language":"en","value":"Presenting and explaining Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6241759"}},"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":"Q2867936$B2936100-9D1A-49DB-AAF5-D589FB72F075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"35aae611d0c829723f5dc9222ffb3d4384f4334a","datavalue":{"value":"1278.68283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867936$F99357CA-285A-480E-A837-DF3FCC26A4EC","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":"Q2867936$750B1EF2-7715-424E-A58B-4430FF0F6C14","rank":"normal"},{"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":"Q2867936$75DF128C-61FB-44B7-A1C0-591F147487AA","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":"Q2867936$498CF104-588F-4AB7-B8A3-7375E88B0F23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"910ae69968b0b824ffb07e2bd5cc35370f9e2a13","datavalue":{"value":{"time":"+2013-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2867936$569EDFBB-E05E-4C9B-B721-05679872A0EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867936$A90C1A90-EA98-4F68-8691-7FE4A02F0C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867936$3D9093C5-5719-472E-90B9-32F7D5506964","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99b503d4b8e799c10ce1d0638b4cd1b3a6fa385d","datavalue":{"value":"6241759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867936$FE184624-7EC7-4CE3-A590-3AFE1F685643","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867936$EC0036E3-D154-4664-A8AF-23599B6AF1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f9e8787d7a1966110e071306e2a10e7710d3d0d","datavalue":{"value":"proof presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867936$E3A2D7B4-6AD0-408F-9972-74DD19F98CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3640b5395457c8e78cd0865e114c80a8efc0e4bd","datavalue":{"value":"ATP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867936$E54A0B4E-313F-47A5-AE23-4D08132D2EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0885033cf4b16d0fe54f08ae6472e825daee282","datavalue":{"value":"proof objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867936$98AC0649-E2AB-4AA5-A8FE-3252F87D3FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c36964d072ff872d6a2d684e3ca94117cc596f80","datavalue":{"value":"MML query","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867936$21520A6D-84D3-4E43-9B48-E804BE0848A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d67f1905bad5e456e5957a60fcd3b6957cebcd59","datavalue":{"value":"MPTP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2867936$DF5DCA8E-7E03-44A8-8F54-3ECF9B946224","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$FCA221F5-4D76-4683-91BF-CC3A03C7F60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effe99d4b547ffcbc07915d8ced5dc197768f166","datavalue":{"value":{"entity-type":"item","numeric-id":15028,"id":"Q15028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$D5CA6FF0-55B8-483F-B5B9-0E31F51D9E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$3463BD64-83EB-44D6-9F2A-956F9C9C4F12","rank":"normal"},{"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":"Q2867936$4406CBE3-DDBC-43F0-8738-54780E0CB4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cccd35b34888307d4ad7b137783609eb5c56b79","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$75B1D3B2-76F9-4443-BE3F-E6E5C168DCC6","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":"Q2867936$2916E61F-D48C-4C5E-A50B-0B36BE840DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$CB44A11E-6E73-42DC-8A08-330FE3FF795E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$970B245D-1A8E-47BF-B995-E235A9D118AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$31ED6EAA-A23A-4D9E-94DB-B0831C50C0CA","rank":"normal"},{"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":"Q2867936$365CE3BD-048E-4C19-BADE-F71C68430B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$AAF86589-2CCA-4292-B2F3-636158B212D3","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":"Q2867936$784D215D-A173-4966-B572-AE5CA849D485","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52e065ddd57c46c87680a5b617930f4caa18e483","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.09.022","type":"string"},"datatype":"url"},"type":"statement","id":"Q2867936$36156A6B-FA14-46E0-8C2D-0C00067F717D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0341fbefc586147b5765b851e30cb85dc3303261","datavalue":{"value":"W2049282215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867936$2CA26F77-8824-4426-990A-B1EFA905C1A7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db96d49cd835a72b0287fd80a8a1bd9f27d72c8","datavalue":{"value":{"entity-type":"item","numeric-id":704809,"id":"Q704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$EB885EF8-B310-4EEA-9AE1-F100170FC2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307c4cd3464c8600dbbfd076f79f5381061b8199","datavalue":{"value":{"entity-type":"item","numeric-id":4413887,"id":"Q4413887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$7A991E1E-9546-4080-A4CF-4CB7B2B6ED55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4028b0215dcfb37982ffb4f5fd7958ff82b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$466BA3F3-6B03-458F-8FE8-ACC9CE6A1A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec41d91b97fe450aba006d86ee1b6e337fcab2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5313068,"id":"Q5313068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$2CDA5A86-DBAF-4F1A-9092-126F9D960148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9daa4057ed7a04c427228a37f513d691eccddc","datavalue":{"value":{"entity-type":"item","numeric-id":2757973,"id":"Q2757973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$23B4B98A-9883-45A5-A7F5-3C757760E876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$7FAF440A-861F-445F-B2AF-ECDC18D4CE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$E5FE26F1-FAD7-4AA9-8C6B-C76EDEBB6169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$C4B34DB8-7361-4F8A-A453-00A72D0AF479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$48832641-0B29-4328-9605-0B9229A93AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa83286082fe9f22efc1424c5503085916666","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$C375BE6B-A153-4FEC-8FE0-CDCB7D558DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514a4f7338b45fdf5de5487918e2ae3d624f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$D0693D29-2E0D-4A39-AA1D-174B64AC01DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf7b4ce3ab96d4236a4c36e2f89589530011a89","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$A5313D08-8F01-43C7-BA77-D92AAD6502F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2da92fb913582a601af7173c06716220bbf7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$51DD18BE-DB9A-409B-A89F-72E37B58B107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f49bddd3d8758939d2c56cea336fa15d4d01af13","datavalue":{"value":{"entity-type":"item","numeric-id":4809064,"id":"Q4809064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$C0834AE2-8C81-4B63-A285-1A4B9B6F57A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2867936$46BD0681-15BD-47F2-9DF8-145E67E8E3E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31e6e471e2ac626e02e898f6269b070afe30e32e","datavalue":{"value":"10.1016/J.ENTCS.2006.09.022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2867936$C03F22E3-6E24-4836-AB9B-6BC733A30D20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfc1481424e3219a1843bf92e09b1d45e2159f2a","datavalue":{"value":{"text":"Presenting and explaining Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2867936$92667FC6-118B-43BC-8207-664451C6A5BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dfeb4f58629a3de8f2170811c634bc1408f23d","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31eb7fa40f32aacf756be09c466cff75a3e7f7cb","datavalue":{"value":{"amount":"+0.8057684898376465","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":"Q2867936$34AF9A1E-ABF0-49B8-809B-F17F836F869C","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":"432e54ce3fafa5e5748a00e2e81023f53d14020b","datavalue":{"value":{"amount":"+0.8052661418914795","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":"Q2867936$962C900E-E953-4B4D-BCD0-0D850A2CD02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1fbe8f76631e9b24e2621b72c3ad8cc01fc1fd0","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a29e7af75c50986e22693b20ffbf5499fd0ee55","datavalue":{"value":{"amount":"+0.8040730953216553","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":"Q2867936$083EF0EE-5978-43C6-8C55-5F152725E470","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":"5589ea2e5cd017916fb4d37c8009d50d1ba96b2e","datavalue":{"value":{"amount":"+0.7968072891235352","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":"Q2867936$59A02838-9C7E-4155-88EE-9FF92AF8961D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63c88c73eb0f33863fc007467a9962367e1e0911","datavalue":{"value":{"entity-type":"item","numeric-id":877826,"id":"Q877826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d59f67b1da85b2e432c5f88d8e2b6efd03fbc0e","datavalue":{"value":{"amount":"+0.7864744067192078","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":"Q2867936$4D5657A0-EEE3-479A-B4A8-02FB27EB1DDF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Presenting and explaining Mizar","badges":[]}}}}}