{"entities":{"Q2673113":{"pageid":2683856,"ns":120,"title":"Item:Q2673113","lastrevid":55411633,"modified":"2026-02-17T15:49:51Z","type":"item","id":"Q2673113","labels":{"en":{"language":"en","value":"Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7538686"}},"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":"Q2673113$12EE7ED5-F706-4EDF-ACE0-25F5F2C2A1D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a543c2579e46f3b9ca096fa62403c03485336a9","datavalue":{"value":{"text":"Proof nets for the Lambek calculus with one division and a negative-polarity modality for weakening","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2673113$CD88EAD8-65D1-4B8D-AA68-FDE6A68EC217","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37570d8b83a70884c11d064f245845ad801cce9a","datavalue":{"value":{"entity-type":"item","numeric-id":376152,"id":"Q376152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673113$A18CD075-6E4E-40C8-BFCD-B6A1C022C96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5652f6b64b5ce44cd58d3e650e949e17369da7b","datavalue":{"value":{"entity-type":"item","numeric-id":376153,"id":"Q376153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673113$D587050E-2F93-4709-B3AF-D1039CA253FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673113$E7190989-2564-463C-972F-FD40410C5131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6d0267f9e071742db9c5978bce78a5726439d38","datavalue":{"value":{"time":"+2022-06-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2673113$9543DFD5-21F3-4E44-AD18-A6B96A3F84D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56ca134743e89fe3d47b1db671609b86b72c0887","datavalue":{"value":"https://arxiv.org/abs/1912.03739","type":"string"},"datatype":"url"},"type":"statement","id":"Q2673113$1A624A79-5033-482E-948B-74870368A863","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$00642AC1-C21E-4951-B5B9-08BD27C3D527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$88ACB52F-EA84-4FF1-93AF-0F4EF0056FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$97FFAEB0-68F4-4E05-BB15-CFDFD26B8918","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc0d71cd97ce84fd934976dcbd2ddca3658f52f9","datavalue":{"value":"7538686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$CD496AD5-9D0C-4F67-A6E2-884B73ED0DEF","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":"Q2673113$77A0EB98-02CE-4EC6-8736-DB00137B8663","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"076b448eeb38f6738711e31e7e3b372a66d154af","datavalue":{"value":"W2992511673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$9DC8A48D-FB1D-4727-A6E4-F579598138DA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d74d2bc1d7b055c0dcd7701d698f62849d6fa05c","datavalue":{"value":"Q114017517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$8F8FBF48-7E6C-4C49-91D0-E2696EAD8C0F","rank":"normal"}],"P223":[{"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":"Q2673113$23A635C7-B0D7-4FB7-A647-A5988A31F017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e0ca23dee5225c9de870da068518316594905f","datavalue":{"value":{"entity-type":"item","numeric-id":376154,"id":"Q376154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673113$0C6ACF0B-29A1-42E6-9D7A-82A0982B61C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cf99fe0e248d4e73d62830a9326b6bb620d4b53","datavalue":{"value":{"entity-type":"item","numeric-id":2513061,"id":"Q2513061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673113$E3512762-75F6-4BE4-A49B-920CE2BB33B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"208fc00f07b113407d8bd3c19d40ade1869a6dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5198508,"id":"Q5198508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2673113$58B9C3B9-702D-4DE5-8655-5C1A4B0F2DF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4fedc2107b9466821615c35b585643923d0f372","datavalue":{"value":"10.1007/S10958-022-05853-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2673113$B0C14BCC-EF71-4274-8816-AB22809DC058","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c1a7a170ef22a12126d4c07d61b87f67a2de77c","datavalue":{"value":{"entity-type":"item","numeric-id":1850954,"id":"Q1850954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6180ab9fc8bc4c661af57951cfeecef4b8a3967c","datavalue":{"value":{"amount":"+0.8465451002120972","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":"Q2673113$E7F6B0F4-AD38-4FF3-8020-5E1A7BAAE795","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":"2c2a74f1ccaca0dc15135f2319884929be63d434","datavalue":{"value":{"amount":"+0.8228309154510498","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":"Q2673113$D08D44B1-5336-48AF-BFDC-917CCF720393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4747a2797fea49a0c10d5c61f6b7c600c098a2a2","datavalue":{"value":{"entity-type":"item","numeric-id":2513229,"id":"Q2513229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac2f482029159f32b7f266df67ee1d1d9a1842c","datavalue":{"value":{"amount":"+0.8122510313987732","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":"Q2673113$B02B7E96-E04D-432D-8BDB-E1303CB799D0","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":"99e5d30dfc1c1834c2a2863e987d803a0975988c","datavalue":{"value":{"amount":"+0.8069611191749573","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":"Q2673113$92089B24-2707-45FB-A84C-9481FA6F0EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9155b8a24b47f93bb167596dd9931b0a708353f3","datavalue":{"value":{"entity-type":"item","numeric-id":2947464,"id":"Q2947464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfd6a1219aabcaf1972ef021ba9ed1104928cf5","datavalue":{"value":{"amount":"+0.7965136766433716","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":"Q2673113$495FA6BD-FE5B-4F95-97B0-46485FE007E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2673113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2673113"}}}}}