{"entities":{"Q692193":{"pageid":694042,"ns":120,"title":"Item:Q692193","lastrevid":63761451,"modified":"2026-04-11T15:22:10Z","type":"item","id":"Q692193","labels":{"en":{"language":"en","value":"A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112544"}},"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":"Q692193$0DA8EFF0-0EF5-420D-8044-389C6F60903C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81d65cd223bc0311c41d50f2944a937ccb297315","datavalue":{"value":{"text":"A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692193$5DDE1F37-DF68-489A-9C55-0603A2123694","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7394a1fc537f01d49264172c939812796b8d925e","datavalue":{"value":"1271.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692193$79755B1C-3C6C-4115-A620-8E18249B1254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc046fe9eca8c8076930b5578d8e04e525826243","datavalue":{"value":{"entity-type":"item","numeric-id":514083,"id":"Q514083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$6DA2D2ED-BBA0-44FE-81E3-34EDB1953BC3","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":"Q692193$D4148060-7E56-4A27-952C-6FF61F5AFAF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"891255cb5cfc7b67e7ef7115dc91b547aa6e665c","datavalue":{"value":{"time":"+2012-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692193$43C8C518-CE05-4840-8ED8-2D90E1C98215","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6423a260f5926924a00fc787ec7cbac01395d9e6","datavalue":{"value":"Martin-L\u00f6f's type theory and subatomic systems are used as tools for analyzing certain difficult natural language constructs. The paper is rather readable, except for the overwhelming number of sub- and superscripts required by the subatomic formalism. The final section of the paper analyses a number of natural language sentences using the proposed formalism: the examples are illuminating, but a deeper discussion about the superiority of the subatomic systems approach is called for.","type":"string"},"datatype":"string"},"type":"statement","id":"Q692193$C393F4B8-C2D0-455A-8E75-5A1A8E10BA47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692193$1DF7B7D6-5066-4456-B30F-23372844B760","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06dbeff075b075083609a1843e9ac01063275340","datavalue":{"value":"6112544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692193$777AF360-DF53-4EE7-8B60-29B7DEC5C7AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q692193$752DF7DF-8200-4D78-A120-FDDA821907B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22fa36a80d3be138c7ebc5021801f5779d898677","datavalue":{"value":"proof-theoretic semantics of natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q692193$83A11322-87B3-41DF-B232-2C47C978BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806eb8d3f66d11f1abadc81bdae957fb93ac63de","datavalue":{"value":"subatomic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q692193$A734F7B9-798A-4DE5-97C6-AFC48E9774FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b32973410a995d4fce58b7fa8f763eae692a10fe","datavalue":{"value":"type-theoretical grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q692193$380E7700-E582-44C9-8307-518929E2A5DA","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":"Q692193$83347248-7E85-4368-80E3-0DA4CF63940D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6437048886ce66c9db2b54ff5aabae18d68e2b76","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9431-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q692193$743E6CAD-DF38-4024-A64A-BD53192A82D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de97889e373fc1d23123db36871699f64c2a513c","datavalue":{"value":"W2099774872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692193$DA1F3B74-65C7-4929-A6CD-6007D99FD68D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b88c3e9f296d45bbb98e9b23621f0e105f8a465","datavalue":{"value":{"entity-type":"item","numeric-id":4917987,"id":"Q4917987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$2E1D7BE3-B34C-48D5-8283-06684499FF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a71da3b8971e185ec872858b128640cd9cbdfaa6","datavalue":{"value":{"entity-type":"item","numeric-id":3584997,"id":"Q3584997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$EF7DB0D0-79B5-4D31-BD8A-E90BA9836AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74298b4c1e8bbd30a970d02a9e801cc405c7708b","datavalue":{"value":{"entity-type":"item","numeric-id":969428,"id":"Q969428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$E97F6B99-8224-46A2-AAAC-4943EB00ECC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a954c67c8c5364eb4783da18d0ff09e7ae032e","datavalue":{"value":{"entity-type":"item","numeric-id":4552507,"id":"Q4552507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$29FDBA15-B15E-4C88-80B7-8657A374DB3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$B6B82875-4D4E-499A-8E89-CCB7E3C4EA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4bd0b496abe9efbce0eb6e2e4de1ef279e4d629","datavalue":{"value":{"entity-type":"item","numeric-id":2500819,"id":"Q2500819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$DDD4EF44-F2F2-40F8-8806-4779267736F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda6a96c84776c6a53671d0ce8382a60ae51c281","datavalue":{"value":{"entity-type":"item","numeric-id":3348895,"id":"Q3348895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$9740F080-760C-42A5-86D9-92F05D186C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$57C43BA1-C327-456B-B5CA-F9498A3F4923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acba9497dce1ae1e071b6da42feff7efa0fe7361","datavalue":{"value":{"entity-type":"item","numeric-id":813417,"id":"Q813417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$F53892EE-8BAE-48EB-A19C-2ED47E1246C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913c9cb97fe58f820a22921b61a4641b0be6510a","datavalue":{"value":{"entity-type":"item","numeric-id":965898,"id":"Q965898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$67FC7E1C-322A-4D51-9B81-83114623EF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3f67e330202a4f5aed6807ef55cca9f3ed14d4","datavalue":{"value":{"entity-type":"item","numeric-id":3094185,"id":"Q3094185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692193$6CA385E6-D26C-49D0-958C-8BEC418A9D09","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37c0356ae0c605fe6efedf55f01fb4e01ec9f630","datavalue":{"value":"10.1007/S11225-012-9431-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692193$7DC269A9-45A4-412C-8CE8-994526885EBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc12482293cd0a17a50816c9bffc77dfe146c082","datavalue":{"value":{"entity-type":"item","numeric-id":969428,"id":"Q969428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c3542c30b0b825c4dfb8c4e69e6ab3925002b38","datavalue":{"value":{"amount":"+0.7907233238220215","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":"Q692193$75287A3E-5C41-4AF5-A137-CEE3B291E996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2fa4c895fddfde271e94bdb4ded3fba4945956","datavalue":{"value":{"entity-type":"item","numeric-id":3094185,"id":"Q3094185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842ebe5cd688f7fd34bf4bdfca6fde906d8db503","datavalue":{"value":{"amount":"+0.7898182272911072","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":"Q692193$CEEC8495-55B6-4A7F-B995-258908864160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19478a02cafde916028c7d7603fffb8e9bf46a3c","datavalue":{"value":{"entity-type":"item","numeric-id":5149159,"id":"Q5149159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d52e5ba5bca03194e3eb4ba89d7d728ca7ac669c","datavalue":{"value":{"amount":"+0.744814395904541","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":"Q692193$739DE057-01EC-48B8-81BC-23632D778F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb41b5f683f80f95d02f60acef680e52a52da46","datavalue":{"value":{"entity-type":"item","numeric-id":1744958,"id":"Q1744958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f68d812d539375a638963f427c094e4b327b987","datavalue":{"value":{"amount":"+0.7422565817832947","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":"Q692193$D5BB06E0-93A3-4839-85F4-6CC73450F99F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd9f57788e09e28624459d7d113b2e87fa5cc4","datavalue":{"value":{"entity-type":"item","numeric-id":3584997,"id":"Q3584997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d54f057f0c381ecaf2341f08d9fced81cc20ce30","datavalue":{"value":{"amount":"+0.7395201921463013","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":"Q692193$B5C49A2E-D758-462B-BE09-B2764FFD66CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive type-theoretical formalism for the interpretation of subatomically sensitive natural language constructions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_type-theoretical_formalism_for_the_interpretation_of_subatomically_sensitive_natural_language_constructions"}}}}}