{"entities":{"Q7010055":{"pageid":21563274,"ns":120,"title":"Item:Q7010055","lastrevid":81650405,"modified":"2026-05-06T19:01:33Z","type":"item","id":"Q7010055","labels":{"en":{"language":"en","value":"A Euclidean proof for the fourth postulate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013899"}},"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":"Q7010055$8687DE33-C32E-4926-9B28-C6A25EC0054B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62022629c17590bbf6ad37844fdbd1d7843dc81a","datavalue":{"value":{"text":"A Euclidean proof for the fourth postulate","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010055$C872C0C6-DD47-4463-9923-3016C66F344B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"942af1616d2dfcc9bab3f36eebe2aad7ba0f14cc","datavalue":{"value":"1567.01005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010055$9B736F45-34B6-4178-872E-BD808734C9FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"117bf1f079a682738d66dbea46c05a5834d1106f","datavalue":{"value":"10.1016/J.HM.2024.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010055$BF574893-DFDD-4CBC-A52A-04FBE0DA87E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f94e3cce16dbb503f2e63a0f1a312d0d4a1e9aaf","datavalue":{"value":{"entity-type":"item","numeric-id":284969,"id":"Q284969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$6E5840B5-B8C6-4AA2-9E64-17072A2B44F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4da60d006cc6b5748beaceba09d9831604b5e31","datavalue":{"value":{"entity-type":"item","numeric-id":360439,"id":"Q360439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$75C38D3E-4062-4A41-8CAF-A41794AD9FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d521e2c17b305a792cdffdc2fc62dc25d523a52","datavalue":{"value":{"entity-type":"item","numeric-id":299204,"id":"Q299204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$AD0B5DD6-962C-4A27-96F6-D20FBFAE06AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed963368ddce1f37d4db97cd23b32dbfa80fbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2443326,"id":"Q2443326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$D0857807-1072-494E-946F-E01C30E1902F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e829a6dc0b5877ebd8a6ce0f2c463d743a21b93","datavalue":{"value":{"entity-type":"item","numeric-id":375263,"id":"Q375263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$AF2D5174-5891-4AEE-AFFC-FB7BB7618927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c3a25de2b23c8cd26c38cfb31d43d961a9e7be","datavalue":{"value":{"entity-type":"item","numeric-id":3141104,"id":"Q3141104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$004D2AD4-05B8-4F8F-AA27-5F41423B119E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c6d6937a3f0178a6597c072f974da30194879d85","datavalue":{"value":{"entity-type":"item","numeric-id":168116,"id":"Q168116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$702F1D3F-09A1-45EF-93DB-99E4F50FAE08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010055$2C13A984-7B3C-4D1E-8011-21F4D8BA2C84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab13394ec9c8e94070ea7e2ec565708f5add76d7","datavalue":{"value":"After a survey of all the applications of Postulate 4 in Book I of Euclid's \\textit{Elements}, a discussion of a possible alternative to it -- ``All pairs of adjacent angles whose noncommon sides are collinear are equal'' --, an analysis of Proclus's two proofs of Postulate 4, a discussion of Euclid's uses of superposition in the proofs of Propositions I.4 and I.8, a model for the independence of those two propositions from Euclid's first principles, to emphasize the need for the superposition technique, to which Euclid appeals for their proof, a comparison of the use of superposition in Proclus and Euclid, an argued rejection of \\textit{R. J. Wagner}'s constructive interpretation of superposition in [Hist. Math. 10, 63--70 (1983; Zbl 0509.01004)], comes the central claim of the paper: That Euclid did not need Postulate 4. This is shown by first providing a new proof of Proposition I.15, which makes no use of Postulate 4, and then proving Propositions I.16, I.18, I.19, I.20, I.22, and I.23 just the way Euclid does. Proposition I.23 is then used to provide a proof of Postulate 4. The proofs only depend on Euclid's accepted propositions, none of which depends in turn on Postulate 4, and, once Propositions I.4 and I.8 have been established, require no further appeal to superposition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7010055$754180F7-49A3-42F0-AD8F-0A53EFC14A9C","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":"Q7010055$29985606-570E-463F-9076-787DCD004944","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8eec303a1936cabedb646ebcb2c6afcd3821a7f","datavalue":{"value":"01A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010055$8B3A7F05-8909-4AC6-A645-CF9A043EF92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"473a4e3037d3bf0fb4633c4c3d55d703a11f6a74","datavalue":{"value":"51-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010055$7E280570-FF89-4219-B2E6-948D2E4F25F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38f04e0912e6cf205ccb47a38676462bca6c9631","datavalue":{"value":"8013899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010055$F7276F3C-E530-4E7F-A4CD-C9D270E0603C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"436b5866df5af6e5e210f9db615753c7f09e642a","datavalue":{"value":"Euclid's \\textit{Elements}","type":"string"},"datatype":"string"},"type":"statement","id":"Q7010055$26471766-C852-4471-836C-8E47CAC797F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c396dceda173a5a7659059bd6969c2e32950a3f7","datavalue":{"value":"Euclid's fourth postulate","type":"string"},"datatype":"string"},"type":"statement","id":"Q7010055$C752A377-EF75-444B-A8F2-1D6639821679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff771d8449ab3f0b2de33f580de397e4e03170c","datavalue":{"value":"Euclid's geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q7010055$6232098B-519A-475B-BCCB-206CE39C7D60","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":"Q7010055$F0049AE1-9AC5-43AB-A173-6BB3959B5E97","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d514fa16d7828e8dcfd6fe0ce4cb224777efe94","datavalue":{"value":{"entity-type":"item","numeric-id":5003171,"id":"Q5003171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$7BEE971C-5D43-44D7-A5A1-C322E1C32D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce686abd56ec06ceadf511e7be7650a7df58bbae","datavalue":{"value":{"entity-type":"item","numeric-id":5094535,"id":"Q5094535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$A3723D76-61E4-4C7D-8278-55A0627CBAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f6681f36b726a7445d538b08e15c06deb16569a","datavalue":{"value":{"entity-type":"item","numeric-id":2152377,"id":"Q2152377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$FE841C88-A047-46FC-8F67-5146DEB46AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"757c3a05e1e0af5ea4ec8248c7682dfc609f72c8","datavalue":{"value":{"entity-type":"item","numeric-id":6653775,"id":"Q6653775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$8BE5922E-55EC-42C6-9E04-49F30928BB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"907dc5a87104d3b15ecf5e9bd6db74026335a600","datavalue":{"value":{"entity-type":"item","numeric-id":1448277,"id":"Q1448277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$1A661A2C-D44A-4115-8B71-8AB01C650C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3b2659fb6b4788facf7d037a32a10b37e7e3a","datavalue":{"value":{"entity-type":"item","numeric-id":5584547,"id":"Q5584547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$6F1821FD-594E-4135-B91B-C55B85DB15F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30c04d6a43511df29e658cc8367fb63289c6f7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4001736,"id":"Q4001736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$083ABC3A-2E1B-4572-9AEF-9B9730D1ED2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c32c70a8a69af64825384536fcb5a426be7955","datavalue":{"value":{"entity-type":"item","numeric-id":1504204,"id":"Q1504204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$847724DE-3287-494E-B06D-4ABEEBCDD61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be6e380261ad09f103f1c32992093dc4424f7f5","datavalue":{"value":{"entity-type":"item","numeric-id":3705389,"id":"Q3705389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$C77349A0-627A-42FC-8B60-E56F73A27CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cca29ce8e1c5fccf5c5e70b24bb45cd014b1887","datavalue":{"value":{"entity-type":"item","numeric-id":6203998,"id":"Q6203998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$845BA4F7-DEA9-4C5A-83C3-F042DACE6097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b89b497cf3278378f628187a8ae9be83fb2cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1559730,"id":"Q1559730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$70DB8417-6D79-414D-9B2F-31631CD0E7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa9e3b995072ea53e119ea22b3a2416ce276ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5636801,"id":"Q5636801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$142EB49D-A9FE-4A20-BBAD-C0BA91C92BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2787b47b3a5f4598d1d5ebed50731288bc8b8c","datavalue":{"value":{"entity-type":"item","numeric-id":5505173,"id":"Q5505173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$3E849817-2BDF-4AE7-B828-A02179251DF0","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":"Q7010055$DF961350-2405-45F1-985C-E52285769245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9351c978cf913686f45122bda207ea774ffdc5e","datavalue":{"value":{"entity-type":"item","numeric-id":2413527,"id":"Q2413527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$48E401CE-5527-4FCB-BA78-472C726CBBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5772be31ab8886645818765e17309d245e8ae08b","datavalue":{"value":{"entity-type":"item","numeric-id":2413528,"id":"Q2413528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$9331999E-EC28-43AD-AB4D-7EB945B5F2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51a9e71ee9ec8680f18aaf584756eefe468d87a","datavalue":{"value":{"entity-type":"item","numeric-id":6949070,"id":"Q6949070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$9E149487-1422-4C81-BB55-790857FE6ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54af70e7de3880d00463c0bc25274b14916f649f","datavalue":{"value":{"entity-type":"item","numeric-id":1838467,"id":"Q1838467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$35D93F02-D2B5-42A3-9992-C5672C43B6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0136e64002951e0033c0a1106d5730e08eacd55","datavalue":{"value":{"entity-type":"item","numeric-id":1524306,"id":"Q1524306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010055$0CD3F3FD-D539-426A-9FC7-73CE7239E1B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Euclidean proof for the fourth postulate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Euclidean_proof_for_the_fourth_postulate"}}}}}