{"entities":{"Q5961667":{"pageid":8138469,"ns":120,"title":"Item:Q5961667","lastrevid":41616470,"modified":"2025-05-06T10:05:48Z","type":"item","id":"Q5961667","labels":{"en":{"language":"en","value":"On the proof theory of Coquand's calculus of constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 982534"}},"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":"Q5961667$EC673E6C-4D38-43BE-98E6-4CBC905BBD2E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd4427a8f5e4a06e294db10bbfc210690a914dcb","datavalue":{"value":{"text":"On the proof theory of Coquand's calculus of constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5961667$F057B256-0F91-409C-9DDA-C8AEF3BCC1D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e029de7bfc0cf22257f933d852cb72419e4ecf49","datavalue":{"value":"0873.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$E9B72210-1A83-4F55-8D20-585A517E8182","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"929b4542facbf08df451a831cb55c01e045f2849","datavalue":{"value":"10.1016/S0168-0072(96)00008-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$7213A369-1DB4-49FF-B7FF-6FD0F8C606B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1c8a82181abf50fa906f6fa96d701d7aa12bbdc","datavalue":{"value":{"entity-type":"item","numeric-id":242949,"id":"Q242949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$36B72DF3-276D-4898-8628-B0765A884646","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$12E6DFC1-306B-4977-BFD1-313AF507A2FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d3bf748c053f7fb25f0688de7c7165acbc04853","datavalue":{"value":{"time":"+1997-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5961667$CCA4AF32-D614-493F-A29C-382614FDCE65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f87def78ffa39107e131395b6a392579cb850ca1","datavalue":{"value":"The calculus of constructions of Coquand is formulated as a natural deduction system in which deductions follow the constructions of the terms to which types are assigned. Coquand proved the normalization theorem and later the strong normalization theorem for deductions. The strong normalization result implies the consistency of the underlying system, but it is still possible to make contradictory assumptions. A number of assumption sets useful in implementations are proved consistent, including certain sets of assumptions whose types are negations, negations of certain equations, arithmetic, classical logic, classical arithmetic, and the existence of power sets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$ADE945FF-48B3-4604-B5D1-353D8470878F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e2603c079c1d726246ca9d53231adff5483a1f22","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$558BDBCC-E21F-4262-84A8-E3F19270283D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$B0D2B1D5-7970-4519-B50D-6F43543894F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$25CB9A50-5C67-4611-8032-795011B11D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$160F5DFC-0E4A-460C-B2BF-457BBD30CAA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d47c56bacde15750579d24a3147b9e0e5fd98db","datavalue":{"value":"982534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$8EF589DD-1BBE-4A0A-AE13-55037F603F75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$73319B79-9E92-48C2-A566-3D8F822C21DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$F4D1562D-7F8F-4385-9380-8E38ACF38B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd3d855058cd0bf9e0b654a9d7d73edc478bb262","datavalue":{"value":"natural deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$FC5ADF92-43FA-4C7D-A573-3AE7DC148706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af462e56ed2ce88a42c8df0ec7f2dc6a55ded212","datavalue":{"value":"strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$1FBEF0B9-6934-4DB2-8D5A-B057A8805A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$EF92E771-B2E8-4760-AAA4-23BB5E387C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$B2AAE273-AE61-4CEE-8944-D254A289E122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e20270b72cd1afa9cfa0b2b16cf21d24e7473b","datavalue":{"value":"power sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5961667$8CBC631C-A625-41D7-A1F3-A02464350B39","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":"Q5961667$119FE9F5-737C-49A7-B961-CFA64C369198","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$F5273FFD-C433-4017-8072-8D840EFE64CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$262DA497-3EDE-483D-8086-309C1BB8FA83","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":"Q5961667$257D8035-F60C-48EF-B929-DCBD6A22F0BD","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":"Q5961667$7A6C428B-181D-4537-9351-C675393BC441","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":"Q5961667$69518043-F44A-4D17-9987-CF9C61BB80AF","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":"Q5961667$BDF328E6-16C8-4228-8267-6448C3980D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$E4C62C4F-A1DA-44CD-96AB-7533308F0D87","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":"Q5961667$656DDEB2-A0E8-4B48-A4DA-C3C75745AEBB","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":"Q5961667$6CD8372C-9E48-4F0F-A65B-83EA59FC9FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879a1e865c36f18529bcce669ed38037b7a8442b","datavalue":{"value":{"entity-type":"item","numeric-id":5585418,"id":"Q5585418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$05767CAF-3930-429F-9919-ACE528E82132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$0720C4C7-6FD6-4921-95E7-2F55D2D79087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"785217d369aa711de5c2e226d9636b7d6dc85bad","datavalue":{"value":{"entity-type":"item","numeric-id":3026376,"id":"Q3026376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$580363BE-1BAE-4DC3-AB06-42C0E30334F8","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":"Q5961667$D8DD13CD-3F54-40C1-8A4C-E978ED457165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3da221ef639195800fa999b5da3717f501950b","datavalue":{"value":{"entity-type":"item","numeric-id":5638282,"id":"Q5638282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$7E49A347-8565-4A9F-8C3C-4E64EE86793C","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":"Q5961667$40B365C9-A1C0-4704-A16A-392BDFFECB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"009122af7eb8e6ecc8feb2892d4b88e663912c90","datavalue":{"value":{"entity-type":"item","numeric-id":3328540,"id":"Q3328540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$4CE60AD1-FD61-4AF6-92D7-B7AF514D7CE7","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":"Q5961667$6CA0288F-782F-4545-8C8F-04C64F7855CB","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":"Q5961667$665BE9F3-D796-4C7C-B5E0-19CDB8CE93CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45f47c65cbf54bc3759bb5ab2a9b9b91e856ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4147961,"id":"Q4147961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$8BEBC03C-1F0A-4524-99B9-EC20F703733F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a655ae884e244c788570d3ea631c1e164cdbcf3","datavalue":{"value":{"entity-type":"item","numeric-id":1201296,"id":"Q1201296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5961667$BDBF8177-F4FC-4381-8C5B-6D7340BCF538","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":"Q5961667$3BFFD7DD-5558-449E-B7B4-744EEC0F96CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da737c1e6e5f1eb5d6a4e570945dd04e0cad155c","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(96)00008-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5961667$407EE92B-CC75-4FF3-8BF5-FD46A99B5CAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1f78bbd46aaf9b53e90f182feb3d7b9f7480b59","datavalue":{"value":"W2059912506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5961667$B0FC7D34-7879-41A2-88E7-943AAF295C5E","rank":"normal"}],"P1643":[{"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":"98105108005d22ba26faa93bd3a2102a32eae4f0","datavalue":{"value":{"amount":"+0.9321904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$E41816CE-7B40-4AD8-A0A4-EC1FC7EA904C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5df977f25f7ce0a2ef2fd38146e0bae6407b0853","datavalue":{"value":{"entity-type":"item","numeric-id":4594256,"id":"Q4594256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecc2dda9c0bd8be02cc411a28a8e5ea67b63fa9","datavalue":{"value":{"amount":"+0.9051338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$7E6F3D8A-173F-4FAE-A96E-BAAFEEAA2DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9155b8a24b47f93bb167596dd9931b0a708353f3","datavalue":{"value":{"entity-type":"item","numeric-id":2947464,"id":"Q2947464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eecb4ff2a9f50090e683dd3eddc9c5fe17c2d1c0","datavalue":{"value":{"amount":"+0.9049572","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$95C56C50-9645-4571-ACAB-87A7B59BB96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558830a25b50bd82d4ed8188dcff44312fc3b671","datavalue":{"value":{"amount":"+0.9020381","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$FA5BCBAB-A6AB-480A-BE04-F8102F7F0CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad894f0e4fcd4cc03c848bf583b58ab56e3b8f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2753786,"id":"Q2753786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25fa3cf037b20a1f0d99ef500430302ff5405267","datavalue":{"value":{"amount":"+0.90156615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$CC383E06-6082-4782-8C4E-EC062DD549F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3d5032736ec80af4f5eab7af6f2a86f9dff895","datavalue":{"value":{"entity-type":"item","numeric-id":3086706,"id":"Q3086706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2155b9e764eed5b70b82661a66993c58d54eacd","datavalue":{"value":{"amount":"+0.8943436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$74FF9D3E-CD8C-4696-811C-9AA76C3FBB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bcd34bb498d5a7074a2853aad6cd506d979d0dd","datavalue":{"value":{"entity-type":"item","numeric-id":3024916,"id":"Q3024916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8061c3cd3723520c22d005de68d105975e2fdbf","datavalue":{"value":{"amount":"+0.89430404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$F929E164-C262-4A65-95C5-ADB3EBB1FC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1813dee6ade6ce3af2af73d2234b94398df48393","datavalue":{"value":{"entity-type":"item","numeric-id":5958299,"id":"Q5958299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da46800e42755dca74d3185f35ed9e3c02dff738","datavalue":{"value":{"amount":"+0.8926444","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$A77C35C5-B53D-4C30-86C4-84D0C7888650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3931e0d37a32c08f608ee63ba4801445db6633a","datavalue":{"value":{"amount":"+0.89006144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$9EAB3C93-B2CB-44D7-BAD6-C47A9C7432FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6648d66a0dc59dd0541d74bf60a268ed4bc0970d","datavalue":{"value":{"amount":"+0.8893225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5961667$2E8FB0A1-ABB5-4C26-A458-E822C6D3834B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5961667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5961667"}}}}}