{"entities":{"Q2039895":{"pageid":2050637,"ns":120,"title":"Item:Q2039895","lastrevid":72486375,"modified":"2026-04-14T05:15:00Z","type":"item","id":"Q2039895","labels":{"en":{"language":"en","value":"Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368052"}},"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":"Q2039895$C7DF72A3-D734-4ED1-8A8C-B2FE8614D800","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2f0e90829fcdbde1933f0771874cdb19492acb8","datavalue":{"value":{"text":"Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039895$883D7CE9-16DE-401C-BDE3-E0FCFBF3B8E9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06fd8f0d02ff18d1ab6a3bc34c973d5d00c4efdb","datavalue":{"value":"10.1007/978-3-030-52482-1_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039895$787AC80F-62D5-48D2-BAFE-A7D092114021","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c782a5678da78c5ef286d490f2ed961e9cb3d629","datavalue":{"value":{"entity-type":"item","numeric-id":2039894,"id":"Q2039894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039895$3ACFB18F-5CE7-498C-A0C8-F7FB62F5450E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039895$3E7EC1FB-71BB-4A24-8EF5-FD7959603935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdedd14f542819f3e703a4797215dd716a1cd763","datavalue":{"value":{"entity-type":"item","numeric-id":468583,"id":"Q468583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039895$B2D70CFB-132A-4A9B-A42D-C7DD1F81B51A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86486849d03cdb8621ac571bf3978b52d8c04f48","datavalue":{"value":{"time":"+2021-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2039895$03AC4BAF-9582-4628-936A-F2C4FD9958E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039895$F4886E35-1F20-4374-88F1-069EF9FDC1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039895$B1444F17-626C-4F6B-A00E-9D8E6AB31EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039895$2A4415D2-A18A-4EB7-91F6-2D938C59CABC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cb0f840371492015d8461eaa1fff8a3a137a0af","datavalue":{"value":"7368052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039895$456FCE04-B195-451B-955E-155596E1BAA7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039895$CCC21488-7008-46DB-AC76-F15AA293B620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039895$76B67A94-3148-42F5-AE2D-DAFA4C6AC781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8bb9975f067b7390b0e0da2b58cfc56c6d93bc2","datavalue":{"value":"curry-Howard","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039895$2981293C-5C7B-43DE-8EEE-F45123817E93","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":"Q2039895$24FE9F6C-3641-43C3-9FD2-7458351F8428","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0858a2d0d3ce0cdac08d3c00cadd635e4655d3df","datavalue":{"value":"https://doi.org/10.1007/978-3-030-52482-1_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039895$1CE40DF9-F8D6-473A-AD2F-20FAC0F3B6B9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cf79fa447eafc112ff7c861cbce75406c57bc12","datavalue":{"value":"W3041363900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039895$B58C07E8-7161-45FB-9256-376CCE663535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Toward a curry-Howard equivalence for linear, reversible computation. Work-in-progress","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Toward_a_curry-Howard_equivalence_for_linear,_reversible_computation._Work-in-progress"}}}}}