{"entities":{"Q1663215":{"pageid":1673956,"ns":120,"title":"Item:Q1663215","lastrevid":56720385,"modified":"2026-03-19T05:12:21Z","type":"item","id":"Q1663215","labels":{"en":{"language":"en","value":"The role of the Mizar mathematical library for interactive proof development in Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6921411"}},"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":"Q1663215$8B477A31-2AA9-46A2-8AE7-30555E26C94A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"74e7d9e775ee63741e6abbf10162bdb6caab0bf0","datavalue":{"value":{"text":"The role of the Mizar mathematical library for interactive proof development in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1663215$F397C4C2-0CCF-4634-B023-3F228C2FFDD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe8fbfce62ac39c2945e6a759c142e0fbc46d2f3","datavalue":{"value":"1433.68530","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$9E2C6E13-99B9-4834-BDCB-D4EE0F8E82F6","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":"Q1663215$14B3D02C-4787-4FD0-B293-D0B81EC83543","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":"Q1663215$3B89EC3B-B234-43A9-8A86-2A8224A02E6C","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":"Q1663215$55993DAA-84BE-43BE-A34B-EE5E074AA1C7","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":"Q1663215$9C4D906E-1AE6-46AE-9D51-D54F3DA169AC","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":"Q1663215$8CE9DBF4-B6CE-4EB4-A00E-3C2DCF2F465D","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":"Q1663215$19835786-34BC-4F03-BF46-CD2D554A530A","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":"Q1663215$B20F6082-5FC5-482E-9BB3-A0A9CFE73115","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":"Q1663215$2839B5D5-D7F6-4EF7-A66A-533A6BE1F485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dea8b353f71cbbb3b5cacc724847e34eb1031d7","datavalue":{"value":{"time":"+2018-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1663215$E4288F92-A54B-44F4-B217-28E8C7F42F35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$9F31345D-D590-45FE-9871-4D97ABD467BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$5291DF7E-A8A3-4BED-B306-D52291C7E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c276f6bcfe480cdd0a7a976933d6fd851c1b746","datavalue":{"value":"68V30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$D78F039D-468F-4F81-B2A0-82BD9866951C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"766084627e5c42e5831b58c901fc61df94d9bb9e","datavalue":{"value":"6921411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$17752200-81D3-4DDC-B0F3-E69BB6C43E7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663215$EDC4042C-08FC-44B7-91F0-B55F9F88503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0e8487abc46fc755f9046f8c7a50673ca601e15","datavalue":{"value":"repository","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663215$CE1EF952-538F-49D3-8F37-8B029A86C25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"503b427464ff7428027c614bb1c66755d1f8c1dd","datavalue":{"value":"Mizar mathematical library","type":"string"},"datatype":"string"},"type":"statement","id":"Q1663215$92EA80AD-4EDE-4665-9C53-FC80FDD38B81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"43cb24e1c3e0391316f0c1f7b8798a2564784de3","datavalue":{"value":"Q59610101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$FD0F01EC-B5A5-4126-842F-E776F9F48856","rank":"normal"}],"P1463":[{"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":"Q1663215$62D71239-C47B-46AC-84F9-10392278A663","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":"Q1663215$99E26624-477E-478A-8F3E-01CCA0A7DC84","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":"Q1663215$D1462EB2-6CB7-4544-BB80-C6FBD2F05929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$7AB0DFBF-7A66-4815-90CC-D7DB21C1420B","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":"Q1663215$7D8D7F99-CA09-4BBA-A92B-299A921A56F3","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":"Q1663215$9F83A746-EFB8-49CC-AA01-A2F3D7FED986","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":"Q1663215$68C4C080-C7F1-482E-A937-9E0ACB5175D6","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":"Q1663215$35F3AB3B-1038-4361-B1A9-5E544B33E301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$014837A3-DAC4-4821-B8D4-B0DC38BCDA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$3E4AB5D7-2F89-4118-A8A1-51B617543042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d7080ec90546ccf740799d90136dfd2e93385c80","datavalue":{"value":{"entity-type":"item","numeric-id":39267,"id":"Q39267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$9DE7E21A-02D9-4CD3-B45C-037757E1EA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82143235b0b6504fa32df09c0152ce8fd835cfae","datavalue":{"value":{"entity-type":"item","numeric-id":40308,"id":"Q40308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$3353D600-FC31-4823-9713-1A1E6017F99E","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":"Q1663215$84AAB090-8198-43A0-951B-94179C9FAB15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02fc863170de857dbb8e2ebee3416f72fd6c8aae","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9440-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1663215$62AE6A32-C15F-4CBA-89AE-47094E1425AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cc8c8b6725225c19c8c9c4e19c2e954aa06a86b","datavalue":{"value":"W2770430340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$EC89E1C6-3EBD-477C-9264-E89C82B84C56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c3385bff92b5444ab5df76834fa7dd0bd3de28","datavalue":{"value":{"entity-type":"item","numeric-id":5313052,"id":"Q5313052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$5C3B8B11-894C-42FA-863C-B4A66381FFBB","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":"Q1663215$11BC192B-5121-4F38-BB2B-5951C1522583","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":"Q1663215$34EBB984-FF55-4686-B192-11BC295AECE5","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":"Q1663215$0A8554A4-FF17-4100-801E-B901DD3C29FA","rank":"normal"},{"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":"Q1663215$61E5781F-E038-4A2F-BB5F-79A6F65D7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db96d49cd835a72b0287fd80a8a1bd9f27d72c8","datavalue":{"value":{"entity-type":"item","numeric-id":704809,"id":"Q704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$52132DB7-1412-45F1-AB8C-E9D58AF33559","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":"Q1663215$81A03A69-44FC-4626-9519-896ADBE197C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5552c73af9ffa4d08773105bfa675feb6642eb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$AEF25ECA-8937-421A-A23F-89D78DE378B7","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":"Q1663215$103301C9-B1D3-4515-87B7-600B58B4DB46","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":"Q1663215$49411559-69BD-4A25-93AA-D9D3F8229ACB","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":"Q1663215$EDC0328B-0261-4C12-A4EB-F696BA3B60E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73bc73e3351b113a1680b6365fb1851ae1d25213","datavalue":{"value":{"entity-type":"item","numeric-id":3453102,"id":"Q3453102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$64D0F773-E47C-40B5-87F3-8F850D975914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee178f7541c5d2ed1d6ee17e1e99ce6d2d8a20c","datavalue":{"value":{"entity-type":"item","numeric-id":5195271,"id":"Q5195271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$78766672-4157-4B9F-A3A9-C0D75583542E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38256027c7e0fe74f7ac6d967e5095866a89e6b7","datavalue":{"value":{"entity-type":"item","numeric-id":5428270,"id":"Q5428270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$A3BCB12F-7B43-4BCC-BF46-DF2FAF796CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65e6de4a48654a714c2bc719e1916e9e3f57a175","datavalue":{"value":{"entity-type":"item","numeric-id":5590633,"id":"Q5590633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$CE60E191-0ED1-4BFB-A760-C7012ADB09D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a8588314fb5a4e61853f0fff144f1355b479f9f","datavalue":{"value":{"entity-type":"item","numeric-id":555659,"id":"Q555659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$5B156FF7-0F96-4C44-A1BB-E377A587C265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$13640A16-0354-493B-8FCE-4FDFE6084DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2e8f4770b19dfe4ed5db70d9e22ebf6c799bda","datavalue":{"value":{"entity-type":"item","numeric-id":1640642,"id":"Q1640642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$0CFE10B9-AAE5-4964-A2F4-62E89A5B1F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$9D1B6C28-26B3-41CC-85B2-077D1E70EA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$068D6993-B9E9-4062-8B7C-C62FD61BCBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$CE6C9C19-57C0-43F9-821E-5F1264ADE653","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":"Q1663215$D0F84A00-D1A2-4209-A267-1124CCEF0ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f3b8b1e80eca8edaacfe88a0aa0b9eebd05041","datavalue":{"value":{"entity-type":"item","numeric-id":5313083,"id":"Q5313083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$3CCBD383-5A25-43C1-B834-6FDE0ED30753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f790f799c537e20307a809b70bb81bf060da6f06","datavalue":{"value":{"entity-type":"item","numeric-id":286803,"id":"Q286803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$76D67050-6A56-4B29-A7C7-AF17D9118F35","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":"Q1663215$974BC86F-F343-4070-8AD4-064D63664DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a902f15fe314a198c804748c2554a0c20661191","datavalue":{"value":{"entity-type":"item","numeric-id":286797,"id":"Q286797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$FF18052A-89ED-40F4-A492-6C6280C355F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4b8393dac48a489df020c614968dbbb730e7ce7","datavalue":{"value":{"entity-type":"item","numeric-id":4589200,"id":"Q4589200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$E7BA63EB-0683-4133-BAC3-33E0E60C36BE","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":"Q1663215$98EA9CF0-1A14-411A-A1A9-D02412398AD7","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":"Q1663215$765B4C0A-A6C6-490F-B142-6CF6E866D186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4857d0d243b746647a153e1690cd4acc84f69e","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$A20950E6-1980-40D2-88D2-3A109E716D24","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":"Q1663215$EA7EA104-6E53-4A42-BAC9-B05FF77F3794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3ee1c7869e66d499e227e078da2d7175afdd76","datavalue":{"value":{"entity-type":"item","numeric-id":3454109,"id":"Q3454109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$531C769C-1FB4-44B3-B40C-789EE46F15AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"478ab633984c2325d585b9d033de5254e999d7a9","datavalue":{"value":{"entity-type":"item","numeric-id":466397,"id":"Q466397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$FCD22845-DE87-46A0-8791-291D296224AF","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":"Q1663215$AA18E282-0697-47BF-AD72-27666A9DF03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bf0c617669af0d4f18d2ca2634823c1002e5f5","datavalue":{"value":{"entity-type":"item","numeric-id":286801,"id":"Q286801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$41D887CD-2E06-4901-A7FC-F8DE1E6CC615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4069e49240b11100053a73c05c9f974f79da95a1","datavalue":{"value":{"entity-type":"item","numeric-id":485842,"id":"Q485842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$BFEB42E1-40E0-4E2F-A9B3-E5241CA0CA3D","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":"Q1663215$25591EB6-5DCD-4EE0-93BA-5CE99CCCB305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"805f0ef33ec6bae52ad9a03e8a64228ff624e9e5","datavalue":{"value":{"entity-type":"item","numeric-id":2351555,"id":"Q2351555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$5367F0D1-08DC-4E2C-BC21-006D2E76384F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83759b6decb51341d00ee48463b281266bbdba63","datavalue":{"value":{"entity-type":"item","numeric-id":2630694,"id":"Q2630694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$6BC9DF6A-8837-46D4-8402-19E82A1A38DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5dd7a0147830d02b1314cee235ccefedf59c76","datavalue":{"value":{"entity-type":"item","numeric-id":2817301,"id":"Q2817301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$2B413F80-4FE9-48E3-AFEB-E8C8DF85FA3A","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":"Q1663215$B22B6AF5-5C2A-4F34-B2B9-72C78A0F97CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e48ace6103effd3d34906d70acc5e7b83a9e1d1","datavalue":{"value":{"entity-type":"item","numeric-id":1749141,"id":"Q1749141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$420EB8D8-59D3-4654-BFD8-1B7CB4B18713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4664bb57de74b2131833ba33d6f5ae1dd0bce5e4","datavalue":{"value":{"entity-type":"item","numeric-id":4645728,"id":"Q4645728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$8A4DB581-65A6-4FC6-A6B0-FB9E2BE7C0D3","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":"Q1663215$5FFB8ACB-35E7-4890-9B8A-AD467C6FBD8C","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":"Q1663215$742C0739-E4DF-46D4-9CF5-9A1883C44A3D","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":"Q1663215$64C3D120-AC1A-4E5D-BA2A-56F54AF68601","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":"Q1663215$8457D337-2ECD-491F-B4E7-3B2F37466754","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":"Q1663215$8B898A6D-5A2C-41E0-8D2A-6580EC4764E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2783d27233e655a002c174ea1e6f05b3d274520","datavalue":{"value":{"entity-type":"item","numeric-id":5495936,"id":"Q5495936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$EE0377AF-2413-4C71-8A46-DC71724B84EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631fb0653addd3bb7a28e2d83e1cdbb5e8b075b5","datavalue":{"value":{"entity-type":"item","numeric-id":286805,"id":"Q286805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$2C458520-1EBE-4798-B3F8-EABA431040CC","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":"Q1663215$64D832E3-88B8-4852-9BE6-8D6E76E4B98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0070e1df81270c845f34a31f8c734ef6a747265","datavalue":{"value":{"entity-type":"item","numeric-id":4589264,"id":"Q4589264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$9180C391-1FAD-4EA2-8681-6013F72473F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78872435ac0c70f70e886a28fe4b47e2d74b335a","datavalue":{"value":{"entity-type":"item","numeric-id":5773668,"id":"Q5773668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$03F871B4-8861-4E60-BDC5-5F28B82132E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6894c00047f0f186f409c5ab6eba7f033c4ce31c","datavalue":{"value":{"entity-type":"item","numeric-id":4955694,"id":"Q4955694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$A1DBA00E-7B34-4898-B8EA-E0CF6B6838ED","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":"Q1663215$E3FA17FB-8E7E-417D-8455-CE5E770B699C","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":"Q1663215$8455E743-EB09-4277-9F2C-B8AECB332C5F","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":"Q1663215$9EDC9C0D-F0B9-44AC-98A8-D51FB2A4DB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f0da0a09bbdbd8336886d62c2c8b015aa727a44","datavalue":{"value":{"entity-type":"item","numeric-id":2250560,"id":"Q2250560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1663215$22AF0CC3-6BE4-46EE-91D8-9C146AA29D08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7779827efcbee5a076f5b3b1cfe0f490de55cc0c","datavalue":{"value":"10.1007/S10817-017-9440-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1663215$8FC926DA-A4EB-47E8-AE26-9522A4AD5995","rank":"normal"}],"P1643":[{"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":"d182f30de790fb0f6e4d274b52f52095977391f0","datavalue":{"value":{"amount":"+0.8396055698394775","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":"Q1663215$BB661F6A-3C9E-4079-9699-EF45D81C75E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed25aa4185f2e815bad791afac995de061e6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"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":"Q1663215$4CB21F98-7D6A-454F-B5F1-8FE395335D1D","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":"246c0098bec207e65958f0652f4d730c2eecb1c1","datavalue":{"value":{"amount":"+0.8127292990684509","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":"Q1663215$F5F92EA8-2A28-4085-B6E0-EDF5C54B226F","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":"b70b02c99f9263293b8caec6fe21c063cff8c1fe","datavalue":{"value":{"amount":"+0.7965183258056641","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":"Q1663215$E2CE4B27-9EA4-4D2A-8735-E3B39EB01934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3db6d199add8d33f3d913b30a13b7b56d2fd080f","datavalue":{"value":{"entity-type":"item","numeric-id":5200124,"id":"Q5200124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a68f11442673fca3587c0de88b981bfcf472ad6","datavalue":{"value":{"amount":"+0.7961622476577759","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":"Q1663215$BAAE5EFD-6AD7-4294-8943-4CE045E79415","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":"Q1663215$F1773310-D65E-4391-AFF3-3131CDB4637C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1663215","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1663215"}}}}}