{"entities":{"Q1923842":{"pageid":1934584,"ns":120,"title":"Item:Q1923842","lastrevid":69314778,"modified":"2026-04-13T06:11:12Z","type":"item","id":"Q1923842","labels":{"en":{"language":"en","value":"Fibred semantics for feature-based grammar logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 934103"}},"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":"Q1923842$EDA50C18-D1D1-4165-B52E-668111441B60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff41e56a00af74c7ae2bd08c6d25770993fd6d95","datavalue":{"value":{"text":"Fibred semantics for feature-based grammar logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923842$802EB2DF-FFB4-42A0-8A69-9E9BA15912AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"caccec0f9046be51ae0632238c4dbb33b8c7dba4","datavalue":{"value":"0858.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923842$32D4C0CA-2032-4188-BB0B-943C71D7333A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62874387d866640558d1a0e4a5ca2173f6cd2d37","datavalue":{"value":"10.1007/BF00159345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923842$89D96A05-FA59-4A57-9A31-F72CD8996449","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9094ee960512a7ac2a61285a051494bdf7a4bf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1194338,"id":"Q1194338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$FC8B37AD-3207-48CF-AB0F-6F3A6D8A7E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb5daf83b8dd3bd8dccc167e0591e32bd2bc22ea","datavalue":{"value":{"entity-type":"item","numeric-id":1923841,"id":"Q1923841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$560F2CF6-CBC3-4AF0-8951-6D697AD2A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$8FC6CB62-B789-4C35-BDF7-6AE9E0A343CA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$F5152286-D8FD-4BFA-9739-E7FA84D5DF2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d27e2971fbc9cfb986491ff590c4e095f1799e7","datavalue":{"value":{"time":"+1997-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923842$C1BF85F4-4FF5-4D5C-84F5-E1C480F6ED81","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"300aff583f1572e03e329ac35b9103ddf40fd0ef","datavalue":{"value":"This paper gives a simple method for providing categorial brands of feature-based unification grammars with a model-theoretic semantics. The key idea is to apply the paradigm of fibred semantics (or layered logics) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the first logic, i.e. the basic syntactic types, by formulas of the second. Modelling such a combined logic is less trivial than one might expect. The direct application of the fibred semantics method where a combined atomic formula like \\texttt{np(num:sg \\& pers:3rd)} denotes those strings which have the indicated property and the categorial operators denote the usual left- and right-residuals of these string sets, does not match the intuitive, unification-based proof theory. Unification implements a global bookkeeping with respect to a proof whereas the direct fibring method restricts its view to the atoms of the grammar logic. The solution is to interpret the (embedded) feature terms as global feature constraints while maintaining the same kind of fibred structures. For this adjusted semantics, the anticipated proof system is sound and complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$BC22EC93-832E-44F6-B2ED-BBCC4382CFA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923842$73142B72-B7D3-44BB-838F-46F1BEFF1B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923842$CA9CFE13-F7C5-470C-9A79-326241EBC0CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7672126f2c40db7382ad9b6bc702af670f56606","datavalue":{"value":"934103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923842$00E8638A-59A1-42AA-8E56-B0C3A19B29F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f793d223f414bdf921b2b8a766b8f7e4c05803a","datavalue":{"value":"computational linguistics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$960B9E39-DD5B-4F53-988D-67169439116D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$8A109E62-934B-4E86-9370-F4D6ECC3ECAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"281eedbf5d9d3c40013be09a4a7543572a298ad2","datavalue":{"value":"combined logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$EFA27B66-7C03-44BF-A6FC-E6162934B485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ebd6891c0ef16426e010c7a04ac39fa8db7ad0","datavalue":{"value":"feature-based unification grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$1752A1A7-4004-4592-9913-515F4265DD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$FE882CEE-FD2E-4604-994D-85FD6EBF19D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d703af7ca2e1b8ff23111637d7052f2851aa0","datavalue":{"value":"fibred semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$413052BE-086C-402D-AF28-EE199964AF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"276d2884239d9b1b149c3e24c7524a8a832bcc38","datavalue":{"value":"layered logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$7A757B46-2CC5-42A2-813D-1DBAC14716B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"990d7868abdada79502c696b1927877fdc269186","datavalue":{"value":"Lambek categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$EE97645D-0634-4E33-8B58-5AC3A5FBCFB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a94d2ad537b9e4b21478694405c6b2e65d22bfc","datavalue":{"value":"Kasper/Rounds-style feature logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$B022790B-4BB2-493E-80F2-CAB039080811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923842$B98B230D-1C9A-4A8B-840E-8DE2C1A57C8E","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":"Q1923842$62A00B20-77FD-4D02-B19B-C4D9CDE41B13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"24fb9d52348f54c43a84c91f59c25b96c1e2d60b","datavalue":{"value":{"entity-type":"item","numeric-id":4833769,"id":"Q4833769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$F09A375D-4D18-4D0D-AEDB-823B529AFD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e869fe0e80823931cffe4dc4533c23f1d73a2f09","datavalue":{"value":{"entity-type":"item","numeric-id":4318160,"id":"Q4318160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$DA0B3928-86CD-419A-830E-9A52B5A97D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20926a16a99262d3951e6b81c87745fd8dff6453","datavalue":{"value":{"entity-type":"item","numeric-id":1314274,"id":"Q1314274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$DA41C0CF-31C3-44EB-89E0-BEA05F6E1B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a3a63110540e7ae651a3c4bb8189b881770fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3964531,"id":"Q3964531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$187E695B-BFEE-463B-A21B-97BD5D4570DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9957386f86b992cf0b7a5c54942755ce3377f379","datavalue":{"value":{"entity-type":"item","numeric-id":3724306,"id":"Q3724306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$E8C553F2-516D-4716-8B68-9D9A257DDEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4730d243f11c762523e6a6025296549fbca201b1","datavalue":{"value":{"entity-type":"item","numeric-id":1194340,"id":"Q1194340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$0F46CE5B-179B-4B93-BCA7-6F889FCFAB29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bd51ad54ca02f559512a4034c9b2d959e995353","datavalue":{"value":{"entity-type":"item","numeric-id":3677747,"id":"Q3677747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$F052518A-3063-4F7C-997A-C7EB367C5F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a782c8f72fea36e1de25cf14ddbdf540dc4f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4295227,"id":"Q4295227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$CBE2D88B-FDF6-45EA-814F-351F2754459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$380B330B-68A4-4FAB-BC65-15C9C650FCB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$BCF80028-C4A8-49E8-AC7B-8C90E128FEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$F34EC750-ED6B-438B-B9E5-57FB17F501A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$328313FE-8E5B-45FD-ADB1-68DE81380097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$B8239DDB-3FEB-42F7-9C73-EFFAA64E2846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbca9717233da6ee0549de7beffe9723d3c0385","datavalue":{"value":{"entity-type":"item","numeric-id":4862312,"id":"Q4862312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$6426DAF7-D201-4A96-816E-C1987B9737A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b546b0a8504124c1faf6c8cba8df40a2c41fcc2","datavalue":{"value":{"entity-type":"item","numeric-id":1334986,"id":"Q1334986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$9565A95C-35AB-43C0-8384-42127ADC2B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e19a8839f4a8794351c3d2bb45f6f1e81e4095d","datavalue":{"value":{"entity-type":"item","numeric-id":1143818,"id":"Q1143818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$1C30109C-0AF5-4C1A-8DAA-36A30FE1B451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$86371F85-3BB5-4443-AAD3-16B9745C8BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113ff6eb73affe6cf02c8890ede723c2b34e3659","datavalue":{"value":{"entity-type":"item","numeric-id":3992236,"id":"Q3992236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$4C9F2E86-0C8C-4712-B361-6AF74A89AA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923842$8DE7C5EC-9AAA-4BFC-88C0-9FAF71B3E096","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56761304c500ad966171c2b0c4507487b187886f","datavalue":{"value":"https://doi.org/10.1007/bf00159345","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923842$28EEB744-29D5-4CFF-AB03-3106D6BAAC9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b90226a354a7a5378dda66b73bbb9b98798e2fa","datavalue":{"value":"W1984738123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923842$84CEDE99-E2F8-4153-859C-BFAD136ABDDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859917466a865da1c27238d0e703533582115e12","datavalue":{"value":{"entity-type":"item","numeric-id":4263083,"id":"Q4263083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"191c995454c0e78a7e88995219b19ae48975ad18","datavalue":{"value":{"amount":"+0.8398136496543884","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":"Q1923842$6C417E40-0C39-4298-92B4-8B634E10677B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1246b2c7235c0372a8c30b4d81ff575ac0b582","datavalue":{"value":{"amount":"+0.7700318694114685","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":"Q1923842$053953C3-960A-46B1-808A-87DD684AA145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a161531d3dc3afe607646319606c354480eecc","datavalue":{"value":{"entity-type":"item","numeric-id":3992236,"id":"Q3992236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d98d96c5400d6e2c9f65b4e0a21d25aff1cdac4","datavalue":{"value":{"amount":"+0.7643397450447083","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":"Q1923842$476C0953-087F-48A8-A236-9E2C061D06D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8b4edd157c291ffb92e6552045e153481a845","datavalue":{"value":{"entity-type":"item","numeric-id":4385435,"id":"Q4385435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5bf7cd2a0913a2463365d8d3ccbbc612933fe0","datavalue":{"value":{"amount":"+0.7571536898612976","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":"Q1923842$59B06D8F-7884-4813-978E-BC497C7C185B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fibred semantics for feature-based grammar logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fibred_semantics_for_feature-based_grammar_logic"}}}}}