{"entities":{"Q523303":{"pageid":525070,"ns":120,"title":"Item:Q523303","lastrevid":77625299,"modified":"2026-05-06T09:41:17Z","type":"item","id":"Q523303","labels":{"en":{"language":"en","value":"Computer-assisted analysis of the Anderson-H\u00e1jek ontological controversy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6706577"}},"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":"Q523303$C6D154A6-D75D-474A-AE57-32858FD97FB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd23e2b39868218f3f1429ec02d0893d51cefcc5","datavalue":{"value":{"text":"Computer-assisted analysis of the Anderson-H\u00e1jek ontological controversy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q523303$950A67E3-D405-4A29-A2AE-0E991D069C31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d829cfcb7f7467e0bafe83492745379cda7b67f6","datavalue":{"value":"1417.03131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$7884EBBD-9B51-492A-AE10-0BEF01E4B065","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c5e90ae4077e636b8708bc0f0ed2d31f201ec90","datavalue":{"value":{"entity-type":"item","numeric-id":523301,"id":"Q523301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$313F3829-8672-4E86-A221-551F2E31AC55","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":"Q523303$1626561F-DC9B-4F65-8B38-DCEE2AD9A324","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":"Q523303$318B64BD-1FA1-4503-BFA6-DF2A5580320E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$79DB078A-A1C5-44DD-8201-06FFE0380E4C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4362aaeafabc18b4ad2758d34cea4d65885260b0","datavalue":{"value":{"time":"+2017-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q523303$D9F90FF3-139E-459B-BA94-11269AD592EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$4E713D86-3F88-45A8-B9CA-6FDB4746867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$267C87EF-956A-4448-B85D-C365D9580949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$F391408F-7F75-4750-B35D-DF773E9E4886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3e458b371eae4271c62e9414f78fc451999ca3a5","datavalue":{"value":"6706577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$F3AA17CD-732B-462E-80F4-F409A6DD5232","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fa97d75ac26d776e1a46d2f410fb0adc852443","datavalue":{"value":"ontological argument","type":"string"},"datatype":"string"},"type":"statement","id":"Q523303$96D45DAD-8E75-4C6C-A1B1-F43E311CEE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26f0ebd411e024bc1cbe44643ec99d6bea739190","datavalue":{"value":"universal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q523303$AD2AC232-AA29-4194-BCE2-823BEBC5063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb35b9c4c814114a6cd9fa117bdcb3d1ff039c14","datavalue":{"value":"shallow semantical embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q523303$9F17EF81-81D0-4DE3-8C6F-B313E1D0E0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955688f8f009946dc6794320a63f9fe18f43ea22","datavalue":{"value":"higher-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q523303$F6F6D670-F768-4994-BA17-CA8A512A8391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q523303$1F479F71-E158-40AF-8CA7-3766A400A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5448e6e8fbf4218a8491a34dc88e5703f1882a4","datavalue":{"value":"higher-order automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q523303$C9B513D7-7276-4749-874D-DFB84143C3C8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$C7EB5272-8FEE-449C-8B41-6D9CE46A2A15","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":"Q523303$CD488DDF-ED7D-460C-B6CC-26FE5CB9D64C","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":"Q523303$AA026758-DD49-46DA-A7A8-7FE911BDB8A0","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":"Q523303$C42ABDE6-3B78-4650-9A24-720BCC0DB430","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":"Q523303$69F7F72E-A4B3-40AC-9C17-873F235B8572","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":"Q523303$D25883D5-58AC-40E0-8D34-8E4F841AB6EC","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":"Q523303$E8D3208E-BB23-4176-A053-B2E758A524CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"001326b94a16ffff3d7d0256a96a47fabe8194f1","datavalue":{"value":"https://doi.org/10.1007/s11787-017-0160-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q523303$CC8CDD25-11DA-456C-9C73-839B337838F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d8f8ed3c98767de4ceccf28058fbd6220435fdc6","datavalue":{"value":"W2589185918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$A2A2E7EA-8120-45C8-9536-B97FDA3D1C45","rank":"normal"}],"P223":[{"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":"Q523303$00D99901-EAEE-485D-8D6E-1625267394CA","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":"Q523303$0EC606FE-A1AB-4440-84BB-A1FDC49659FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44f29a5847ba65ecb038e53a168893c35ebafbc","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$0E7A0606-5B7F-4594-97C2-C7AA8DF6AA21","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":"Q523303$4F9BFFC4-B009-42D0-AE52-C5FFD83575A0","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":"Q523303$DFFDF8CB-75B8-4FF6-B72E-A102000BF6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c690c641c266d929fa14dcaae9b6e0536eeae15","datavalue":{"value":{"entity-type":"item","numeric-id":1612687,"id":"Q1612687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$34024DA7-AA8D-4049-8C14-F85E318B061A","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":"Q523303$65E46C04-A868-4A87-915F-35C8C5E340AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$949AC878-7736-4775-9A2F-5B6CEC388692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716d170b6d9b095492bf0c2b742ee0dbade5bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":3523178,"id":"Q3523178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$ACEF2FE4-B48C-4EFE-A02C-2F01DAE8D077","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":"Q523303$E8742EA8-B316-4881-A752-901B4C0658E8","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":"Q523303$038C42BE-5FB3-4D61-8F09-B605AFDFCCD3","rank":"normal"},{"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":"Q523303$C6E71B03-31D0-4ED1-AE60-FCED7C0DD10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f28b743be9c54e5610bea930cf0e3afae2a0be4","datavalue":{"value":{"entity-type":"item","numeric-id":5604444,"id":"Q5604444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q523303$ECD36968-8969-4C32-AFC0-25B5E1D25C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"857b340c9cd754f9b99a8f9c292b7242ab027f21","datavalue":{"value":"10.1007/S11787-017-0160-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q523303$10BEE220-3958-4E2B-BADD-C0B765C64973","rank":"normal"}],"P1643":[{"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":"5633dc13bb1d587beb1fa0fcd8bd62f16ed894c2","datavalue":{"value":{"amount":"+0.7904418706893921","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":"Q523303$98F97504-BEDC-4920-9B8D-3FEC97FFA25F","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":"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":"Q523303$2B066164-4557-498D-8D71-07D63307E580","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":"de1b8f9a9af706f35d16480d6c4e7d1ad5d20155","datavalue":{"value":{"amount":"+0.7458231449127197","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":"Q523303$7494AEF6-5819-4199-8841-E25610FDFFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec7d7cb813add0eb3aa92120426ec356baf6a2f4","datavalue":{"value":{"entity-type":"item","numeric-id":5282959,"id":"Q5282959"},"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":"Q523303$306C2132-7890-43CD-9D0E-3545BCE24726","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":"cee5cdf1f1b47752c1a31e3ca3623e3c056ed795","datavalue":{"value":{"amount":"+0.7290308475494385","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":"Q523303$D8AA613F-093C-427F-8B05-96D0D595DDA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computer-assisted analysis of the Anderson-H\u00e1jek ontological controversy","badges":[]}}}}}