{"entities":{"Q1293015":{"pageid":1303765,"ns":120,"title":"Item:Q1293015","lastrevid":67501848,"modified":"2026-04-12T18:26:12Z","type":"item","id":"Q1293015","labels":{"en":{"language":"en","value":"Formalization of Hilbert's geometry of incidence and parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1322783"}},"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":"Q1293015$99025873-1B4F-44FF-9673-8B985383AE5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65558a7bc2c9c069519a852e4687fb3c2899624e","datavalue":{"value":{"text":"Formalization of Hilbert's geometry of incidence and parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1293015$1EA8F7F3-BA52-4E76-A1C0-DB2D7E165036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8f9626492d1da837e3ad33dfc37426262f7ec2c","datavalue":{"value":"0933.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$B3EED854-21B4-46F2-9D5C-DA1D47247D9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23b5181c530b95b7e56d710f25ec00a712422f01","datavalue":{"value":"10.1023/A:1004959405270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$88BC27DC-3D57-4DFC-9D31-9ADEA51A5AC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1293015$338DC875-2348-4777-B530-42AABE5E254D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24b0115b00159b0b379aa6d875fc4c22fbfeaead","datavalue":{"value":{"time":"+2000-03-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":"Q1293015$6B330E3D-3174-4C4B-94DD-ECB762305255","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b15bb4ab95f00ba7eeb1d6f1ddc4a586e0399a6f","datavalue":{"value":"The author first describes how \\textit{D. Hilbert} changed the phrasing of his axioms of incidence in the various early editions of his Grundlagen der Geometrie [(Teubner, Leipzig) (1899; JFM 30.0424.01); second edition (1903; JFM 34.0523.01); seventh edition (1930; JFM 56.0481.01)], in which ``bestimmen'' gave way to ``es gibt''. This is seen as a move from ``construction'' to ``existence''. He then finds weaknesses in Hilbert's formalization of geometry, and goes on to present a type-theoretic formalization (with reference to \\textit{A. Ranta} [Type-theoretical grammar (Clarendon Press, Oxford) (1994; Zbl 0855.68073)]) of \\textit{T. Skolem}'s axiomatics of projective geometry [Norsk Matem. Tidsskr. 1, 1-13 (1919; JFM 47.0011.01)] and of Hilbert's geometry of incidence and parallelism.    Reviewer's remarks: The author presents his formalization as one ``by today's standards'', without giving any reason why he deems formalizations in first-order logic (which is what both Hilbert and Skolem had in mind) to be pass\u00e9.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$A0B9DC9B-7D62-48C0-9339-393F4F52B6C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$18470429-B9CE-417D-AB42-487964887D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$514102FC-1CBB-4DC5-904C-FA4BD24278D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$155B25B7-C33D-46B2-9CEA-28C999E49DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$D21F147C-52EC-42BB-B2F4-C9D253D9D85C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"473a4e3037d3bf0fb4633c4c3d55d703a11f6a74","datavalue":{"value":"51-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$8150CEEE-D253-4BDC-9B1D-FA58D4ACD13C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff608bc7677044682fd0f348347162adf036fc4f","datavalue":{"value":"1322783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1293015$5E8F3F65-6D59-4620-885D-25C3C634A26D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab4421b211be80599a7648287e3315151d319d5d","datavalue":{"value":"Hilbert's geometry of incidence and parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$48B3EA7B-C8F2-48AD-9775-83234A32ACAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642507c0abd1221e0d27a586106b3e2c75d006a3","datavalue":{"value":"axiomatics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$6EC924FC-E68A-47B9-B32D-E6BDC78E83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e1ca8d2622be388377e8080cdcc60170b172013","datavalue":{"value":"JFM 30.0424.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$8757F68A-F89D-4BC2-A930-010E623C6315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8265e48f1434a00ae69e7711fbe3fb4f0d7a5789","datavalue":{"value":"JFM 34.0523.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$17471E6A-6424-49DA-A315-565199496023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a9f224192a57e1b5665eb7dde645605b7a1bf0","datavalue":{"value":"JFM 56.0481.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$C801413D-CD70-492C-B9BE-4D6EA60892B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fa41d786af3366471ddcc61a2df6b14a6293f45","datavalue":{"value":"type-theoretic formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$C6C72634-AE5F-4757-9071-CFA309C59C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5c59aead0b1371a3b397621ea6e5fa4ea5aaafd","datavalue":{"value":"formalization of geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$E16F22C6-9640-48C3-8364-DEE01E6A4E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e10aa02057195b15ff0c64b5b63a50c59d1deddd","datavalue":{"value":"JFM 47.0011.01","type":"string"},"datatype":"string"},"type":"statement","id":"Q1293015$32C6F0CF-D04F-4404-B6A0-2DD2AA3FB6C3","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":"Q1293015$5572EBC7-C63E-406A-AAAF-B7AD78A2523F","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":"Q1293015$0B5409E8-A217-482C-B04D-957C99AC2624","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":"Q1293015$3C240B26-8873-481C-88AC-18C4E940F2D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb92946f3fadabd2cf6b6cf057f5d6fb27e0112","datavalue":{"value":{"entity-type":"item","numeric-id":4531863,"id":"Q4531863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde614c380c5d818511957c0a1990ff87a0d8974","datavalue":{"value":{"amount":"+0.8738349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$EB011D72-F678-45B2-BA65-03EB2F20E2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17806c70270f139697ad9b10ec0e5c8afe8d1d1","datavalue":{"value":{"entity-type":"item","numeric-id":1640646,"id":"Q1640646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9532a57a0bee5abfb5010a79279615f94be23c","datavalue":{"value":{"amount":"+0.8729826","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$D0CBBF9A-B562-485F-B470-3A455DF033E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82802bbc5862a2dcae4a3e616ed61e797c5e0f9d","datavalue":{"value":{"entity-type":"item","numeric-id":1024168,"id":"Q1024168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"651b53f1fb53f863c9866c7fae0512fc5c4881e3","datavalue":{"value":{"amount":"+0.86686736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$60811F7B-B575-488B-8EA4-ECBD132A1C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ba0d8d2642d0e1d968b221836a57c73c5ecbdb","datavalue":{"value":{"entity-type":"item","numeric-id":2926205,"id":"Q2926205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde18cfc5b475817f6ef86000b213c1f80d7d288","datavalue":{"value":{"amount":"+0.86267406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$98A1E44B-5748-4AB9-941E-FE3CA327AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e87fc005ef06ca2163fe3cbf48d98962ef3f4664","datavalue":{"value":{"entity-type":"item","numeric-id":1376489,"id":"Q1376489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce32e71396f07c89c1c0df56f474bfa6225f8ff","datavalue":{"value":{"amount":"+0.86172885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$68271B4B-2F75-451D-B6B6-CC430755B8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4379f249df0415aeb261906f224876ed31857060","datavalue":{"value":{"entity-type":"item","numeric-id":4681303,"id":"Q4681303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f0f201a08cc65ac6766d1a7c4a0f18460dd3cb","datavalue":{"value":{"amount":"+0.86142766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$AE4EE07F-83AB-4466-A049-4E573AD03877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05aa10b1511d9dabb9c57ce15ea8f79eaeab151e","datavalue":{"value":{"entity-type":"item","numeric-id":1104550,"id":"Q1104550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5db219e3af5dc53ba2eb014ef86aad81e1a79d62","datavalue":{"value":{"amount":"+0.8606857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$05C707DC-E9C0-4C1F-AF96-95D27F83C014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9bf272901f3eca90b40bcbc63b7dfb55f41a9f","datavalue":{"value":{"entity-type":"item","numeric-id":2577488,"id":"Q2577488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6451132daad75b35b3f1b0f6f397f1710f8c9c8","datavalue":{"value":{"amount":"+0.86058134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$1624FB34-16A5-441C-B2FD-1FAEFC38C305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c6d4f1053672eedd9b7242b1c481c2aa30d56b","datavalue":{"value":{"entity-type":"item","numeric-id":3620725,"id":"Q3620725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7ed171278e29a5d37706dca71599e05186d7707","datavalue":{"value":{"amount":"+0.85963327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1293015$78920F5F-F72B-4DAC-BA05-6998141A0930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of Hilbert's geometry of incidence and parallelism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_Hilbert%27s_geometry_of_incidence_and_parallelism"}}}}}