{"entities":{"Q2069875":{"pageid":2080617,"ns":120,"title":"Item:Q2069875","lastrevid":57635829,"modified":"2026-03-31T17:14:45Z","type":"item","id":"Q2069875","labels":{"en":{"language":"en","value":"Experiences from exporting major proof assistant libraries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7461271"}},"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":"Q2069875$B841201A-1367-47D0-B79C-FA763414A6D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f51d2ad0fa43916916cd5e257c8f34c3d6df0f40","datavalue":{"value":{"text":"Experiences from exporting major proof assistant libraries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2069875$D283AB3E-1CD7-4EA1-9FBA-933548357B53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2058e152866416201cc45ced58405f55031245a7","datavalue":{"value":{"entity-type":"item","numeric-id":219445,"id":"Q219445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$ACCC64BE-DA11-485D-AFD1-A62418686814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$773092D8-F14A-423A-B082-02CB3BB18772","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":"Q2069875$AF1D310C-492D-415B-9293-64AC3D630A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"212b5d293f1898346d16fd63133f51036fbfbfcf","datavalue":{"value":{"time":"+2022-01-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":"Q2069875$8ED7A2E7-AE58-4378-AD1F-118AB40BBA80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67d7ffee4b8eab5ad421d707f5b979d937d7d3b3","datavalue":{"value":"https://arxiv.org/abs/2005.03089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2069875$00FFFF75-0B18-40D0-B2D0-F358620EF9A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069875$61260760-C7A4-4E9C-82A6-319B5C805AA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f69afcb5f189be1d3b7385c4f8a6d915004716","datavalue":{"value":"7461271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069875$32C0F2DF-997E-4BF9-B989-400A83699B13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b6ef16e7b95a9e82caf02c8a802c9df38cb5f0","datavalue":{"value":"theorem prover library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$91078081-A348-4C86-8759-A5982FC6A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b01c75b69e6352e701abba3c725e8d7b607f577","datavalue":{"value":"export","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$50264CF4-532C-4D77-9568-F401F2E91CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5004e76eed31b1e2520bfbf1b797adc35e1b8e","datavalue":{"value":"HOL light","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$9A654451-9997-4D61-8318-2AD9098DA4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$7A2F532E-A1DD-4F05-9921-B2E66E2D5B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$0E433B90-E7F4-490D-A890-49F812AD4AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57011f4359c34ab7c9585d8629a23d759f50e140","datavalue":{"value":"IMPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$1F1D9E53-4A74-4B1A-A188-DCC9E8BF7678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3d3d0d2409011411be91984a4137a1c90ca04ff","datavalue":{"value":"PVS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$3A500863-57B8-48CC-BC76-C049113F5971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069875$CAC60BD9-4692-4C88-AAA5-79B8A3F56816","rank":"normal"}],"P1463":[{"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":"Q2069875$006F549A-309B-42E9-8E4F-1F61E92CF117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$D53127B9-E8A3-4FF0-B2E5-F822E669DE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$D57F24AC-BBEE-4B06-B0F6-762C7D371353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"771503fee8982049925eed89301d9abaf6576239","datavalue":{"value":{"entity-type":"item","numeric-id":19192,"id":"Q19192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$3B618CE3-5A86-44E0-BE6A-6965996B17B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39d1d25ae8c00cfad058b188db36fd61dac09925","datavalue":{"value":{"entity-type":"item","numeric-id":27041,"id":"Q27041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$ABD73901-65F0-4A14-B748-43A65D0852C4","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":"Q2069875$C412B414-3812-4B58-B1B2-A6579D9F67FA","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":"Q2069875$123D325B-4A21-4F8A-93DB-54933D8FA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"205d869fa000d5392cc92b69ce8e6b60676d4e85","datavalue":{"value":{"entity-type":"item","numeric-id":31524,"id":"Q31524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$80CB3A23-DDE2-4766-89F8-FA6E7FAF38DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$F12100CA-AB24-4998-A725-42C6CA322F90","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":"Q2069875$F953F119-C438-41CB-8B06-96D5AC3BEA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$97827438-14EF-471F-84E3-452DB4B42524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$3D4F23DA-EAE9-48B8-BF5A-57A7829E51BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"96c0b79d4d2396c47fe12bdfae1f80fcba4d7b43","datavalue":{"value":{"entity-type":"item","numeric-id":19459,"id":"Q19459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$DF6D6665-35DC-4074-B4F1-656C7F0AE208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a54eb5f0bc4bb2434371fed2614d3a40ec43e50","datavalue":{"value":{"entity-type":"item","numeric-id":41110,"id":"Q41110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$D7E49E26-CB39-4B70-B467-814736DFE338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d1491f0152fe7d5b562e13071c6601d829d736f7","datavalue":{"value":{"entity-type":"item","numeric-id":43709,"id":"Q43709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$63872DDA-4E15-4699-80B7-FE042C798514","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":"Q2069875$8BC44C1A-4D86-45FB-87B2-692F4B5BCE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$D200B2F6-678D-4FDE-BA3B-FAAC8084A6E1","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":"Q2069875$E395F1C2-DBD0-49F2-9484-41A3D8E09337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6eebe30b9df25d8c347930b235e09f446ddc2fb1","datavalue":{"value":{"entity-type":"item","numeric-id":44157,"id":"Q44157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$D548EE6E-C112-4DFE-B22E-4755D63AE35B","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":"Q2069875$A47598D6-453D-47E6-97E2-8550A27D3DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$DBB34BAE-F736-4280-9DCC-B9A124D62708","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":"Q2069875$0F3B7D9B-D585-43D8-B201-0B0C9A53B8E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0466aa67e60fcb18e880a7da510d877661725452","datavalue":{"value":"W3190866889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069875$1486CBA2-8C9D-4CF2-BF67-1BBB3952AA2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"34babec465921f60dcf35356976f5e24742b5ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5898170,"id":"Q5898170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$09E031F2-0C00-4BB8-BF52-46A0EF9D015F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab98c2b4417373f1669b95e2ac3656950d8078a8","datavalue":{"value":{"entity-type":"item","numeric-id":3612433,"id":"Q3612433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$8A605E02-3C2B-4610-9415-0741FDD624F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df488e7f43b5d60881d5d0a2a1f6fb9f85b143d","datavalue":{"value":{"entity-type":"item","numeric-id":2891442,"id":"Q2891442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$F087FD90-F8E6-46EE-859E-81256E56056E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03288226a365769ff217742a8fc1b1c511bfdd97","datavalue":{"value":{"entity-type":"item","numeric-id":1798938,"id":"Q1798938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$543FC2CD-F403-4A75-A1BD-26891D8C501A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b176c2a356ba8de8a18b774ac2537d3b09f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5200129,"id":"Q5200129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$50100FF2-8012-4DF3-ACCA-3AD4304411A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dcd7aa305f93df8bbbf2e8a8fc6e41bcede6601","datavalue":{"value":{"entity-type":"item","numeric-id":2287899,"id":"Q2287899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$7C87FB14-2C0E-4844-AD73-39A1A112D72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd3cb6b9019747c7bbfc2bed55b78e42a7665495","datavalue":{"value":{"entity-type":"item","numeric-id":1663240,"id":"Q1663240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$0200574A-0799-4D6B-9D35-9D3E2C285DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$BD21D278-5FC0-4778-8316-AFB3C50A2495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$6DFCF0A6-2BD4-4CD6-B849-C0BC69C63812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c6dee845aa2fb3e3b96fd0f5f996675d409056","datavalue":{"value":{"entity-type":"item","numeric-id":3183538,"id":"Q3183538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$91CE438E-B91D-4A7F-BC2E-D5D91D48ABC8","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":"Q2069875$2E5EC733-274D-4828-8D34-2CD9861F8D09","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":"Q2069875$9EBEC8A9-6F5B-4157-B37A-348356198243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$AFDF682E-1E0B-4FA3-9BE2-DC4E0A2EFCC3","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":"Q2069875$C5100DBE-C6BA-4EE3-A13B-6CFDD7FD1D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb771eb1dd5ac3a4e83b6105ce84dd2191d8e367","datavalue":{"value":{"entity-type":"item","numeric-id":5327336,"id":"Q5327336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$A282372A-9932-41F5-9EEF-441DD0FC0F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3664b6907ca78dcc7471c19ca41bf9ba07ff81c","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$F53E75D3-614D-4DD2-9099-C4C9B6CEBF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9b27ddb3b48aeb915b53e580427dd25562968b","datavalue":{"value":{"entity-type":"item","numeric-id":5495935,"id":"Q5495935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$E7B1FF07-59E0-47CB-891E-A3C3A4E5AFBD","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":"Q2069875$65CA8B92-0D3F-4959-8924-CA81C2F64094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14084b41dac7e71956551690bb40c48e6f7029ba","datavalue":{"value":{"entity-type":"item","numeric-id":5747657,"id":"Q5747657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$6908BEE6-D23F-43AC-91B9-C21609771C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199df7e226dd4292a409d9db012ff66a0579ce9f","datavalue":{"value":{"entity-type":"item","numeric-id":1687752,"id":"Q1687752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$0246843E-D43C-4066-8D76-BDDFD2F59613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e6a25ac0a8d323e9a670300dbef32156f7ac19","datavalue":{"value":{"entity-type":"item","numeric-id":5195275,"id":"Q5195275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$C9B91B22-28A1-4DE4-B670-468895885E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67c913a72527b57ea467866b24b8cfd23fe78226","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$AA51F79F-34D8-42A6-99C2-0341194FF1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57a2c48ddf93fb73ec9a94dbbbbbdd511f700b1b","datavalue":{"value":{"entity-type":"item","numeric-id":1799118,"id":"Q1799118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$C118C9E2-9F37-4F80-8E5A-2E2FE7EEB636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d20f4df39989a96a1f991294dfe12efc398cf16b","datavalue":{"value":{"entity-type":"item","numeric-id":2219401,"id":"Q2219401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$58EC6908-CDCC-4EB5-8EFD-827092BE3E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23abe57081fa3e8a7b0f52c73f87c8e7faf3ce62","datavalue":{"value":{"entity-type":"item","numeric-id":2287907,"id":"Q2287907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$AC6B8BB3-05A5-4544-9721-3A39B84A90F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"299da2cdaab4313c0718c773bd4fb2786347b19a","datavalue":{"value":{"entity-type":"item","numeric-id":4790669,"id":"Q4790669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$31F70C61-6FCE-4E73-BA82-D10FE80C271C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$8D1AE978-9B1D-4113-B79B-129C0917CB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08bcda4154d9d76e5fb3ca5df165cb2b1083005","datavalue":{"value":{"entity-type":"item","numeric-id":2843014,"id":"Q2843014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$A14619CA-CD54-4B2D-ACC2-011F052BD51C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$5D0FEB3E-24AF-43F0-A95D-4F3840FDCAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dedc68dadd430a8cbde5a901ead9a15c139e567","datavalue":{"value":{"entity-type":"item","numeric-id":2843035,"id":"Q2843035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$891B4878-DCD9-4C37-A07C-BB7B006023CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$B46E1620-4859-4417-89CB-A4FDC6269A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376cb44fce5e9eed8cc7baf818d444d4e574a99c","datavalue":{"value":{"entity-type":"item","numeric-id":5222980,"id":"Q5222980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$9DC449C0-E5E1-4445-9B19-7950488C3DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b643b78a0628866540e7775e6e3d8d9aeb107d3","datavalue":{"value":{"entity-type":"item","numeric-id":2287917,"id":"Q2287917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$CA76A8CB-1812-4657-B1A8-10F4B3F8E85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e46b2220dac6fabc197fa8b2340ffd4acfb8f4f","datavalue":{"value":{"entity-type":"item","numeric-id":5387890,"id":"Q5387890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069875$CCB07EC9-F177-4B7F-8EC5-2B98E2B04915","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":"Q2069875$4083C824-0FE9-4BE6-8204-AE3BBD8D6745","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"922293f2b2ab18d66d5f4e82e0cb4f98e4211b64","datavalue":{"value":"10.1007/S10817-021-09604-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069875$7286B735-DB38-4D95-81E7-04C7A893BDBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3791ebade564b3137ef470985cf98685e0f9b0b8","datavalue":{"value":{"entity-type":"item","numeric-id":4413879,"id":"Q4413879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe9696e7af0f1fe88f0358b9acc94ccf4b4615b","datavalue":{"value":{"amount":"+0.7603002190589905","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":"Q2069875$0E030517-B483-4285-B111-A59C7E9E9FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d619869ad0302d9b9fe0d70f22451dd60a21bf06","datavalue":{"value":{"entity-type":"item","numeric-id":2782486,"id":"Q2782486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c8cfb3c32094675380815c2108d972f665db44","datavalue":{"value":{"amount":"+0.7079110741615295","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":"Q2069875$C3FB104C-8256-439B-B9CA-8EE6D09EC0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfef95c0cb096f65c22795035488c2b360de8b40","datavalue":{"value":{"entity-type":"item","numeric-id":2128826,"id":"Q2128826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9100ef0b6cc8cba88e1a986fad439ca37ee36b0d","datavalue":{"value":{"amount":"+0.7027210593223572","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":"Q2069875$104704DC-635C-4FE8-8FDC-02D30892CE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb6eb11d0dd16776606314fce063ca1f55959088","datavalue":{"value":{"entity-type":"item","numeric-id":5898533,"id":"Q5898533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215c8d5442c77c609583dc30a0172e9c8fe30781","datavalue":{"value":{"amount":"+0.7017146944999695","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":"Q2069875$1A2CE82D-A886-4C4E-9462-4512959A8FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f4a52d9a5fcd5fdd13614de2b175a7c374f41fb","datavalue":{"value":{"entity-type":"item","numeric-id":1687726,"id":"Q1687726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f8745449f2428a7f15f5b9cd64a6e638a96d53e","datavalue":{"value":{"amount":"+0.6996844410896301","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":"Q2069875$89AE58B3-DFEA-45C2-9E93-082AECB1C7BD","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":"Q2069875$F1471644-74E6-457D-A711-855D7881D311","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2069875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2069875"}}}}}