{"entities":{"Q1868515":{"pageid":1879257,"ns":120,"title":"Item:Q1868515","lastrevid":71020251,"modified":"2026-04-13T18:57:47Z","type":"item","id":"Q1868515","labels":{"en":{"language":"en","value":"A comparison of Mizar and Isar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901561"}},"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":"Q1868515$301DA5A7-5853-4A39-A123-9BAB6761E786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"676bc3ec6ba38dd9b93c0e3f9395bf654f34f78a","datavalue":{"value":{"text":"A comparison of Mizar and Isar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868515$74FA74D2-D0B4-42AA-A87A-43C48A23F75C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c995e2275f59379f960345e0f187ba0ec343e586","datavalue":{"value":"1064.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868515$C2663A16-D3B8-449B-8288-C15DC2861DED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a2ac5db69108d14e3d4c7eebbf95bb7b1cc7bc7d","datavalue":{"value":"10.1023/A:1021935419355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868515$53F16DDA-D27B-4FE0-87D3-2752DB92F820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"877cdd48b78659fb34c7540ccd4a9d80f4f6eaf8","datavalue":{"value":{"entity-type":"item","numeric-id":1600085,"id":"Q1600085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868515$990F023C-AB62-43EB-B6B0-63111BDBE442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868515$D361B8BA-6A63-4A9A-9A89-F75D2CF3FCDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868515$AA7C010A-60BC-4AF4-AD0F-E6642821E463","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868515$2641CB10-10E5-4B63-A914-5A9F49ED4BF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868515$EC28FF2B-9A97-44CB-A385-7EB2EE8C0A57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eeba14951538f98cad3623fcf1d59b37cf8d261","datavalue":{"value":"1901561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868515$94EB6BE3-DC51-4BB5-B329-C549526B823D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3a96a510fd7a7846523150dd8bb125ef8f415fa","datavalue":{"value":"formalized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868515$69E7E63D-5B79-4310-B8B6-377BD473013F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81f4559a0a71a9f3b98c3452bee46cb9f5532ed","datavalue":{"value":"structured proof languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868515$9DC6A58A-C2AD-43BB-9557-A7E43616442A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa8c44ff1d44ae0d2355622d967a14ffc6ea02f3","datavalue":{"value":"proof sketches","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868515$5F4EB5BE-0B11-4E63-AFC4-3CAE75D3D120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868515$97AE5F30-E509-439F-B07F-504D6A2BFB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868515$CDB709DE-87B1-498B-9F67-AFC03048C3DB","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":"Q1868515$10E1275A-2EF1-436E-9FB2-D3D9616B9F30","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":"Q1868515$0C0C502A-F91B-4E41-A3F4-AACF0C802F58","rank":"normal"}],"P1643":[{"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":"b354ab8a2e6c3dafdd57cccd13d5e2a3f43e2197","datavalue":{"value":{"amount":"+0.8255183100700378","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":"Q1868515$6A6DE292-E9AD-40EF-9D89-9476F63B8343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b542189a171fc85ab7c4d95fcceb7c87d41da70","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80308ea9b6e251b40f4cf0e487bc7054a24bf326","datavalue":{"value":{"amount":"+0.8238911032676697","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":"Q1868515$84AEB2DF-55D9-4EAE-BB15-1B69F20EC461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9a18d2fa29298c78dc202aae96a37069cc785a","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80308ea9b6e251b40f4cf0e487bc7054a24bf326","datavalue":{"value":{"amount":"+0.8238911032676697","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":"Q1868515$58AFE24D-F947-4917-8DCA-ACEFA1CA4714","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":"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":"Q1868515$AA595258-027D-466F-B0B3-44847B235BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d58b013c3497a81753f3a27ec5d4fd9a1243ab7","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc6e85dc4b52859210e62945d722630e2bc2258","datavalue":{"value":{"amount":"+0.7947878837585449","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":"Q1868515$D19826F3-3DA7-4232-8924-C7CF20FB909D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of Mizar and Isar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_comparison_of_Mizar_and_Isar"}}}}}