{"entities":{"Q1115429":{"pageid":1126178,"ns":120,"title":"Item:Q1115429","lastrevid":66773817,"modified":"2026-04-12T12:46:19Z","type":"item","id":"Q1115429","labels":{"en":{"language":"en","value":"Gaifman's theorem on categorial grammars revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085627"}},"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":"Q1115429$6B09E6DE-A720-4F07-97AA-17C0411F55FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d2e259297d90c1b8fdc0fefcb9abf9e6a28848","datavalue":{"value":{"text":"Gaifman's theorem on categorial grammars revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1115429$4EB1FD29-03B6-453F-8BAA-1E3F4ECF5A75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c36a4bf45737fea1b5149461c823f7ae0af188e1","datavalue":{"value":"0664.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$A3F67062-AB4D-4AB5-87A8-A444B0C898F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10474c860cebd825fb2730c96fb7ffc5fbd5fce5","datavalue":{"value":"10.1007/BF00374049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$41D82B07-50FF-460D-B831-396F2D58D87D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$96EF34D8-BE31-473E-92F0-830AD703FF84","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":"Q1115429$F06C079C-1026-41FC-AC36-8F4CF884763A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1115429$1ADF7C1E-3D82-4195-BA76-01D500DFBCDD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2df93da75bdf95b8639fe4d066aefa9431ccd530","datavalue":{"value":"Using Lambek's calculus of syntactic types a new proof of Gaifman's theorem on the equivalence of standard categorial grammars and context- free grammars is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115429$F45FDECB-D39B-4A57-BC4A-302BA8E58052","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$BC07F8AC-8500-4C9B-BFA1-E791B390B587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$EE4C8860-CE7B-4FF3-8912-4007E5AD96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$95F32997-1AC1-41EE-81C8-F246C796F2B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d93d2a6cb120bbd5df6b2de8ab6f000ef377d68c","datavalue":{"value":"4085627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$71D915F7-D94D-4445-8CA4-ACD2188A4CBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115429$AF13871C-37E0-43CE-A69D-61467C3C8B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f26766d01232607fe48e0d47b629814de640ad","datavalue":{"value":"calculus of syntactic types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115429$7E4B0BEF-ACAC-4E5C-9BB7-B9D2C94B695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c6933d546894f08f6f4cd20ae0ca2926822994","datavalue":{"value":"categorial grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115429$8AF46C48-680F-46F7-A782-E84DF2FA6E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1115429$51D17B8D-F244-48D3-953F-AB5AB2FAF180","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":"Q1115429$6F534D30-B576-4107-9DAF-12A6143D9693","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e37d3cd89bf56058a2b19db5dd9a0a78bfe825f","datavalue":{"value":{"entity-type":"item","numeric-id":2561843,"id":"Q2561843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$44938CCB-3168-4B76-A748-0F07238C50D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6944c94afb8239384e7ed24136739e1db58d8ad8","datavalue":{"value":{"entity-type":"item","numeric-id":5541333,"id":"Q5541333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$E3052FD3-4239-4E14-85EC-8B6739BFC7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a00abee89ec0090b88a5d4f56161295fce9b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1089332,"id":"Q1089332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$5C264BC5-624F-4DBC-A625-9EAEAC36B85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d9981754c9957c6d7e4e2b5b3ce7a9f69ea1194","datavalue":{"value":{"entity-type":"item","numeric-id":3754602,"id":"Q3754602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$FCBA2750-DAFC-4CA5-82BC-C0D76A81DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1bca28c1ee8a04fa9e89943b838b2ffcf47a76","datavalue":{"value":{"entity-type":"item","numeric-id":5184422,"id":"Q5184422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$68411BA3-93A9-422B-91EE-3DD29F92B912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce30721f43b7c720fdf54ba5098cb9dbda6f49c3","datavalue":{"value":{"entity-type":"item","numeric-id":3754604,"id":"Q3754604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$C622B4AD-AC8F-4A7E-B575-240FD4493534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88301a2f2b66e2c240fee5d7e75602ba93384786","datavalue":{"value":{"entity-type":"item","numeric-id":3754605,"id":"Q3754605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$C5B10349-7D5C-45BC-8DC3-11C0C259867B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbe6fc66d0e6ccfc1efd48ead4824ee321b3858a","datavalue":{"value":{"entity-type":"item","numeric-id":3783276,"id":"Q3783276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$6422F1B7-A42A-4146-8C25-42ED3B533D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0079b0c7d694a397659be503d6216c85129b1bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3323279,"id":"Q3323279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$A9736F5B-AB7A-4DB1-8821-99B47992F805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ac40a1ef810fb8cad7aa719d2e42ce35862935","datavalue":{"value":{"entity-type":"item","numeric-id":5507987,"id":"Q5507987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$60C1D711-CA67-4DD2-9F40-7DAAFAF1639A","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":"Q1115429$088B8A80-2BFC-43B6-8D3C-A1253C65A61E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1115429$D2941A35-6CE3-4FE3-A099-EE6FF5B691DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4be5d17212ccfec64dd380d1d63172191f8a9b16","datavalue":{"value":"https://doi.org/10.1007/bf00374049","type":"string"},"datatype":"url"},"type":"statement","id":"Q1115429$B2DAB02F-6A5F-4EB0-A12D-9D4D3AA6BB0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee5afc739fc3a2899b34ae3e8e7fc93507a7f88b","datavalue":{"value":"W2020695920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1115429$6D34D3F0-8191-4811-A177-733F506F8503","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gaifman's theorem on categorial grammars revisited","badges":[]}}}}}