{"entities":{"Q1073011":{"pageid":1083763,"ns":120,"title":"Item:Q1073011","lastrevid":69570888,"modified":"2026-04-13T07:54:59Z","type":"item","id":"Q1073011","labels":{"en":{"language":"en","value":"Three theories of nominalized predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943782"}},"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":"Q1073011$512E5407-754F-4A9E-A569-8A0BD21B5E9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2347823a77f0b4dbe499cc5d23f33c9a90d8d461","datavalue":{"value":{"text":"Three theories of nominalized predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1073011$04BF5912-E2D1-46A8-8E81-487D3752E956","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2c847d49fbf2b9e430e9b2acd1c4616ed580fdc","datavalue":{"value":"0588.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$25F89F9A-C406-442A-8971-4CD88F1FADB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7956c122471306186a1e736577f69637c278e1e0","datavalue":{"value":"10.1007/BF00379765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$F10C6DAF-2BE1-4A72-9391-5B24DE937E13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc7746fd7ad5fe9b3715535cbb63cacd95c258","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$ED642FFE-569F-42BF-B529-2C5FBE78CFB7","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":"Q1073011$7E3FFDE0-378F-4B3E-A77D-1E96B1614262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1073011$B477E546-64E8-4864-B63C-813ECC8A7F7C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4eacce59b9125533bd2a91c7a80e43c0e82c3a2b","datavalue":{"value":"This paper surveys some formal systems which can be used to model nominalization in natural language. (I.e., the process which turns predicates ('love', 'divine') into individual concepts for these ('to love', 'divinity').) The challenge is to do this while avoiding conflicts of cardinality between the sets of individuals and predicates - and at the same time, maintaining as strong Comprehension principles as possible. First, a Fregean logic with Quinean stratification is considered (due to Cocchiarella), then a three-valued Aczel-Feferman type-free logic, and finally - the author's favourite - a classical version of the latter in the Feferman-Gillmore format. It is shown that the latter has models by a domain construction similar to Scott's modelling of the type-free lambda calculus.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$76CBC4BB-931D-41E2-AF6E-9559C666CF8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$8F6BFCDE-662E-4F09-B734-D3A27BFEE3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$E257D37C-271A-4D09-A313-60B404CA9E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$9512B7A3-3710-446E-90FB-7E4EFB52F842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40694663be129fa7143513458e12d4c2d2c7f0d1","datavalue":{"value":"3943782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$4161F9F9-3BAA-4070-A0C8-F6F369318A7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed5f7a50b542334993898f739ed5dba82cffc63","datavalue":{"value":"stratified formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$961B69D5-E446-4CE0-B442-E8ABAC99C5D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bff1a6a101ed9457c5675a03afa059c71740e9","datavalue":{"value":"Scott domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$A188FB82-7382-4FA5-871A-546FA7A25E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d769a2fc3cd098dbf6f4a4ce5c9f5e73aea9cf6f","datavalue":{"value":"nominalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$F99555AD-1814-472D-83C3-3C243006A88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db058fedd2fc85a267a2431e6b95f8cbda9df952","datavalue":{"value":"Comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$FA367C4E-3A0D-439E-BC36-92194FF532C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82c1ecbaa2f77c4958fa6b56f316f9e6ab73fe5","datavalue":{"value":"Fregean logic with Quinean stratification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$C6B87124-FB3B-415C-BACD-EF6EB8B130D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ed05c0d077f77ade7dbb4b1b6dcdc37160ccc5","datavalue":{"value":"three-valued Aczel-Feferman type-free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$4F449590-408F-467E-B768-891BB6FFFE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ed41bc2cc4693ac483dc86bbb2217af1b7d3558","datavalue":{"value":"Feferman-Gillmore format","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073011$120A1490-A01B-470E-B88A-D81783E6ECF5","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":"Q1073011$8708ABB8-529A-4EB5-95F1-6962A07E7958","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2913641d9c5dee8401341c953da633b8a057ae","datavalue":{"value":{"entity-type":"item","numeric-id":3912779,"id":"Q3912779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$00F0FBC9-DCDF-4E93-84D9-64E130E26563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113dadf3d7a604c7bb78240c8f549a2de08e5e7a","datavalue":{"value":{"entity-type":"item","numeric-id":3660946,"id":"Q3660946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$56D0A547-19F7-48F2-90A4-6F468E453540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0f72d33ba599509ee20dafdef9b74b6cab56aa","datavalue":{"value":{"entity-type":"item","numeric-id":1220484,"id":"Q1220484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$04575A6B-7283-413F-98F8-C61D8126E2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14cff056842a08e6b157c956ca4ad669bacc9a66","datavalue":{"value":{"entity-type":"item","numeric-id":3691666,"id":"Q3691666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$3EFB28CF-BE95-4E5D-9750-B96D0C00520F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe64e87cfb4a500d2eda02370d2ae2e25d15209","datavalue":{"value":{"entity-type":"item","numeric-id":4067100,"id":"Q4067100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$27C9A98A-953A-4C1C-BC3F-AA61C171BC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dafd8c18c926d44a49321f5aa598cd3d6aef54","datavalue":{"value":{"entity-type":"item","numeric-id":4083398,"id":"Q4083398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$D7F18287-6791-42F6-BC52-E140F2C46DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce0f43edfa7733bdd3f6cbdb5400785ac854ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3671943,"id":"Q3671943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073011$86700879-087F-4DD7-B0C0-3CD36E7EAB84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"629060539c7b968ff43fe0ba903bceb4a99908cd","datavalue":{"value":"https://doi.org/10.1007/bf00379765","type":"string"},"datatype":"url"},"type":"statement","id":"Q1073011$422BA25F-26E4-4263-AEED-7B1744AA03CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddc7c009d302f66d7afbd1865583a9a594a80d05","datavalue":{"value":"W1992703106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073011$154C0EE4-F6CF-40C4-8061-C3F5E48093E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ddb83e26215d8114ee57470875591fc3a14c42","datavalue":{"value":{"entity-type":"item","numeric-id":4292774,"id":"Q4292774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30ea393c22203ea24adf95edf86f6143f1703a4","datavalue":{"value":{"amount":"+0.8016215562820435","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":"Q1073011$96E5FBCE-F620-4224-BB75-9F0BE9D200FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"023c6174d36bd63198106c3557769fe109aec9e2","datavalue":{"value":{"entity-type":"item","numeric-id":1314276,"id":"Q1314276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e883e15f2c85bae5cc559203e434f164f51202","datavalue":{"value":{"amount":"+0.8013862371444702","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":"Q1073011$DC3CE7B2-5F4B-4D16-BF27-C75AD79DC88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c8d33a70cc87972a5377e21500222acf205d13","datavalue":{"value":{"entity-type":"item","numeric-id":1073008,"id":"Q1073008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2d621dad8cc1c8a8a7b95239c3b8e6740310e6c","datavalue":{"value":{"amount":"+0.7987996339797974","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":"Q1073011$1840F234-E6EC-4DDE-949E-122C77956B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a734704a7b7fdf7d6bd40118fe69d4d33612c4","datavalue":{"value":{"entity-type":"item","numeric-id":5285989,"id":"Q5285989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16a8a89987038b7cb4a7712507aaa292da41199","datavalue":{"value":{"amount":"+0.7954383492469788","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":"Q1073011$3C10A4FC-EE5F-47F3-9FFB-DDE18C4E8BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd04616c11db1fc6218d675165ae478d37a4e440","datavalue":{"value":{"entity-type":"item","numeric-id":2850352,"id":"Q2850352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16a8a89987038b7cb4a7712507aaa292da41199","datavalue":{"value":{"amount":"+0.7954383492469788","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":"Q1073011$EE8FE58E-9C0A-48F6-ADA1-E71021B53CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Three theories of nominalized predicates","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Three_theories_of_nominalized_predicates"}}}}}