{"entities":{"Q1827397":{"pageid":1838139,"ns":120,"title":"Item:Q1827397","lastrevid":43351468,"modified":"2025-07-25T00:51:06Z","type":"item","id":"Q1827397","labels":{"en":{"language":"en","value":"Soft linear logic and polynomial time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083408"}},"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":"Q1827397$713F4F2C-E0F8-41DA-91CE-ECB31627E51B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc775d59080d1bd13ee82e2f124e14b851736495","datavalue":{"value":{"text":"Soft linear logic and polynomial time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827397$90EC78B3-AB91-4C07-9D62-7DE16AB6D3FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1153b59c436d148665012606c1e77566783efa3c","datavalue":{"value":"1079.03057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$CCF33662-1BEC-4E7D-8A56-E0DFFB8B0830","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651e04b9287b8d0ec0024aa20b22bd0b7aef55b","datavalue":{"value":{"entity-type":"item","numeric-id":973941,"id":"Q973941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$7E75E87F-219D-42B2-ADA1-E67878D9B470","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$A2486F80-3A24-4197-A2AE-3BDB8C5C5217","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827397$D2C5A543-F529-4563-8D50-D7F9953E159A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$E9D15497-A3EE-4B0C-B150-2A8A5F2B56A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$333D2169-E779-438E-98F2-CDC383E7F784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$F342F09C-40D1-4BE3-B01D-94FD281168ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$4C023617-8A04-4B53-8EB0-EDDED261D48E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1429f76ee133deb63bb0cdfedd9938bbfd1d153","datavalue":{"value":"2083408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$547F2E0B-F4B2-4407-8F96-43DBDFB0D3AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7142bd9ebf78435d828f9b9d514b873f89afbf6","datavalue":{"value":"Linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827397$31F08F55-B7F8-43FF-BEE2-7CC90D196A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52328f6f2cdb62c847d7ccb738462bf98dd2e544","datavalue":{"value":"Second-order lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827397$51D66C0D-5212-4ED7-9D1E-DFE7FB77735C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1dd932fe4656ff549247a9c8f635039e37e2f2b","datavalue":{"value":"Polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827397$095F6774-0B76-4A37-89CE-B77E8821D261","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":"Q1827397$A3525353-BCA7-4EF2-B767-8F9BD730A7CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5d3cef2f5f243c3d3079abe8d2e0065e1a2a910","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2003.10.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827397$C044674A-D6E2-46AF-8075-D7613E07515A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e94162909e40a8cc51f9e1df4c75f435e6476f1","datavalue":{"value":"W2057183321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$5F3E9340-D6F6-43B2-A249-DBE626F87283","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2426e99842aa598564f1d03f0e18e70e9f082a0","datavalue":{"value":{"entity-type":"item","numeric-id":4936120,"id":"Q4936120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$B03A03B3-047E-463A-8C92-2D4ED78EB116","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":"Q1827397$4F06B623-2E38-478A-8C52-7592E28F1134","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":"Q1827397$8AF95B3D-2D09-409B-AF60-B12BA1807B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9737a75e7a6ebe10ad34d63defab1ffce57fa270","datavalue":{"value":{"entity-type":"item","numeric-id":1271560,"id":"Q1271560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$D9A3FBD0-DB73-48CB-9E4F-2961A526EF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$CD79D56C-5D12-480D-8B82-B66F9FB6F32D","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":"Q1827397$C8300628-1763-4CB1-BDA5-E6757B79531C","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":"Q1827397$CD7A1D56-305F-4743-892D-D89FA4854A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46547e73c4384ee7abaa2b5b9f48db501cfa8b62","datavalue":{"value":{"entity-type":"item","numeric-id":1368381,"id":"Q1368381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$C032C71E-5344-428C-96AA-1AA5E69C48ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7909451299d6025f7fc9557521737c4bcb71a660","datavalue":{"value":{"entity-type":"item","numeric-id":4945245,"id":"Q4945245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827397$9B309062-B0F2-4D0D-BBE7-525889176F23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"320ad9ca074ce4ae600f214a0e3ead5424aa5c08","datavalue":{"value":"10.1016/J.TCS.2003.10.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827397$175C7A5F-6232-4AFB-99F6-AEB3DD9B5289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1827397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1827397"}}}}}