{"entities":{"Q3453119":{"pageid":5232519,"ns":120,"title":"Item:Q3453119","lastrevid":80512781,"modified":"2026-05-06T16:22:11Z","type":"item","id":"Q3453119","labels":{"en":{"language":"en","value":"Mizar: state-of-the-art and beyond"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512423"}},"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":"Q3453119$BA727648-84B2-4964-BBB5-D32A24619DBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4bf0a3918dc7febfe8f0023b91c154e30cf44e73","datavalue":{"value":{"text":"Mizar: State-of-the-art and Beyond","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453119$DD216004-1831-49D5-8DEE-1C98B0A1ACEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d1eecc533183f79354de13eac806ec47d6aa954","datavalue":{"value":"1417.68201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453119$EF9AB8FE-A17C-4EB9-9414-BBB76A808BFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9c7e1a0595f426d55fa343691e2e5b973296202","datavalue":{"value":"10.1007/978-3-319-20615-8_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453119$20524728-73F7-4503-85E0-75F33D9FD6F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e947881a37feaf70ec2d452e5c32ce0e6b540396","datavalue":{"value":{"entity-type":"item","numeric-id":467810,"id":"Q467810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$DE1BC133-3E36-4071-94A0-A5EA4A27C8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3deada38484b9fda1df4b39827b6293bd12b2f54","datavalue":{"value":{"entity-type":"item","numeric-id":1663213,"id":"Q1663213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$B581E09A-368F-4713-9380-6D1D5A42A1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"190c708f4bcaf9a439fd932d05a6c37c8907530a","datavalue":{"value":{"entity-type":"item","numeric-id":271909,"id":"Q271909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$82FB2F39-FEBD-46BA-8DCF-538E23CF3BCF","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":"Q3453119$1581A190-CDF6-4D09-926D-DEE46B3512F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c379a5aa0ee5858024eeab8e2964aa0cdf02a5a","datavalue":{"value":{"entity-type":"item","numeric-id":1663214,"id":"Q1663214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$4A42CD16-AE7E-4149-9430-7287F7A04CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d21f7099afeef01813dafa96d5f9f9c05717b38","datavalue":{"value":{"entity-type":"item","numeric-id":226646,"id":"Q226646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$34D8B8FE-5695-4916-B859-DFF3989B6181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$B05E38E6-3D7A-45BD-9C30-6C1ED2D01E97","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":"Q3453119$64E0B975-10B8-45E3-B103-EBF00CBCDBED","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":"Q3453119$A20316FA-7485-4C2A-86AE-82FE78EC2CEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453119$C525E7F9-A946-423C-A6E0-094BAB8C947D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453119$58AC9350-0D77-4DA8-AA53-8E7A1EF385B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453119$711D03F8-C46B-4A7F-B210-847FD836C607","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fac4989ea82973850d6de75b55912215222127f6","datavalue":{"value":"6512423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453119$8FA67BE8-D952-453F-B4A8-EA12B809CE42","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$464756D8-7BDA-4D22-A936-EA3603ACFDB9","rank":"normal"},{"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":"Q3453119$A9EE9A58-7511-4C25-A860-87984A85D018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cccd35b34888307d4ad7b137783609eb5c56b79","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$B15E92B0-B026-44FD-A5EC-5B1385E35B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ea0f807e9dc1229f0a5e44480e85f8c5ae2877","datavalue":{"value":{"entity-type":"item","numeric-id":14521,"id":"Q14521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$81C0E242-56DD-41B6-B7CB-9A9824F3B38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f8ef9006a1bc79ec9ff16a135860884af04d1130","datavalue":{"value":{"entity-type":"item","numeric-id":1333887,"id":"Q1333887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$BB05157C-4296-4B6F-AE10-F5E2E7A09F72","rank":"normal"},{"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":"Q3453119$D44D9288-A478-4FBF-8CEA-E6664BF61FCF","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":"Q3453119$E61FC372-4118-4013-9A17-6A3A2003C7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7cbb37e14a01458626c5623c37a9141435c8062","datavalue":{"value":{"entity-type":"item","numeric-id":19250,"id":"Q19250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$39C79A6C-C4B0-457A-9353-37E191F9C848","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":"Q3453119$0DC65228-789B-4BA1-99C0-733A6DD6F6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$1A411A68-32BF-46C0-A69B-C2BE77C31F87","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":"Q3453119$C16BAAAA-963D-4915-B823-1E1824E34EEB","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":"Q3453119$F5F0120A-E119-4130-A6F5-2C9940191944","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":"Q3453119$E3A2827B-AA81-4449-B3B7-631A3A5AE6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4e22b8176489c2409392314db08f466f9ad9c934","datavalue":{"value":{"entity-type":"item","numeric-id":30463,"id":"Q30463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$3C92F881-4436-4195-9320-08A52ABAA71D","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":"Q3453119$0EAF101A-76E3-45E2-9D42-46C9812D3CA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7eb074ea6171c0d7962d3cd3c9bd59f583fd3c43","datavalue":{"value":"https://doi.org/10.1007/978-3-319-20615-8_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453119$02FE7A8B-BEFD-4103-B284-CB2E220FBFB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ebd3114730a21820f41c454d62c5bd9979ec0a4","datavalue":{"value":"W2295728669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453119$27984AB5-206A-48F8-9101-8E796FA42C86","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":"Q3453119$9F36A51A-3B22-402F-B0CF-3393FEF4E4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4880c66ce55065d16677472f8a014118a20dc8eb","datavalue":{"value":{"entity-type":"item","numeric-id":1945901,"id":"Q1945901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$155855C3-19BB-4F27-8668-6D358AB2237D","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":"Q3453119$95518950-BA3D-41B0-A7DE-2C323DD6ABE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604f23db2dd4d34a2f60254ad57a8915830982b5","datavalue":{"value":{"entity-type":"item","numeric-id":5200114,"id":"Q5200114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$7FBBDD55-F0B5-45F7-9A4F-0E5BD411822D","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":"Q3453119$06B1384A-F2AE-44CB-A42B-47809D7662D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deb9e17a71ab1372ba8b2ea90cd2c1509f0787a","datavalue":{"value":{"entity-type":"item","numeric-id":5313075,"id":"Q5313075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$CDBB16F8-901C-4033-B419-9DBC42AB1FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e8f24b57f87c650609f2e20bd82f2c350ec9b2","datavalue":{"value":{"entity-type":"item","numeric-id":5756776,"id":"Q5756776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$3E573A77-23F9-4C49-93C8-4562C8C84A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9660934c4dfb287417da637d46414e83ae767c82","datavalue":{"value":{"entity-type":"item","numeric-id":1868506,"id":"Q1868506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$E1816B21-8184-462A-8AB0-F9E13E2A8BDA","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":"Q3453119$A02A0E1D-EC11-4ECB-997B-7A20C7048032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4028b0215dcfb37982ffb4f5fd7958ff82b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$807B912D-A9F0-4D98-A269-D224F93D86A8","rank":"normal"},{"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":"Q3453119$EAC780C3-48D5-4C04-8BC9-E96BD79E47C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5860496434b02f31784ea993988950d9477c2cd","datavalue":{"value":{"entity-type":"item","numeric-id":5313078,"id":"Q5313078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$67A6812C-4AF4-41E7-B2F6-87431D681E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b06809062082b8f9f5dbc080e3987837376fa3d","datavalue":{"value":{"entity-type":"item","numeric-id":3499750,"id":"Q3499750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$2A061378-E0A4-4FB3-B8AB-ED22EF5BA93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d695bcecd17d3c9e7bc0797ad10d10d69db18613","datavalue":{"value":{"entity-type":"item","numeric-id":5200127,"id":"Q5200127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$5893BE9E-D4E2-4A82-8C68-E04B8661F1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37dfcfe5ed2d9448b62e5491ad4286b4ce22b46","datavalue":{"value":{"entity-type":"item","numeric-id":1945911,"id":"Q1945911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$4D51925A-2721-4191-AFA9-B5F1BB8E4304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f585255e3cd65102bf6755b066e16e91ebc784da","datavalue":{"value":{"entity-type":"item","numeric-id":5259298,"id":"Q5259298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$40F61B52-96C7-45C6-8EFF-664FAE0467BD","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":"Q3453119$B7FA80DE-1983-4457-8D57-26E5F8A2A8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7489ea30e71537d01eea3d2bdcb704e187c3f139","datavalue":{"value":{"entity-type":"item","numeric-id":5898511,"id":"Q5898511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$BE5ACE29-10AA-48C1-8023-C48B0F299BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"887efd17320625725aeddf6391561534d8fcc309","datavalue":{"value":{"entity-type":"item","numeric-id":5428273,"id":"Q5428273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$3003B68D-5C90-4A21-9329-D59F87694F0E","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":"Q3453119$03D217DD-4AC4-474B-9A5A-A9C1181DA8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14549321cbae3c57ae9ce6a9266b4af3d64fd4f","datavalue":{"value":{"entity-type":"item","numeric-id":286800,"id":"Q286800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$E2C31582-3571-4886-8768-0989D93935A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d8267b8b601e92bc0ef555ffe6911eece93f5","datavalue":{"value":{"entity-type":"item","numeric-id":1945908,"id":"Q1945908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$C1C8F6E4-90BA-4503-9951-C428D74CC811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990bcb4a0d41c18c68d7c9cdd2cf6abe242dc9f7","datavalue":{"value":{"entity-type":"item","numeric-id":865630,"id":"Q865630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$B8F0AF6D-84E8-4C36-89CD-CC7743042596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4b8a556b0ebfab4e780293fc359a3bb7afe7da","datavalue":{"value":{"entity-type":"item","numeric-id":5852118,"id":"Q5852118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$EF3FF0E3-9AD2-47B6-902F-8EA8B99993F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e3646434a793683f3ce5f6c7fec296d0992d7ea","datavalue":{"value":{"entity-type":"item","numeric-id":5495946,"id":"Q5495946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$D76FEE64-EE00-4DC6-A17F-37C8CC2F112B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec41d91b97fe450aba006d86ee1b6e337fcab2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5313068,"id":"Q5313068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$FB2E52DA-9B50-4D4E-B09B-69292E14F691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c852981cf03ba0205dbadf36200c00bb56793d8c","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$9A18F30B-7D66-4237-AFCC-CE3730E4E714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a256449611c84a11b081fc6ab121a5b321e50f","datavalue":{"value":{"entity-type":"item","numeric-id":1945902,"id":"Q1945902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$171896AE-E237-44A9-AD31-89E289161812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd2efa9cc52b9c7802bc3fd73236ab4bbd639fe4","datavalue":{"value":{"entity-type":"item","numeric-id":2921120,"id":"Q2921120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$10DE1E21-AE35-430D-B0AB-4FF7D6FC73C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e2190236d305fb271fb282dfc083e5d0f3a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4413892,"id":"Q4413892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$979CF8A7-422E-44FD-BD50-598FBB56B877","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":"Q3453119$7E8890BC-11EE-433D-9432-D34F8FE2B673","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":"Q3453119$8A83B3F6-E90A-4235-8A3F-A45EA43BCD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514a4f7338b45fdf5de5487918e2ae3d624f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$DD04BA16-B521-4A01-8E48-0F5523D0EA22","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":"Q3453119$982FF6DA-661C-44A8-B378-60C53E5B75A9","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":"Q3453119$86D1A372-2B23-4891-ADCC-CDA56D09CEEB","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":"Q3453119$08E0B87C-3DE7-432D-9550-E620DE493030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c6f2b5700f03be5d761a1df5375a7e275478f2c","datavalue":{"value":{"entity-type":"item","numeric-id":841684,"id":"Q841684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$60345C2F-714E-40AA-8036-B48D54E99463","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":"Q3453119$5858E39B-B92B-42BF-B60D-716EB58068FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5195f079b24d72ee2311e1fa679a5be0342958f5","datavalue":{"value":{"entity-type":"item","numeric-id":3010374,"id":"Q3010374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$4645156A-4A24-46EA-8760-2C43DE426EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0f03bf183c7a653e5e84320e58ed58d37b137b2","datavalue":{"value":{"entity-type":"item","numeric-id":1868515,"id":"Q1868515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$0EB54FD9-04AF-4185-9812-74DE0CFDA310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502ad8224b7ee39a96e36cfcfba1b8b740baa8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$27E669E2-3D57-4CA9-B6F7-771A96FD8433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2503feeec7eab5bebfae2eefbab2a7d275b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$64005329-23EA-4DBB-AC6B-0052DD87849F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5045e17431ae100adc29ee6860720ac72d87fa","datavalue":{"value":{"entity-type":"item","numeric-id":5302561,"id":"Q5302561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$7A0A2214-5DBE-4D4E-ABCA-045A812C0B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4ef8738eccd7b653460e41e83660d0f8b8c95df","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453119$F4335E1B-FB94-4AC1-A5AD-DB660DF1F4C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6549d517e11201e7e7f703b6dfb328b0122033b","datavalue":{"value":{"entity-type":"item","numeric-id":3183518,"id":"Q3183518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8282a3f61c760f8c1073f643cf18977be5220459","datavalue":{"value":{"amount":"+0.8615091443061829","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":"Q3453119$415409C7-EFE0-489D-A6EB-7D8DEC253D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c49906e1fe805d44e147938b4cb36864a781c34","datavalue":{"value":{"entity-type":"item","numeric-id":286794,"id":"Q286794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ad0745b81b9976f9ee640880808ef72dacd9f6","datavalue":{"value":{"amount":"+0.8555753231048584","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":"Q3453119$ACD90FD6-C9DA-4151-A38B-51135D6A99D6","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":"2c81ec1926d971702024c3f4b94a0c9ed086d581","datavalue":{"value":{"amount":"+0.8469321727752686","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":"Q3453119$ED9EA974-07A6-4BD7-BBB1-C3C8130B5134","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":"07181f8f7c23f38ba41c20e2fd105955edbad2a4","datavalue":{"value":{"amount":"+0.8343917727470398","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":"Q3453119$7C65940E-C4A6-4CB8-91F1-CFAE8488273A","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":"b5bf928c6d01d167cb095d40ff28c22c8701fd84","datavalue":{"value":{"amount":"+0.8299835324287415","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":"Q3453119$D06CC3F8-048B-4872-98B0-1204AF632582","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mizar: state-of-the-art and beyond","badges":[]}}}}}