{"entities":{"Q286800":{"pageid":288567,"ns":120,"title":"Item:Q286800","lastrevid":60662559,"modified":"2026-04-10T18:21:59Z","type":"item","id":"Q286800","labels":{"en":{"language":"en","value":"MizAR 40 for Mizar 40"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585257"}},"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":"Q286800$699981D3-D0C0-40FA-BFC6-0D8D46E5CFF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c434c4a9c431e2bc13284e8fbc4bea5817df0f8","datavalue":{"value":{"text":"MizAR 40 for Mizar 40","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q286800$2AD339C3-0F6F-4A25-A686-47D89C245683","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faf46adc042966baa6a7b20457509a9f4933cc42","datavalue":{"value":"1356.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$DD6123D6-7D75-4BD4-8E26-FA1126564BE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$AB8CBD8B-8D43-42D3-BC35-6BCF2BE13AF8","rank":"normal"},{"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":"Q286800$33E21DBB-0A8B-47D8-84C8-A8A82A614A52","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":"Q286800$D9DB6654-954A-4001-A754-EE6EF921AF00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q286800$C73E6666-1156-46A0-B5D8-5BF9722DB2F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8739838a67e7433f30ab1eadc668334606971fdd","datavalue":{"value":"https://arxiv.org/abs/1310.2805","type":"string"},"datatype":"url"},"type":"statement","id":"Q286800$82A2C589-B4F5-459E-A877-8D73040FFF88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$02F1AFC3-6E1F-424B-9B3D-23D27808700F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$D25A4B76-6EBA-41A4-8D6D-101DF1606B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8c4722b0d0e4a71799f4b5282dea0f5d2a7e4dc","datavalue":{"value":"6585257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$C4DC78E3-B53C-4A07-9381-A3982AB74A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$B2E47FA0-3E9B-4C76-9940-13F3BEE122D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc238ea6cb52c715bab39832f2cd5b4837c9294f","datavalue":{"value":"formal mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$2A550C55-7644-4621-BF70-3F5A75EE1C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$D12BB7EF-C8CE-4210-A6AE-32ED806A4E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c1f2ad05756145a4abf98a4573dfef14fdf354b","datavalue":{"value":"large theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$9FB8E864-BAAC-464A-AB65-2027340899C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0afe30fcd4cd25e8e8273c02ad48a97b4a0e001","datavalue":{"value":"machine learning","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$B0DE60FB-4FBE-4CE0-A651-958297AD2698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$36A9F692-A83A-46C9-BB3B-EB9EE90E9ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2f01d32e8f9fde0c2fbd1835d9d0396484ba4a8","datavalue":{"value":"premise selection","type":"string"},"datatype":"string"},"type":"statement","id":"Q286800$793FC09B-2BCA-4CC6-B1E3-847F5BB70F9A","rank":"normal"}],"P1463":[{"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":"Q286800$274A60C9-6B0B-467E-A856-89BCCF449B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0921b5c7f4a927689ec755cd551d28920f6f495c","datavalue":{"value":{"entity-type":"item","numeric-id":16268,"id":"Q16268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$8DCC6CE0-9D9F-452E-B03E-3F5CC275B550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4725be8fa705861afbab12b59e447099c9ebb4e","datavalue":{"value":{"entity-type":"item","numeric-id":20216,"id":"Q20216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$1486BCAA-1ECD-4BE2-B303-8C35CB415323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8376bcc90e7c7f009563b97a4560743162f2cada","datavalue":{"value":{"entity-type":"item","numeric-id":22158,"id":"Q22158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$4652905A-7AD6-4570-89AA-BF46F665EE6E","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":"Q286800$034CE174-A641-4643-A566-ED8BC132B759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$658BC3F5-A9C5-4F86-BF45-1C7438ABC7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$D5EE0C36-5D96-40A2-B2EA-15A94B6680EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$FC66B3D8-A870-4E92-87BA-77A399D71EED","rank":"normal"},{"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":"Q286800$6C5F59A7-DB7A-426F-8E85-F08903B0865F","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":"Q286800$3E132E64-0F1E-4D18-8F0B-9C72AB27C143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$C73498A9-0154-4348-A97B-2A3572776EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$F728C868-D5BA-4976-9B8B-77713C24D48B","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":"Q286800$9FC42663-7281-4EFF-A92F-CA9C4BFE7D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"23f1d4970d4f2ba01b8146500b5c1a10ed17d235","datavalue":{"value":{"entity-type":"item","numeric-id":23493,"id":"Q23493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$170AD42A-AFD2-4436-A733-52A7361844CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"30c23680895c6c05b43b4be92074136c496750ec","datavalue":{"value":{"entity-type":"item","numeric-id":28682,"id":"Q28682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$0C5BCA8D-9AE4-4D23-B82C-98777CB15530","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":"Q286800$09246492-CBD2-4A5A-90D7-452A5741D08B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32d3d588e13d32ce702cf507211a766a3a2ce911","datavalue":{"value":"W1815556503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$7ED1A918-339C-4140-AD19-5AFE2D88A58E","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":"Q286800$0B0F4687-14FA-4B16-9AB8-3F3AB0670E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"065f96a47cd2c09ae1ea2ab42886a32d0c8223cd","datavalue":{"value":{"entity-type":"item","numeric-id":2891438,"id":"Q2891438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$F38DCC23-5B89-4C11-8612-707FCCD6DC35","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":"Q286800$B0810708-FA48-4843-BC1A-DD57604D7CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e01fbc3da027eaaad9dc452bdae1bd5507003d","datavalue":{"value":{"entity-type":"item","numeric-id":2892718,"id":"Q2892718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$A5D64F5A-98A2-453A-A7E8-6EDE805535C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c550078709a24810b3ec6e1d82a47c85cb06a5","datavalue":{"value":{"entity-type":"item","numeric-id":2018657,"id":"Q2018657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$26CED6DB-56C4-46B0-BAAD-D878287A9A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c50bf30b5dabdf4dda50dde9e43de872f1c8761","datavalue":{"value":{"entity-type":"item","numeric-id":5200032,"id":"Q5200032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$C7066462-C0AD-4064-B731-F3CDE8951243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3fc60b7f0fb76cc0f065f148162a373198b73a","datavalue":{"value":{"entity-type":"item","numeric-id":2843009,"id":"Q2843009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$61F8195E-56AE-4EA4-981C-0EFB600BCD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6af1483960b5acdfcc7fab2e7274bf3ab4268fd","datavalue":{"value":{"entity-type":"item","numeric-id":4928443,"id":"Q4928443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$0DD971B4-F97C-48C7-9061-1FF235E44C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483d3c17c09c578723154da4261b70aeda673d47","datavalue":{"value":{"entity-type":"item","numeric-id":2351415,"id":"Q2351415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$4FBC4C18-C866-475C-8E45-BB4FED2DADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc1b1fdbeae9e9a4637fac18d8099d9dbd0f3193","datavalue":{"value":{"entity-type":"item","numeric-id":2964472,"id":"Q2964472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$EA925024-93DB-4F24-9DFF-2DE089C104C4","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":"Q286800$670C5ED4-67B0-4BED-ABA0-D0593792DD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5ef200ca0a6ffd921de7b0fd780ff05ef7a989","datavalue":{"value":{"entity-type":"item","numeric-id":5327335,"id":"Q5327335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$6A32DAFC-B52C-4FC4-9D4C-611E94ED0E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c58f40f8893ea08e9b168dd3629a56d2e8291d","datavalue":{"value":{"entity-type":"item","numeric-id":2908509,"id":"Q2908509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$F9D21863-2B13-459A-A21C-A2F19B1FCF94","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":"Q286800$DC5CBC2D-085F-469A-A163-1D3AE949890F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df9f4577a0dcd8391487c5af1766a60e3ef7ebb","datavalue":{"value":{"entity-type":"item","numeric-id":2755103,"id":"Q2755103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$150EE799-AEC2-4AFC-8997-7A20371870AE","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":"Q286800$944E0385-1A0A-478C-94EB-08D8A34D499C","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":"Q286800$73DE0D1D-EE65-434E-A8D7-F9029406C03D","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":"Q286800$518BD6A4-173C-4B32-846F-523C79D0224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9655c068a195af6d54bbb62184581b058670a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":3541722,"id":"Q3541722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$AC35ADD6-A412-4B8B-9616-F586EB328DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca970164517030c1d68d21b85053761baf38cfb","datavalue":{"value":{"entity-type":"item","numeric-id":4913871,"id":"Q4913871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$547C4D4F-0B96-4226-A1EE-CA90DFD1E3F7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ce59fef4e34960afcd084e4cff4fbce54ea2a329","datavalue":{"value":"Q59428699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$56307EC0-8572-4227-A9F8-D37DB7AAE103","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c1948ecaa6da86ebe3b72e5fd1795d784b7e50a","datavalue":{"value":"10.1007/S10817-015-9330-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q286800$8F11BB83-AD4D-4F5F-BF51-2169CE49CD70","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":"c8b21e9e6c994db0d32ea74ba9e21ebece1ab721","datavalue":{"value":{"amount":"+0.8435969352722168","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":"Q286800$BC75384F-4303-40A4-B29A-FDE3CD4024A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b4440e24c330497025549da4d4dc8ba9f23acd","datavalue":{"value":{"entity-type":"item","numeric-id":5747877,"id":"Q5747877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d60b9e5f7f7e69c1486ad70159ec61ca3375f869","datavalue":{"value":{"amount":"+0.8142292499542236","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":"Q286800$D859ED2E-DE23-4F0E-9E78-C5B3C5AF1AD8","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":"fd3d6b06afc8d7a9beeee8dbea303f5dfe0b6d09","datavalue":{"value":{"amount":"+0.8126447200775146","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":"Q286800$94B7AAC6-E467-45CA-8DAF-59C840174CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b168262f9e1b4514313a24dfabf8223d2ad31a3","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"787d0beaf26d466709da13a0d5bf5e2b9d02c468","datavalue":{"value":{"amount":"+0.797410249710083","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":"Q286800$B479BD74-2332-410D-B9C6-2024B200B422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015690f06b897848fa0f5038f03c0e6994d6c77e","datavalue":{"value":{"entity-type":"item","numeric-id":2891438,"id":"Q2891438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d58bfa5057f90b351dff3c9df146899fcb8c303","datavalue":{"value":{"amount":"+0.7840065956115723","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":"Q286800$0295083E-6BF5-48A4-A993-946E03116E86","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q286800$08120E8A-2520-4FAE-97F1-C5F5F311153A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MizAR 40 for Mizar 40","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/MizAR_40_for_Mizar_40"}}}}}