{"entities":{"Q5200124":{"pageid":7229695,"ns":120,"title":"Item:Q5200124","lastrevid":58468935,"modified":"2026-04-05T08:45:05Z","type":"item","id":"Q5200124","labels":{"en":{"language":"en","value":"mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5934453"}},"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":"Q5200124$DD4705E0-75DB-4597-9864-DB07BE8B6267","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c697713ec83d9ccd52ced9c7e86cbbc2fbc77443","datavalue":{"value":{"text":"mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5200124$99A2A2DF-B810-4BB0-A7FE-394A2FB799B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c17d2493b661bbba9401cfc304db064406506522","datavalue":{"value":"1335.68255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$B807EFE1-4A31-4253-9DD2-BE2901E6CC73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f885aea920bcfa943f62b4881d79574b1e653c3","datavalue":{"value":"10.1007/978-3-642-22673-1_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$C0CE403E-459E-4E56-9D64-0C6D5031CF72","rank":"normal"}],"P16":[{"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":"Q5200124$2F692938-DB03-406A-A52D-C5D80ACE1DB6","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":"Q5200124$06D27210-AED4-4148-9073-2964D188E8C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d00523700407e21ae71debe0fbbbb012ba59e567","datavalue":{"value":{"time":"+2011-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5200124$468389AD-47CE-4C64-B09B-9E7CAD608C11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ca1b774cbc806e18e68be992185b6e5bbf9ae16","datavalue":{"value":"https://arxiv.org/abs/1107.4721","type":"string"},"datatype":"url"},"type":"statement","id":"Q5200124$8527F157-6F2F-49A7-97BA-18D4F45D9A14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$6F99423D-7423-4D76-8CBF-7643FD7357ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$E3B26197-1577-4C79-9249-C272CF032F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$25748DAD-F067-4328-AF12-A245297FECB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58dcb23b4cf9f521124596992b3a28b5c0300ebc","datavalue":{"value":"5934453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$52F7A0A2-08DA-4F9D-8494-9473EE062D38","rank":"normal"}],"P1463":[{"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":"Q5200124$E2F564C7-829B-42D4-820C-7E1F7CB2DD8E","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":"Q5200124$C2B606F9-FD99-4F80-A0BB-A7C52A8C5737","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":"Q5200124$98B9567F-2AE2-449B-8705-8E9FDA3DD7C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"49970e405d518571495b95f3b725b4674c8e6283","datavalue":{"value":"W1595902028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5200124$5FCDAE4F-1A96-4CC2-8684-AE5C1C59C91C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b0802dd9ffb89108bee25aa26120dffc46ad60","datavalue":{"value":{"entity-type":"item","numeric-id":2352489,"id":"Q2352489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200124$3AF771FE-0BF4-420C-A2C5-B745B8F6E364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3eaa94e01b8b3a4d3a1e7e8e1ca32a100b24f3","datavalue":{"value":{"entity-type":"item","numeric-id":2907308,"id":"Q2907308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200124$9F959269-A826-4E48-869A-0418F7547D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200124$3607D65A-BD60-4C65-9988-6CD1CA4DE88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200124$F66A9FD6-ACAE-4DD9-B0A7-016D61BC1699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0430e4a9fe16a78c945c278746cad2959afea463","datavalue":{"value":{"entity-type":"item","numeric-id":3395521,"id":"Q3395521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5200124$AA2A35FC-A410-414C-B7D3-B6503397DCA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0271ffbb32b0fdb034b4f062bb270688ee9018cb","datavalue":{"value":{"entity-type":"item","numeric-id":2907308,"id":"Q2907308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70201d1c79784a7e40d471e7147f92bbb13b7fc5","datavalue":{"value":{"amount":"+0.83732814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$15B28837-C4A6-48FF-9E9A-C43C07E93DBC","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":"7070caf505f03da9e250414bab50a2d644b46c80","datavalue":{"value":{"amount":"+0.80547506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$6239EA17-6662-4091-AEED-BB9474C750D0","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":"c6d3ef3908972c1b9e4dfa803890146bc8d3772f","datavalue":{"value":{"amount":"+0.80410856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$FFD29A66-1B30-42A9-AD13-0340FBAD4CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68286d7451b97648f7a1b750dba7350b032d242","datavalue":{"value":{"entity-type":"item","numeric-id":2817297,"id":"Q2817297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e4f5ac1d2c42dfb476fa45c2101440807c30e40","datavalue":{"value":{"amount":"+0.7926756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$38EB2B16-8098-447E-A368-AA0F4028D251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98a1ac5e1e0750982163e99ad44cc64592a91c9","datavalue":{"value":{"entity-type":"item","numeric-id":5313078,"id":"Q5313078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fc11e8c4399410441914ff1b0e5dfb95fdb4d8","datavalue":{"value":{"amount":"+0.78424895","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$DBD5DFCE-42B1-422E-AF13-47AB02D5F3E3","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":"c41568560013cea028e7ce484df4d3a7c511b2a3","datavalue":{"value":{"amount":"+0.7819345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$038002AE-4245-4AA3-A7BA-62A251ACB997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef95c0cb096f65c22795035488c2b360de8b40","datavalue":{"value":{"entity-type":"item","numeric-id":2128826,"id":"Q2128826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f32d52258b0056f5df652ba29f555148b5b70d","datavalue":{"value":{"amount":"+0.78155005","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$479FB72C-E4DA-44C0-B263-F27B31F79948","rank":"normal"},{"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":"86ed88e049c3b02a4ee14d7aeb1abb3437c8f438","datavalue":{"value":{"amount":"+0.78143924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$2FC525EB-D981-4282-81F2-040AEA7B0404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe65b0ff0f46d73c021ccb0e441e1cae6f5647a","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8866412894b1a251831b6d9836566e33bdf5a9","datavalue":{"value":{"amount":"+0.76930577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$68C907FC-A591-4541-B70B-8DA8E3B09FB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ef76bc74ba20bc27ca7c8ac9fa3f74db2db62a","datavalue":{"value":{"entity-type":"item","numeric-id":5898508,"id":"Q5898508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0880bd9e4d741724347d238cd6e75964db461168","datavalue":{"value":{"amount":"+0.7677849","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5200124$9777E347-C0CC-4AA6-9A08-77ACDD7B5140","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5200124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5200124"}}}}}