{"entities":{"Q1108266":{"pageid":1119015,"ns":120,"title":"Item:Q1108266","lastrevid":66146703,"modified":"2026-04-12T07:51:36Z","type":"item","id":"Q1108266","labels":{"en":{"language":"en","value":"The calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066877"}},"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":"Q1108266$9DD4FBE1-A850-4D86-BF7C-B5AFFA9D22E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3d15e9ce211171c6f7d2a3439fe251ed3e4ec3f","datavalue":{"value":{"text":"The calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108266$C5C1C6D1-8607-4D68-A35D-495960104B3B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a4e9db4fbf66c02aaf5a33eabad1ec91575d4ef6","datavalue":{"value":"0654.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$D038C665-A25B-48CF-A3ED-1E291720D8D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a2aa32b8d568e68124df81af67038c81cd19d49","datavalue":{"value":"10.1016/0890-5401(88)90005-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$7867629C-99AE-49E2-B0A3-0F9DA6DE37DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$57A8AF0A-F4B6-4548-B371-7C09AC977DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9facad47142ae6aca78e42226d987a134e9bf3","datavalue":{"value":{"entity-type":"item","numeric-id":789175,"id":"Q789175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$0E069184-1335-413A-997A-B180D299D666","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":"Q1108266$B47D476B-D8A3-4EBE-9344-7579C11F8244","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1108266$D15DD015-0D97-439F-B655-05B95494A480","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"58c037826866af8e73f3f69a2cfce19dcf1cda02","datavalue":{"value":"This paper presents a calculus which is an impredicative extension of Martin-L\u00f6f type theory. It contains as a subsystem the functional system \\(F\\omega\\) developed by J. Y. Girard (1972) in order to extend G\u00f6del's Dialectica interpretation to higher-order arithmetic. It has been shown since then [in \\textit{Ch. Paulin}'s thesis (Paris VIII, 1989)] how to define a modified realizability interpretation from the present calculus in \\(F\\omega\\), and hence that the calculus of construction is conservative over \\(F\\omega\\).    The notation used is that of Automath and the system is suitable for implementation, and can be seen as a very general type system for functional programming language and/or mechanized mathematics. A realizability interpretation in untyped \\(\\lambda\\)-calculus is described. This has been generalized to an extensional model of the calculus using the notion of \\(\\omega\\)-sets of E. Moggi, in \\textit{Th. Ehrhard}'s thesis (Paris VII, 1988) and in \\textit{Th. Streicher}'s thesis (Passau, 1988).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$F70BAB81-64A8-44DA-9489-B647C99E5F97","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"256f7e8a78354c9241b063a26583c1bfdf31ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$B071E114-A2C3-4540-B8B2-501A493BC249","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$3F41D588-62CC-431F-BDE8-1DC8B2D27086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$A8ED14EE-11CE-4E65-A3F0-F6526A128D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$586C8454-F042-4ABC-800A-FE557C69DB04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9683aad4d7e228aaf116b99972ee671d1d5e75b8","datavalue":{"value":"4066877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$862D622F-8113-4F44-8FFC-2A7D2A305041","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7362df24bc26f928fefa09a0d7aa4ef996ccafc4","datavalue":{"value":"impredicative extension of Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$4EA7490D-8E3C-406F-9B91-AA61992792FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d847bda08205b7c1e72c811eb9254f719ce69b05","datavalue":{"value":"functional system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$82FFCB46-28CC-4CFA-977C-4EBD831FA37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e10659ec0ab4c1636b61cba98e7ea0e00939e8","datavalue":{"value":"Automath","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$97C66748-568B-423B-870D-F50AD4381911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8599e8d580e5c9588a2e47a8133d00ae75f5181","datavalue":{"value":"type system for functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$7CFFC105-472B-4C5D-9D80-218865BF806A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5cc8e8184b14b39b555e2997003bf3622dcaf3","datavalue":{"value":"mechanized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$0D5BF26F-C8B9-4757-8C32-5E1E094AB520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3102f4c12b5f51fd58e4f3324f426aac8a49e397","datavalue":{"value":"realizability interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$35D2833C-650D-4FC8-B635-26882F7A5917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4fae3c4d76de55e7a9c0f06ac0039801536dd0","datavalue":{"value":"untyped \\(\\lambda \\) -calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108266$C9102BAD-BF4A-44E4-96A5-F6C4680E38B2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f197aa601d6650423e034575f2b7258dc82a9141","datavalue":{"value":"Q56385237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$6067C180-F896-46CC-A07E-C0D68377336A","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":"Q1108266$0537409E-3C96-4144-8E21-8804CEDF458E","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":"Q1108266$2032A80E-91F7-4A4E-B391-F5E5DC39D418","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"363c64d20ed94867d00a4a262d793ab9f9156fc9","datavalue":{"value":"https://doi.org/10.1016/0890-5401(88)90005-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1108266$B511EC1C-1893-4692-A0CC-3FC83BD821AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1ce9108c89e5f21b0ba9a285e5cdcb5a7cb540a","datavalue":{"value":"W1986402635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108266$0144F068-7DC5-41EC-B2C1-DB792407CB9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$CB1D8C52-D226-4140-9205-CFD86ACEE333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"783487fbe7d5d00c916a5e1c362e506e08b899ca","datavalue":{"value":{"entity-type":"item","numeric-id":3678692,"id":"Q3678692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$E8B695E5-5FD6-4D1B-AB49-AA18040F60E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$D1EE6533-6658-4D29-9C15-5C88AF251A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$20694FD0-CCB8-4F3B-AB2A-EB09FAA040E0","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":"Q1108266$02B36FD9-505D-4CC8-BADE-898CCEDA74A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d38bb47035312d7e593ac22222c56b8e64b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$57AFE396-A85B-48B1-94AF-B56AA0BB5142","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":"Q1108266$88A60827-F5F2-4E00-8390-AE1194474169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18044500555f583101bcf815d77bb59430227473","datavalue":{"value":{"entity-type":"item","numeric-id":3030827,"id":"Q3030827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$075B20DB-B32A-464A-AE19-97B8AFF37E66","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":"Q1108266$8D0B1854-EE93-4D6B-9765-7965811CFD8E","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":"Q1108266$23EA7D01-6BBE-4CDE-874F-D075C587E347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$6A098BC3-AF98-417A-8BB8-CF54D01FF876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$1749D3C5-DA90-40EF-9E97-C146C2D350A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$0225C39E-0028-441B-9B05-8DA02E6E6DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$0EBA09FA-63A3-438D-BA74-CB396D458013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$6BF80436-AD63-4160-B78D-8AB94ED15499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c284a1af1754906447cd4b2a1c98a6adcb98e0","datavalue":{"value":{"entity-type":"item","numeric-id":3342573,"id":"Q3342573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$716FDF85-2E3A-4334-BF87-96966F99125B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$D68E36BD-D16C-4CB1-ACE6-AECAE7732C9A","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":"Q1108266$4DCE0C1B-0F0E-441F-B44A-C1685775680D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$859432CB-FDEA-4F86-A330-08BC6FF44FCC","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":"Q1108266$43967C21-FFA4-4912-A16F-3086EC970269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd16d6aa13a5af0f2ed20cff75e9df8d13bf4212","datavalue":{"value":{"entity-type":"item","numeric-id":3880323,"id":"Q3880323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$E9128B06-0C86-4644-85CB-E63B18E0B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$15F3840F-AE5C-4216-9892-A96E4FA91C85","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":"Q1108266$CF1D4E85-6F8F-486B-915A-5D73FB73635F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d7584ed6cc70daf42406ddf381c9c7a48384e95","datavalue":{"value":{"entity-type":"item","numeric-id":5606586,"id":"Q5606586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$4C552642-0E57-4E7E-8C3E-562F7243756D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ee10ca65806275b3225f1a81a5b81ae8da67fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3884084,"id":"Q3884084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$33E02731-0F3A-48BA-8995-0F33DA11DFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36bf9d98ddb31cde733ea23d6df193235b8862dd","datavalue":{"value":{"entity-type":"item","numeric-id":2556396,"id":"Q2556396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$3E3002B3-B840-4F2C-B773-D800D392F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd4384e04df05a6d681d8752a6931ccfe2df646","datavalue":{"value":{"entity-type":"item","numeric-id":4093416,"id":"Q4093416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$612C3087-4E18-49A7-9881-C61052BDE299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47ce875bf4c23c130ee5eb898d3934ba95b90224","datavalue":{"value":{"entity-type":"item","numeric-id":5822068,"id":"Q5822068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$563E0134-9DAF-4464-8DBE-48CC0B2B3EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108266$2B9D1B8D-EC75-4C41-A363-3584C6D09222","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef6ecccd9c3863140c9acc43b3d048362b40b79","datavalue":{"value":{"entity-type":"item","numeric-id":3030827,"id":"Q3030827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4f30d98f42ce525474eba222c44fedd301ceac8","datavalue":{"value":{"amount":"+0.8363803029060364","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":"Q1108266$6E141308-DFFD-4D4F-8766-1AFD54019E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bd9f2f511e82abc41ce1f38ff8727559e8b7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fd9d1f5d46db41e41036626ca29405c870fa4b5","datavalue":{"value":{"amount":"+0.8334287405014038","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":"Q1108266$16C01D8F-F5C6-401A-AB8D-95B201E25022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c8d464e74f11f039e2de532d889ce898906e27","datavalue":{"value":{"entity-type":"item","numeric-id":2639838,"id":"Q2639838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"225709af596ada314f9f164a80d574b104e1ad5f","datavalue":{"value":{"amount":"+0.8171362280845642","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":"Q1108266$FAB580D9-06DD-49E7-980A-24FE9733788E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"229fa832c9f679ac8d467437b0c437e298bca5df","datavalue":{"value":{"entity-type":"item","numeric-id":5961667,"id":"Q5961667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d5a22564d8e422f7e79b0c2622f5848852bbc0","datavalue":{"value":{"amount":"+0.8159070014953613","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":"Q1108266$9D31F60E-6088-453D-A67F-BC52491EFE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a299ada1677cb50f9badc2dfb747cce9998463ae","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b75175d031f53d6084c75b65d39f03aa7369ae6","datavalue":{"value":{"amount":"+0.8152854442596436","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":"Q1108266$9E3C04CD-D4C3-4A72-ACB1-E4C2A12E0B32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The calculus of constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_calculus_of_constructions"}}}}}