{"entities":{"Q4434501":{"pageid":6464100,"ns":120,"title":"Item:Q4434501","lastrevid":40794576,"modified":"2025-04-04T17:57:52Z","type":"item","id":"Q4434501","labels":{"en":{"language":"en","value":"Sequent systems for compact bilinear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2002112"}},"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":"Q4434501$C6461CDD-AD23-4915-BE25-3F17D340F24E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f6ec8e68e5671d9c74c985dc583b5846d37cb4b","datavalue":{"value":{"text":"Sequent systems for compact bilinear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4434501$EEC32DC1-7BA0-4F29-8EC0-8138681670FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da22a8b62be82b9523409be0139397caf200bb85","datavalue":{"value":"1036.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434501$CFF98AD7-E673-4636-9216-424FF62881F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51fb4f23bdc175743a0a666e747264424e0a3577","datavalue":{"value":{"entity-type":"item","numeric-id":935017,"id":"Q935017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434501$A426EFF0-5B81-42DE-995B-F174912B8091","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434501$8A10852D-3753-481E-9292-0C6975CE5B88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4434501$4F5403BC-B9FA-42CF-B455-6E40BA96464B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434501$3AAB83AD-0B6D-4F58-AC34-834D22E3C4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434501$AE9CE130-2D5B-4C24-9F1E-44430AFE37AF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19e3f69fb59b29bf8ded37022f42cc2328a2c792","datavalue":{"value":"2002112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434501$4B674C06-09B3-4FB7-81CE-21FB445AFD9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51a34a87ffe6dabe55e3d37a143287aa4cd7bddb","datavalue":{"value":"compact bilinear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434501$DDF7C164-2EB2-4ADD-BDF7-C61458C6A1B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434501$E40165D3-CF23-49A8-A6CD-D8E1F78E4F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434501$987F2E3B-EFC7-4F01-95B0-84B210E12D3D","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":"Q4434501$C0DF8BCF-5D44-4A86-AAFE-A4D94F0E3859","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f52d528e1ea08dd8b1a1291a10c9e0cc153c0f2d","datavalue":{"value":"https://doi.org/10.1002/malq.200310050","type":"string"},"datatype":"url"},"type":"statement","id":"Q4434501$C1782530-42B2-41E9-80A5-818031CA7728","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4818e8eb81c09e06c2fa019293bcb249f851d82d","datavalue":{"value":"W2100232191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434501$861E86AA-0D3C-4F41-A756-F2AA073DE20B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e9a9c59547a59db5562525b58bbe4c5a0478b3d","datavalue":{"value":"10.1002/MALQ.200310050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434501$B35975B0-C7D9-4C29-949A-E446B7A45159","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"682c97c5563abba3c19d1f2308ffa35fb4b8cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5434488,"id":"Q5434488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83443977fef345f961dbe830b5bc6f6a82859f08","datavalue":{"value":{"amount":"+0.90708244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$CC144892-56E8-4F5B-A568-716760079BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146caf1263e383a43f6e1d33aa6b75d2ca0aa098","datavalue":{"value":{"entity-type":"item","numeric-id":4694232,"id":"Q4694232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d313c13ea453632d6fc6b1304fe46e69ff1d974a","datavalue":{"value":{"amount":"+0.90629977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$927323A9-850D-4E5F-8700-967CD742E6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e952094e2719c457cc65ccf17740b1c48f29693","datavalue":{"value":{"entity-type":"item","numeric-id":4412848,"id":"Q4412848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1fd605d8012aaa046de5d9e41313b491bd9e15","datavalue":{"value":{"amount":"+0.90351933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$E6E7EDB3-E0CB-4425-92D9-2D95B8B1C062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e91574b4a4791abe2c2d9a05719173dc139b1f1","datavalue":{"value":{"amount":"+0.90073407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$55B48E19-81C3-4B59-9492-FCF9CD673908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02fc1078e844d98f682efcd3793b7d1434c760a7","datavalue":{"value":{"entity-type":"item","numeric-id":5053003,"id":"Q5053003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223840db1341a6ae48905c98ce23a9dc7704e308","datavalue":{"value":{"amount":"+0.8955688","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$8A0BD035-0344-4AEB-97A0-9C6BE7C379F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8e73130c3caf1b700389e1f186a8856cfb2402","datavalue":{"value":{"entity-type":"item","numeric-id":4796512,"id":"Q4796512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b748b82b569001ddb07f7ee67e5bcc0f3702315","datavalue":{"value":{"amount":"+0.89551294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$4CFCE2B7-35F6-4881-9E6E-930413AAD28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db54f221b789235bf363fb9d56b65c264c3c258","datavalue":{"value":{"entity-type":"item","numeric-id":4295874,"id":"Q4295874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337331e53bc5f09514e7e24a3ecc7a9ac5989551","datavalue":{"value":{"amount":"+0.8914066","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$EDFEF36C-4144-4AC2-953A-9C725394048F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c18214adb8510ecdfe7e9c193d22335c9ac98e0e","datavalue":{"value":{"entity-type":"item","numeric-id":3607559,"id":"Q3607559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"405a4558efba04f5badaf4fc9edad95377b5f919","datavalue":{"value":{"amount":"+0.8899384","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$F538A2F0-F884-4F07-87B9-55A233692881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29925a031fc724c2f96f867c77856355cdd94f60","datavalue":{"value":{"entity-type":"item","numeric-id":5395253,"id":"Q5395253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e55b1d24faedfb85fdd6c1c7404d25f4f198c7","datavalue":{"value":{"amount":"+0.8877873","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$8CDC2210-952F-46BC-A56E-7B018C6B2E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1da6059d4684c2cae342107a04e61262ceec26fa","datavalue":{"value":{"entity-type":"item","numeric-id":4664255,"id":"Q4664255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6434b50731d737c4e67209a95ae30986716dc4","datavalue":{"value":{"amount":"+0.88734335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4434501$DBDE21C9-CBE3-406A-AC76-C7BB6149ED96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4434501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4434501"}}}}}