{"entities":{"Q2639838":{"pageid":2650581,"ns":120,"title":"Item:Q2639838","lastrevid":49459594,"modified":"2026-01-07T05:00:18Z","type":"item","id":"Q2639838","labels":{"en":{"language":"en","value":"A higher-order calculus and theory abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4185577"}},"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":"Q2639838$6059C5D3-DAA8-46DF-8FB3-4B8BC3481E00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad10f155cc11512b8e03c4ab37750bf57302f285","datavalue":{"value":{"text":"A higher-order calculus and theory abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2639838$37259C33-4FBF-47FD-9D3B-8A7162915EC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62f6bb8918182b39a4a77e85dfd25629db670a29","datavalue":{"value":"0719.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$08C9C4E4-B421-4B6B-B073-755ED3E57CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8960be0ce7b7d15cc43f12a3563ac7314471cae","datavalue":{"value":"10.1016/0890-5401(91)90062-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$BC9F7672-A9BE-4D52-896E-D833181F9A21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5113b34e3bbf27434e01e2c75e261e7834776faf","datavalue":{"value":{"entity-type":"item","numeric-id":220709,"id":"Q220709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$5A716E78-418B-413F-B6C8-D1D2B57238AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$98392CC1-6BFF-4130-97F3-4F89FB6B1385","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2639838$B7F1E639-3A5C-4039-970A-D7BE6E0AC6F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$587436B2-A790-4384-B184-4DF649F767C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$B496BBEC-D945-4916-97D2-F372BBDE2E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$B9496C7A-B5D9-4A98-B77E-1B042A0D6777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$9CB3A13B-A8AA-42EE-91E2-ABEFEDDEFC8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"495f97ef9082f54bebfd055ed7d5e596790eb0da","datavalue":{"value":"4185577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$363DA22B-5EB6-4F44-AB7F-4B8355985A68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"682396cea015df98ebaa744ced24f4dacfd5cd29","datavalue":{"value":"theory of dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$FC0F07F9-BF53-4DFB-9BD0-B84130133AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f202f1f01c1c3542fd96d92ce46eedd2d1722565","datavalue":{"value":"Extended Calculus of Constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$28E64B26-152B-436A-B454-6F8A701D6725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8e38175f40b5d4e0aa70700aaa38283c02730a3","datavalue":{"value":"extension of Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$C2477987-F301-4A18-AF0C-77AD2561B766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728b76e4666f69ce2441f6f64e49a4cd62eab139","datavalue":{"value":"proof-theoretic properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$39168973-08EA-4553-A7FA-15958A35DF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$6095253D-EC4A-4556-85CD-93A3AF990412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b008c6e29dd3d356dec05d57b508f9bf03b17775","datavalue":{"value":"realizability model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$392A7A3E-04BE-42E6-BE0D-2E65BCF8682C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$A345E606-D385-4D90-93B2-1ADAF36810D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d255c7fd4e0760eb3b75c39a5f2e9e9821a7bf","datavalue":{"value":"Abstract reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$395429BC-8617-42FB-8431-6F5A1800750A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb635acb67e090510301920eb1d2cd425a0109d8","datavalue":{"value":"interactive proof development","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$B3742455-4D2D-4BF9-A16D-20239457CE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbfc598ac833fadd12739ec278779d0f8dd89364","datavalue":{"value":"abstract theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$19819407-ABE0-4934-A9AB-0FF50B715D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df040f138da0195d6bf7ee04b2cedfdeb81adbb9","datavalue":{"value":"program specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2639838$4337FA11-397A-4AA6-B0A5-ED6A402AE76F","rank":"normal"}],"P1463":[{"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":"Q2639838$060E033B-0AD9-4D0C-82CB-AACE1C6A6A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$36BB45BA-5425-4AFA-BDAB-D105209592FC","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":"Q2639838$31DD2F64-00F0-4031-A53D-C085A55448F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bab752e9cf98240487eb3aae10666dc541b36d41","datavalue":{"value":{"entity-type":"item","numeric-id":43692,"id":"Q43692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$6642486F-EE0B-4610-8E10-562C09835091","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":"Q2639838$95E4FD97-F7DC-424D-993D-36EF4FFF009B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1891db631ee0d55b066f663f913223ac1b49b81","datavalue":{"value":"https://doi.org/10.1016/0890-5401(91)90062-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2639838$CEA94179-7762-4597-B158-A676A78F38BC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17d002c3838dd5b66526ea425960d0bffbb64b3f","datavalue":{"value":"W2059944616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2639838$484EEB9C-B07A-42C5-98C4-226481EBC83E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$93C6F963-01AB-4E07-9AFF-D5C0045BA15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dae46d0a0bd58b96aa9d6a447fa758a54a7c4df","datavalue":{"value":{"entity-type":"item","numeric-id":1104071,"id":"Q1104071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$986155CA-0F58-4C0B-A6B3-B6EF329AF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$5440D937-8CEF-4D33-9A00-792DAEC54F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$56F357CE-4240-448A-B730-3157D759F552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de30bc71fa2f80f80d10bc8645b2c869132c82fa","datavalue":{"value":{"entity-type":"item","numeric-id":1824612,"id":"Q1824612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$483976FB-D497-470C-89E9-38673A509C85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a1f1b83769fefedef94f42bd5222af507a657b","datavalue":{"value":{"entity-type":"item","numeric-id":3703866,"id":"Q3703866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$92C158F5-967A-4E4F-AFFF-C2EBC865E28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$A3F53EA9-5501-4596-B4CE-851F9EFD3C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bc36e9357802534d1e52134710ec758d76fb7","datavalue":{"value":{"entity-type":"item","numeric-id":5753923,"id":"Q5753923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$68C5E7CE-25AE-4B43-B00C-A382D6486C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96d815032a9222574f9ee6391d2a7c90b0f09e9","datavalue":{"value":{"entity-type":"item","numeric-id":3793765,"id":"Q3793765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$CAFAB9B9-4817-4DE3-909A-61D8955E4AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0d38e4ddcad71d635c28ec0c347feb4337ab0","datavalue":{"value":{"entity-type":"item","numeric-id":1257892,"id":"Q1257892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$CC4BB28C-BF7F-4921-BD07-85D408A9A859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad80344fc1eac9869a64dbac310f2d1dda233df0","datavalue":{"value":{"entity-type":"item","numeric-id":4939698,"id":"Q4939698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$A45FE27B-1637-45EE-96BF-56B91CCC5DE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$A7C6B28C-CCD0-471C-B45F-32290D9644FF","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":"Q2639838$F415BE10-E53C-49FE-BD85-7E3ED6946021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36e4ce17cede867a82574cebccb1c77ad33605d","datavalue":{"value":{"entity-type":"item","numeric-id":5752573,"id":"Q5752573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$AADFA98D-18BF-4B2D-A4AC-E78D957B7518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$410B7F74-718E-4A52-A801-C8DEEE43E25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$8B7B9907-C44D-4D1D-B2D0-8FDF366B2835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$4D8040F5-C50D-4171-BE7D-4F75AF7AF314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27f9b03a16269eec3dd437030874e0ef679ed65","datavalue":{"value":{"entity-type":"item","numeric-id":3204027,"id":"Q3204027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$03189F1E-5CE0-46A0-88E1-3CC8A0DF494F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$7DBDBC1E-532D-4596-9355-D8236D592E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e04882dd0098e511c274267f86b00f5c3a4c9815","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$8ACDBB61-7A0D-424C-A3F1-4D5755C9C452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$A7783E65-9F70-4439-A50F-6C9A6325E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$11F9CBCF-20D8-4440-AE57-57E1EE5F8A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$73388468-8A06-43D9-8461-CB9A66DBBD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777f1902a1127b94884ae1ddc89768860f054a6e","datavalue":{"value":{"entity-type":"item","numeric-id":3789060,"id":"Q3789060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$4367A94C-06F7-4128-8B2E-2B29190055BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff195701c0a951481f573bb7459fc69fbbed7fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3786612,"id":"Q3786612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$D3A07607-2FB0-4770-8FAC-3AB7BB9AA3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$87466D00-289D-483F-A700-3D42CAAA86CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d307a31d75ce205d43f99746df1f049e810792","datavalue":{"value":{"entity-type":"item","numeric-id":5624680,"id":"Q5624680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$4FD69F79-4959-4F77-BF8E-76F2BCEAD500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$C4403B9D-F1BA-489B-BEB6-45DCFAFACDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa62b9bf7fc913e0e30c932f292554f69a457e7","datavalue":{"value":{"entity-type":"item","numeric-id":1260643,"id":"Q1260643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$5D296E59-125D-4D89-9C1A-E97FDBC2068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d496736dbfc239d833d5ef76056355be3ab28578","datavalue":{"value":{"entity-type":"item","numeric-id":3042444,"id":"Q3042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$6CD3C5EF-2FCA-4CF9-83B1-7AE263A6F286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d33e928887af0bb982765db1d362caa615f098d3","datavalue":{"value":{"entity-type":"item","numeric-id":3325725,"id":"Q3325725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$A938D9E3-7007-4702-8798-E8302526978E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91acc10d9280ae3d49da96b6130063e041a3319a","datavalue":{"value":{"entity-type":"item","numeric-id":4733863,"id":"Q4733863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$1FB184F4-49D0-40C4-B702-1CB5394B3EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8637eee53f6fde1a39a63a2efaa825c613b17802","datavalue":{"value":{"entity-type":"item","numeric-id":3422401,"id":"Q3422401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$3D5A2102-66EB-45AF-9A01-C08B48DFD7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$285C3485-1E1E-4663-9132-F836C09DF822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$4D22FEE5-6BB7-441D-8AA4-792D5BD8BDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ad42be65af5dfa9e512f666229d02ed5041b60","datavalue":{"value":{"entity-type":"item","numeric-id":3856127,"id":"Q3856127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$575893E4-FD00-4700-8674-66704D48424A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351af9b0edcfa5d3d0e05df9fe9f49badbf149ce","datavalue":{"value":{"entity-type":"item","numeric-id":3877069,"id":"Q3877069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2639838$383B6625-FEB0-44CF-AB9F-9519F783DF76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22aa479d92fa5eac512fc81e6ad7226cccf6f3e6","datavalue":{"value":{"entity-type":"item","numeric-id":3211296,"id":"Q3211296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f918b12e750487db60b60da154fa1e45214ab549","datavalue":{"value":{"amount":"+0.8877817392349243","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":"Q2639838$10680602-C5D3-460C-BF48-15BC0F46676C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a502128cfa1431cb223d8c606c833ea6b2bbaa6","datavalue":{"value":{"entity-type":"item","numeric-id":1193601,"id":"Q1193601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8950b0610288d1e04fd5b983cf7013daa74cf459","datavalue":{"value":{"amount":"+0.8510950207710266","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":"Q2639838$68D10EDA-6E3B-461F-B12B-0F76C6D35B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b038897e985a6185f1472ca068c61d8eab3426ce","datavalue":{"value":{"entity-type":"item","numeric-id":4484336,"id":"Q4484336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5489b4f34c8c61ed1bf0fc799fbc746351b47e","datavalue":{"value":{"amount":"+0.8502934575080872","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":"Q2639838$E21173AE-424B-4600-AF07-19497D0A9576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a69d7da4e3f4778ab03a22c319a669731e63e3a","datavalue":{"value":{"entity-type":"item","numeric-id":4296744,"id":"Q4296744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8275de78a491518c73e269e8bfa4de44e856655a","datavalue":{"value":{"amount":"+0.8341444730758667","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":"Q2639838$ED3EA3B3-51AF-47B2-AA72-1665C65E9262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d229532ddf32a8c0ef725993d323ddf9386f50e","datavalue":{"value":{"entity-type":"item","numeric-id":1177937,"id":"Q1177937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d97ca7dde78b8e173ffbb117eab4ff382e6ff5b","datavalue":{"value":{"amount":"+0.8224169015884399","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":"Q2639838$B206A8C5-5D8B-4FA9-BCBB-4949BDC95C0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2639838","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2639838"}}}}}