{"entities":{"Q7361729":{"pageid":31520726,"ns":120,"title":"Item:Q7361729","lastrevid":105368420,"modified":"2026-10-07T13:37:30Z","type":"item","id":"Q7361729","labels":{"en":{"language":"en","value":"Projective Geometry"}},"descriptions":{"en":{"language":"en","value":"AFP entry Projective_Geometry"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2725d205ebeff5f1adeac6eeacc64ceba3fd2998","datavalue":{"value":"https://isa-afp.org/entries/Projective_Geometry.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361729$5EE1D003-15E7-4242-A1AF-109199EFCE50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361729$55DFB637-F90E-4A41-BBB5-45050CE63429","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"121f7e09f04d7a0be0af8b5741fe5d004f3ae45f","datavalue":{"value":"Anthony Bordg","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361729$063E536B-53AB-4C91-A37E-23DEE90D019F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b89163f423b8cfd66d2e84558894aa01d7c6862","datavalue":{"value":{"text":"Projective Geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361729$7B1B0AF6-C16E-44A8-B86C-BF9240894D55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d4dfa0cd360e8594636d78d3de516e7bca4ee9ca","datavalue":{"value":"We formalize the basics of projective geometry. In particular, we give a proof of the so-called Hessenberg's theorem in projective plane geometry. We also provide a proof of the so-called Desargues's theorem based on an axiomatization of (higher) projective space geometry using the notion of rank of a matroid. This last approach allows to handle incidence relations in an homogeneous way dealing only with points and without the need of talking explicitly about lines, planes or any higher entity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361729$E49AD6E1-8607-4D00-A880-ED540D5D1DCB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5791688c0d08cb0956d2f1e861eee0a36c47d237","datavalue":{"value":{"entity-type":"item","numeric-id":2471743,"id":"Q2471743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361729$627C955A-8BD6-4321-8E54-6780F98DC26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cb7dc4e540bfc1c1f9b3070e4d2e003f7057e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4434670,"id":"Q4434670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361729$E7CCF62F-AFCD-4B53-8A31-83335565C5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc813c3420ba0b42fe4bea1f4208b1eb74e62860","datavalue":{"value":{"entity-type":"item","numeric-id":448975,"id":"Q448975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361729$9F068979-8A07-403C-B457-EA63795F418F","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361729$3A5103DB-C44C-4BCE-BF8B-63FAEB5AD9A4","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"d75ba9426f5726a5b7c54c54aebad10c3a3c7f9a","datavalue":{"value":{"entity-type":"item","numeric-id":7360826,"id":"Q7360826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361729$CB846403-FEF7-4BDE-AC84-AD929D6A4188","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361729$6967585F-9D9C-4A33-B0D7-963299346F07","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Projective Geometry (AFP entry Projective Geometry)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Projective_Geometry_(AFP_entry_Projective_Geometry)"}}}}}