{"entities":{"Q5377696":{"pageid":7407270,"ns":120,"title":"Item:Q5377696","lastrevid":96275492,"modified":"2026-06-05T10:50:30Z","type":"item","id":"Q5377696","labels":{"en":{"language":"en","value":"Proof nets for multiplicative cyclic linear logic and Lambek calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7059219"}},"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":"Q5377696$62DF90BC-0F94-43BD-ADAA-75929C12B433","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90522ae65c549589798c208d1d6a57409232ea32","datavalue":{"value":{"text":"Proof nets for multiplicative cyclic linear logic and Lambek calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377696$8464515F-0236-4D35-9552-56769DA1CF7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"847aaa95b3060f549ad9f1851ed92d392a1eb669","datavalue":{"value":"1456.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377696$49082016-909B-48E3-9948-DA70FBF70FAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c44deef24c055f990d09f9f915f59dfbf25642c","datavalue":{"value":"10.1017/S0960129518000300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377696$B5BA9A4A-E13F-4262-AB25-826F269239E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"37a4e43a8ea1ffc31e3009aa955d277e7dfb7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":280841,"id":"Q280841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$843EEE67-8EE5-4146-87F9-2A7320480328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d657fdd2d9958dba10089337526015d3f6130c99","datavalue":{"value":{"entity-type":"item","numeric-id":1407587,"id":"Q1407587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$EC6ACA2E-0660-4A3F-9387-4E0BED48CB75","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$ACBD0CE2-31A2-4AB1-8DBB-D80746820596","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca1af7ab0f0fb74ee727ac8a7c46d285cfffbb17","datavalue":{"value":{"time":"+2019-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377696$B5F7E1DB-8E51-4092-B3DE-3828F2D49C61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377696$1C5F6AB6-147E-430C-9EF4-4605D08B0315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377696$E052789E-39D4-4F9A-893A-7D1127638A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377696$C3A2ADFF-048C-408C-B9E1-D3C27B17D1AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61168fa3e0ff4814216ba3a9b40a991a035d2529","datavalue":{"value":"7059219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377696$3B69AB17-9577-40F6-BC59-2D18D0A44185","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c6933d546894f08f6f4cd20ae0ca2926822994","datavalue":{"value":"categorial grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$48B3AC77-E5EE-47DC-87F6-AD64D30B3B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9bc571f48da4e017ddce1408df5b301cce6453","datavalue":{"value":"cyclic orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$788A4D43-9BCC-46A3-9F1B-937F80695D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$DE0DF562-1204-4472-90DB-651E3C899746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0fd89cf0c13f76c900b6c906eabead43fd3379e","datavalue":{"value":"language parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$04BC61D1-C812-479A-8A64-91ED8500514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$BCC300BB-64EA-49E9-8643-645CDC1CEDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9e4a53db5b06ceb6c226c9d29a808a10ff6492","datavalue":{"value":"noncommutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$D27D857A-F1E3-483B-B8A4-3D59D2CC6DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$8DC77350-8C67-4091-AF7B-AE66511B0226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377696$7ED2314F-AD02-4D28-8041-0A32417FC30A","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":"Q5377696$AEE93333-6A50-4947-977D-32773C18E60F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff335355e78f8ab519c9af3d7a359f533c90e7b7","datavalue":{"value":{"entity-type":"item","numeric-id":1850949,"id":"Q1850949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$88EA0780-C514-4E89-8FEB-6B1AB67D577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73c57caa8aaf7fa22469b17a3b10859af741bef4","datavalue":{"value":{"entity-type":"item","numeric-id":2947459,"id":"Q2947459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$EE5059EB-CB9F-422C-A065-58675DFE80A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e26f0e2e51985e93da36b76eb91093827ea95fb","datavalue":{"value":{"entity-type":"item","numeric-id":2835043,"id":"Q2835043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$541ACA63-9810-4BA7-ABE3-D5498F56D5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$5DFD8E9D-63E6-4588-8E28-34AC10B59E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41b2805cfcd318a63ac0f677f5dc7cf5042ea181","datavalue":{"value":{"entity-type":"item","numeric-id":2949457,"id":"Q2949457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$778219C9-EBB6-42EE-B818-D569D16DA444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$2D7474B9-EA26-4F83-ACF8-E1058FA00E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"157bc9663d30f618111621fe105686ca18dcc366","datavalue":{"value":{"entity-type":"item","numeric-id":3608429,"id":"Q3608429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$4A69BC01-9E82-4BCA-B800-FC07D4842833","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":"Q5377696$85B9991C-5DD4-4707-B6ED-020557748978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60427dd7759fbd9455d3afc5665f9245f0053e4f","datavalue":{"value":{"entity-type":"item","numeric-id":534705,"id":"Q534705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$72CEE7FC-31D9-45B9-895C-B23F75E30F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$54D6B25D-77A2-42D5-967B-B909FE87A16A","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":"Q5377696$E4314766-8398-40AB-BBB9-0326CD17C0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6242c3edb2196284ef7baf1a60a595f6e98673","datavalue":{"value":{"entity-type":"item","numeric-id":1407588,"id":"Q1407588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$70764531-CD4B-4153-928C-DBA35A083530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b756b10440f8ac561f6ca550e3fee0834d7a2bf7","datavalue":{"value":{"entity-type":"item","numeric-id":3498480,"id":"Q3498480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$F3EE5B7A-A440-4617-96EE-5C8BF3E241A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992daef2f546e9b8652bf1e245e5bcbe388bab2f","datavalue":{"value":{"entity-type":"item","numeric-id":5170825,"id":"Q5170825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$95E76882-AA15-4AF1-99B1-49ADBC410272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebab01b6f1b60a9e9d24d5bcca9ce11327ee7347","datavalue":{"value":{"entity-type":"item","numeric-id":4650584,"id":"Q4650584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$644470D2-110D-45F2-85CF-69EE8B6D0389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547c6f841c85ced1e61c177a175661c1c1176d95","datavalue":{"value":{"entity-type":"item","numeric-id":4783302,"id":"Q4783302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$49DC9FC4-0180-42E6-B999-0A3B08115F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c9b6f9ca3d171dbf2d02621061387dde3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$0A8F8379-C561-48B0-98CA-A121EF7E2102","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":"Q5377696$9C5261E2-83E8-4813-BDDC-E32CB1EE663D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31ad965310e7644ec61576bb3fd650e8d914bbc3","datavalue":{"value":{"entity-type":"item","numeric-id":4013256,"id":"Q4013256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377696$658C96AE-66A3-4FBD-A406-5DEF5CAE7EA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a68a31658379a39066e6c9d81ac60fe459af03","datavalue":{"value":{"entity-type":"item","numeric-id":2947459,"id":"Q2947459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90391effd5aac057a4f5249e812ac3074a799a83","datavalue":{"value":{"amount":"+0.9161539673805236","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":"Q5377696$2497D5C5-9B54-4079-A231-569F92DEC2CA","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":"35de68c792f6941fccfd8a52049f4741087efb5f","datavalue":{"value":{"amount":"+0.9036749601364136","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":"Q5377696$E9587083-4975-48A3-86E7-B301C59456BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21c276171ae4f3b14cf950228eb27e8f6754e2a3","datavalue":{"value":{"entity-type":"item","numeric-id":2835043,"id":"Q2835043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1de0839a66819198cea1a102044d468b39b75821","datavalue":{"value":{"amount":"+0.9019900560379028","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":"Q5377696$FB55C4D6-DCDF-4CDE-B7A8-46CABB6A1E48","rank":"normal"},{"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":"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":"Q5377696$9A63B8AE-5B7D-4546-9040-E49AC470E813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b58dbec9073da762edbb4dd209745b5b5f2eb14","datavalue":{"value":{"entity-type":"item","numeric-id":5014592,"id":"Q5014592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27ad9992acd2b0cfe1be3089127b5c5b944fea38","datavalue":{"value":{"amount":"+0.8307965397834778","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":"Q5377696$4772B872-9B3D-40EF-83AA-15B423FCC6F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof nets for multiplicative cyclic linear logic and Lambek calculus","badges":[]}}}}}