{"entities":{"Q2108191":{"pageid":2118934,"ns":120,"title":"Item:Q2108191","lastrevid":57126717,"modified":"2026-03-26T17:24:56Z","type":"item","id":"Q2108191","labels":{"en":{"language":"en","value":"A formalization and proof checker for Isabelle's metalogic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7634129"}},"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":"Q2108191$886B8A98-1B64-4F53-98FC-B7E27355646B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b5a001e85c295554e66de9e13cb8a539a1bd0c0","datavalue":{"value":{"text":"A formalization and proof checker for Isabelle's metalogic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2108191$8980F74D-934D-4F74-8AF3-6B319235BDDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"74a4c496ca6d667e0ff18c0708f524db4222216e","datavalue":{"value":"1502.68353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$CCCC888E-242A-47D0-A52E-53F85CEACDC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a396d0ba9a460ea09fb442fd6da739156adfc24e","datavalue":{"value":{"entity-type":"item","numeric-id":2055846,"id":"Q2055846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$7ED66F76-FC0E-4A6B-B8DB-FEFFA9BDEAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$A88870F9-1914-4D7F-A831-4E310FBD74BF","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":"Q2108191$2865DB2C-5BF7-45C6-9CCF-18956A80F703","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d476bc98ade8fa5943c1aebbb4a04d667c5b15a","datavalue":{"value":{"time":"+2022-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2108191$E08F647D-376A-4060-96A1-B91639962BC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$7BDE9872-EE65-4235-9B51-19BE3DE950E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$32BB59EB-B88B-4621-8C8C-FB64BE704493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$4679419A-498B-471A-9F5A-82CA76858190","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c3e687ce36f2090e458d1448bd5b092087b23a1","datavalue":{"value":"7634129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$267529A3-06D3-440A-AABC-2DFBD499ED4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108191$B78C9269-100E-41F5-97EC-6A50A6AA25E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108191$5BC8B3FE-8F6D-4799-882F-2429743D60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108191$AF1B1513-7F95-4ACF-AF94-4CB936891C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e29a0a1a089c1739ef594b8aa170de0991ebf7f7","datavalue":{"value":"proof checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108191$5FCE0B9B-5495-4E49-BE60-B1167DE0F27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f7406f0eff820b5e7ff01ccb48867d9c8dfca15","datavalue":{"value":"metalogic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2108191$21390C68-C067-4869-90F9-4DAE3168C861","rank":"normal"}],"P1463":[{"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":"Q2108191$961D255B-BD7D-419B-B095-303A43BACF0B","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":"Q2108191$5F37C062-9352-48F0-A8CA-41B86D9626A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"468fad61234030d4d4bd64e4991e6e30fb2af1d0","datavalue":{"value":{"entity-type":"item","numeric-id":29451,"id":"Q29451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$49AE69F2-78C1-4D7D-A528-4E92E008AE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9fd7dbff509abaee9c64d21afb19f85055bad01","datavalue":{"value":{"entity-type":"item","numeric-id":32823,"id":"Q32823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$8A2399FB-20A8-4CFD-B712-8CD7F2992A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$FD01D975-6564-48BF-8BDB-20F3C43CB04E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$6371AFA5-4DD6-4B72-8698-4B95215C2185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"666b9a47dc68ef552d799234146196fb61f3c743","datavalue":{"value":{"entity-type":"item","numeric-id":33169,"id":"Q33169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$15D662C4-0B40-4BBA-AA3B-4864E2ADCF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"801a319db4682ef4442b12d14dec7cb54b5357be","datavalue":{"value":{"entity-type":"item","numeric-id":44336,"id":"Q44336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$D58DEB44-76B0-43A4-8719-2C7C96DF1D7F","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":"Q2108191$988EE151-8B6B-47ED-B632-41ED54A031E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e079f4640d565f0ca1930fd327c2c7e8d634508","datavalue":{"value":{"entity-type":"item","numeric-id":21954,"id":"Q21954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$6846D4A7-06C8-401F-BC25-0385515DE08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f39beca6c7c36fe1f5303e6d7185cd41d2055251","datavalue":{"value":{"entity-type":"item","numeric-id":53234,"id":"Q53234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$A2C4E8EB-26B6-4CA4-8737-12C865252E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1f427ab6dbbd025b0c0b66dd047be36c332e9e80","datavalue":{"value":{"entity-type":"item","numeric-id":32822,"id":"Q32822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$A698AAF0-74C8-4814-86D3-068AD5B6CD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$56188644-58D9-494E-9990-AD6CDFBBB618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44e192ea0614ca90dcab29c306f09db708056c50","datavalue":{"value":{"entity-type":"item","numeric-id":24736,"id":"Q24736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$AD6857BD-2D6A-4BF2-B9BF-E884E49930EB","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":"Q2108191$FFE8CEBE-111B-4A0C-9905-E2DDDA272C6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75d05880b838654853ceb8bf0dbe2f0a9f56afc4","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09648-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q2108191$ACF7B25C-6DB9-4383-8D2C-739ACFA9E905","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98b3b512c75c54dda17b31ca452ab8af53a59c61","datavalue":{"value":"W4312126060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$1277F3D5-4575-4DF8-9F54-963DF8C4B8C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeedc506ee95714a79cfc16f82862182df8774bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$0E6EBD27-455E-46E6-9872-7AC260A24327","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":"Q2108191$F1541754-22E9-4961-9C1D-886031259BFB","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":"Q2108191$CE8E4B1B-6A98-471E-AED0-AE7A32488B98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e264974062f53b439460b85662778a60b49509d","datavalue":{"value":{"entity-type":"item","numeric-id":2926333,"id":"Q2926333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$19122553-F395-4278-BB39-0BA4718103D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1404903fbb3450c69ae4b46e148487834232fe43","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$1E003DE3-1CFE-4EC0-937D-3E91E98F944C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4cb046e7e6d1eac10022f3d396c57882b72a6","datavalue":{"value":{"entity-type":"item","numeric-id":2754030,"id":"Q2754030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$DA558CAF-64C2-4F51-9216-FC5EC114302C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc9d0044875a173a7ecf2471ca493b7ca43f1fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2055847,"id":"Q2055847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$3990200A-53A5-4DB9-829C-54D1A6779118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92281f917da3a00fe0192413035ae6a90371a0b1","datavalue":{"value":{"entity-type":"item","numeric-id":287361,"id":"Q287361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$F22A924A-FAF7-4FD0-AF1D-ABC4D16A8729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a938e7e3152f0a447b5fa1c138a7b68c2e4f169","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$57C96FEF-6D18-436E-8E90-71D9A18D4E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c021bc433feaab99e85a8c56618cc75279c5f49","datavalue":{"value":{"entity-type":"item","numeric-id":2945636,"id":"Q2945636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$1649CAF6-F7FE-4886-B420-48D6FF32B15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2622e8892c0aaf09e727281c5cb9109808708d59","datavalue":{"value":{"entity-type":"item","numeric-id":2988665,"id":"Q2988665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$3A2B9946-F7CF-4D45-BEE9-AD26721C9DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9869af4c1832a9ef2f342be2d269b8ea895d4f2a","datavalue":{"value":{"entity-type":"item","numeric-id":1739913,"id":"Q1739913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$1224392D-4F2A-4525-9B92-94C80D1B32B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d570704f2bdc1a845c42ed053316a109277d5c82","datavalue":{"value":{"entity-type":"item","numeric-id":2829240,"id":"Q2829240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$9C6A07F0-22E9-4B4F-B4A2-060FFEB27825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"739330a58a3c3aae77075c5fb847ca13d50160d0","datavalue":{"value":{"entity-type":"item","numeric-id":3075242,"id":"Q3075242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$909B8DDE-CA4D-4935-9E5D-06C9339B00A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0b2ea98f51ca5e885b48eab0dbd0cc88c72ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4246942,"id":"Q4246942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$7C733CC9-5868-4437-98F4-7A27E4CBCDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1689dae40df2cd1bdc239cd12cf0ee26dcff3698","datavalue":{"value":{"entity-type":"item","numeric-id":2219381,"id":"Q2219381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$2374BD22-7FD8-4890-9CB7-EE414926A5FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd44752aa5df5cd038054d2d30c6001d6392b03","datavalue":{"value":{"entity-type":"item","numeric-id":286790,"id":"Q286790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$9A67B313-0FB0-45FB-ADBA-465DCF4C131F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$A6751F76-41DB-4EE0-BED9-EE2D5B18D6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da247849aa6c151290620f1d0a6dac4e0ecd5f6","datavalue":{"value":{"entity-type":"item","numeric-id":1984791,"id":"Q1984791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$23669CEF-4232-4B9B-8B0E-E1AE7F89B339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ffb78e1862447c8ce655b5a67759e1a1fa39b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3204068,"id":"Q3204068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$96BCB818-5D57-4A83-B448-E9125A2220A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8e0ff8a7d0c4fc199c213531e4694eacc1d9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2938044,"id":"Q2938044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$24C01380-7834-4685-84AB-41550BC75B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$E1DD969C-9748-4196-AE87-402538634841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242f23e896f2b4aa4c701abbd097e06ef2fbad74","datavalue":{"value":{"entity-type":"item","numeric-id":4274997,"id":"Q4274997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$6D005102-36F5-422D-8C66-189C7384D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017089f1b8820cff138bb4305c5e5fd1db1ba3c2","datavalue":{"value":{"entity-type":"item","numeric-id":4850163,"id":"Q4850163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$E3658AA9-8263-4981-A21D-9FD304B69E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14533123e0b9e73c06f9737a070ee002c25f5f1b","datavalue":{"value":{"entity-type":"item","numeric-id":3612442,"id":"Q3612442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$1E1D8AAC-3397-443B-9294-7CE2F22AE265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$B82EDFC1-E4FB-45DA-840D-5D2C542A715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$41A5B76E-034E-4AF9-81A1-F5089B9B4AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da0d795517e293a55fbffeee6d84c637293c8bf8","datavalue":{"value":{"entity-type":"item","numeric-id":5327339,"id":"Q5327339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$D804CB85-B0E0-4D35-9E6C-57F9499A8171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5587664e371fa7cdb52e3b1329f22cf9fcff022","datavalue":{"value":{"entity-type":"item","numeric-id":1101242,"id":"Q1101242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$335F9981-9080-421F-AF0A-6B490C8D9263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$8BDDFCB2-0400-4F93-A62A-917F3184F88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a5a326924c9f9f3cf0f5061fb0ff950ccfad0d","datavalue":{"value":{"entity-type":"item","numeric-id":5747660,"id":"Q5747660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$DE487FEB-B5E6-433C-8D19-108A38093920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a1ce015f9a6115f5e15ce96a4b6a73ac4d89f9","datavalue":{"value":{"entity-type":"item","numeric-id":5327340,"id":"Q5327340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2108191$CA5332CB-D1BD-4A9C-812C-9ACC0933748A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8274152fb425f608bc2229ed463c3812efab810","datavalue":{"value":"10.1007/S10817-022-09648-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2108191$960DBE1D-93B5-43A4-9EFD-98684152D429","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e498fd9e6704a15863db136758a344db8d9bfc6","datavalue":{"value":{"amount":"+0.8322917222976685","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":"Q2108191$1EEE9E63-0A32-4F6B-B7C9-342E734F14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04aa5d91b576960d1050d206c623953f55606b3b","datavalue":{"value":{"amount":"+0.8198290467262268","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":"Q2108191$6E7153CC-F27F-4210-A16E-0E7F6D7005C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619d07d39ad50d8b9a4d0bfcd8121f291b2fc77d","datavalue":{"value":{"entity-type":"item","numeric-id":4364537,"id":"Q4364537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb92797758a12f323e2d9c8e47dd16f0bd61c6bc","datavalue":{"value":{"amount":"+0.7999202609062195","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":"Q2108191$944233C7-6D15-4721-BFF8-4A189F226E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9691043fc2fa83f9bcad490e83cd2b178847bf","datavalue":{"value":{"entity-type":"item","numeric-id":1987736,"id":"Q1987736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc73b0cd32bfc624fbe69099e4f20691321fbfab","datavalue":{"value":{"amount":"+0.7745541930198669","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":"Q2108191$B1B997C7-D7E6-48A8-AA1F-7FB05AD39B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbca688c1468ab05be00edf8e799e44aadc33448","datavalue":{"value":{"amount":"+0.7718135118484497","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":"Q2108191$D92B019F-CA4D-4701-ACF9-55713325E75C","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":"Q2108191$A37AB7D2-1933-4C08-BF22-EE289F4014EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2108191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2108191"}}}}}