{"entities":{"Q2128826":{"pageid":2139569,"ns":120,"title":"Item:Q2128826","lastrevid":54302090,"modified":"2026-01-26T14:44:56Z","type":"item","id":"Q2128826","labels":{"en":{"language":"en","value":"A new export of the Mizar mathematical library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7511938"}},"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":"Q2128826$56C55CBC-2C6F-4D37-925B-28E234EECFEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5158b68e895b542f862cca64fd51b1072f0a0a7d","datavalue":{"value":{"text":"A new export of the Mizar mathematical library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2128826$21D3296D-42F0-4D2D-8C97-7B3F3E8FF325","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80011c372f74859cf9ba187924691bef046fa7da","datavalue":{"value":"1485.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$B0910BE6-69DB-488E-9F0C-B12DE8FA3C7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79b110a79f5a72ed8c4637964d46e88701661c36","datavalue":{"value":"10.1007/978-3-030-81097-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$0A0D37BD-B89A-463B-8608-1080CACD400B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aece7a631935c3fa137e01c8168e5e3c522025c4","datavalue":{"value":{"entity-type":"item","numeric-id":2128825,"id":"Q2128825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$9AD107B5-6667-44AF-826B-2F07C8123DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$D04B8BC1-9964-4250-99D2-06DCA5D3ABBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$188C60DD-480E-48E4-BB5C-68A6A7C9B50B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a2d220bbda83e730799716cad61153265e68ffa","datavalue":{"value":{"time":"+2022-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2128826$FEE0DA3D-3BC2-4756-B3EE-11DC15369118","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$87EEA02C-5D39-4F95-A057-A2DD31E8DEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$531B6936-8E7E-4847-9C67-E5C1A2BA85A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fee8f2ca1323cad9e9232d7279e663a6ec082a12","datavalue":{"value":"68V35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$295C5FB1-522D-4140-A0D0-909B22E9AC66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0a5662d2d4807b44bea717f24e43fc06b0380ad","datavalue":{"value":"7511938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$612C2F5D-33A5-4E34-B80C-FDB036D33BA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$AE5A8BE9-AC16-46D6-8403-78EB5A993C4F","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":"Q2128826$56723EDC-01AC-4129-970A-A1BF265985F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322cfa9d250a6a53032394dc0d9f662b03cdb062","datavalue":{"value":{"entity-type":"item","numeric-id":19193,"id":"Q19193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$D0058B35-2062-46DE-8F9E-C5165A509612","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":"Q2128826$600A6D3B-1963-412D-A4C3-AB62143E66B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2d4f55088239aeff7de8b5d4920d531a3e1d7a8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-81097-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2128826$6C1ABE12-73C0-4368-96B7-F6ED420F095E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ac94b41a633e52bf3cf6cab54661d9b8528c8792","datavalue":{"value":"W3183811466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2128826$8CC872B7-5B2F-4D3B-97F4-26FF9A3C7064","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46990127d8561f0f394dc555a34d6f7eabed04f3","datavalue":{"value":{"entity-type":"item","numeric-id":2907343,"id":"Q2907343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$7B825623-AAEC-4BDD-85BF-1E0B3A8C2F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ebbe3f6a88e51e1203c3c8190dcfbdac3cc8dde","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$6E5B0407-997C-4C63-8D0E-A1FE795B2F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a07eed39efd1ec75ace838a698733f74144bb42","datavalue":{"value":{"entity-type":"item","numeric-id":2907314,"id":"Q2907314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$CF865351-3FB5-44E4-9C9F-3C22B14C52F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ef49612e3f2ab0dc149731b80f04318386982b","datavalue":{"value":{"entity-type":"item","numeric-id":3453113,"id":"Q3453113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$3BE85733-51A6-4208-9CCE-90936A757C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d14bb152f9747d6b55d05364d80a9ce075db182","datavalue":{"value":{"entity-type":"item","numeric-id":1945907,"id":"Q1945907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$12EA1404-6F03-43E1-97E1-77D65E8736C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3664b6907ca78dcc7471c19ca41bf9ba07ff81c","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$308813F8-712A-46E5-833F-E304860FBD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc684355cb6d984d25370268eeadac70cf43124d","datavalue":{"value":{"entity-type":"item","numeric-id":2069875,"id":"Q2069875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$BB322730-9D46-415A-9F04-2582440A274D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20f4df39989a96a1f991294dfe12efc398cf16b","datavalue":{"value":{"entity-type":"item","numeric-id":2219401,"id":"Q2219401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$07EB5DF7-AFEE-4733-B384-5572A0BEE28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe207b984cb5ecbc425fb7a9e7d1f856abfb9b9","datavalue":{"value":{"entity-type":"item","numeric-id":2817295,"id":"Q2817295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$64236088-2B79-4636-9640-3AF3BDC4D2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$7E90E4D3-DC76-466B-BF40-DE8E7A297C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0bfb57e9a97e56fde1afbd62d0dd2171c33df","datavalue":{"value":{"entity-type":"item","numeric-id":4413895,"id":"Q4413895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2128826$64544EA9-A3FE-4EEF-922F-57D718B87C2A","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":"Q2128826$8B6B18C7-77F1-492C-9D91-C27CA1564FC8","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":"4dd5bfebe8ca3a22e5fc8ad7178b6b84c8309bf0","datavalue":{"value":{"amount":"+0.8269389867782593","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":"Q2128826$F80DD6F4-0AEF-4425-A1A8-8F29A6B059E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3127bb4bb85b3d61c1c9048202e7949263aa206","datavalue":{"value":{"entity-type":"item","numeric-id":1798961,"id":"Q1798961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4258d971161f311964e455dfcc48ff955440f5","datavalue":{"value":{"amount":"+0.8095735907554626","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":"Q2128826$30DF1894-FD27-422C-BA97-B4C74215846B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fad0967c90f94cd511eb46d85433effc05ef74","datavalue":{"value":{"entity-type":"item","numeric-id":2767928,"id":"Q2767928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3be8b326253625f37ca503f2582ff5dd6fc50ad","datavalue":{"value":{"amount":"+0.778876006603241","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":"Q2128826$E78B4E98-C0B0-4BB8-BB5E-FF80215E9C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4374daf952f95be8e2d6a4ef5e2444e3d0d7712","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c44f96284675b55e70f13de99dc6fe656ced23f1","datavalue":{"value":{"amount":"+0.7704514265060425","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":"Q2128826$97F88CBE-7933-416E-862C-098B8E8764A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7659e4e2c991390298b386fe8aa90210f9514f3d","datavalue":{"value":{"entity-type":"item","numeric-id":5756776,"id":"Q5756776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71afeec4eec7292c602fce9fe372cf98c81ebf7e","datavalue":{"value":{"amount":"+0.7632243037223816","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":"Q2128826$D1397054-F365-4B9D-BE68-7AF4C96D507B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2128826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2128826"}}}}}