{"entities":{"Q2363503":{"pageid":2374246,"ns":120,"title":"Item:Q2363503","lastrevid":74338272,"modified":"2026-04-14T19:36:53Z","type":"item","id":"Q2363503","labels":{"en":{"language":"en","value":"Variants of G\u00f6del's ontological proof in a natural deduction calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6748779"}},"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":"Q2363503$16D17364-9442-4FB5-B7AF-B00FC931FA1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c566a1d1ca4185564dce437fbdb29721266eda7","datavalue":{"value":{"text":"Variants of G\u00f6del's ontological proof in a natural deduction calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2363503$B54D9B36-7EF9-4320-8CD9-EABCEA21BD8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85392b89a59b84ddf90eda16d4bf51552f657508","datavalue":{"value":"1417.03153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$73705EBC-8EB9-4B91-A877-1DD7E5593F62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea68be1d5bbf01a939b97478f823720bfc73a97b","datavalue":{"value":{"entity-type":"item","numeric-id":1734261,"id":"Q1734261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$FFA70B0A-36F7-4E88-A343-1FAECBD1A017","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":"Q2363503$45A716D1-A004-4562-845D-65A4208AD765","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$51343819-133A-4DE4-AF36-B10C290BEA40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5795f7f3b926192010aa9292f450e7804c95cb80","datavalue":{"value":{"time":"+2017-07-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2363503$5DCB8940-4A15-46A0-AA93-3BA758B18635","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f92bae98f59a0beb9701594f13ef60854b02e30","datavalue":{"value":"http://hdl.handle.net/10138/235481","type":"string"},"datatype":"url"},"type":"statement","id":"Q2363503$FA80576A-E02C-4F44-9B63-75D8618923E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$BA9F47C3-79D7-42C0-B621-E4F739F41EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$049314FD-8D71-4288-82BE-1D7D175D47E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$9B9872E2-07CF-41D2-AB1D-BCF8E0B68F71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dd0a7b1dc82eda7c36053a027984d5e8f659006","datavalue":{"value":"6748779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$68E9ECCA-BADA-4D65-9A66-5411142C0F93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fa97d75ac26d776e1a46d2f410fb0adc852443","datavalue":{"value":"ontological argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363503$FCC6BFC3-260B-44ED-8321-38825287C8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f998f00eab658ec802472cad8ca9638097d79a69","datavalue":{"value":"higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363503$29BB45EF-E0C3-4D12-96B3-383E862C7FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363503$B908A179-9800-49E8-98ED-FCA7AEC35F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2363503$6E02A7CD-21C3-41C8-97E9-E2660C636E71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70bb894bf31fb871c4f3631cd69249ff118a3edc","datavalue":{"value":{"entity-type":"item","numeric-id":43934,"id":"Q43934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$10FBB2D7-0435-448A-8EE5-DE1095826FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$20BB34AB-380A-4EA0-9BCE-F62E62DE0051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$FE8EC036-FEE3-45F1-B51E-85FAE35F63D7","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":"Q2363503$4FB1B064-7BC8-4CE5-A149-7BA7A1CF822D","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":"Q2363503$67B53866-FACA-44D2-9A8F-756D4A7E7195","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":"Q2363503$D9947FCD-777C-40A8-9320-9F1F4F037761","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"838e1d1edb7fb78f440247e05ab3595467d7f1af","datavalue":{"value":"W2578542555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$935502E4-3D10-4A97-9B60-3545E1476D6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"168bb98be947fbbc6e47a3971bcc419c97361630","datavalue":{"value":{"entity-type":"item","numeric-id":4893141,"id":"Q4893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$494523EF-42B4-4FD7-8D3D-302D12113D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$532B1794-EFEC-44DB-AD7E-A20CC21980C1","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":"Q2363503$8897F73A-2680-48BF-BE6E-73E9A01A2C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a96d2c858551fc55efb11cb4dcbddfceca8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":2787333,"id":"Q2787333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$D9680B31-A2FB-4EE1-9A7A-76BE74C86478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5acda27ce903d65178734fde914259ea4390f400","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$6E53C50B-B400-4A93-87D4-B82FF73886B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$70ED719B-B5AB-4518-BC5F-17E2A5BBAEC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a2a2cacadd3c3bd12d3fb85ce93d5f9e91b3ab1","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$01904278-8F86-494B-A2C6-0F36AC4ECE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$3C0CA561-A5B0-4255-A249-7ADA93529049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$48D0B006-0A3A-4204-8B8F-E12015E2A32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee1bebb311f3b828ed54a337cc22ee8307930b24","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$6CF36962-A80E-4B98-923E-610C65B6D9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80853db170e525c88c244265a91e8196739997ae","datavalue":{"value":{"entity-type":"item","numeric-id":4894942,"id":"Q4894942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$9C822A7E-0D6E-4BE2-A8DA-93F5C4A827FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1852aae2eae450eced17016d9f4d6d484c78c805","datavalue":{"value":{"entity-type":"item","numeric-id":4896507,"id":"Q4896507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$517F230D-5940-4FC2-B629-35EFD605035A","rank":"normal"},{"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":"Q2363503$19B7EA46-863E-42A7-BC64-AF601B92B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b5e4c8820eb3333a06a963b91456bb31fc1405c","datavalue":{"value":{"entity-type":"item","numeric-id":5219927,"id":"Q5219927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$CF86E9A2-8F28-4E3A-AE7E-1A232A3C7BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$93C91BB4-6EF6-44C4-A018-C955DF9F4569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751e8f0efe9ea52460668d0772ba1245a23405e7","datavalue":{"value":{"entity-type":"item","numeric-id":4416428,"id":"Q4416428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$45D68E3C-F44C-4211-B70E-D3AAD6ECD5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd429e0c79fee00540d7734bda66342bd9c9091c","datavalue":{"value":{"entity-type":"item","numeric-id":4367940,"id":"Q4367940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2363503$26495882-EBD4-4513-A0BF-EBBC293DDAAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c8e7449d5262b3b66fbe85cf984373fbed6c983","datavalue":{"value":"10.1007/S11225-016-9700-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2363503$00091506-7DBE-4C3C-9CF9-00CC33487C9B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"684d714eb48c67cb1c6c98905511b536f6716251","datavalue":{"value":{"entity-type":"item","numeric-id":2856497,"id":"Q2856497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c68aba44037e0e707eef124a8cbb64169f4579","datavalue":{"value":{"amount":"+0.8431025147438049","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":"Q2363503$AE43200B-B334-4ADF-BD31-087E67C96531","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":"a4af8c135635cbe281aeaa0b0c01b0c0cf6ddb66","datavalue":{"value":{"amount":"+0.8280732035636902","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":"Q2363503$26BD7C6F-5DA5-4FC2-A8C8-CE6595847812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b602c71d5b7726b4501bca675fd613f8af6bee4e","datavalue":{"value":{"entity-type":"item","numeric-id":4893141,"id":"Q4893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88886e41637c46d22189b7773751b20d79383785","datavalue":{"value":{"amount":"+0.8170165419578552","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":"Q2363503$89C09771-4520-458D-864F-3A2B5623B638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35cca213e02bac7351e3e47de39f600222cbe92","datavalue":{"value":{"entity-type":"item","numeric-id":1612687,"id":"Q1612687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88886e41637c46d22189b7773751b20d79383785","datavalue":{"value":{"amount":"+0.8170165419578552","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":"Q2363503$365AF222-4130-4635-A39D-B51ACB9044A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfa3f019129ec72535374d67b0b19b082e8c34c","datavalue":{"value":{"entity-type":"item","numeric-id":3480010,"id":"Q3480010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80cf47d777dc2a517295dbac47a8442333e678c2","datavalue":{"value":{"amount":"+0.78715580701828","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":"Q2363503$64FFD16F-508C-48F0-A608-5C0FDF99F18B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variants of G\u00f6del's ontological proof in a natural deduction calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variants_of_G%C3%B6del%27s_ontological_proof_in_a_natural_deduction_calculus"}}}}}