{"entities":{"Q1850954":{"pageid":1861696,"ns":120,"title":"Item:Q1850954","lastrevid":70993971,"modified":"2026-04-13T18:46:05Z","type":"item","id":"Q1850954","labels":{"en":{"language":"en","value":"Proof nets for the multimodal Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845370"}},"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":"Q1850954$D0724481-1858-4C3C-9246-B469530B7BA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97af48076f8f3d0de8ca55b094dfbf3454232af6","datavalue":{"value":{"text":"Proof nets for the multimodal Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850954$88809609-1F73-4920-B8BB-49BBEC43B247","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7653e22c25965605b107ba74ac158da342cd6269","datavalue":{"value":"1013.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850954$233CF723-0583-4408-8128-E004326B6849","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbc17fa270681d297b0ac3240a7d130004d77f89","datavalue":{"value":"10.1023/A:1020525032763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850954$21207CE6-A26D-4FB6-9ABF-24F0C716FF49","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":"Q1850954$12A7D7D8-4491-484B-911F-1206E41E48D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3146caa99123f1f572190fed88039a98580c3477","datavalue":{"value":{"entity-type":"item","numeric-id":1003741,"id":"Q1003741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850954$32EB7407-81C1-4194-8DF2-8F929F6A07A6","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":"Q1850954$5C90F629-85B6-431F-AB86-D478AF682D9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850954$0775E10A-5251-436B-9382-5C263755B110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850954$5076D66D-2A42-41C4-8EE1-77478E357EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850954$3B32748F-9188-468F-A858-5602DBB7D05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850954$ACD2205F-4558-4F79-99DA-0F7FDD82F61C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7cd5fef74fe3cf7c1bcdcb96b56f44aa52ee560","datavalue":{"value":"1845370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850954$0D3FF3C4-86A2-4524-9AEC-5179478769CE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850954$7FBD3937-6A11-43C1-AF64-3EDF7C5854B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850954$E67129F0-EDBE-40D0-9900-97291AA4E39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850954$9DFCF907-CCF9-49E1-8176-261A3D3814CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de2c6f2a4ca1a13647f13a0a23fd847d8c7557d","datavalue":{"value":"multimodal Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850954$6AAE1D27-ED4F-4778-A86F-F4CED64D8BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850954$C95C4069-7F51-43D8-A579-C589DA331163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850954$B3DD5331-2911-431A-85AB-31973963D380","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":"Q1850954$73F1A7A9-C864-45F2-815D-8EA496B2F479","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f25569916a6af76d970bf09be43653e8ac2c4e","datavalue":{"value":{"entity-type":"item","numeric-id":5377696,"id":"Q5377696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29c0bfc9d8a0aac1694e017487a01bd6ecd1196b","datavalue":{"value":{"amount":"+0.8328734040260315","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":"Q1850954$55F87919-956C-4A7A-9044-1969FA63A74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07bcf84558a5484935709c444e08fba430e636a2","datavalue":{"value":{"entity-type":"item","numeric-id":1280050,"id":"Q1280050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f474b41042ab29b18fecca5325eb53d343c441","datavalue":{"value":{"amount":"+0.829154908657074","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":"Q1850954$E89639E2-AE72-4AA2-8525-07D6C55EC1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dc9da7381ec3a27707b7f272c726702fbfd9b37","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80c2099c75c5962471f5cd12eb179579d8c5b7c","datavalue":{"value":{"amount":"+0.81917405128479","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":"Q1850954$42157B82-DCEE-42C6-85C2-9CF5739C0B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97f1d66b0c951e8161c8f3a5f746c708e385a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":3584996,"id":"Q3584996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80c2099c75c5962471f5cd12eb179579d8c5b7c","datavalue":{"value":{"amount":"+0.81917405128479","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":"Q1850954$999132F1-594A-440E-9856-DCD99A60F035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cde13ea6f6c2f6731e72eed97e3d12401d7614e","datavalue":{"value":{"entity-type":"item","numeric-id":5198508,"id":"Q5198508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd247d32b1f2a3421098b762c1ed002920c8c91d","datavalue":{"value":{"amount":"+0.815849244594574","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":"Q1850954$869AA221-9F78-47FE-993B-7814D000CA24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets for the multimodal Lambek calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_nets_for_the_multimodal_Lambek_calculus"}}}}}