{"entities":{"Q1725841":{"pageid":1736582,"ns":120,"title":"Item:Q1725841","lastrevid":53357432,"modified":"2026-01-24T19:36:52Z","type":"item","id":"Q1725841","labels":{"en":{"language":"en","value":"Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7024051"}},"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":"Q1725841$3A78542A-EE80-4330-86B0-62AD83CA194D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8414a80271f478f209546fbe6996c1a92ca45de3","datavalue":{"value":{"text":"Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1725841$0C46FC23-8030-4050-9852-E3F3C7A069F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"002f6f52942f5686ea70fee8f8a78d451cffa035","datavalue":{"value":"1441.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$31E7F788-288C-4CE3-A205-01501B91F84E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ddf02221cc31b2f9ffa4aa27567f8090654d011","datavalue":{"value":{"entity-type":"item","numeric-id":1640644,"id":"Q1640644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$5D14A45C-EEDA-4D97-BC61-B81FBD88294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74cd4be033916eee5d130c77606ac5658c76e203","datavalue":{"value":{"entity-type":"item","numeric-id":1725840,"id":"Q1725840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$D7665BC4-8A65-4664-9644-0E12F6B281E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7154e8ca53ace223b8c5be019b7f4f775aab0292","datavalue":{"value":{"entity-type":"item","numeric-id":294376,"id":"Q294376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$ADB6A135-218E-4461-87F5-25454D847D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4f67aad00a911cdfd4a5f73b3962a1f5be1f7e5","datavalue":{"value":{"entity-type":"item","numeric-id":294371,"id":"Q294371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$10E59E97-66CE-4D4F-AB44-C2B08D800207","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$21667861-11B9-441C-B3DA-71DFBA8AA0E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56e643f96455f9cda8b271b0f1d8d991a4ead17f","datavalue":{"value":{"time":"+2019-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1725841$C638CABF-4CBB-47CC-BFBE-AA0E05593DA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cdae847929901235aee432a7be005838e9c80b2","datavalue":{"value":"https://hal.inria.fr/hal-01178236/file/parallel_postulates_revised.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1725841$6E2448CA-7D66-44E5-BB48-86CD53DC1531","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3b4f509515e72d963a6f363d0a83d6ac64e5a20","datavalue":{"value":"This is an important paper,  which extends results obtained by \\textit{M. Beeson} [Bull. Symb. Log. 22, No. 1, 1--104 (2016; Zbl 1403.03130)], by showing which forms of Euclidean-like parallel postulates are equivalent within intuitionistic logic, with absolute geometry with decidable point equality as the background theory. While inside classical logic we know (see the reviewer and \\textit{C. Schacht} [Beitr. Algebra Geom. 60, No. 4, 733--748 (2019; Zbl 1429.51004)]) that, with Hilbert's (or Tarski's) absolute geometry as background, (*) \\({\\mathbf P}\\rightarrow {\\mathbf R}\\rightarrow {\\mathbf L}\\rightarrow {\\mathbf L}(\\exists)\\), where \\(\\mathbf{P}\\) stands for the Eucidean parallel postulate, \\(\\mathbf{R}\\) stands for Clairaut's axiom (``There is a rectangle''), \\(\\mathbf{L}\\) stands for Bachmann's \\textit{Lotschnittaxiom} (``The perpendiculars raised to the legs of a right triangle intersect''), and \\(\\mathbf{L}(\\exists)\\)  for ``There exists an angle, such that, through any point in its interior, there is a line intersecting both legs of the angle''.  None of the arrows in (*) is reversible. The authors consider many more versions -- 34 altogether -- of axioms resembling the Euclidean parallel postulate, all of which are equivalent with the Euclidean parallel postulate in the presence of the Archimedean axiom, but not in its absence. In the intuitionistic setting, there is an additional axiom in the chain (*), namely between \\({\\mathbf P}\\) and \\({\\mathbf R}\\), where \\(\\mathbf{P}\\) stands for either Euclid's version of the parallel postulate or for Tarski's version thereof (``Through any point in the interior of an angle there is a line intersecting both legs''), there is \\({\\mathbf H}\\), Hilbert's version of the parallel postulate, which states that through a point \\(P\\) to a line \\(g\\) not incident with \\(P\\) there do not pass two parallels to \\(g\\). The chain (*) thus becomes (each arrow cannot be reversed): \\[{\\mathbf P}\\rightarrow {\\mathbf H}\\rightarrow \\mathbf{R}\\rightarrow {\\mathbf L}\\rightarrow {\\mathbf L}(\\exists)\\]  Each of the 34 axioms turns out to be intuitionistically equivalent to one of the above five. The deductions are mechanically checked by \\texttt{Coq}, a proof assistant,   The authors refer to \\({\\mathbf L}(\\exists)\\) as ``Legendre's axiom,'' but the reviewer is not aware of any place in Legendre's \\textit{\u00c9l\u00e9ments de g\u00e9om\u00e9trie} where such an axiom is stated. Legendre asks that any angle of measure \\(\\leq 60^{\\circ}\\) should have the property that,  through any point in its interior, there be a line intersecting both legs of the angle. It thus appears that this is the first instance in print where this axiom appears. The authors of the paper [Beitr. Algebra Geom. 60, No. 4, 733--748 (2019; Zbl 1429.51004)] were unaware of this precedent, and were under the impression of having been the first to stumble upon \\({\\mathbf L}(\\exists)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$5A171E69-9D38-4782-A13F-0205B2F4DF34","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d2936d2ca75b282fe91002e3a0760ae48486e8ea","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$4FFD22E4-700F-4A5F-9C2F-6FC810835BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$75E13E1F-1F92-4111-86CE-054FF77BF631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$49D7D721-415C-4E5A-BB89-05E1BA99C292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"454ba8f5316b3a6de5757c875749b0780a80e377","datavalue":{"value":"51F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$6BDA1262-AF5A-4F64-8CA2-DD25A2A907DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0166df3f2ef85a87e85fad615c3f5cc3979e4161","datavalue":{"value":"51M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$A489EA4D-4DAF-46AE-855A-76698E471E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$2DACA075-09A6-4FDB-9B39-72EE778C9B2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$D8CF6784-E292-42C0-8369-74952DBBE228","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcf3b590443d7d4cd0b5a8f9b650bc172365ab7c","datavalue":{"value":"7024051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$CC11E1B1-133B-49E8-9378-FE21D50CA661","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3fe196543e16afad6ea49179487ab6a48fd9bf","datavalue":{"value":"Euclid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$D26A0A67-9F59-412A-90EC-B046496AAB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3b8034e422d257afed3a77670f7724249febbf6","datavalue":{"value":"parallel postulate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$0E4B3E5E-E7E9-49F5-932A-00EE2A2E9E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$79AE70EB-5F08-4020-83A8-DF1202575F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b3dfffb760d8ccf0083929cc357566d4ac0ffc1","datavalue":{"value":"neutral geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$2DB283FF-4336-4D58-9BE4-5E8E7A73C02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$88C28460-8998-403F-9EF1-0206E6BEA2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f12eb165bd6cb53df1cbde83765cb1c65a6033d","datavalue":{"value":"classification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$44B2A063-45D7-4EFF-BE75-8B3C7DA7ADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa91017f45c88773f475c4cb1a60731d2b3085db","datavalue":{"value":"foundations of geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$C589D408-4811-4D17-9FEA-42408566D40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57df03e0beb7d09a985ffc1ffaf540b96ca26bbd","datavalue":{"value":"decidability of intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$FFCD419C-028C-4F99-85A8-A48D617A5889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69d034c53846ff093b34d81479c91bbc12ddc391","datavalue":{"value":"Aristotle's axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$7F559777-4676-41E2-AE34-DEF6E7B58F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d93e0477c3d679ebf2569e7077c39a6a5a55cdc0","datavalue":{"value":"Archimedes' axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$5E64735D-F3C9-471C-B279-7C0193202EF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90f438c47a20d1f4d049ec5cd0ddd527a4f1050f","datavalue":{"value":"Saccheri-Legendre theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$A7D95146-5926-4AE7-8D18-D8A4D3E9550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b1272d0fbb978fd8142f0b0f72d1d0958149b4","datavalue":{"value":"sum of angles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$223E6C7C-5E96-4778-BA32-4521C56BA5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c4b2087298b3cdda7f506b44e1321c61067f9c","datavalue":{"value":"Lotschnittaxiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$FAC9037F-9487-42DA-AAFE-5D3318810E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc6ab46f4097933b69e6c8cee46daee2173dcc62","datavalue":{"value":"Hilbert","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$B52DC9B0-12A2-4483-811F-7B2223A6C1D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725841$AF7488B4-9BC9-4629-AE53-D5C3EDC2F28E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$83959B99-0ED5-469C-AA8B-BC9DDB4EC853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ef50cc423c44138be22110bde4b56f83e61f992","datavalue":{"value":{"entity-type":"item","numeric-id":43953,"id":"Q43953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$CB0B78AC-8056-4A90-AC5E-53EDB3094D38","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":"Q1725841$593AC8E9-2ED3-4720-B673-D50F97C91E48","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d3dbc7096aa85d1ce6a45e212921f8ada6a4849","datavalue":{"value":"W2741938952","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$10CF84A0-7C5F-44F8-B84C-EDCC763C5969","rank":"normal"}],"P223":[{"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":"Q1725841$AD20A95B-EB9B-4648-8D05-BF6664460263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78fda477e732cd739c237a17bf994b36b6180969","datavalue":{"value":{"entity-type":"item","numeric-id":4755462,"id":"Q4755462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$64572F8B-0CDE-4963-B339-C34411CBDC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f16cd2067bc04f677048f913c2bcad7be742e4b","datavalue":{"value":{"entity-type":"item","numeric-id":4603536,"id":"Q4603536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$AD672DCF-6CDE-4BDD-9671-62F9EA7EED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53fc394003e3c6effe6ca7506f9eae161a9ac0a","datavalue":{"value":{"entity-type":"item","numeric-id":2627075,"id":"Q2627075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$06E93B46-B1F1-4A30-AF36-16A4991339EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3a7591e6b47fc174b794642c824d8b8bf2b89c2","datavalue":{"value":{"entity-type":"item","numeric-id":5667677,"id":"Q5667677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$85EE9EFC-A4F8-47C0-8BEB-0757ABE4AF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a1671568e4a6d271431cc26bc7d2ab3f98347","datavalue":{"value":{"entity-type":"item","numeric-id":2795294,"id":"Q2795294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$97D580F0-0612-4A5C-B75B-563DA0E4470D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1e5464af3f53ea11d699a3d8093be293f6dfabd","datavalue":{"value":{"entity-type":"item","numeric-id":1640646,"id":"Q1640646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$56F07C6E-4050-460C-A4B7-C352924DC897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d45ba0f08d8b9ad108013eb53fd86281684a152c","datavalue":{"value":{"entity-type":"item","numeric-id":2849509,"id":"Q2849509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$A4400945-9E3A-4D4F-AFBA-B29F38375EA3","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":"Q1725841$535E33D9-839A-4488-A9FC-87F6A554DC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de0feb4b015bcec3cfbc56461e950b7c6cbf648","datavalue":{"value":{"entity-type":"item","numeric-id":5346689,"id":"Q5346689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$4B0FB877-5C7B-4642-A90E-4A9B59D3CCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54d2f78994ed4b1c9ec1c2757da978ae2feec8d5","datavalue":{"value":{"entity-type":"item","numeric-id":4304116,"id":"Q4304116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$0294C341-51E8-4CDA-B7FE-09B4A25887E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"324afc14ad4bec5335ee65b1d9f2e9ffdac350c8","datavalue":{"value":{"entity-type":"item","numeric-id":1353164,"id":"Q1353164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$F20C9B95-CB94-4A84-916C-3F03A34EC939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ce2a72a0fc3795c683b3cb0e52daf0929c09301","datavalue":{"value":{"entity-type":"item","numeric-id":2362204,"id":"Q2362204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$5609DBFF-AF83-4544-991D-FA9302A0E771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff90865c14a195cc1114ae57dc84bca8bcb30b","datavalue":{"value":{"entity-type":"item","numeric-id":3270252,"id":"Q3270252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$AEA7D190-1904-4CFF-A01A-38D48B76CBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33edf6c60e987374ac2b92fef6c7f79da2b1b282","datavalue":{"value":{"entity-type":"item","numeric-id":2881068,"id":"Q2881068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$7352BC4E-63C0-4B7F-9E41-67848153E9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d9ca544975f5c9c0e7de2a7ac77bcf4132ff76","datavalue":{"value":{"entity-type":"item","numeric-id":4210022,"id":"Q4210022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$12CD7E7C-2549-4406-96ED-E78899B038A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13bac5997d9caf8368bd9ff9b5cd7ba88aa6b14b","datavalue":{"value":{"entity-type":"item","numeric-id":4531863,"id":"Q4531863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$FB72EBB4-52C8-448E-9C98-0AC814A2B3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76513b57fb9e3d95c401433bccd07eede2b5e50b","datavalue":{"value":{"entity-type":"item","numeric-id":4789443,"id":"Q4789443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$9DF38A36-3C3D-4430-A68C-78817DA2A6D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50194ca3b7c353b09bf7a69176aa9a9155660faf","datavalue":{"value":{"entity-type":"item","numeric-id":3003228,"id":"Q3003228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$0AC5973A-0F9B-4E49-84F2-F01706561FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38ba87bb230b8eb453bf42427a15419942ee83","datavalue":{"value":{"entity-type":"item","numeric-id":1109336,"id":"Q1109336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$546E1B7E-5901-4358-938F-3A2CD2E9AE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e243e5534fbe39a7f4d2cce473442f9a5f6d770","datavalue":{"value":{"entity-type":"item","numeric-id":3851216,"id":"Q3851216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$45CC945E-18FB-4FF9-B339-06166E41E7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dc215822f65ff2438c46b1fd1a9922a4b9fc268","datavalue":{"value":{"entity-type":"item","numeric-id":3058127,"id":"Q3058127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$EC5A4278-AA84-4E86-BD16-BBA5105D750F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0528fd5ec6b4cfdb33449de9a7aba36f94d9a260","datavalue":{"value":{"entity-type":"item","numeric-id":4485800,"id":"Q4485800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$008555D8-1B5B-4B56-A3DE-88C18D2884F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ce0755c98951449c2f93d8e87311e98b07793d","datavalue":{"value":{"entity-type":"item","numeric-id":3998128,"id":"Q3998128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$15611BD8-BF49-4F82-ACAF-FD5935DDEDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8261499faeebc58971bf53902205b0f6d27fd776","datavalue":{"value":{"entity-type":"item","numeric-id":4226697,"id":"Q4226697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$FB05B255-6BE4-4421-B390-F018E45B5370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1ef8e50a339a8eb179eed49174a34ef09e513a","datavalue":{"value":{"entity-type":"item","numeric-id":4391438,"id":"Q4391438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$AE20B339-7612-48BD-8213-96C523E4A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e158eb7b2484557f78f957f803505d7ef135c145","datavalue":{"value":{"entity-type":"item","numeric-id":3943565,"id":"Q3943565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$BDFE6ACE-436E-4594-8EA4-E1635C27E1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c053e3d9e6beae6c3dbd6ebcc10a85ef46ed5c1","datavalue":{"value":{"entity-type":"item","numeric-id":2354913,"id":"Q2354913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$3C0F60C0-0A43-479A-BFD3-06601EDE4D30","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":"Q1725841$42A79A48-8A4A-4A55-A69D-5B396035AA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4448b3cb1896bfdbfe6f09bdaf060568d62b7c44","datavalue":{"value":{"entity-type":"item","numeric-id":1339785,"id":"Q1339785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$371B2066-52CD-45B0-811A-F16C2156926E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1ee273d1f0e0109e5075147f723a7cc0cc4c462","datavalue":{"value":{"entity-type":"item","numeric-id":5482811,"id":"Q5482811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$58E5A054-2970-472A-AB4B-F18D535E074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e154fd79df763bed3290b72fdd08cb7ce63c07","datavalue":{"value":{"entity-type":"item","numeric-id":2380488,"id":"Q2380488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$6B0F52AD-C065-4025-B873-8894533BD819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243add6dcc35b926e78b944c727f917f4a3f53e9","datavalue":{"value":{"entity-type":"item","numeric-id":515727,"id":"Q515727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$E88DE4D6-E78D-4E87-8ADA-D5DFED165E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0f57e6fa0956a35e07a647197f969cea8238e2b","datavalue":{"value":{"entity-type":"item","numeric-id":659461,"id":"Q659461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$E1855B95-7970-4B7C-8896-40287DEF3CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20ecebfb69c7989fa9efedc85ed49b5b4111801","datavalue":{"value":{"entity-type":"item","numeric-id":4094049,"id":"Q4094049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$BE32AB68-1ABF-48E3-BFAF-45BD5AC81647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01ee7d8b864cce666411bd6c9d00dc9e99c64477","datavalue":{"value":{"entity-type":"item","numeric-id":1131207,"id":"Q1131207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$557B44C0-0067-404F-8734-B4200CAF1C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15359f2e550090315f200c159365af574ada2f27","datavalue":{"value":{"entity-type":"item","numeric-id":3288579,"id":"Q3288579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$E3DA574F-E7E6-4AC0-B98B-8035002D73C2","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":"Q1725841$06714F64-AAB2-409A-973C-F1DF6E6BEE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ba80b3e6539c279901c1e732fc28837070754b","datavalue":{"value":{"entity-type":"item","numeric-id":3268765,"id":"Q3268765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$369C27C2-5A47-480E-BEB8-658DDDFDA587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae087516eb727b4ac9a7c7e4f9337cced9bcd4d","datavalue":{"value":{"entity-type":"item","numeric-id":3281521,"id":"Q3281521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$27E832A4-AF7E-4BD7-939D-24632F8636EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$4DFFEF6F-49D9-4034-9838-79506FBD2099","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":"Q1725841$7045A7FE-8F78-4E29-8B9D-72AF6C571FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8579a39cf00c1e4b4f81ee89f166b51a31ffb5f9","datavalue":{"value":{"entity-type":"item","numeric-id":4399901,"id":"Q4399901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725841$A22AA8C4-6990-4181-B7AF-6F2A7253D9E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07fcb923e2d88ddbd51809261eb4a4daa4f5e110","datavalue":{"value":"10.1007/S10817-017-9422-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725841$55C23CCD-3881-422D-9923-E48D873458D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be67d02472e420b0fea1fb04e0205ef45850fd2f","datavalue":{"value":{"entity-type":"item","numeric-id":5346689,"id":"Q5346689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8279ef6fc08ca0de16ad5db04610f381a95cd5ce","datavalue":{"value":{"amount":"+0.8229455351829529","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":"Q1725841$1654383E-F373-4C4D-A470-9639D61863EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b9dc9f0be2b9a56cfc8eafb8850b3ed59807c8","datavalue":{"value":{"entity-type":"item","numeric-id":2038868,"id":"Q2038868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b6cdaaf54e3b1385462e4d00ecdee613791d43c","datavalue":{"value":{"amount":"+0.8055052161216736","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":"Q1725841$AB4EEC5D-A636-4BA9-BDE7-38F969254AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7923e8b92455dc4e30735e19581757fe17e8ff7c","datavalue":{"value":{"entity-type":"item","numeric-id":1339785,"id":"Q1339785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5f8cd2147914e42c1abb71921f7f0211f6009f7","datavalue":{"value":{"amount":"+0.7946133017539978","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":"Q1725841$0D84D764-5CA2-44F3-A76C-ACFBFAD4F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86ab90acafce1e63d8c99914fa0fb02d19787641","datavalue":{"value":{"entity-type":"item","numeric-id":343827,"id":"Q343827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0d1b55e475f68479da6b17954e10a9f7678e44","datavalue":{"value":{"amount":"+0.7927024960517883","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":"Q1725841$5AB9D7CC-5D05-4CB3-903E-3DB056084AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb5bf71552d77cd9feddeefefd4b5e943571e6f","datavalue":{"value":{"entity-type":"item","numeric-id":2668175,"id":"Q2668175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c349d04e452f64095f3fbd2790f82e4d6049c5","datavalue":{"value":{"amount":"+0.7561770081520081","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":"Q1725841$EC409E2E-800A-472E-946C-CC8C2C8320D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1725841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1725841"}}}}}