{"entities":{"Q5282959":{"pageid":7312533,"ns":120,"title":"Item:Q5282959","lastrevid":52858316,"modified":"2026-01-23T16:03:08Z","type":"item","id":"Q5282959","labels":{"en":{"language":"en","value":"Automating G\u00f6del's ontological proof of God's existence with higher-order automated theorem provers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6747872"}},"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":"Q5282959$4F9302D2-F0A6-4749-8F73-E2839DB28A7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6bbcc6da1484f6d14e8987a30e2b06aa95d9d1b","datavalue":{"value":"1366.03169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282959$FC02A3B3-42E4-4378-8286-78F34A720768","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$7B3075D6-5E84-4F80-9B9B-800F062EA31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$C9B5F72A-0F8C-426A-8967-2EE0EB595BB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62e26106cac22eebe80c29038bb39eb76039e480","datavalue":{"value":{"time":"+2017-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5282959$62B08612-629F-4175-A97B-27E94C47F892","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0554890a81b3293d335a15ca2859e5460e2892a3","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/36922","type":"string"},"datatype":"url"},"type":"statement","id":"Q5282959$24CD69DF-E529-4FAE-A19E-20574BE6D73D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282959$D9789F98-64E2-4B4C-BA50-40C3FE2BB450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282959$E388696A-CDAD-463D-A119-44520E6F88F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282959$BFA700B2-AC69-4ABB-8007-6168899F81A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"984ce952ba557b793def5ac0f0b6004f0e0bbe8e","datavalue":{"value":"6747872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5282959$C1E6480F-8D91-4BD4-91BE-DC259163BC47","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$7AFAB15C-EA5D-4EDA-A78E-835B2042F4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$27651221-029D-4A95-816E-D4C7DA04143B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$C87E5E32-3B8C-4CC7-A853-459CB1F66F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$D3F7AB33-0D75-4415-86FA-914C9F5102BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$0E13A348-DCB9-4E02-B102-9AA8D819008F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$799B8BBD-39BE-460D-ADC0-5AFB67898774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$715C5C57-FDFC-46DD-A3F1-BA75C84FC3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5282959$08F643AA-0D0E-435F-8EB0-2184AA268806","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":"Q5282959$C38709AC-1F0B-463E-BC3B-E5B1A8272F32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4277328c0a7052d91b9ec9e4b0e6073c0da642ec","datavalue":{"value":{"entity-type":"item","numeric-id":2787333,"id":"Q2787333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2264766fb399524401294b00125d451b0b9916bd","datavalue":{"value":{"amount":"+0.8532554507255554","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":"Q5282959$7E6C3AF3-924C-4A2F-B4E6-21C9A330EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0074bc2d874d59c82e79d6bbbe0cc77801f45e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5869572,"id":"Q5869572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25b6f8d5d0250906c2567f847bda4d14842ed095","datavalue":{"value":{"amount":"+0.7543519735336304","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":"Q5282959$18A1370A-8676-402F-A49B-709DFF8C8289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e07066fa53fc8cdd039a63149f6b243b7487cb9","datavalue":{"value":{"entity-type":"item","numeric-id":5126209,"id":"Q5126209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ccaa0db1b32aa5b43c0e7418741eca632bc6992","datavalue":{"value":{"amount":"+0.7495768070220947","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":"Q5282959$7F4A512E-D8E4-43DA-892B-A9AA62A50533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971d92b2892557a441e98412b3cd6be67213fed1","datavalue":{"value":{"entity-type":"item","numeric-id":5044857,"id":"Q5044857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625689feb684aebe2a0200916aa682dcb4d4cec3","datavalue":{"value":{"amount":"+0.7430737614631653","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":"Q5282959$DB74E86F-6B40-4028-97A4-9ACF3F6867A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f6c7f9e6e8cfa737c5ee7fc377d830fdf70e77","datavalue":{"value":{"entity-type":"item","numeric-id":523303,"id":"Q523303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3655362d46be4e94505bad4caadea85c701aa8","datavalue":{"value":{"amount":"+0.7407693862915039","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":"Q5282959$CD6E124A-7A74-4430-A46A-068B50A31D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5282959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5282959"}}}}}