{"entities":{"Q4392660":{"pageid":6422259,"ns":120,"title":"Item:Q4392660","lastrevid":41124780,"modified":"2025-04-18T09:45:47Z","type":"item","id":"Q4392660","labels":{"en":{"language":"en","value":"Substructural logics on display"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1160474"}},"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":"Q4392660$C3A171F1-1575-494E-8018-61715858AB9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b38bc26aad212b7bc52b775da1c8ec67387050e0","datavalue":{"value":{"text":"Substructural logics on display","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4392660$D6312E1B-D5AB-4CF3-A1DC-C85950D1F87E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b934be67da853e9f9bd76ffd3203fc35981825d","datavalue":{"value":"0906.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$B8D7D999-1CA2-4E57-8823-0BDD1DA2EE55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4392660$D217E76E-D340-4052-B914-28693B7CA442","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9a35e2bd47b5723ea7f89e86786c75df3dbb16e","datavalue":{"value":{"time":"+1998-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4392660$55AC221B-DC6F-46AE-B884-70C9A042DCA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec2ba673cd07c9930f53f1f9575ff5a880fb6dc3","datavalue":{"value":"https://semanticscholar.org/paper/4d5ecba9364c1bb48310bd181b56de8b7546f7b3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4392660$06FB21BF-7300-41F1-AC3A-EFFCE52DCF5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$EB293248-C6B8-4A8D-845C-B62E5922D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$2964CEC4-2885-45FE-8BF0-073FD5F549F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$3C19EDB6-03DF-44F5-8E56-7841E1F5C533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28e9b2cd555f004349d9c2984531c33b95e2732b","datavalue":{"value":"1160474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$ACA00FAF-B905-46FA-809C-2714E092A67E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b77f099136f59ea0465b9f8b298d7d2778950521","datavalue":{"value":"display characterizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392660$656BA508-C86F-4019-83C2-4157D21081CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392660$6D85DCFC-CF32-4135-B820-D375071B026B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392660$4F7E86F4-366C-49A4-B4EF-26F94FDE22C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4392660$10F5C313-1A39-45CD-B512-3192D95E27A0","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":"Q4392660$E90D13E0-2036-4086-971D-6B78F35626DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e9764e041280ed1b707ecf0cbe8ddedcd95f930","datavalue":{"value":"W2092847864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$035B5D56-57D8-42BD-9BA8-CCBDF70E06BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb8498e6b2f43e2db64e9c9b3656b0c6cc6d67a","datavalue":{"value":"10.1093/JIGPAL/6.3.451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4392660$EAECA01B-90F8-48F6-8836-183BD50DF439","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":"Q4392660$8FCEBB91-4343-4D47-965B-31C0956BAD3B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4392660","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4392660"}}}}}