{"entities":{"Q6962006":{"pageid":21275238,"ns":120,"title":"Item:Q6962006","lastrevid":104080025,"modified":"2026-06-06T09:02:57Z","type":"item","id":"Q6962006","labels":{"en":{"language":"en","value":"Formalizing the logic and proofs of Book I of Euclid's \\textit{Elements}: some examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8061352"}},"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":"Q6962006$CDECB148-2F9F-4903-999D-BC2375179D09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3942f103abdc694dad0c3ae47108a7627cf6137","datavalue":{"value":{"text":"Formalizing the logic and proofs of Book I of Euclid's \\textit{Elements}: some examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6962006$27D2926B-B856-4BE4-BB57-D437841F932C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a79377cb85342da4fe1fc6958e1c28fb230c4f62","datavalue":{"value":"1569.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$CB1E5001-F449-4862-9236-CF7678421322","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":"Q6962006$1B73CE0C-EF76-4529-8620-F0182D37B1B3","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":"Q6962006$C8DF702D-9B26-4F2D-9694-F5CFB9898C38","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":"Q6962006$B631F31D-90DF-4948-B931-00809C84C651","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":"Q6962006$E5EC2957-89DD-4613-8B92-9682EBD91336","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":"Q6962006$A5E38AA3-BFC4-4FFA-B975-3AB481BA1B74","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"13d90290f9cc339cf6e1eec19ed09d18db78a516","datavalue":{"value":{"entity-type":"item","numeric-id":6580309,"id":"Q6580309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6962006$62908AFE-201A-46FB-A37E-30394BAFF533","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca9d3d8a97074e005b93038a677ebbdfade19b9c","datavalue":{"value":{"time":"+2025-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6962006$1D18C56F-FCE0-4406-960C-A3580D3BF060","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d59b4486153ff0a2fadd7d411bc1d816ad88a2","datavalue":{"value":"https://journals.openedition.org/philosophiascientiae/4742","type":"string"},"datatype":"url"},"type":"statement","id":"Q6962006$5B2ECAB4-BE1A-4F10-9EBE-A965CDF5E6AD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96ac846f4062263d89b81189bd082addbb125d46","datavalue":{"value":"The authors' aim is to study from a formal point of view Euclid's plane geometry, of which only the first three postulates, the common notions, and the first three propositions of Book I of the \\textit{Elements} are actually formalized in this paper.\\N\\NTo this end, they introduce a new formal language, each term of the language standing only for one object, the object being of a certain sort (with \\textit{points}, \\textit{segments}, and \\textit{circles} as the elementary sorts), as well as a new system of rules, aimed at providing ``a faithful reconstruction of Euclid's proof practice.'' The inference rules are unlike those encountered in traditional logical systems, as they deal with geometric objects and their relations, in the absence of logical symbols such as connectives or quantifiers.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6962006$4FB55577-61F9-4901-8B63-64EDB9F9CEA1","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":"Q6962006$37BC90E5-047D-4F6F-B45A-578B48349544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$E3179028-0BDE-42BE-A56C-2199E8A5BD1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8eec303a1936cabedb646ebcb2c6afcd3821a7f","datavalue":{"value":"01A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$E4EE1BCE-684C-411D-915D-AB46F5253E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$E3C4FC20-6364-4A1D-9775-8E74BE7F2209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$E25A5812-EF9D-492A-92C3-F778503150BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$23E9C667-39D3-4854-B3A7-AA595AA68D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"473a4e3037d3bf0fb4633c4c3d55d703a11f6a74","datavalue":{"value":"51-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$2312D8F3-1238-41B0-AADB-6B4F64C8C67D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"376d1a4f016b15e3269f3bf175c533e8b626d4f8","datavalue":{"value":"8061352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6962006$97371294-6D3D-426E-901D-35FD55F50EB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"436b5866df5af6e5e210f9db615753c7f09e642a","datavalue":{"value":"Euclid's \\textit{Elements}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6962006$48A4CCD3-8ACD-4E42-AD48-2CC622109719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6962006$AF06B2BE-767D-4B49-84C9-D7F3F309A72C","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":"Q6962006$A8D91C5A-1150-43A5-A354-DC00E7818993","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6962006","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6962006"}}}}}