{"entities":{"Q1279729":{"pageid":1290479,"ns":120,"title":"Item:Q1279729","lastrevid":70063461,"modified":"2026-04-13T12:11:05Z","type":"item","id":"Q1279729","labels":{"en":{"language":"en","value":"A constructive theory of ordered affine geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1251213"}},"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":"Q1279729$AA99FE5E-DEF8-46D8-A8FE-A39EC38004ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bad51c09c613a733cec52b6302a6270a12f7439c","datavalue":{"value":{"text":"A constructive theory of ordered affine geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1279729$8D481BB3-0FB4-49C5-80DD-D4B215A51A6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c25ecb048637a80da10cbd2c4d2e375176a16bad","datavalue":{"value":"0926.51014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$8EB170D0-449A-4AAE-B36E-F57B8329676A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ed3709786eb1f4b3a3e44a7309bd537109a841","datavalue":{"value":"10.1016/S0019-3577(98)80034-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$0160C411-2B78-4321-8913-F9D8596770C5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279729$49267698-58CA-41AD-ABB4-E3FA402847DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33806c8c2ba8f7b230d4619aa4a9edf120b16817","datavalue":{"value":{"time":"+1999-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1279729$59DA88BA-9577-4950-A443-E43209F5FD36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3c4e489e96dd91ae43b151fe63ee40e2a3c67fb","datavalue":{"value":"The inclusion of some notion of orientation (or ordering) into the axiomatics for Euclidean geometry is necessary (although missing in Euclid's ``Elements''), as we know since Pasch's ``Vorlesungen \u00fcber neuere Geometrie'' (1882). The author extends his attempts towards a constructive axiomatization of elementary geometry [begun in the author's paper, Ann. Pure Appl. Logic 76, No. 2, 169-200 (1995; Zbl 0836.03034)], including a notion of ``unequally directed lines''. These axioms allow to deduce Pasch's axiom, and to introduce a betweenness relation (or a pair of orders) on each line. Desargues' property (or embeddability into a space of higher dimension) is not discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279729$3F9EA19E-16F5-40B1-989B-EC75BE626048","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f0f3a033ba037e44c92b4ace3a10a2805bf2147","datavalue":{"value":"51G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$CF2D4B04-9B1E-4038-8FBF-6C0A60902676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$E3D95FBD-92F2-4EE4-AEF4-977A98E14911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$61D2CAB4-B447-4C41-A9D0-45CB765072A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$3057C341-3A1F-4C07-9179-18CA146ADDB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab1ccdd303223bc5586352d393c43e3f5d8b7d35","datavalue":{"value":"1251213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$25BF1AC9-8AF9-4D47-8E94-C2A191ED1290","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34acc2a0c177b37a3e098122fd0f8f12a751fee","datavalue":{"value":"constructive geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279729$ED09695A-7D7D-4974-A8D3-36BBA6CD69BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b52a41752071c48c982aa020e5c69ad5df1fce49","datavalue":{"value":"affine geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279729$E066A07D-2EF1-48F3-A0A4-89829A7C4218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fac898ea19e76dcfffb8d34ee2a797613f2b83","datavalue":{"value":"Another Logical Framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279729$D715B232-0B89-4EAB-BC2B-577AD214B29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"619cec4664a98d8c81850d161b273c3520446471","datavalue":{"value":"projective geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279729$EE629DB1-C532-4220-8A35-C8409AE49034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4082b4f6fd607a923314ac72809f6c5569d46e95","datavalue":{"value":"apartness geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1279729$5F97F7A7-1D17-4A6E-A00C-BA2F5B6B54CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc8bf89138092366dba76fbdf018c3e853b377d","datavalue":{"value":{"entity-type":"item","numeric-id":167888,"id":"Q167888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279729$0C52ED00-0057-4F53-8CFA-E6E64A3AB31B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"612abd281228b04d9333ee49330bf43e52287847","datavalue":{"value":{"entity-type":"item","numeric-id":304556,"id":"Q304556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279729$1AC49E3E-CCAF-4E85-B3BA-65906C203506","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05e19126d9e9907924a4600d0a5598afdc2c5f70","datavalue":{"value":{"entity-type":"item","numeric-id":20609,"id":"Q20609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279729$6E32B769-E2DF-40B8-9AB0-1A23ED94DC34","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":"Q1279729$1F9C97B5-CC01-44EE-80F0-11D9262EE56C","rank":"normal"}],"P223":[{"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":"Q1279729$F995DE98-0753-4511-90F8-41F0CE219D02","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":"Q1279729$5F307204-CF2F-4585-AAD1-E1DDD935CBB2","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":"Q1279729$631A4CC4-0EB6-4575-A6D0-AB5ADA21290B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa6f870d7a6bdb8ea4a4fd7402e28984e8eaade5","datavalue":{"value":{"entity-type":"item","numeric-id":4647586,"id":"Q4647586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1279729$51C55B7C-2EEA-4FBC-9D6A-E84A678312BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2252722a66ed74505196fe87f7c76fb33ed3758","datavalue":{"value":"https://doi.org/10.1016/s0019-3577(98)80034-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1279729$83291C02-3819-4E4D-95E7-1C4CE9A9674E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebb382e30135469023bf9681f0da6311ab0c19d1","datavalue":{"value":"W2165887062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1279729$DA1AFD5F-F9F2-403D-B6DE-FA2D64BA1B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4497bb1c47ad5185ad3348fda6a05623ab624b59","datavalue":{"value":{"entity-type":"item","numeric-id":3679820,"id":"Q3679820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e56efef6510cdceeeae84cfeceeb34a13f9c42","datavalue":{"value":{"amount":"+0.8118149638175964","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":"Q1279729$B52759C4-EBB0-47C5-B591-4CC63EB4B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92365852670e54c3cb011e111d35e95995e0eb46","datavalue":{"value":{"entity-type":"item","numeric-id":533109,"id":"Q533109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6b295ca172ce75142d567f313d5ec47ee66555","datavalue":{"value":{"amount":"+0.7897689938545227","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":"Q1279729$9D5E235E-9509-4088-A2D6-F37F7522CE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdfe841eb3f24fbfb5c7cfdb66ce731e6c00bc9","datavalue":{"value":{"entity-type":"item","numeric-id":627004,"id":"Q627004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6d863880206b887dc7440d01a12f4fcaa324db","datavalue":{"value":{"amount":"+0.7815822958946228","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":"Q1279729$7AB682E3-A1E0-445A-B6E4-3DCFD8A76BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77d50f8021ef02ae992c5e0c00ff247ca560730d","datavalue":{"value":{"entity-type":"item","numeric-id":4014753,"id":"Q4014753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678ff5051e43138169d6d16bf98146e76daa7c62","datavalue":{"value":{"amount":"+0.7751275897026062","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":"Q1279729$FCAC30D6-22CB-4A53-9037-8750BD4F64B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ec95a92e0c9c3a57787ab19f4ff6453ac0dbf00","datavalue":{"value":{"entity-type":"item","numeric-id":3333637,"id":"Q3333637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee29ea84cdc55631d6e14ee4a3c0401c4c0a67b4","datavalue":{"value":{"amount":"+0.774793267250061","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":"Q1279729$C078775A-D56F-40E4-AA07-9889B2D685FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive theory of ordered affine geometry","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_theory_of_ordered_affine_geometry"}}}}}