{"entities":{"Q969428":{"pageid":971276,"ns":120,"title":"Item:Q969428","lastrevid":65825379,"modified":"2026-04-12T05:37:23Z","type":"item","id":"Q969428","labels":{"en":{"language":"en","value":"Proof-theoretic semantics for subsentential phrases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705231"}},"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":"Q969428$84CFDABC-264F-47BC-9ABA-33EBA94C2555","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcce252bd233cc3f05b44dda7c8a538ac3d06b9f","datavalue":{"value":{"text":"Proof-theoretic semantics for subsentential phrases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q969428$2CACD4A9-7D39-43A7-96A4-A6227745736A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9060519b4845e666622fdebece1c08ef79e158a3","datavalue":{"value":"1197.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969428$311776CF-3C9E-4132-99FE-C036010D838A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22a3deb8c3bb69905bbf6e6a826dde89e56c83a","datavalue":{"value":{"entity-type":"item","numeric-id":174819,"id":"Q174819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$E0E50135-931B-4FE5-9CE1-5FB211C43F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f07b5b97e9021286534ec61e4c6a7a24654de93","datavalue":{"value":{"entity-type":"item","numeric-id":452346,"id":"Q452346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$A8B4D0E9-779E-4729-AA03-304FB2DF54CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8de21da028db41cc7fec7d8d26062f038870b874","datavalue":{"value":{"entity-type":"item","numeric-id":969427,"id":"Q969427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$183BEFD2-4ACC-43C8-9915-3842A1E9A45F","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":"Q969428$B28481F9-B153-4D01-B442-7DBDDC1D2AD2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q969428$DC49FC87-FACB-4460-A266-E120846F61CA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"333a3450dc19c52bd6da1ec52685b67d97b8698e","datavalue":{"value":"In their previous works the authors developed a proof-theoretic semantics for a fragment of English constituted by nouns, determiners, verbs, and the copula ``is a'', which is reviewed briefly in this paper as well. The main purpose of this paper is to present a method for deriving proof-theoretic meanings for sub-sentential phrases down to lexical units (words) by appealing to (a version of) Frege's context-principle (specified to fit type-logical grammar) which determines the decomposition of sentential meaning according to the function-argument structure. In contrast to Montague's model-theoretic approach, a type is interpreted proof-theoretically as a collection of derivations in the associated ``dedicated'' natural-deduction proof-system or of functions therein, which therefore do not refer to models, truth-values, or elements of a domain. The semantics thus introduced is analyzed with respect to its compositionality.","type":"string"},"datatype":"string"},"type":"statement","id":"Q969428$D4C024B8-25E1-427B-B0AC-8E234FA6840F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e3f06c5cc154fad665bbd7bfe01f3fd2207302a9","datavalue":{"value":{"entity-type":"item","numeric-id":588143,"id":"Q588143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$A271BFBA-3B15-4B86-BC8B-439767D30C8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969428$19D00C5F-35F3-4DBF-95F3-894A34ABC14E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82c6b74fc3af3b2efb66f7eaa8f7cfd254a1b540","datavalue":{"value":"5705231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969428$F5810E06-2353-4E49-B034-436653A50E72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q969428$A87A1256-645A-4D97-B7FE-1858F92E1F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q969428$34F65221-0B5C-4940-9F19-F4FC1D4133DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cadd0c93d96af1a7a2d7de1b2ffc961ca636ddb","datavalue":{"value":"Frege's context principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q969428$10DC7E63-EED3-457F-AB69-7576F95A0CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c0cf9c6c7c4304754440b61fe7e5ce121c09eb0","datavalue":{"value":"subsentential phrase","type":"string"},"datatype":"string"},"type":"statement","id":"Q969428$CF234621-6068-4E61-B7E3-0367C0F7A2C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d1b7e6f89e86d74319cc4ea53ad6b3d15043e8","datavalue":{"value":"proof-theoretic type interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q969428$7A2CB235-A308-4F01-B6D7-260ACF850B45","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":"Q969428$465713FF-A35B-42A7-8A73-05E4D42A8C3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb84edde70cfbcf2b37570279ec9b19583a7a7c8","datavalue":{"value":"https://doi.org/10.1007/s11225-010-9241-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q969428$A61EC4DB-AD9F-4CC0-918B-988DA3641F7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e578963797fc69a3a36632e6e8dd4e4eb5075b3","datavalue":{"value":"W2086460748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969428$E63EBEB7-1FF4-468B-990F-D31D7CD77463","rank":"normal"}],"P223":[{"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":"Q969428$697D5C7E-70A9-4377-85F7-7142783538CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd60aaa63a98a8f6b81f2f7609e56934d72e1ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3096823,"id":"Q3096823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$EF404515-8566-4B01-8F23-BEED0CD44BF4","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":"Q969428$01A8F151-5BDA-4E19-9247-92F8AC694463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1d5b65ee3bca1d15f027ef07b9dc33b30fdf72","datavalue":{"value":{"entity-type":"item","numeric-id":1841515,"id":"Q1841515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$63354C64-1F9E-4AD2-9F44-692BCBE3030A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d97c6c2f7fb55841e5427d73c56e074f198aeb5","datavalue":{"value":{"entity-type":"item","numeric-id":3583102,"id":"Q3583102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q969428$D5C94AEB-5044-4F63-98C8-EBB73EAB046B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28b7c163e970ee5f7d8951163b79669c19a71ed4","datavalue":{"value":"10.1007/S11225-010-9241-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q969428$2160FBCC-C0BA-4E64-92A2-614EEC452738","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cc221af84b8975e81438122419a67b4cd103d4","datavalue":{"value":{"entity-type":"item","numeric-id":692193,"id":"Q692193"},"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":"Q969428$5D0439DA-5293-4F29-BC51-264595E4BD26","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":"294e7b0c557052ee4145e6b1d9e7b5d844ed8700","datavalue":{"value":{"amount":"+0.7823424935340881","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":"Q969428$E9931911-E4B3-48CE-A4D6-C3692D1ACCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf3af6e7122c14f616530ca3f468fe68601ec36","datavalue":{"value":{"entity-type":"item","numeric-id":2342803,"id":"Q2342803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10eb71522ba2e1b97a000ebd4c49fe41bd8c022c","datavalue":{"value":{"amount":"+0.7659471035003662","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":"Q969428$01F639BB-48E7-4575-8B4F-4A3FA8A44BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6565720a0dc33d50109103bebc47c711cb4aaed","datavalue":{"value":{"entity-type":"item","numeric-id":3096823,"id":"Q3096823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cc1526671691a102f6645851b1c67538ea3623","datavalue":{"value":{"amount":"+0.7628142237663269","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":"Q969428$FF16BE76-4D2F-4196-B58A-B395C82F8149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8839d72775b586b98f0e09e52c58ad04d3817baf","datavalue":{"value":{"entity-type":"item","numeric-id":3467536,"id":"Q3467536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d255086c03878f35982ecb2066cb00ce38cff6","datavalue":{"value":{"amount":"+0.7501706480979919","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":"Q969428$3C62159C-3280-4122-871E-908B636C260F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic semantics for subsentential phrases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof-theoretic_semantics_for_subsentential_phrases"}}}}}