{"entities":{"Q2039893":{"pageid":2050635,"ns":120,"title":"Item:Q2039893","lastrevid":43486633,"modified":"2025-07-29T08:09:44Z","type":"item","id":"Q2039893","labels":{"en":{"language":"en","value":"On the expressivity of total reversible programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7368051"}},"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":"Q2039893$8EB2C6BA-9ED2-4FDA-B9F3-3EBE51EE17CA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"205b1bdd2696958da7020db5c884bc5e445a54c4","datavalue":{"value":{"text":"On the expressivity of total reversible programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2039893$2B0C73D0-A22B-4E0D-847C-D941A915D0AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0378587bdb7b3a469bb4ac4c29b2685ea42ac098","datavalue":{"value":"10.1007/978-3-030-52482-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039893$B1BF9218-D1E8-4D80-B649-4E399B27C70D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b19a04396523e6fbffe9528c9ee31ce3e8270","datavalue":{"value":{"entity-type":"item","numeric-id":1342237,"id":"Q1342237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039893$A54D679F-73D9-40DE-AFBB-F23AC93F3913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f1fea3173fc5baef1bc16b9ceb99d57b30e613d","datavalue":{"value":{"entity-type":"item","numeric-id":534699,"id":"Q534699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039893$B3C87249-A2D3-4E77-AA99-689C2D2793D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fe2e34ceb1a5a0fc819d5b27ac5700ee0e0306","datavalue":{"value":{"entity-type":"item","numeric-id":737108,"id":"Q737108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2039893$A81395EB-033A-4729-A0CA-4CD184B071D7","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":"Q2039893$8AE9124D-7064-44E0-B78C-B44AD52E57D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039893$98DADED1-714A-4D56-8094-66EF7A353867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039893$FF2CCE1A-8831-417C-A5EF-B094C1183AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039893$EEA5AAC2-9BC8-487B-8960-50483A4DD356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"906a17c43102ac98fac90f3bcef293b062cf742b","datavalue":{"value":"7368051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039893$4D302110-9B87-4A18-A99C-5A6E1139FC2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce22cb7b24da7e42204216e557fef42f098ee448","datavalue":{"value":"reversible programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039893$D23E66E6-DA47-4C38-8E41-D9156ABAA0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c38a0c42e0c517c2c4818bcce3b04701ba8acf6d","datavalue":{"value":"imperative programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039893$4B09E0D4-57C1-4FA0-8FAE-84E13DDE845D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039893$C1140EE1-E61F-49BC-A256-2777571B919A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2039893$78B6A8BC-7ED3-44B6-8392-5DE29B8EFECC","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":"Q2039893$81CC754C-AE57-4324-8AE9-B3498670F7D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7fff7741c9c3220b0b039f42cac320632220290","datavalue":{"value":"https://doi.org/10.1007/978-3-030-52482-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2039893$3CDDA244-4E39-413E-96A3-89238DAB552B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c10c40aeca3a229afaeecc8f7b20298deb5c7095","datavalue":{"value":"W3041031395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2039893$151075E5-7226-4D6B-920B-4E93E7C834A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2039893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2039893"}}}}}