{"entities":{"Q2947459":{"pageid":2958179,"ns":120,"title":"Item:Q2947459","lastrevid":85392473,"modified":"2026-06-03T07:44:20Z","type":"item","id":"Q2947459","labels":{"en":{"language":"en","value":"Cyclic multiplicative proof nets of linear logic with an application to language parsing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484968"}},"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":"Q2947459$63A08AB7-8553-4303-9433-812BDFF4D22C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d684150b424d0bf1f59b904ea63e8d6dd0733e7","datavalue":{"value":{"text":"Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947459$3408A40B-FC07-408E-9598-F9EE0A9BBD26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3a2bb4de780f3ad5b70073bd8210f24f166649f","datavalue":{"value":"1365.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$7E85BC34-AA6A-4638-86B1-02B9AFD0C1FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9facdae9a19715ff2e8cfa7de573022376e7a5c8","datavalue":{"value":"10.1007/978-3-662-47709-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$EFC34633-CDE2-42CD-B038-E479DF45BF5D","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":"Q2947459$BA02D11B-BA25-4AA6-BC0B-6408099243B1","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":"Q2947459$A7DF4C73-D79D-40B0-935A-EC21482324E3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947459$F773A23E-C335-42B7-998D-B5D494C228EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cae2e7e737914208fb707560c7153e42be1eb82c","datavalue":{"value":{"time":"+2015-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2947459$36ED58E8-AD4A-4141-A2BE-D744F2C69986","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$00773EDA-028D-4E82-8646-270400FCE036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$2AF89463-C6C1-4AD3-B047-41FCCE9FB114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$FC4D553D-B43D-42CD-84DE-F25D5405DD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$818B41DA-13F0-4559-83DD-D531457850C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$26A030E5-1353-460C-BBD3-27B39D524B47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"321cfc240b9657676b0df4536514241c208d7cf5","datavalue":{"value":"6484968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$EC013F71-1DB6-4752-8273-B029ADAA30BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c6933d546894f08f6f4cd20ae0ca2926822994","datavalue":{"value":"categorial grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$8F94948B-7297-45D4-B4A5-CC368A0786A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9bc571f48da4e017ddce1408df5b301cce6453","datavalue":{"value":"cyclic orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$42F796C4-0F97-4008-B2B0-6D5C318F6251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$C9F2CDF4-094D-4191-84F0-F7AF2220A332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0fd89cf0c13f76c900b6c906eabead43fd3379e","datavalue":{"value":"language parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$1F8EF57A-A2B6-4495-9418-5A192A0D4798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$BB54859B-D122-4136-8C3C-D7065538B042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b6d871994eaa271bfacb6b06b6d6003c10f9bba","datavalue":{"value":"non-commutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$03FD5BA1-278D-413B-B4E0-356509505FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$BA6E8585-8CB4-4D24-AE0E-08F3840A58B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947459$3349607D-CC1F-4BDD-B4EE-FCC831CB2485","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":"Q2947459$CCAAE80E-A548-477A-A76A-8C47083D9068","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f9a221b4c8a4738f6b70213fb095b2f7f004b1d8","datavalue":{"value":"https://doi.org/10.1007/978-3-662-47709-0_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947459$82938D98-CA6C-44AA-9FB1-E8A620A945E4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdaf483b55afcce8a94fe02eac002cdbb6d6ac76","datavalue":{"value":"W1419998034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947459$9676BCB8-C454-4F1E-A28F-7444C39CAF9E","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":"Q2947459$2B0405DD-7E35-4B6D-ADFA-7216BC60C82F","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":"Q2947459$C41B9006-8FC0-45C8-884F-D2C85570499C","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":"Q2947459$094F8445-066E-46CB-B8BA-2B02C704EC09","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":"Q2947459$78352B3B-D04D-46B2-BA97-4A7872611660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38da14e132b6ed87ebd6a06d39b0509028cb9550","datavalue":{"value":{"entity-type":"item","numeric-id":4896506,"id":"Q4896506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947459$7DDDA28B-ECE8-4549-A58A-36B812F2AC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db55fbec7f6c9bd80c157746fbb26b91e023c059","datavalue":{"value":{"entity-type":"item","numeric-id":3548539,"id":"Q3548539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947459$7ACDB913-1B29-481A-B61B-DFA174FF619F","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":"Q2947459$AE6DDB28-13E1-4C47-9515-C7EBDCC01FA7","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":"Q2947459$0F77B27F-2DD6-44A9-AED5-975483F1413F","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":"Q2947459$B87A064E-BA78-47B3-A567-E1FAA52F4672","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":"Q2947459$0B93855F-03FC-47C9-B0FB-65F7773B1994","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":"Q2947459$95689E9E-69A6-4015-BB6A-3C6FD2EDA496","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":"Q2947459$4499E2F1-8A49-4C9A-B3C5-545375F053F5","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":"Q2947459$9480C72E-4519-4510-91C5-866FCF0F1D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06d0da8e99bfc79855d422c0e442391de397cb42","datavalue":{"value":{"entity-type":"item","numeric-id":4366767,"id":"Q4366767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947459$364CFA29-68AF-4A7E-81EC-FDEA5B07823E","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":"Q2947459$C679E82D-F39E-4F12-9AB5-0CF03BB56DD3","rank":"normal"}],"P1643":[{"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":"e702f315effb5d011e30699394048a78fe383bdf","datavalue":{"value":{"amount":"+0.9741885662078856","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":"Q2947459$90FFB640-5E4B-4C26-B8A6-C59A833B7010","rank":"normal"},{"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":"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":"Q2947459$1BCE4771-ED11-48E0-80D7-7625D66FA13F","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":"c6925a3acefdad70b9f9163a1cdc4733e2d2d010","datavalue":{"value":{"amount":"+0.8288048505783081","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":"Q2947459$FDCA1412-0441-480F-9D4F-5108F5D1A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b935628fa2f10cb1b66bae6a461af70a8c7a8cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5940925,"id":"Q5940925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51cd24e337ff0f3bfdb2aa06fe7abc5200e2782b","datavalue":{"value":{"amount":"+0.8074471354484558","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":"Q2947459$16CEF341-3279-4D79-A846-037DE6E387E4","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":"a58f3813fbf71d4afff1902ad1d042db7ca8789b","datavalue":{"value":{"amount":"+0.799866259098053","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":"Q2947459$704F75DD-6E6E-4B85-93AA-29F0ABE5DD8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cyclic multiplicative proof nets of linear logic with an application to language parsing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cyclic_multiplicative_proof_nets_of_linear_logic_with_an_application_to_language_parsing"}}}}}