{"entities":{"Q5874211":{"pageid":7903762,"ns":120,"title":"Item:Q5874211","lastrevid":39654382,"modified":"2024-12-30T16:43:13Z","type":"item","id":"Q5874211","labels":{"en":{"language":"en","value":"Glueability of resource proof-structures: inverting the Taylor expansion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650837"}},"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":"Q5874211$7C7303AD-11CA-4B55-BEA4-CD2C9796219E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9608aba2f4aa655e79e6bc1c3fec5419868796fa","datavalue":{"value":{"entity-type":"item","numeric-id":2093144,"id":"Q2093144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874211$F5357408-BAFE-47DD-A48F-38CA6344E8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ea3643994e89a7a13ea28d5b4222395a72c7ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2303596,"id":"Q2303596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874211$A0DB973F-0BC4-40DC-B57F-1C822E2FC891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"020d242c78d9f02f141d71363d09a98e189894f1","datavalue":{"value":{"entity-type":"item","numeric-id":5874210,"id":"Q5874210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5874211$B2562696-0B01-4A32-A090-D8C1D91DF789","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1cf2c00ad9755e29029658ecb4f6eb01aba3c5f5","datavalue":{"value":{"time":"+2023-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5874211$8D2B1CF9-873E-4859-90BF-B2725ECC2C65","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874211$A59061B4-7027-42C5-A0D6-5D1C256C3EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874211$FADC832B-F54B-4CE7-B71B-ACE5936E5BB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a2bebeb453fbe3355588c9f4b77fe0f834d7661","datavalue":{"value":"7650837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874211$AC8B6299-2F90-47F3-8341-2D32F427A77A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874211$94FF941C-5B80-4009-BA58-7B9A9372C5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"116c849df5352d47ba67bcc2e3bceec8b5fae443","datavalue":{"value":"Taylor expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874211$435EA8FD-1ADA-4443-892F-3A10AE4E78BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874211$E7A422A0-8A65-471F-87AF-641C7F7054F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5be73e71e13466ccce6dc6527b4ba098213ee5","datavalue":{"value":"natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5874211$6C64812D-E087-4AD4-8D9F-FC6245410944","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":"Q5874211$71B2B02E-5F97-4C36-AC4C-4673949955B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"466617f809bbe245ad2d6130531d8e96a34177e5","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02957862","type":"string"},"datatype":"url"},"type":"statement","id":"Q5874211$1D582A1E-DB7F-4805-A4F4-10539BDC958B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1fcc77483427fd36bba7730a7f39af2d04290f4","datavalue":{"value":"W3003566228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874211$01C1892E-2287-442E-BBE9-F53B2BC78421","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2c9a621cb99c5ef4539edb5f213815360f22edb5","datavalue":{"value":{"text":"Glueability of resource proof-structures: inverting the Taylor expansion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5874211$98AC87E7-96BD-439F-9249-DC8DC629C701","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c32aaf0eb24d5d33f9fd1d3e4d83a7d6113808e","datavalue":{"value":"10.4230/LIPICS.CSL.2020.24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5874211$3E920868-EA27-4EAC-8D37-CC19A4112BB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5874211","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5874211"}}}}}