{"entities":{"Q53724":{"pageid":53780,"ns":120,"title":"Item:Q53724","lastrevid":105428816,"modified":"2026-10-09T10:10:40Z","type":"item","id":"Q53724","labels":{"en":{"language":"en","value":"Lowe_Ontological_Argument"}},"descriptions":{"en":{"language":"en","value":"AFP entry Lowe_Ontological_Argument"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"cf4b48ae2d42fd31deba764492d17ff75a2cf58f","datavalue":{"value":"38024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53724$BBCB3F51-69FC-4B27-8E3D-CE3CFEC4CEE6","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":"Q53724$3AB0CCE7-398F-46E1-A762-5226DEC277C5","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"07c8924d09a51eb86799affd2f835696ed411722","datavalue":{"value":"https://www.isa-afp.org/entries/Lowe_Ontological_Argument.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53724$D6A6A822-31CC-4934-ABBB-9C2CCACBC528","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53724$1A7410A0-FEC3-4007-B2E9-C00A0FE23613","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$228388F6-176C-40A5-A3F8-EFD539EECFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"f7844e708069cf23a2dec1a51a88f28ad0b8925b","datavalue":{"value":{"entity-type":"item","numeric-id":40018,"id":"Q40018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$DF5F2EB1-DA57-41F0-8097-D204CA5D6989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"85d5a2bfb7e5cd7e1dfb166523d6500a685410a1","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$7EC75A3E-154A-4B3D-85B0-E3DD6198D201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$E1DAAECC-FAA8-419C-A9DF-D43F5DBA885D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28676c9fad6e4500d20673b1ade0c4e5e79063fd","datavalue":{"value":"https://isa-afp.org/entries/Lowe_Ontological_Argument.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53724$7BB311EA-B617-4B78-AF13-EFC907B5D821","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"479a94397b8aa1bf4533d78980d18d4e8d7f3150","datavalue":{"value":"David Fuenmayor","type":"string"},"datatype":"string"},"type":"statement","id":"Q53724$B0075181-C783-4A66-9983-8093B7065AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P43","hash":"c02d9ad114c3bd598ff935febd6964e2e7a5f3eb","datavalue":{"value":"Christoph Benzm\u00fcller","type":"string"},"datatype":"string"},"type":"statement","id":"Q53724$30B34E3D-97C5-4583-88BF-DAFCA030FDC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"092f4310c7bb467985486edeaa2f7b6107ac8fe6","datavalue":{"value":"Computers may help us to understand --not just verify-- philosophical arguments. By utilizing modern proof assistants in an iterative interpretive process, we can reconstruct and assess an argument by fully formal means. Through the mechanization of a variant of St. Anselm's ontological argument by E. J. Lowe, which is a paradigmatic example of a natural-language argument with strong ties to metaphysics and religion, we offer an ideal showcase for our computer-assisted interpretive method.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53724$AB6533AA-668F-4985-B449-CE8490CA6D2F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$FC13A163-C8B1-41BD-9366-C3A2173A54B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f6806978a979e5b32e84f7ae90552bdf193355f","datavalue":{"value":{"entity-type":"item","numeric-id":1945702,"id":"Q1945702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$EC90BBA8-90B5-4653-9BD3-592B85C0E860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80086ea9aefdd3a89c3fb62db9aeca2cf2f617d5","datavalue":{"value":{"entity-type":"item","numeric-id":523303,"id":"Q523303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$8A9660C4-1BA9-4E3A-B4B4-45DF78B02558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49023bd5aa461c9f63f0725228815aa2af2e478f","datavalue":{"value":{"entity-type":"item","numeric-id":5747646,"id":"Q5747646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$DA9DD364-D010-4B90-81F6-F0F108D9F067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$A3FE22CB-A741-462B-A0A5-6DBFD2168FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa3a343358c2292e5427ad6310372de0b6fcc99","datavalue":{"value":{"entity-type":"item","numeric-id":5495322,"id":"Q5495322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$7F24691D-F6CA-4316-AF3A-25F0EE42B944","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f36926d0e8ecb0aa6e5c43f48d167063fe25ab3e","datavalue":{"value":{"time":"+2017-09-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":"Q53724$8113C51E-189A-4BA0-AA02-43DE03D88684","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abbf92a3bb8ae5303e079bda562ac335350a696f","datavalue":{"value":{"text":"Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53724$E8B16FE0-39A8-43DE-B8C9-1DC55C160713","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":"Q53724$6E01F244-66EC-41A5-B47E-949162B32E38","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"4c1d1ae6cb9b8c5cfab3c3fd27c80d8670e5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":7360816,"id":"Q7360816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53724$E74E200A-272A-4AF5-900E-0C80250DA485","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lowe Ontological Argument","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lowe_Ontological_Argument"}}}}}