{"entities":{"Q2097425":{"pageid":2108168,"ns":120,"title":"Item:Q2097425","lastrevid":43511660,"modified":"2025-07-30T09:17:43Z","type":"item","id":"Q2097425","labels":{"en":{"language":"en","value":"The \\(\\aleph \\)-calculus. A declarative model of reversible programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7615948"}},"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":"Q2097425$855108B6-942A-499A-9BFE-16A97721C71B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0030c91f1a24b075b3a77126bc9cd4457b6b151d","datavalue":{"value":{"text":"The \\(\\aleph \\)-calculus. A declarative model of reversible programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2097425$E37CD5CC-B22E-4F76-807A-35C4F6E6DBE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67ae25822d21d49c60293b3159d5e43ea83cfed5","datavalue":{"value":"10.1007/978-3-031-09005-9_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097425$7205F467-5146-4D8B-AFDE-9FFB1602F9FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26da3bbae89a884ae97b4678a7de9ff45543a752","datavalue":{"value":{"entity-type":"item","numeric-id":2097424,"id":"Q2097424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$41C4B0E1-0EA5-402E-BC79-F52B572FC00B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d427d6e8557b276fa99b93deca64aa11553957f3","datavalue":{"value":{"time":"+2022-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2097425$A73532D7-A615-4695-B650-1B82D3F85D8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4bc28d7343e000c36367cf55cced89e66f26720","datavalue":{"value":"https://arxiv.org/abs/2206.05957","type":"string"},"datatype":"url"},"type":"statement","id":"Q2097425$9B50E07B-E84D-40DF-88FA-2AB2514119DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097425$BB97BC56-1EE2-40F4-A2AB-495B4F7A6FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097425$2879685E-904F-4655-AE3B-240443A80E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097425$61997BFF-DF2E-4090-945A-67AB246766F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f602500bb7e774b45e31b64f4aafeae11018e18","datavalue":{"value":"7615948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097425$46644697-062A-4805-A890-1C9FF1215BE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54b681b4145c9fcdb8c1a25739bacb3d3866714f","datavalue":{"value":"reversible computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097425$309C710C-8303-43B7-BE67-01ECED338502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e62a60518465f7bb44a163681aecd44c7753e6","datavalue":{"value":"term-rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097425$D927B4DE-4958-4A35-9FD5-3F23B3D3E236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ce18390709b19ae4adacb84b516003ac14b2bcd","datavalue":{"value":"declarative paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2097425$E95D0C45-04C9-4532-BC53-F887EE8A4CA0","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":"Q2097425$0F7936B0-FD53-43E5-BC63-266D2117CD7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43bf90e3ebc62adbf177b62fe2d15ee9c7f13622","datavalue":{"value":"W4293209970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2097425$79D57387-533A-4E76-97C3-CD9AEFAF4D4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e8f1d3251dc697a715b119d84609f1fde60d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2581367,"id":"Q2581367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$12B311C9-0EC0-44E5-8B21-327DC15345EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1366bd2322a8359118d05135af2e7062ee0ec3e","datavalue":{"value":{"entity-type":"item","numeric-id":5684240,"id":"Q5684240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$F84A1C32-4E4F-49F9-93B3-3B73DD6E6E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8082a0d69a71871ad1ccdc0c78230d77ca7baaa","datavalue":{"value":{"entity-type":"item","numeric-id":5482262,"id":"Q5482262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$ABD11FD2-A481-468E-89D6-5A28FCA4C276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"777e366373def7f6edc9f3ddf86fcbf52f35a478","datavalue":{"value":{"entity-type":"item","numeric-id":1705573,"id":"Q1705573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$8A19E635-288B-4292-91C5-B43B9685047E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$D3DE6861-8670-46FD-B179-51B9817A8145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dab39ef10951cbb1dcd869d43e48310b0bde6b93","datavalue":{"value":{"entity-type":"item","numeric-id":5369493,"id":"Q5369493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2097425$BC593A8F-63A8-4B6C-8045-754A74AEB852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2097425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2097425"}}}}}