{"entities":{"Q2631963":{"pageid":2642706,"ns":120,"title":"Item:Q2631963","lastrevid":44526162,"modified":"2025-11-23T13:57:21Z","type":"item","id":"Q2631963","labels":{"en":{"language":"en","value":"Implementing Euclid's straightedge and compass constructions in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055781"}},"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":"Q2631963$461D1502-535D-4496-9849-724971328D07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6dbb2b579119dde7cca59e4f30dd794aee2a82b","datavalue":{"value":{"text":"Implementing Euclid's straightedge and compass constructions in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631963$D2D77EE4-1994-4C97-8B73-F9998E414C81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"54b10a13d4c075a54924e14b6487574b75ed8b61","datavalue":{"value":"1479.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$8FB43E03-CEB0-45C1-81A4-BA4096018EE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b3c05c31af10af7706447ba6482dd5a579e5ef","datavalue":{"value":{"entity-type":"item","numeric-id":2631962,"id":"Q2631962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$F9C8F23F-CD9D-4BF1-8468-7C4A06B39484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4e80c62f3af6544d946ed36bab3a03f4f43897","datavalue":{"value":{"entity-type":"item","numeric-id":392279,"id":"Q392279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$E2BA51F8-D90D-4538-AD2F-5514AF877EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$D64B072D-5016-4A35-B7D3-BC8B57AF8FD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$D7050D34-A3BF-4307-B3F5-C948698EF8E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d892d61c8fad68bfab9f26cb162b50f4ea172c31","datavalue":{"value":{"time":"+2019-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631963$C0642D90-E7B2-46C3-BEF5-F8FBB14E2710","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9ceaef5e1c1db63a3da8f560b7c54dbb09de731b","datavalue":{"value":"The article illustrates how to formalise Euclid's constructions by straightedge and compass in a variant of constructive type theory. The core of the work presents a set of axioms implemented in the Nuprl proof assistant, to encode the fundamental constructions of Euclidean geometry in the plane.  The Euclidean plane is rendered by the type of points equipped with four relations: \\textit{congruence}, to express when two segments have the same length; \\textit{betweenness} to say when a point lies between two other points; \\textit{apartness} to model when two points are separated; and \\textit{leftness} to declare when a point is on the left of an oriented segment from a point to another one. Using these primitives, the three fundamental constructions can be readily expressed: given two segment suitably placed in the plane, they intersect and the point of intersection is identified as a term in type theory; given a segment and a circle suitably placed in the plane, the segment can be extended to a new one whose endpoints, identified as terms in type theory, intersect the circle; finally, given two circles suitably placed in the plane, their intersections are identified as terms in type theory. In addition, it is postulated that, fixed two separated points, every point \\(P\\) in the plane is separated from one of them: the postulate also identifies which point is separated from \\(P\\).  On this basis, the work shows how the initial propositions of Euclid's \\textit{Elements} can be deduced. Finally, the paper discusses which kind of models are admissible for these axioms, considering the constructive nature of the system.  The contribution is well written and very clear. It also provides a brief but comprehensive set of references to other formalisations in the same line. The proper scientific content is accessible also to non experts with a little effort, while the paper still provides insights and ideas to the specialist.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631963$737DC60C-C99C-4E63-9339-3740049431BF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d70cf3bb8deac95780b40e015c668ee4c90151aa","datavalue":{"value":{"entity-type":"item","numeric-id":590180,"id":"Q590180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$71F8EBF7-DBF1-4832-91FA-51179E1B5813","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$34172091-F979-43AE-BD87-7E847DAC938E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$1087BD56-1B23-4210-B404-7A38B8D06E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143b79160ecbd84018a9432f7528f4f2e56eb50","datavalue":{"value":"51M04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$FA22633A-F916-40B6-A245-048F5666B546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$C843094D-AC60-4502-9407-CBF61E9A5B07","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e94b2b5e212dd9eedc2a55e06b490944988a06e","datavalue":{"value":"7055781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$49A46CFA-917D-4070-B174-8065E1413D57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631963$75F845E2-E103-4567-A416-03DB5B13ABBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34acc2a0c177b37a3e098122fd0f8f12a751fee","datavalue":{"value":"constructive geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631963$9DC4F099-D805-4132-A58B-2F9B3E0EBE28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa91017f45c88773f475c4cb1a60731d2b3085db","datavalue":{"value":"foundations of geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631963$4F25E26D-1EDB-4150-80A3-60B8F51B4643","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$3F94BC39-4EC4-44AB-837D-7612DDAC4BA0","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":"Q2631963$2F3E743B-244A-4A77-A760-4562AEA79F06","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":"Q2631963$57C067DC-972C-4155-B111-80216EC0DF75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"17ed3427114f1cb487c09e94bd70a9e2b9443898","datavalue":{"value":"https://doi.org/10.1007/s10472-018-9603-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631963$DAD31CB4-F09C-455D-9FF9-0ADF042BA9DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bcebe191a774956a2a801c8835d6b7275c2c680","datavalue":{"value":"W2893738687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$F7EC890C-853D-4BB9-82AB-C1E57CA31889","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e34025a427a87876d8c80dec73548417abdbab","datavalue":{"value":{"entity-type":"item","numeric-id":4713272,"id":"Q4713272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$D4CAB3E5-7E11-4FDA-B785-F8901781CEB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa0346ce77feb0c5f8a5e29e74eda9b002c7f30","datavalue":{"value":{"entity-type":"item","numeric-id":3268310,"id":"Q3268310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$19184431-15B9-4BF6-BD17-C7C58AF9FF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d18349bcbf8949ed225956d591a34a9e36fcbb","datavalue":{"value":{"entity-type":"item","numeric-id":1909592,"id":"Q1909592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$825C2232-B33B-483D-9ACD-525D8BCDF715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7769821c86dd19660886ad452ed03b0bfd083f","datavalue":{"value":{"entity-type":"item","numeric-id":5332628,"id":"Q5332628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$ECD84E0B-B7D9-48EC-A83A-549A97922141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adab6729248b7443d48469debb1549ea46b5994","datavalue":{"value":{"entity-type":"item","numeric-id":265603,"id":"Q265603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$86B70DA2-5B0F-45DD-A934-45E01D3703F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3541189dbca4e0105c0a9c876ec92d5ddebd0d42","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$3328BB66-86A9-458F-AFA9-F7BDB06E2D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e92e06cb1272b13b8804c9430e0f1cb0cacae23","datavalue":{"value":{"entity-type":"item","numeric-id":1279729,"id":"Q1279729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$98280BBC-D4B8-44A0-86A5-4BD776051A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7952ee44e3dab21489a14a3b13848187b176c848","datavalue":{"value":{"entity-type":"item","numeric-id":3567843,"id":"Q3567843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$42415A98-7876-433C-B07E-254905211B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"802d9196e6fd0ff09b727c004d5a94147a57f858","datavalue":{"value":{"entity-type":"item","numeric-id":1688971,"id":"Q1688971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$EAAECF31-FCA0-4CBB-B9FF-1DC184D4EA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02be31bbcccdd5668a4bf38db4eb874de330c10d","datavalue":{"value":{"entity-type":"item","numeric-id":1051424,"id":"Q1051424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$90F93717-88E9-4BC9-981F-A1D3F67974A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f74e41e63885e48d8455a025aaa5960c6465a3","datavalue":{"value":{"entity-type":"item","numeric-id":2757990,"id":"Q2757990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$42393982-41CA-4B83-A2EE-60EC4416A9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$7AE01AA6-34B1-49D1-A6E2-7218033EE05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ff600c639285bb06593ca61942b0f485ac06878","datavalue":{"value":{"entity-type":"item","numeric-id":1202183,"id":"Q1202183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$F3567A1C-F187-41FC-9E31-F8302752294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e1239dc5bc06ab7e28f576824e29b4affc13bf","datavalue":{"value":{"entity-type":"item","numeric-id":1295418,"id":"Q1295418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$06F2E6E7-3528-4353-8197-C8050C4A1A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfe961fccc96a400a33450c52d986a5b9e3c3b47","datavalue":{"value":{"entity-type":"item","numeric-id":2904392,"id":"Q2904392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$D4EE6891-9036-47BF-BFC4-7255AA883E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f5e90efe0f3d145d88f7814757a9d71dc1d0a3","datavalue":{"value":{"entity-type":"item","numeric-id":490871,"id":"Q490871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$7CC8197B-4B6A-4C9A-ABDC-D10BDDC44990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8549a72adcf761e26ac06f668c8502d7f581da97","datavalue":{"value":{"entity-type":"item","numeric-id":3678266,"id":"Q3678266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$88AF473B-F39E-4618-8503-B8DFCA15B5A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2d52bb81737c531e4b9955919288175749019e","datavalue":{"value":{"entity-type":"item","numeric-id":1725841,"id":"Q1725841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$880DF0F2-BB61-4D2A-9812-D6F9AE8BD2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc182df8b38eb530d99faf472b90c793492a26d2","datavalue":{"value":{"entity-type":"item","numeric-id":5453489,"id":"Q5453489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$BDF9CD68-989D-47AD-90F4-9BDDFC8601C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412123a8b4291c2e6a045d08b2ad6880564046ff","datavalue":{"value":{"entity-type":"item","numeric-id":3192214,"id":"Q3192214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$AB9AA304-73B2-4B55-9AA5-00C5DA9BC276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$A524E8F7-DB6A-42B4-BDAD-B28E9E377B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3860c002e5bd73f6a4938093fc1d13dc428ed801","datavalue":{"value":{"entity-type":"item","numeric-id":5850985,"id":"Q5850985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$EDF65EEA-9056-4992-9A5B-BFC45D4A4369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34070298881ffe0d4f53738836dad999109b0f75","datavalue":{"value":{"entity-type":"item","numeric-id":3234138,"id":"Q3234138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$5FBE1144-0C97-49ED-AE8D-7907A011A54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33bf517641d12fc4df4d7fdbda832f3ef440e8b","datavalue":{"value":{"entity-type":"item","numeric-id":865639,"id":"Q865639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$55B8F960-0035-4355-8A3B-A5F9BFB6AFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43144c4a0a56b8fe6b196541305aec6c39695ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4262603,"id":"Q4262603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631963$50401A3A-AEFF-4C2C-B2DC-C9C3850C5663","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85e27651c54a12e858237fe73af75bf0f00588f8","datavalue":{"value":"10.1007/S10472-018-9603-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631963$BE49CF7E-5718-4E22-90E4-FA1AE5175F95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d083df6128f15efa78ee573dc142d4f07a02fa","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd0e99b0c59c14a25472876d660e293c5261591","datavalue":{"value":{"amount":"+0.872258","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":"Q2631963$E9C8B80B-D5BA-40B2-9746-17C1B39DE842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"204a78e8fffb62f819779a61ddfe9e8668b5330c","datavalue":{"value":{"entity-type":"item","numeric-id":4340420,"id":"Q4340420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb1f41d7998f3f6c0040393ffca9053654140aa","datavalue":{"value":{"amount":"+0.85733706","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":"Q2631963$FE3529B5-5610-45E9-994D-549C7C138AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a814fa50b420de47a39e568ca5af84ad9af0113","datavalue":{"value":{"entity-type":"item","numeric-id":2931793,"id":"Q2931793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eedf2c6ae3e2f560c2411f2ef65ebc47610c69f","datavalue":{"value":{"amount":"+0.85722184","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":"Q2631963$003404F2-0439-4404-9B52-326CB89B6A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ac905338d0bfda979ef4a7b8dbd03819a0877c","datavalue":{"value":{"amount":"+0.8564007","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":"Q2631963$207B66F4-B35D-4E45-B908-AB9C1A9946B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a314e3e300ecb5f9a5ea5dd7518452d5ba23be","datavalue":{"value":{"entity-type":"item","numeric-id":3499757,"id":"Q3499757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0b4d16f15eff15125484c3ee778fdb128ea561c","datavalue":{"value":{"amount":"+0.8552184","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":"Q2631963$3D07B31C-BE57-4E9E-9B41-A5BF16ABEF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ee6f886ef0705827062d0a4c87d655476ba33e","datavalue":{"value":{"entity-type":"item","numeric-id":4204148,"id":"Q4204148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71aa81d3c58bd34f028f0c394f1f94d377951c8b","datavalue":{"value":{"amount":"+0.8549576","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":"Q2631963$5ABD03F3-EB4E-487F-902C-D7AA94AE1D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92f8863c0ad8f47e8885016b775f423134b8191f","datavalue":{"value":{"entity-type":"item","numeric-id":6064279,"id":"Q6064279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5938a660cd093794e9ea9a6bf9576d491a73293","datavalue":{"value":{"amount":"+0.85484076","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":"Q2631963$9F4DDE04-3D29-4B0C-9342-72438CA42511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f41360694a342b01d91d781884215d1a8bc1092","datavalue":{"value":{"entity-type":"item","numeric-id":2289082,"id":"Q2289082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d398cc2976750e21caa5b279096bee25bd49158","datavalue":{"value":{"amount":"+0.85437715","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":"Q2631963$081EE45D-62D9-4A34-868A-588B62F7BD30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3240aaed16660bbb4a7bcc15102ea35c7bde1a5e","datavalue":{"value":{"entity-type":"item","numeric-id":6075439,"id":"Q6075439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59850ea6b63ec76155517be32998537714e5a5d","datavalue":{"value":{"amount":"+0.8535351","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":"Q2631963$CC19069C-5AC0-407E-8711-C3FFD935898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"992f0b1de34fae686657c881f47cf95dc1b288fd","datavalue":{"value":{"entity-type":"item","numeric-id":5210799,"id":"Q5210799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90718980eb7732a37b240fbfdd20e251152a43b","datavalue":{"value":{"amount":"+0.85239255","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":"Q2631963$E2191366-950E-4739-9EF1-1A192CDF5345","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631963","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631963"}}}}}