{"entities":{"Q4380445":{"pageid":6410044,"ns":120,"title":"Item:Q4380445","lastrevid":41616738,"modified":"2025-05-06T10:12:11Z","type":"item","id":"Q4380445","labels":{"en":{"language":"en","value":"Formulas for which contraction is admissible"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1129205"}},"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":"Q4380445$D61F862A-7068-49DA-92CA-BEE73863095F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"167db89a086fadba986d7500d8ffaa25dd8dac91","datavalue":{"value":{"text":"Formulas for which contraction is admissible","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4380445$C999DF44-F9CE-4023-A996-01DCAD42EC79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8523223839f5b71969d1e90d927538089a9690ce","datavalue":{"value":"0893.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380445$7D9ABDB8-805C-4DA9-A97D-1D53CBBA1F0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380445$023CFCDC-4AA1-443B-A3BE-D0D28049B904","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5db0d405f6ae86d2c7391df1633165283031cbc2","datavalue":{"value":{"time":"+1998-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4380445$225CF01B-7F41-409B-93BA-97E5E93EF524","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5cbfc3182d354618b87359999e84b3efa60f883","datavalue":{"value":"https://semanticscholar.org/paper/5356383c5ac4b3f7e3b62dce141e1c18468f0383","type":"string"},"datatype":"url"},"type":"statement","id":"Q4380445$898C8481-8851-4B49-9C53-EE0E49162714","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380445$C21C1EBC-6CED-4495-9CD6-4C6C7C8FBFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380445$80B24E18-52DB-4B4B-B3CE-D8878AD9D8F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afcf7d75219446b264c23ad010d26c8e2a2788b8","datavalue":{"value":"1129205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380445$F3446964-E83B-47CF-8AA3-06F46A4332C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380445$348AAD95-0C5B-43D2-B106-7E08BF93F405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380445$AE9548A3-9930-4A23-AA6C-F640D3D3D6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b6b8c6c93069a7d96a8f897bb93c1aa9ff5aec","datavalue":{"value":"Gentzen-type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380445$A18FCE32-7851-4236-933D-52172B23C90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a084cee2eaacf90f9c8fbcc7e4694588009555a","datavalue":{"value":"contraction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4380445$7FB2D19B-5F2E-4358-B253-6E2624DA6676","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":"Q4380445$0FAACA9B-8E3F-4E9A-BE8E-D9A5C893F1DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"929adaa214346029fcdbf08dbc5aa4f164b87866","datavalue":{"value":"W2005479969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380445$EE07B407-4866-4D66-843F-5152CB2C3C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da2e16a2505e2d2c95dedb9d78a241257bbb10e9","datavalue":{"value":"10.1093/JIGPAL/6.1.43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4380445$630D1EDE-8BA5-48EE-AD57-2315EACB47B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4380445$D339B88A-8C0E-46FD-88B3-21A57981CBF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f9eacff663958fad01af1989562eb2248b7cb5","datavalue":{"value":{"entity-type":"item","numeric-id":4359554,"id":"Q4359554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45819458cb8e3b3ededb624524cc00f68c45234","datavalue":{"value":{"amount":"+0.82738805","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$6C1BCCA9-D2CC-48E5-879B-CAF5694FDF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"273dfa7d16af6125920efdb32b1fc4995fd163a6","datavalue":{"value":{"entity-type":"item","numeric-id":1630364,"id":"Q1630364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98082ec88e84d6d111a5c05eaa91c12e35ab47c4","datavalue":{"value":{"amount":"+0.8260677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$EC716923-921B-485F-BAFF-8408B01CB70A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"853991437a8d5cff0ab76446ec88ea8251a53a12","datavalue":{"value":{"entity-type":"item","numeric-id":3732393,"id":"Q3732393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72140f0ef5b83eab28ca24194f68ce1a67f5a743","datavalue":{"value":{"amount":"+0.8210244","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$6C08B082-935A-4C5B-A720-C51D9F182299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9222438ac177392737c68ffb37e3b9bf3392907e","datavalue":{"value":{"entity-type":"item","numeric-id":4706851,"id":"Q4706851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af04b8e0210fa7d97f96132633ee34a4c42a3268","datavalue":{"value":{"amount":"+0.8197366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$965E9F3A-DB54-44A0-A736-3705F6B09B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2751f89afce780a3261bdac644ae523a5874f0c6","datavalue":{"value":{"entity-type":"item","numeric-id":5279996,"id":"Q5279996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e79997514b7ba419268c88a68cc7649f3a78cd5","datavalue":{"value":{"amount":"+0.8182629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$52BE77D7-8ACF-4ADB-BAFC-9A1FAF2D9AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fcd97f1e526a072810723a71b73f87e9e76752","datavalue":{"value":{"entity-type":"item","numeric-id":5710318,"id":"Q5710318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e089de2c5ebb9c39936b1dc87d8595de409d48f9","datavalue":{"value":{"amount":"+0.8167721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$7D49CB3F-7DD8-4088-9A0B-15F85AEEE616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee004cb4366082b95239c46a8ca41784eabd32d2","datavalue":{"value":{"entity-type":"item","numeric-id":1678140,"id":"Q1678140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"090afbccfc8258a84e14f7af4f62830c83624320","datavalue":{"value":{"amount":"+0.8153147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$D6215999-C342-4E72-92D7-0B74C8588A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ada7237c394e3770aeb1fc5b4c60bbbf7beaab","datavalue":{"value":{"entity-type":"item","numeric-id":3127200,"id":"Q3127200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06c03065b67497a496b4c398a32b77006d7b074","datavalue":{"value":{"amount":"+0.8071838","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$E9680E32-A0BD-455C-8C80-4A4BBF5297F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3d3e09b60233c44de12f30fb280a30d5196ed7b","datavalue":{"value":{"entity-type":"item","numeric-id":4591080,"id":"Q4591080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be12200ed048d46a293343f49dd5a01ba617996","datavalue":{"value":{"amount":"+0.80510515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$9DF3BBE8-1EC9-4FD0-B51D-50DDDE00AF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ebbed3379849305aa2395271300d472782ff07","datavalue":{"value":{"entity-type":"item","numeric-id":2732567,"id":"Q2732567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0279e8f61ac4c11d5261de0b18bff074384212a","datavalue":{"value":{"amount":"+0.8042432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4380445$5C46EDC9-B58C-43AA-88AE-900CEAC03EB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4380445","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4380445"}}}}}