{"entities":{"Q1964142":{"pageid":1974884,"ns":120,"title":"Item:Q1964142","lastrevid":47442568,"modified":"2026-01-01T18:37:47Z","type":"item","id":"Q1964142","labels":{"en":{"language":"en","value":"Simplifying von Plato's axiomatization of constructive apartness geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1398852"}},"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":"Q1964142$D8533EFD-CA2D-4E69-82F1-2D269E2C8ACE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4f8a4a01ada0e21e4aad9a653b0a10f7956d64e","datavalue":{"value":{"text":"Simplifying von Plato's axiomatization of constructive apartness geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1964142$50C52554-5D81-4F92-B4E3-D51C6F9B43E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a711e4532cb89eabed6c8cf67bcc533b461b3857","datavalue":{"value":"0939.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$ACC19B75-1CF8-4B3C-9455-7C076F752912","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f37bf13037a818989afba1c6e2707f58d2a578a1","datavalue":{"value":"10.1016/S0168-0072(99)00031-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$E2D2A535-6989-4D73-9DDF-212C310DBEC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a55778c503dc0554464020cdbb067d3e7b7378","datavalue":{"value":{"entity-type":"item","numeric-id":200696,"id":"Q200696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$CA904603-CFCC-48D6-AA43-3DC9EC15CBD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f641961b81f019ce70f93c992035d5bf7268860a","datavalue":{"value":{"entity-type":"item","numeric-id":629598,"id":"Q629598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$41EC1FAD-353F-42AA-B16B-39F6BCB37E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0724c467bce7a3de928a7d97e33be29500b1bdb","datavalue":{"value":{"entity-type":"item","numeric-id":200697,"id":"Q200697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$6A91C563-6783-41FF-85A9-028F5E41FA06","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$07BB1F86-4960-4436-8BC9-88A847594B86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a607f304712b79d2eec9848961c4d4b0d86f1fee","datavalue":{"value":{"time":"+2000-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1964142$05A5CEBA-50BD-415B-851B-2DB37995C716","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"143fa9f33d06daeb94d33ddb54683320739cffeb","datavalue":{"value":"\\textit{J. von Plato} [Ann. Pure Appl. Logic 76, No. 2, 169-200 (1995; Zbl 0836.03034)], proposed quantifier-free intuitionistic axiom systems for affine and projective geometry, each being an extension of a rather weak common base, consisting of 14 axioms, called apartness geometry.    By replacing three pairs of axioms with three axioms, as well as simplifying one of von Plato's axioms for apartness geometry, the authors obtain a new, equivalent axiom system with 11 axioms. The proofs of the equivalence of the new axiom system with von Plato's, as well as the search for the new axioms was assisted by an automated theorem prover, called Automated Natural Deduction Prover (ANDP). An appendix includes the print-outs of ANDP's proofs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964142$A7C6C887-E67D-401A-A586-1C967489940C","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":"Q1964142$BADA33AE-69D6-4D76-9FE2-244CF6F4932E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$D6E420B6-61F0-47FF-8E21-4847C47E4A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$086E8E37-2A12-4BAB-81B5-F8113E1BFB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$C8130BFD-E01F-429A-909C-81F7C389B03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"987534210f24e22be743ce682e8bd441c895d89c","datavalue":{"value":"51A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$D29CF0B3-3EA2-4BDF-96C6-E8F6D2D92E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$82ABECD4-FF09-4B58-8808-E6013D6BC462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$B475A011-FB2E-4AE4-9DD6-75FD4B1FCA7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65ecb961c5dfb360bfaf5b0915a03a67cbdc3b55","datavalue":{"value":"1398852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$A9056A59-EA8B-4644-9A8A-45A11A433190","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4082b4f6fd607a923314ac72809f6c5569d46e95","datavalue":{"value":"apartness geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964142$9F26A90E-6806-40DF-B1A2-1B1B8B3E8037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0c69fa699e125fc76188919de50843c63ccfa70","datavalue":{"value":"intuitionistic axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964142$EA3061B0-C1C0-4CC4-8FF7-2FDBE77527DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b34acc2a0c177b37a3e098122fd0f8f12a751fee","datavalue":{"value":"constructive geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1964142$62D86F63-11E7-46F8-B15A-9A2B0D0C01D2","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":"Q1964142$AD858AE1-98DD-479F-8548-9C9E1791EF5B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d306fe5453e13dac5aace6f82668ff9863de3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5904363,"id":"Q5904363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$0698D794-AC24-4592-BB2E-5582099694D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7bfcbabc0fe6ab400302813a4cdd0c1f5495b51","datavalue":{"value":{"entity-type":"item","numeric-id":679252,"id":"Q679252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$0684F100-8992-440D-9AA5-18FEC342A3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8f83ba1717cb53bbd956df8bfce50c71f6edc5","datavalue":{"value":{"entity-type":"item","numeric-id":689202,"id":"Q689202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$470EF9C0-BA02-40DA-BED1-E03B9F949840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e71ce41f04f03896ab42e4efd6d3554db510196","datavalue":{"value":{"entity-type":"item","numeric-id":1272238,"id":"Q1272238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$8F9724C2-0087-404C-8162-CC6D6F91F2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$0C0D4DB2-058C-4386-BEF8-22CC1C725812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e06b848544e3e148c67b799f585ab591d2d36ed1","datavalue":{"value":{"entity-type":"item","numeric-id":1343391,"id":"Q1343391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$7A570E3C-6717-44DB-BD94-B7184A2F7893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93f7d2d89deedcddbd5d2b829ce3b5e46a14ab62","datavalue":{"value":{"entity-type":"item","numeric-id":1219798,"id":"Q1219798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$BD935359-8EC6-4843-9BCD-DC74DB7B40C2","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":"Q1964142$C78EF175-03D4-451A-8FFA-86FD43E0D563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5700cb31135742c28553eda28989b80f165cc32d","datavalue":{"value":{"entity-type":"item","numeric-id":1165832,"id":"Q1165832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1964142$79EE9EEA-CFD3-4444-9345-FCAD841E9155","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f02f264c52c35092a6e4ab9efdf517e369ccf23","datavalue":{"value":"https://doi.org/10.1016/s0168-0072(99)00031-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1964142$CCCC0421-3EE1-4E55-B062-D9722979FFA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a0ed91a4d9f2204f17282950adbe15d4db5168c","datavalue":{"value":"W2056801043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1964142$43A3B3F3-DADE-4C39-AF19-3BA9AC0C2EB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8636a8da69794b8dccc3dd292cfa309a98cc3f0","datavalue":{"value":{"entity-type":"item","numeric-id":1412831,"id":"Q1412831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acad39da573e820dd6932f74123b96ec18242cd","datavalue":{"value":{"amount":"+0.884231686592102","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":"Q1964142$3171095D-57FB-4ED5-A590-63B0972424A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a05a14b16e28c646f358e4bbb646031470fa97e2","datavalue":{"value":{"entity-type":"item","numeric-id":6168184,"id":"Q6168184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3780a26ccdc17055f3c116936bf33857bb214a6","datavalue":{"value":{"amount":"+0.8534709811210632","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":"Q1964142$0AE5ADA3-DF54-4092-B99F-63DFB9B5920E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8401f51d3cba73f74426405505391f0e5b2955c1","datavalue":{"value":{"entity-type":"item","numeric-id":1840989,"id":"Q1840989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d17691dffd156e8ced62eaba825e283643b3054","datavalue":{"value":{"amount":"+0.8297815322875977","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":"Q1964142$906776AD-00D5-40C4-B868-D3220A4C0B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e495a459886c819f51188369321ccb1b7bebc9c","datavalue":{"value":{"entity-type":"item","numeric-id":1902978,"id":"Q1902978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26ab2e058eef1767cc137cea83f00b03c892f4f","datavalue":{"value":{"amount":"+0.8219651579856873","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":"Q1964142$3547D959-7DE4-4FE8-B4C4-03398D84C9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8241bed4128a745cf2ae1f159da947f9471d1f5","datavalue":{"value":{"entity-type":"item","numeric-id":5418677,"id":"Q5418677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa871c428148a0ff5a5e2a9eac6e954bb029ddfb","datavalue":{"value":{"amount":"+0.8160530924797058","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":"Q1964142$11AA3CD0-32AC-4ACF-A2FD-659B7EB475CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1964142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1964142"}}}}}