{"entities":{"Q2135950":{"pageid":2146693,"ns":120,"title":"Item:Q2135950","lastrevid":78227963,"modified":"2026-05-06T11:05:39Z","type":"item","id":"Q2135950","labels":{"en":{"language":"en","value":"Logical foundations for hybrid type-logical grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7524058"}},"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":"Q2135950$4D8F21A9-A933-4330-ABC1-6433683C43E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"783464c05f2e6b11fd61acd7ff42b5202cd21f13","datavalue":{"value":{"text":"Logical foundations for hybrid type-logical grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2135950$735735EE-D741-433B-A3F1-30CB1F001A49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c8e4ba0b58a129ed46d035cc59c9e704a0266f","datavalue":{"value":{"entity-type":"item","numeric-id":209449,"id":"Q209449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$C6C2F023-9223-404E-AAD8-5191F129E867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4f802a26869ac4f93fab67f5f606a5e48c24049","datavalue":{"value":{"entity-type":"item","numeric-id":2135949,"id":"Q2135949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$AC3B3F7D-C3F8-492B-BA04-66810FFC7539","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":"Q2135950$FDFF5465-D7F7-4EB1-89BF-316F42A4F30A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ef1a5dc3ffed41523f6fac98834a12dab2a5b9b","datavalue":{"value":{"time":"+2022-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2135950$06E84806-B926-41FB-871A-688D7C0476B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c2d1062507406c957e4fc18159909dc959c3ed3","datavalue":{"value":"https://arxiv.org/abs/2009.10387","type":"string"},"datatype":"url"},"type":"statement","id":"Q2135950$2171101E-C752-42A1-A3F9-A079FD9E89B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2135950$53C1B482-0258-42D2-A895-0742011C8A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2135950$149F5F00-296A-47E4-8F1C-3EE72BD194B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89007e232ceaa732c2097815b3c8e4d0c353f2d5","datavalue":{"value":"7524058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2135950$3F611FEA-12AF-41C3-82FD-CD48BE10C308","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2135950$9D50BD0E-458C-4319-A1E5-F05CCF322FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca60e8ca37ea4586a5ebec8a5268b95b54dbf89b","datavalue":{"value":"lambda grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2135950$7BC55606-D6BF-4DA9-90A4-68100387CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5cf9d25748994b73ffef951af9457edf47d4cd9","datavalue":{"value":"type-logical grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2135950$5E7AB4C2-F16F-451D-BCCF-796D67617CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2135950$8A14273F-65DC-47D2-AEF4-1668205B2CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2135950$2BF487A4-E9A9-480C-A43A-BF581D0CA7FE","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":"Q2135950$392C21D1-DDFB-4BFB-AE9D-30571BF481B2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c20584b09870cdc06f368e52c3ce2c1c1200040","datavalue":{"value":"W4206976517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2135950$F530044D-412B-47F7-BAC7-38926B8F071C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"559dbe579a3334aacf82df2fdcef598c181017c4","datavalue":{"value":{"entity-type":"item","numeric-id":5422499,"id":"Q5422499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$C0DA68F4-0E86-4878-B5E6-F71F3BE43A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"859ef89c6ac39d72628b3698933598970664fee9","datavalue":{"value":{"entity-type":"item","numeric-id":3964532,"id":"Q3964532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$31E98324-965D-4CF0-8A6C-74344E874638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e08309da05a83f18dd51d23ac1b29390a177f54","datavalue":{"value":{"entity-type":"item","numeric-id":1349901,"id":"Q1349901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$CECDEF75-9410-475A-8749-580E1FA36AF9","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":"Q2135950$1C74E1C5-1CD1-43FE-A5A7-1DCC77711B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$FC3A44B0-C547-442E-A595-3A54C26595AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0356f46761f1e81f54e8913f8b033ce1ca5f0b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2303602,"id":"Q2303602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$1B834DA1-8EC5-43CC-A8DE-BE96929AA063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$C297A8C6-903A-4160-920D-F54CA374C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5263d9e0b06c8924443857899ef463b536385d9","datavalue":{"value":{"entity-type":"item","numeric-id":4981252,"id":"Q4981252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$8C31F6DE-C7F1-4524-9986-BB50DA944CDF","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":"Q2135950$CD1D95E3-0C34-436F-8B59-5FA883B64BC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$80437892-55F5-4540-B4D6-F385932A50F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60c6da30463d9b1f8fc6b430542bd4b1f41ddd6","datavalue":{"value":{"entity-type":"item","numeric-id":3167306,"id":"Q3167306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$B738E37B-7BB3-4F6E-8B41-FEDBA6E03C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b147dc0d95316396d16edf0810bd1ad37614ad09","datavalue":{"value":{"entity-type":"item","numeric-id":4331781,"id":"Q4331781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$4AB3AA4E-4D68-478F-96AA-83A2CF9BF7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7308e20a34bf2fec9fe9d3be6bdf00e6453fda4d","datavalue":{"value":{"entity-type":"item","numeric-id":5416219,"id":"Q5416219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$D3E85980-29AC-4115-95CF-41925261EAD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00c4e5e386109e505a91c41791116d3f1fa6044","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$A85B09D4-9914-4343-9441-30694B51E92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$AB9717FB-CBE5-4193-8CE7-0555F2C0CE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5947130569c016d281e39f590cbe6026dbde2352","datavalue":{"value":{"entity-type":"item","numeric-id":2500488,"id":"Q2500488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$FF0B30D1-BDCF-40AB-8AEB-C23023A5E7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eeace2c5f1b93a0d91d446606ef16670f16e4f0","datavalue":{"value":{"entity-type":"item","numeric-id":1960427,"id":"Q1960427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$573F2092-6E47-4916-BA9F-729CB44F392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abf6da273974c8330ddd3f2a0f5ce680cc42144","datavalue":{"value":{"entity-type":"item","numeric-id":514078,"id":"Q514078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$3E5A203C-9D36-4A20-9FBF-E8F8CD256261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0154aba13d18066b6642c001da9e4d3b1784c6c","datavalue":{"value":{"entity-type":"item","numeric-id":3605542,"id":"Q3605542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$06C0A99B-3CB6-44B8-B347-D8498F1803A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820f9786167238f45181c2d3d1857f2d44b5353a","datavalue":{"value":{"entity-type":"item","numeric-id":5706942,"id":"Q5706942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2135950$D4502DB8-EC44-44AD-AE88-CAA7700ACE4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2e2a63dc175fd2273864f3258e95372e1449cdc","datavalue":{"value":"10.1007/S10849-021-09348-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2135950$F6614DD9-CDFB-4DD1-95A7-408153A36676","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017b58749d931dc35ca16e1a4a5e7c3ef661be3","datavalue":{"value":{"entity-type":"item","numeric-id":909654,"id":"Q909654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be80c4966664bdec5b5192bec381f7d712320518","datavalue":{"value":{"amount":"+0.7588987946510315","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":"Q2135950$50911EAD-1A24-4CA8-A91C-C399C31A947D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb50c0a66031ae753b861dd521ff92223c823a1","datavalue":{"value":{"entity-type":"item","numeric-id":5014595,"id":"Q5014595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aece35d0b3ab170c3acaf78ebff89433a7500ccd","datavalue":{"value":{"amount":"+0.7573914527893066","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":"Q2135950$AE59BCB8-8134-4C15-9AFB-B3A69F557175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbf1c9ef810ee1a800d7693ce6429e93435dc3b","datavalue":{"value":{"entity-type":"item","numeric-id":3489980,"id":"Q3489980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ca59aa3d7d6a1ebf8084081fdc355ae735451a","datavalue":{"value":{"amount":"+0.7518869042396545","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":"Q2135950$18FF32D4-5BDB-44A8-99A4-AD4108AFE3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c95aad21afd59947911d1a1fdec2c0dc91daa4f","datavalue":{"value":{"entity-type":"item","numeric-id":1923840,"id":"Q1923840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f4e67ca65f1860cd61c9868ecc3e65b456ffad","datavalue":{"value":{"amount":"+0.7458517551422119","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":"Q2135950$1DA60C33-EB46-4419-A83E-FB343EC2CD66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32b52b890713a85dc8526942cd502cf31ef6c05","datavalue":{"value":{"entity-type":"item","numeric-id":3010334,"id":"Q3010334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169583f7acabc5e50bb5b5be8c5868a4daec4aea","datavalue":{"value":{"amount":"+0.7444784641265869","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":"Q2135950$644470EC-DF97-46D2-9D4F-8B9A52B908B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical foundations for hybrid type-logical grammars","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_foundations_for_hybrid_type-logical_grammars"}}}}}