{"entities":{"Q6159377":{"pageid":13294210,"ns":120,"title":"Item:Q6159377","lastrevid":58727772,"modified":"2026-04-06T12:05:37Z","type":"item","id":"Q6159377","labels":{"en":{"language":"en","value":"An integrated web platform for the Mizar Mathematical Library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691295"}},"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":"Q6159377$1D776940-3F57-4DCC-A739-E83B8E904DF1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f276740633d186e4cdf6a336b5c52b56eeb4fe5","datavalue":{"value":{"text":"An integrated web platform for the Mizar Mathematical Library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159377$7384E567-C748-4623-8A2D-3855C45C6C17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6d22f53841809c4c090c499d0f8851037a20e538","datavalue":{"value":"10.1007/978-3-031-16681-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159377$95E098EA-1284-4CF7-9FE5-331AD02BF89F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51dfe4a7367106fdcce2c9db5503c8719680b2cf","datavalue":{"value":{"entity-type":"item","numeric-id":6159374,"id":"Q6159374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$1518A455-5B15-487B-B162-EDDA5F91BD97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f9322e52eca4919132f4aae102bade5fc6edb79","datavalue":{"value":{"entity-type":"item","numeric-id":6159375,"id":"Q6159375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$0D0B90D4-D302-4B93-B4D4-711EDF7BEDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828a6057ea461bf69e921cff4173f0b3293cc4fb","datavalue":{"value":{"entity-type":"item","numeric-id":6159376,"id":"Q6159376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$2BA3A879-2A84-4DC8-BD5F-FB9113DDB521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c1a94eaf91016f94d27eb36b95b362d19d946686","datavalue":{"value":{"entity-type":"item","numeric-id":306632,"id":"Q306632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$0102E24F-13E7-46AA-9000-DFA005E6EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c61e72a951e6d41dda1ac05b303b3eb63683d006","datavalue":{"value":{"entity-type":"item","numeric-id":2658810,"id":"Q2658810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$ACF8159E-FD1A-4B1B-A206-A689C3AAB494","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":"Q6159377$9AAED84A-ACD2-49CC-876D-B7C42BFCDCD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159377$DDE48543-9255-46BB-8982-A5D8EE6E6D7D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"412a1e734d2cbc35e91df20bca860cec347c06fc","datavalue":{"value":"https://arxiv.org/abs/2210.02336","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159377$C7BE5074-B3C0-448A-B98D-1A450DF8DF0F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51b7800ccceb407b4c9aa81c10252a3a04dbfebf","datavalue":{"value":"68Vxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159377$96DCF146-EFB4-40E4-8597-D0894336400D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa8222d763377a62930f353841cca70235b34da4","datavalue":{"value":"7691295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159377$4100714A-4A3E-411C-B6EA-847292C1DE2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4e7c408aec7731748e8ff0bc3e910c03cc3320","datavalue":{"value":"mathematical knowledge management","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159377$89E0EABD-BE37-4259-93BF-6908C9967C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3fcc21df8775948283a2fd666470875b573983","datavalue":{"value":"Mizar Mathematical Library","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159377$79083C15-2877-4952-954C-A1D9D8CA99C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba7b54d8ac15a566056783e37eb12fb543aa90a2","datavalue":{"value":"QED manifesto","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159377$443E0B3D-0884-4A17-BFD1-C62F0F6A2054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6733fcea51e866853a5cbfc2ccfc78eeb2ee932","datavalue":{"value":"web service","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159377$5246B2BB-8D81-46EE-B4BF-02226240F287","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":"Q6159377$B5A2103F-89E5-4FC8-BFC8-ADEA0F4CB6FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1193b43b390170f70b70d43f6e9db390befcc49","datavalue":{"value":"W4296118761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159377$F3277152-0A4B-4CB0-9AD1-5AE83EF2CE49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"643e2745b71bb9624593f1cc1989578692e3a9c8","datavalue":{"value":{"entity-type":"item","numeric-id":5200124,"id":"Q5200124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$97804459-8A8C-42CE-8719-7A403122C730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579bdac171075790649277306a9c21fd3b179691","datavalue":{"value":{"entity-type":"item","numeric-id":5200113,"id":"Q5200113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$CAD06CE0-F36B-4991-B620-DF8617E61308","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":"Q6159377$AACC89C5-B020-48E1-AE0A-1229744D0D96","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":"Q6159377$62BD7C4D-6FCE-4DD7-8BCF-2B649955B072","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":"Q6159377$C80389AD-0CFD-4962-A40A-9C513E6C8C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca93c702af9a6dee1cf6982598ec3a37fbcd9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2462640,"id":"Q2462640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$4964DFAA-A370-4E79-BC32-2164F5DEF302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58fe6b4c447719257e69bb85875516965fea5e98","datavalue":{"value":{"entity-type":"item","numeric-id":2883490,"id":"Q2883490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$61C7EA8F-944B-4B31-B3EC-07C0C79D0B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3ee1b817254aea8a57588473a7ae62193e3ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2219408,"id":"Q2219408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$063279AD-21ED-433D-B04E-04B17428083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d861948f1f6146a05d3ce13e4c51b6e0c074be1f","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$CB91F71D-0E7E-41DB-AD83-672243A7776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce5393aa71610670a5b2c4a30c1901e039fa302","datavalue":{"value":{"entity-type":"item","numeric-id":2219412,"id":"Q2219412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$068F54D7-7DB4-4B0C-AC47-AB073C37BAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a66a964565350a61df0e15a740129611a745645","datavalue":{"value":{"entity-type":"item","numeric-id":3453131,"id":"Q3453131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$82E7E875-FCA7-43C7-B2C5-B061B386014A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5f5c0e883fe3597a83100e1a9eda8b3c2f43453","datavalue":{"value":{"entity-type":"item","numeric-id":3453132,"id":"Q3453132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$7A7E01E2-58D2-4CCD-A1AA-ACD4507A49AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf17f120be23f1869b8cc6d4b0a9cd5af1d122e","datavalue":{"value":{"entity-type":"item","numeric-id":2767928,"id":"Q2767928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$134A6348-3249-4DB2-81F9-7FD3EC0EAAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58a95fd58a090c4b255bc81edb808d7e4b3bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2843012,"id":"Q2843012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$F837B01D-2B6F-47D6-841A-0FA6E180F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1d0235461a49d24f36b9a64ea22f473f8531ad7","datavalue":{"value":{"entity-type":"item","numeric-id":3582731,"id":"Q3582731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$B2892E8A-90EB-43F0-924A-5A9A2DDB16EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed473c6e01919b49d2a3d56d48fd6fe4dac1c845","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159377$6E235777-D97C-4F6E-B0D8-BB3C851D43F1","rank":"normal"}],"P1643":[{"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":"93a23ce9aa286def34e4c074ed7704432c000ecf","datavalue":{"value":{"amount":"+0.7696255445480347","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":"Q6159377$D424DBF9-3036-43F0-AF50-610898535B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56d94708e8ba93987e89d89c9cea383b251e7a8e","datavalue":{"value":{"entity-type":"item","numeric-id":5495942,"id":"Q5495942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edadcc20a8f2a55a512160a054b7a38279dcbe41","datavalue":{"value":{"amount":"+0.7618420124053955","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":"Q6159377$040125DF-E241-43AE-9CA2-831664E61E96","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":"d04f09319f84bc98aa262c92d14993f1fd02f1d9","datavalue":{"value":{"amount":"+0.7601590156555176","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":"Q6159377$5A85AF4F-E191-4C32-B5A5-BC7740A960A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5225a69bdcfcfe29a5db8c4b18a78ef5cb47fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4413892,"id":"Q4413892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0c08dbd1910c4a1f82a9e7412658175f655c0b","datavalue":{"value":{"amount":"+0.7554935812950134","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":"Q6159377$9DDE7AFB-F4A1-418F-8F58-7601F3C3A3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805f3db5947359be7e8d10a1fd94e98e520233cf","datavalue":{"value":{"entity-type":"item","numeric-id":4413887,"id":"Q4413887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01dd3d60108fb436c1c5f9fd3f920ffc42ca608c","datavalue":{"value":{"amount":"+0.7475022673606873","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":"Q6159377$AEF0DD3B-E245-43BC-9759-4ED3B2AE97EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159377","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159377"}}}}}