{"entities":{"Q6190197":{"pageid":13325085,"ns":120,"title":"Item:Q6190197","lastrevid":102582065,"modified":"2026-06-06T04:49:49Z","type":"item","id":"Q6190197","labels":{"en":{"language":"en","value":"Proof-theoretic aspects of hybrid type-logical grammars"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7800298"}},"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":"Q6190197$E396820E-3087-49E9-9A7B-F58DC2234C3D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5ceec6494a7fbe077e8dc0153e03fb0bf79e0ef","datavalue":{"value":{"text":"Proof-theoretic aspects of hybrid type-logical grammars","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6190197$1FEE41D6-2908-41AB-8C09-761399BCDD1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63b31b9608f045772d6eb8809f1d93bd19bfbe1b","datavalue":{"value":"1530.03130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$CE36B5FF-BA25-4BDA-885B-BC370578B3BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e39cf6b550342bfbfd7b312a6abef63230d63f26","datavalue":{"value":"10.1007/978-3-662-59648-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$7B2AAE4C-AABB-4292-9F7B-0CC3289FA3C7","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":"Q6190197$30762919-283D-4FF3-A5CD-1573B1D85C07","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":"Q6190197$D308F928-D9D8-41B7-8A18-A2B9F57924D8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f5171f25dcce60225b30f54fde0dd54d1b569b6","datavalue":{"value":{"entity-type":"item","numeric-id":2835040,"id":"Q2835040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6190197$17B5CEC2-81B6-4A72-AD0B-5BFF2D382C8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddc536a77b5abf6ca8dc6c14f526e73c6ecff903","datavalue":{"value":{"time":"+2024-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6190197$BDAE37AF-6456-41B4-B649-89E1716652C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7457f52927313676a4ebd20ffff8a1982824befc","datavalue":{"value":"https://hal-lirmm.ccsd.cnrs.fr/lirmm-02268104/document","type":"string"},"datatype":"url"},"type":"statement","id":"Q6190197$56D7E429-F7EC-4C61-998D-A31B0B1D8F3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$50235912-35C9-4896-860F-78AF30B43A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$BEEFBC0E-CCCF-4E33-95E4-758B11A5C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$2AD10C2C-2BBE-45A1-BC60-D10AD66530F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$81B81053-283D-48B6-8C28-B2F178E81BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d884be2a543fb703ef1c1fa08e1e94bc9e8a4090","datavalue":{"value":"7800298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$28FBF3B9-A169-4EAA-8BEF-4D76A400994A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190197$80AB90E2-AED0-4FC2-8428-F3E7B8DD8CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca60e8ca37ea4586a5ebec8a5268b95b54dbf89b","datavalue":{"value":"lambda grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190197$E9102898-F435-4B4A-82F7-03D51220EA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5cf9d25748994b73ffef951af9457edf47d4cd9","datavalue":{"value":"type-logical grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190197$13E57E99-E23B-4647-97FD-EC95F9DD2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190197$45727C4F-663D-41CD-83EC-DB7C6D7D0041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6190197$FD158704-374D-4263-824B-A908BCACA542","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":"Q6190197$7498103E-D2DD-461D-83D1-68CD864A5B03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b83208d2cccc96e1e1e387c9e0ae2dcaa577a27b","datavalue":{"value":"W2965884069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6190197$51F08018-7E84-4A32-9022-D808399C768A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3277efe5a8b794d7b676b9b34a70fe591fe578d","datavalue":{"value":{"entity-type":"item","numeric-id":2135950,"id":"Q2135950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa8bf3df379c0bbe2381d0e3c741a257d71b7a6d","datavalue":{"value":{"amount":"+0.9845744371414183","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":"Q6190197$5B5E996B-3B0C-41FE-9CCB-3F7FDF8AE6C6","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":"196ef8c6da82ed4550419ce1a8abce16411958d4","datavalue":{"value":{"amount":"+0.7501506209373474","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":"Q6190197$FEBAD840-A563-4CB1-8DA3-BE7627BEA6B3","rank":"normal"},{"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":"a9254b02b80296a82b216c2859009e9dfd175311","datavalue":{"value":{"amount":"+0.7499259114265442","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":"Q6190197$C5BEE2CA-F4A1-47F1-8308-4F70FADD47E4","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":"9c7c4d99352a1a280ae7d437fe8eb31bca9b4ee6","datavalue":{"value":{"amount":"+0.7486644983291626","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":"Q6190197$F7668812-2B3C-455A-B35C-E8B4D01C7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563f5364aa31a7119cfcb3245fc922223964f5b2","datavalue":{"value":{"entity-type":"item","numeric-id":700787,"id":"Q700787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c9e53f39dc8eff43e6316fb980a196fd75cfca","datavalue":{"value":{"amount":"+0.7397804856300354","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":"Q6190197$7F3C8827-58A8-4747-8777-A43AD9AC4D8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof-theoretic aspects of hybrid type-logical grammars","badges":[]}}}}}