{"entities":{"Q5044857":{"pageid":7074434,"ns":120,"title":"Item:Q5044857","lastrevid":54433937,"modified":"2026-01-26T19:44:59Z","type":"item","id":"Q5044857","labels":{"en":{"language":"en","value":"Automating emendations of the ontological argument in intensional higher-order modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611493"}},"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":"Q5044857$18C5BBC9-0C2D-4F86-919E-EEB2A6B2A571","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"327c2f506996b638bf4c6101fa5e57cc0ad9533d","datavalue":{"value":{"text":"Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044857$04453E94-6406-42D0-BB2B-EEFE02576819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f5c8ca327769e37afcbc2f06c8645910bd3fcc9","datavalue":{"value":"1498.68366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$5D052012-E55C-4460-ADCB-0A911B6408DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e144387aefbd1e851dc415bd9eb7182c8f54dff0","datavalue":{"value":"10.1007/978-3-319-67190-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$0E3B2895-8F3E-4A80-A726-6E29344063B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"39f9666546c0d0fded6ba7ab8965559a6b0910d9","datavalue":{"value":{"entity-type":"item","numeric-id":2180220,"id":"Q2180220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044857$153EA501-E268-4A93-A436-BE20A5859E93","rank":"normal"},{"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":"Q5044857$D6D8D598-7516-4142-85C4-10064F7E4754","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"66255c4db9d228ec8f9a87a67ccb96cc92f811bb","datavalue":{"value":{"entity-type":"item","numeric-id":5044846,"id":"Q5044846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044857$8AD57683-CA29-4B6A-8BDF-1B3E051C59DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044857$E0A870AF-A1B5-4A14-BDE7-E61B362D868B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$F6971D0B-D117-4435-9FBA-E0CE4E0FE130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$A6023B1B-E8D2-4FA2-9C7D-42424FEA741D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$31AAC42C-73A4-46D1-ACBA-5175E17D9004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$07CA808D-EF50-4659-877B-646EA696F7B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06fa56d5807524592d9438068138536cdaaa388a","datavalue":{"value":"7611493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$02BF7055-4CB0-4010-9B64-C0E576250055","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$21F92AAB-45C2-44C2-A07E-F0C6AE3A09CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00866609346363c790ec7a537707cc050ba77a76","datavalue":{"value":"computational metaphysics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$2E5A6508-3C50-4BC7-BDF0-18E76EE17E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$458A76C8-6A2D-4186-8990-94FFC82A3E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8b589384ac66b263de8aa34139fd488c1344be6","datavalue":{"value":"intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$D8822883-DA9E-4EA4-AC09-2F5698F88342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$49A04D66-45DA-4A78-B320-0239390B79CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$29357142-F1A5-43E3-90BB-E62015A506F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fa97d75ac26d776e1a46d2f410fb0adc852443","datavalue":{"value":"ontological argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$F87ABC08-974E-4949-8137-76EE52CA02B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c63025624a588a2d5aee1e2333aabc7eb290a1b","datavalue":{"value":"semantic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5044857$F8191ECA-29E6-4CB9-A6EC-97E34A85A7C2","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":"Q5044857$ED9CE57D-F656-4436-BE6C-4A80529E0307","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d0d7d9570166a8c649177f207ac17b0cf9877cb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67190-1_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044857$146F00DC-3C79-4113-9594-B168D0891D32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd3f04787ef95af4e9d82f3d8fb4c6d7c507003e","datavalue":{"value":"W2744403047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044857$3906363D-8370-49A0-8B3B-F90A4366810D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16fe625f3b76dc2efdf67e474237cb666133bb74","datavalue":{"value":{"entity-type":"item","numeric-id":2363503,"id":"Q2363503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8d5f7c435a7ed4437c50fb59dd7aedb71aeaffe","datavalue":{"value":{"amount":"+0.7549262046813965","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":"Q5044857$0366AC11-CDFC-4F7D-9D9E-F59A07A7F1B7","rank":"normal"},{"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":"f43403bc67ea59a1556d42b664b58673d5ea75b6","datavalue":{"value":{"amount":"+0.7549147009849548","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":"Q5044857$C24B0229-2D93-472B-B6D6-EDAE7B06D6D3","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":"fcecb30c002ae33f8f1ccd1843a319077f92f7ad","datavalue":{"value":{"amount":"+0.7539768815040588","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":"Q5044857$13ED0876-FC76-4731-8EBF-C1DF63064E64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16c724725837931461cac224b93554ded3c2abc9","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c016f451dbfac314a904601af952090c8ad01be1","datavalue":{"value":{"amount":"+0.7528359293937683","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":"Q5044857$DA890456-438A-4011-9AA5-94447206EB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81b5c1230911d602d44d1acdb981ddf0aa5b4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1406610,"id":"Q1406610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef028e4aec0056a2f10af4971a042abfa0e1025","datavalue":{"value":{"amount":"+0.7437648177146912","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":"Q5044857$41822519-1A00-48B8-8FCF-204F3A60A6B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044857"}}}}}