{"entities":{"Q1919310":{"pageid":1930052,"ns":120,"title":"Item:Q1919310","lastrevid":69089469,"modified":"2026-04-13T04:40:17Z","type":"item","id":"Q1919310","labels":{"en":{"language":"en","value":"Splitting the Pasch axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 913041"}},"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":"Q1919310$0BA73477-CE07-44A3-8C1F-74AACB88F945","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2699f2521c15cd701d8e9f641a7e4c358d98f553","datavalue":{"value":{"text":"Splitting the Pasch axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1919310$AB2D230F-0E11-44BF-98AF-EC4C5AE090C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4b9ad41eae853495dac4695aa4f261caaebc488","datavalue":{"value":"0854.51010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919310$8257772A-A0B8-423A-BDE7-4F695D86B02D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c67ac535d59360993c0ac44399867170999dab98","datavalue":{"value":"10.1007/BF01222689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919310$3DE783CC-1D43-40E6-9215-97D32A9ED878","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"94a0836b8f6fa2968e81482351df8ab94ee5594d","datavalue":{"value":{"entity-type":"item","numeric-id":482534,"id":"Q482534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$202AC0F3-E133-446A-BCB3-AE01CC27374B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7946688d25c7526bf38e6f25dde02f73646d21e5","datavalue":{"value":{"entity-type":"item","numeric-id":206518,"id":"Q206518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$F5833EC2-464E-4FAE-AAAE-BC030124DDDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e7fbbd683a03463c3422bfa8218218d1a58508","datavalue":{"value":{"time":"+1996-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1919310$F68A5EFE-AD0E-4A85-8A42-DF33D758753E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0795f46ac5e43c373a71ef18b3e526b0d743ca1a","datavalue":{"value":"Plane Euclidean geometry can be considered as a first order theory in an appropriate language. If the Pasch axiom \\((P)\\) is not assumed, the author speeks of Pasch-free Euclidean geometry. In this theory, two axioms are considered: \\((R)\\) ``In every right triangle, the hypothenuse is greater than the legs'' and \\((R')\\) ``If \\(AOB\\) forms a right angle, \\(B\\) lies between \\(O\\) and \\(C\\) (all three distinct), and \\(D\\) is the footpoint of the perpendicular from \\(B\\) to \\(AC\\), then the segment \\(OA\\) is greater than the segment \\(BD\\)''. It is proved that \\(P \\leftrightarrow R \\wedge R'\\), and an example is given where neither \\(R\\) nor \\(R'\\) is valid. It remains open whether \\(R'\\) alone possibly implies \\(P\\). If this turns out not to be the case, then \\((P)\\) would have been split into \\((R)\\) and \\((R')\\), in the sense of the author, J. Geom. 51, No. 1-2, 79-88 (1994; Zbl 0815.51012).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919310$3DC7F370-1397-41D6-9C2F-CDBC23A0583E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"df5837364775a22c4a72113e184dfce3b8631ee9","datavalue":{"value":{"entity-type":"item","numeric-id":588482,"id":"Q588482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$3EF11F7F-337F-4222-AC56-E08ED5D4FA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"454ba8f5316b3a6de5757c875749b0780a80e377","datavalue":{"value":"51F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919310$17C2E7A2-50B2-4F31-A59E-9B8E93CA5C37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66547f0065d8ccde7108875fdb0697605da5b2a2","datavalue":{"value":"913041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919310$FE05E49B-5319-44EB-9CF0-AECB309E71DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d20b9ac531d7e7c6d76879baa360d067991cf63b","datavalue":{"value":"Pasch axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1919310$6E06F758-1AB0-4C3E-9AAF-404166C0AE40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8140461f3083348f074bfae370cee915a9c54c85","datavalue":{"value":"Q114018460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919310$4F13EEAC-9EDB-44D8-9251-45C822BEB1F8","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":"Q1919310$BD0FDDE9-A500-46E9-8F63-05EBEA79440C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"355a6dee4cf2373d18dad360831d6ff9802813dc","datavalue":{"value":{"entity-type":"item","numeric-id":3273607,"id":"Q3273607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$B0ECA2AB-61E4-4B80-A069-34926278CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af3f50fbd9849e588996ecafced31fa4e7721f07","datavalue":{"value":{"entity-type":"item","numeric-id":5654685,"id":"Q5654685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$78F3E906-D9B1-4054-9A08-EF4C36EBC7BD","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":"Q1919310$868E6ACB-8F3D-4435-B9E1-F78459414EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d71934faad46c2d2a864d5b9b948c33d12538d2","datavalue":{"value":{"entity-type":"item","numeric-id":1846641,"id":"Q1846641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$FFA238D5-910D-4D26-9973-7411528631DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8999f33aad12b7dd4fb1bff28260af75237d04","datavalue":{"value":{"entity-type":"item","numeric-id":5600659,"id":"Q5600659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$E2A02ACF-F748-4C1C-8244-432B2B4C4273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9909a79313f60e439ed4fefa7809eb0439537a09","datavalue":{"value":{"entity-type":"item","numeric-id":5602596,"id":"Q5602596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1919310$A0D29187-2872-493B-A1A8-0161AD982E0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"044ae0eaafeaf61efe8959d95309989dea459882","datavalue":{"value":"https://doi.org/10.1007/bf01222689","type":"string"},"datatype":"url"},"type":"statement","id":"Q1919310$8E2C0A1F-4105-41F3-A3E4-DC53D164D6CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"958c970d139f0e5a18e508897149d52378262171","datavalue":{"value":"W1981312242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1919310$61405A1D-7E90-4168-9AE6-0B436A55E03E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19a8c7b038b25ad9da0d7be5be3b34751ff213c","datavalue":{"value":{"entity-type":"item","numeric-id":545487,"id":"Q545487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68802db0ff1cdabc11643242f09a956b66deddc","datavalue":{"value":{"amount":"+0.8036912679672241","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":"Q1919310$73A99281-640D-47AA-BA46-C95EE06D2CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056de2151b65d07f1f05d111916ad242bba72f75","datavalue":{"value":{"entity-type":"item","numeric-id":3406446,"id":"Q3406446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d064f5759b00f7d1fbebf75a8b2ad78299e744c0","datavalue":{"value":{"amount":"+0.7743363380432129","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":"Q1919310$3B7881F8-9AEA-4554-82FA-4F40E6747707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526f872aef69356dadc9a17d57e13336dc8fd302","datavalue":{"value":{"entity-type":"item","numeric-id":2941469,"id":"Q2941469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f619a40abaf68d66eb1d4afd063de062cfa5998","datavalue":{"value":{"amount":"+0.7614971995353699","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":"Q1919310$B1DA72FA-867D-49E8-B2A2-79AA90CEE561","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":"a5b8288fbe65a80636b9a999da38ae7101b360ca","datavalue":{"value":{"amount":"+0.7543764710426331","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":"Q1919310$2D99F9BA-1328-4EA1-96AA-B85CD8B4CAFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Splitting the Pasch axiom","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Splitting_the_Pasch_axiom"}}}}}