{"entities":{"Q5108530":{"pageid":7138106,"ns":120,"title":"Item:Q5108530","lastrevid":100249970,"modified":"2026-06-05T21:41:58Z","type":"item","id":"Q5108530","labels":{"en":{"language":"en","value":"In praise of impredicativity: a contribution to the formalization of meta-programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196232"}},"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":"Q5108530$9C6C72DA-F0AD-4969-B395-F988D3B3ABAF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f08f26ecb2565593a99881f4f8c02d8653003caa","datavalue":{"value":{"text":"In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108530$50D01D71-6765-4129-87E2-558829E488AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17fa10889455abead1d7620cab6a74181b0cc089","datavalue":{"value":"1434.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108530$6CF9FB72-ACC2-4621-AB28-DAB08446438D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2a8ee35bb09a962fb755fa920791f2de215ead2","datavalue":{"value":"10.1017/S1471068419000024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108530$4C4E9AB1-0AAF-452D-809A-91EE917D59FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"108d5b9d05cf97834387b26de87409dc747dc933","datavalue":{"value":{"entity-type":"item","numeric-id":226999,"id":"Q226999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$062ABA30-F13D-454F-8296-4F42D5A8E143","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$BDE970E6-597E-4358-B6B3-DD1B02A9E582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108530$73E7C508-5302-40C6-B401-ADAA1AB9A365","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f4cd2be92bee21f1f45f579e274a70a4453bffb","datavalue":{"value":"https://arxiv.org/abs/1807.06051","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108530$25A07833-07BA-4F56-A70F-8EE2EA8DEC74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108530$20AFEEC3-BB19-42BD-B251-3A6B9FAE6B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108530$B3B49E27-3B4B-4FA5-9076-6F11FB24D775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c6469282b1477bd34206a808defb9bb4128a00","datavalue":{"value":"7196232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108530$0E06A5BA-65C9-4051-962E-37F19BEA8E66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108530$9370F207-F209-43D2-B675-82086C0CAE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ba66c71e3c9c370a93e15446b7b1c42c576db0","datavalue":{"value":"meta-programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108530$2E5BDE44-2271-46EC-9F46-10916992D20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108530$DD04A276-EC25-42E3-AD47-8AF7C13BD407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4351b62ce885d2805e17af3da6de4abfe79651b","datavalue":{"value":"barber paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108530$876AF2DF-27C6-4D5F-96DC-92296EF56C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55876812c0cce355d828829240f780681bc021a8","datavalue":{"value":"Russell's paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108530$E867601D-FBD6-4E03-87C7-C233DFB44D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50b1882775c4720c2bd9796b439d3fd05a08dcd3","datavalue":{"value":"reflection","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108530$EAB03063-7EEA-4D50-98CB-B5ABB1178E88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$A3A973F4-A171-4AA6-8FA0-356EA00D7398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"67c742ddc8c0df4e2405fcd2cc4fac307303288c","datavalue":{"value":{"entity-type":"item","numeric-id":14286,"id":"Q14286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$215A3D22-FD27-47C0-A596-6F2A1D2BD241","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":"Q5108530$02239C36-7D19-4C97-BAE0-DB6901FCCDCE","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":"Q5108530$141083AA-1BDE-44D7-BF3C-87645B8C759D","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":"Q5108530$20F0D78A-3773-4BBF-A891-0FDCC5EED9BB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c668abc3a1f189cba3ef9b283799e6e1c3d3dba","datavalue":{"value":{"entity-type":"item","numeric-id":4332413,"id":"Q4332413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$8293BAA3-8D66-4924-ADED-C7D4A88CA685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9244cfa0cc83c54f6dddc3fcd9671a0260655de","datavalue":{"value":{"entity-type":"item","numeric-id":3942361,"id":"Q3942361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$620B52AF-36DF-43C9-9A8A-119965353262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5adf12219e1b2be2b0b59c0372f9872dfeae72","datavalue":{"value":{"entity-type":"item","numeric-id":3849226,"id":"Q3849226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$1CA0A8D6-57C2-4AE3-8A45-FAAF3929B65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0aec320e3e884bbe10d753014b56aa8aff4828","datavalue":{"value":{"entity-type":"item","numeric-id":4528037,"id":"Q4528037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$EE587714-F665-485D-BDF0-57AC050F7BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d92f23413071800c09ca5ce21edeb9cede30cc6","datavalue":{"value":{"entity-type":"item","numeric-id":4783309,"id":"Q4783309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$BAC1A8FF-4B17-42D9-8371-E01AED2A8605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ec46a7633ce86d7c1e2bece78377f8d3dcdd857","datavalue":{"value":{"entity-type":"item","numeric-id":5522202,"id":"Q5522202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$DD9F9BE2-14FC-4C73-8427-0F1433BFCCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$BBF40BEB-A2E4-4EA5-B852-C352B3C78DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61b802852b61c203b11655d2d85eae682096f8a","datavalue":{"value":{"entity-type":"item","numeric-id":5694788,"id":"Q5694788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$7B7688D3-D42A-4389-8C54-2E8012A2CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65b498da1f57b359fe0412aa8066698c92774a43","datavalue":{"value":{"entity-type":"item","numeric-id":4036287,"id":"Q4036287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$7DB77128-B53E-45DE-A145-315FC4CB98E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$1D04A4AD-82C9-4428-A4C3-729108E11C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500797df5e3f5d818e4e118ceeb048e298037502","datavalue":{"value":{"entity-type":"item","numeric-id":4707768,"id":"Q4707768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$0C52B81A-9524-42A8-87DD-EE87914F36D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917977f350e350b993d5b074cb11d66953dacadf","datavalue":{"value":{"entity-type":"item","numeric-id":4305334,"id":"Q4305334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$C692A7B4-0DD7-43B0-B63E-085B50F22414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$94A920A4-A8E9-48AE-9B90-C90EFC6EBD35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c6369bd4c6d7c9aa12a8e6c891a931edf1a0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4223469,"id":"Q4223469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$9ADC361A-62E3-420C-B7DE-9AFABBEDDFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf670e64a6cf63cb8d60b11cd930f4ce42cede15","datavalue":{"value":{"entity-type":"item","numeric-id":4524770,"id":"Q4524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$0CB46FB1-ED70-49DB-81AA-277A19815A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a724f949c17b924c8494e37074e4105fd4efb074","datavalue":{"value":{"entity-type":"item","numeric-id":5449591,"id":"Q5449591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$44851ADF-71AD-4D6B-91A7-00B0825AC785","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":"Q5108530$AA210528-711D-4584-8B62-395C928511EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0265e1cd8d21099dfdd77ac8c940e5e778584822","datavalue":{"value":{"entity-type":"item","numeric-id":4885624,"id":"Q4885624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$4AE62526-DBD9-4B56-AE08-BC104BE496FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$B0A03E61-C2D4-465E-A6DF-2035BA178F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$0984EA32-BEDE-400F-9BFB-7D9E82809245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c8a79af3c28ca6a85273f2cf60e4233483e6da8","datavalue":{"value":{"entity-type":"item","numeric-id":4051550,"id":"Q4051550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$EFD0C5D8-81BA-4E1D-AFB3-8FEDE8D8B5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$2651C512-E364-4691-A22C-D25FBA21FD49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb2b019c786e74fe17b4e7d8c7bbad768426730","datavalue":{"value":{"entity-type":"item","numeric-id":4016553,"id":"Q4016553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$B8CEA7A4-345F-4EE2-8E9B-C43A30FD8F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0daad49a65c93609568ffc0fd3faf6b98b22e8","datavalue":{"value":{"entity-type":"item","numeric-id":1854349,"id":"Q1854349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$2BBBFF5F-CE13-4543-BF6F-F1C27199D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e68a5aa57ad395c15fbef7d775b387bafbfaa67","datavalue":{"value":{"entity-type":"item","numeric-id":1886086,"id":"Q1886086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$B2A452E4-BA05-48C5-89D7-5B0D82BF8BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ae35c6fd3b2ff27c008d60d7414656306fb431b","datavalue":{"value":{"entity-type":"item","numeric-id":5075300,"id":"Q5075300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$1C1C9F29-D493-4A4F-9FEE-6B405E4B40EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c576b2a68df66dff58a7e6645a97267b7a75752d","datavalue":{"value":{"entity-type":"item","numeric-id":1330013,"id":"Q1330013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$3F8C975E-F09F-4AC9-9AB0-7A2E88485017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$3AB9F688-BF9F-484E-8298-30D7DCC5AEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4fa4292d3e7cd41676b00b24428c34cfc910c","datavalue":{"value":{"entity-type":"item","numeric-id":4730754,"id":"Q4730754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$8D08EAB8-E71F-4746-B151-35F793691C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d380a2f18f4b02ba06d230258197a946757b5301","datavalue":{"value":{"entity-type":"item","numeric-id":2891520,"id":"Q2891520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$47669F3F-0AF5-4876-AD39-BFA59B3FDC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$9520B781-E0E1-45B0-9F0E-412AFF681B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eceac35ef1275aac973316779011643ebb4fea7e","datavalue":{"value":{"entity-type":"item","numeric-id":5895725,"id":"Q5895725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$60C2E381-6FFA-4A26-8844-69ADD04AF02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff9cc29d1e2598e2f44a2c297a79d89e62eb612","datavalue":{"value":{"entity-type":"item","numeric-id":1068068,"id":"Q1068068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$EF2EE724-3EC3-44DE-AF7A-1056AC15E05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305724de8395be25a090bed2774b412a7bb6ad54","datavalue":{"value":{"entity-type":"item","numeric-id":1101099,"id":"Q1101099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$288A99FE-7E9B-415F-A0B8-C455987023BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c88e1419d30f5add01df0fccddc73a7d03bd005","datavalue":{"value":{"entity-type":"item","numeric-id":3807197,"id":"Q3807197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$72E1E990-2BA3-4147-88D2-3896AF880922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$E9D47CFA-7CCC-4C7E-A7BC-73CBA7795D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$B5054561-87E1-4DBD-9E43-9ADCC6FEB97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$0DFA4E6D-E664-4850-9DCE-132801C75EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$2C13DBB0-983E-4BA5-83A7-0BA2C852FB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01fb367dfa10fd7a7fafac83eedd362a13c5b7f5","datavalue":{"value":{"entity-type":"item","numeric-id":5461843,"id":"Q5461843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$75AFCB4A-531F-4202-84E8-CDA65C4B928A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"764c075c90cc5f529b627cfa105bd25d7bbcfdf7","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$185502D9-421D-4111-A3AE-87D346CBF3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f342ea4f6edcfa9b24e8c4722a1d0f43147ce5a5","datavalue":{"value":{"entity-type":"item","numeric-id":4844167,"id":"Q4844167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$F3A63953-17EF-4EBB-8E67-EF7654C089F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7fd7647055319cad40b5953cf3bfe9f87332e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5761282,"id":"Q5761282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$6639E11E-1851-4142-9624-E116FD3B0A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae2b036924d203e4ac3951fcb8f1fe0ecfbe5e9","datavalue":{"value":{"entity-type":"item","numeric-id":4578043,"id":"Q4578043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$4F96D67D-92FF-4DCC-880F-E30287E31C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f91daa2195cbe510cefc59ffaafa18b1c28390","datavalue":{"value":{"entity-type":"item","numeric-id":4107888,"id":"Q4107888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$3BD9AC5F-1DEB-46D9-9B17-18DA472648FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d46b6f2f17773cae2477ce9234b6f1ee41bf14b","datavalue":{"value":{"entity-type":"item","numeric-id":3823157,"id":"Q3823157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$7A8B0346-69D2-45B3-A8C0-7C0F35E8091D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d05b6ab6b8b52c8af812b0eea5261eabac7540da","datavalue":{"value":{"entity-type":"item","numeric-id":3995118,"id":"Q3995118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$5A134D73-B89C-4903-811B-4BDE055E2362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d1d8fb42339a481de309d10a4b5b6fb7e49eec","datavalue":{"value":{"entity-type":"item","numeric-id":1140436,"id":"Q1140436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108530$6BDC4476-97D5-4DD5-BD1D-DFA33F04B5A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"238a0f3601974c1229b53c06f7f208ae3c3d585f","datavalue":{"value":"W3102367795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108530$C124BCC4-CECE-4B1A-94F9-7C6CF092379F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8714fe66fd9b2b847f30a9555ee1f4e296969507","datavalue":{"value":{"entity-type":"item","numeric-id":4335795,"id":"Q4335795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ef0443c8d465e8ea50a922be8a688e5eafd7af8","datavalue":{"value":{"amount":"+0.7473940849304199","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":"Q5108530$39FDA36C-9A07-4404-9DFD-F134F29E1210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdbe19690ea0981d9c893b37ff4ccfa7c7a7bcaf","datavalue":{"value":{"entity-type":"item","numeric-id":2996191,"id":"Q2996191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"760a123801a55164c4eae7862adc8e166ad3eb96","datavalue":{"value":{"amount":"+0.7471744418144226","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":"Q5108530$68CAA3EB-2DF7-4B33-8A2F-849C4898E5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e2b1c4d46981713f238ea894fca6e4f0978ff7","datavalue":{"value":{"entity-type":"item","numeric-id":3066091,"id":"Q3066091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbcc910cc27892b3fe5b53e9cfa0fa37ab06d63","datavalue":{"value":{"amount":"+0.7425321340560913","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":"Q5108530$F5CDF371-6BC2-4D65-965F-E22758F36EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1267172c702e6cb33f5b3bbf89ee4b7dd8d8980c","datavalue":{"value":{"entity-type":"item","numeric-id":4305334,"id":"Q4305334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bc402587a92659540d9519bf1cd0a849293a81a","datavalue":{"value":{"amount":"+0.7392531633377075","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":"Q5108530$3787E4DC-1EA8-4A7F-B874-3208AF40D54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb64ed0fa04da9262603cf49b1de8e41a5ff05bd","datavalue":{"value":{"entity-type":"item","numeric-id":2871844,"id":"Q2871844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f620a72ae5dad7108078cc26b8ecd819bb7642e","datavalue":{"value":{"amount":"+0.726204514503479","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":"Q5108530$4430F426-6C8B-4EB1-9294-769912F34AC8","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":"Q5108530$BBF20FC8-4579-41F4-9318-3B58C037154E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"In praise of impredicativity: a contribution to the formalization of meta-programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/In_praise_of_impredicativity:_a_contribution_to_the_formalization_of_meta-programming"}}}}}