{"entities":{"Q6064280":{"pageid":13198438,"ns":120,"title":"Item:Q6064280","lastrevid":37610749,"modified":"2024-08-21T11:27:03Z","type":"item","id":"Q6064280","labels":{"en":{"language":"en","value":"Light linear logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776719"}},"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":"Q6064280$E823646F-9CF2-477A-81C8-A4A8A78A6CA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ad0430b7ff4c6cb99c1d68694c4561c2005dafa","datavalue":{"value":{"text":"Light linear logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6064280$8615ACDF-C23D-487E-98FC-78EC6EDC304E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1cf4a787809953ea12480e08cffed9625a0b04d","datavalue":{"value":"10.1007/3-540-60178-3_83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064280$A79E45A2-DF7D-4EA2-AE27-B19166A2BC6A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$7B47ACD8-AFE4-4424-A308-25F288B1EF4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$C19DAE8E-2372-4358-96C5-74175BFF556F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6064280$2CC3A785-709D-4788-980E-92C1662923D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064280$DB8292D7-7A7A-487D-875F-38F78D63FF36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1191dbba513c7d2e5e3b71e1409630ee5e6b5c99","datavalue":{"value":"7776719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064280$3C5B04E7-A3F1-4F57-B6C6-87B27BAF96C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064280$E9A34092-E32B-4B87-AC84-1319CC635209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064280$2AA7F4D5-C20D-48F1-83C3-F9E6C445B7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064280$92FD11B4-3117-445A-9DC8-5162ADB9456D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064280$2EE197A7-8EC4-4CEB-B5A4-F83C8257E05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ba4b280595841fa1811fbca4aead4ab4b2fab86","datavalue":{"value":"binary integer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6064280$223CDE53-B023-4D08-B087-45FC2554B260","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":"Q6064280$460B2D55-B0D0-4214-BCC8-ECDAEA68CA59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e921a0351ac033dc346d593bc8bdf7e452e9a56","datavalue":{"value":"https://doi.org/10.1007/3-540-60178-3_83","type":"string"},"datatype":"url"},"type":"statement","id":"Q6064280$0D3C3B61-09F0-4852-9C23-A6F0163CC1A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1f9073d0d110f7128898d19545e38686fa3b71c","datavalue":{"value":"W2177992386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6064280$F81C9C88-C90F-4F35-9F5C-5131FED30381","rank":"normal"}],"P223":[{"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":"Q6064280$CF96D466-FE5D-4B4D-B327-EE25D6A11650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20b3efd28014f3e3743af53ab793f5500601551","datavalue":{"value":{"entity-type":"item","numeric-id":1193854,"id":"Q1193854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$69F29A75-92ED-4FEB-A466-46F3170FAB38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e61ad0bb3bdc25375fa136aa2911691b3a4997","datavalue":{"value":{"entity-type":"item","numeric-id":3934366,"id":"Q3934366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$41F3E875-B178-4091-A74B-0535D852ECD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccfff9ccc546e60207087666568ffe80878d4580","datavalue":{"value":{"entity-type":"item","numeric-id":1923099,"id":"Q1923099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$6C31B521-6A8F-4D09-A6DE-0A24773B3895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$F69B42F2-7147-4BA2-87B4-78B9EA25CF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9007f592c26c879cdc9d51881c070212b204dd1","datavalue":{"value":{"entity-type":"item","numeric-id":1327386,"id":"Q1327386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$A90839FC-32D4-4B26-BE8C-E436E0355CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb12e3baba400e4eba712a0627891a5f4e28a07","datavalue":{"value":{"entity-type":"item","numeric-id":3142166,"id":"Q3142166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6064280$BBB24C5A-E61A-486F-A1A0-4DF1E506C693","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6064280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6064280"}}}}}