{"entities":{"Q1796398":{"pageid":1807140,"ns":120,"title":"Item:Q1796398","lastrevid":43333183,"modified":"2025-07-24T20:08:36Z","type":"item","id":"Q1796398","labels":{"en":{"language":"en","value":"\\(\\mathsf{CoreFun}\\): a typed functional reversible core language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957273"}},"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":"Q1796398$51FE4AB0-5FEB-431A-BDE5-C9E48A5F0448","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1670e31a8c1f8045b16c66d66f75e0946b74a99c","datavalue":{"value":{"text":"\\(\\mathsf{CoreFun}\\): a typed functional reversible core language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1796398$D71E38A7-2AE0-4211-9463-55CF8051C837","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee5f4dbf8725dd2e19fe6654a56d03edb97180f9","datavalue":{"value":"10.1007/978-3-319-99498-7_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$F4383B1C-1D89-4448-A5B1-5020FC52E004","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d89d137407e5cb63611fa2abc3df9ddaa6245b9a","datavalue":{"value":{"entity-type":"item","numeric-id":1796396,"id":"Q1796396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1796398$510D1E86-F10A-4A6B-B19E-F7499072C52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ddd19080782ef3d0653cf21ee6fa204019c2ac5","datavalue":{"value":{"entity-type":"item","numeric-id":511930,"id":"Q511930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1796398$056BBC90-32B8-408F-9A6B-9BCB7489F90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abe10ccafd65bde5824d97d66d1d6323e95f643f","datavalue":{"value":{"entity-type":"item","numeric-id":1796397,"id":"Q1796397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1796398$35FB2488-212F-456B-B9B9-7F95A160B91E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75cec9fc4e4e354c07eabdf88b7115a614a2eed2","datavalue":{"value":{"time":"+2018-10-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1796398$C33B3DF4-10BA-4A2A-972E-E39027017E40","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$77B7CC68-3DAA-48EF-AF97-669B71C1CF4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$E470BDF7-C9DD-4D94-B200-E742C3E7CA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$CBB25A9B-B6E4-402D-B5CA-3B7F782C4C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$C748FB74-FB71-4179-BB58-9210335DA846","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb9a48e4541cfdf12b9b58b5a49775d6647af4e9","datavalue":{"value":"6957273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$B7D41051-9735-4EFC-BEC2-4255275D9D04","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1796398$94063617-05FE-480F-9575-0468403A572A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1796398$7A64A605-3BEA-459B-9C3C-B4326D1DCFB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1796398$8387A27E-9A40-417A-A046-6D08CF4C780A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1796398$7B0BB152-300C-41DC-B7EB-BC823261E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1796398$B6A06FA1-74E5-4AA9-B4C5-20E78145D291","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":"Q1796398$AB1C9795-6609-4F38-B6D8-2545AFBD4F70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56205386b13d5edad55b3e48ef98e7fc61209453","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99498-7_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q1796398$63A93407-0066-4F6F-9932-94AFA5B8E75A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fa2a385ecc433aeb09db290db55e3f2479fb0b0","datavalue":{"value":"W2888402443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796398$E0BD6A59-8360-470F-A405-A4A1E1B41209","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae5599abd4d81c423e3b687b2e22cdbf617b2fd0","datavalue":{"value":{"entity-type":"item","numeric-id":2902497,"id":"Q2902497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8aca4a71a814df68112b19cd80918ef2346418","datavalue":{"value":{"amount":"+0.90185815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$38074380-F073-4D6D-87B6-171343787686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e13c7fd1d7cd89f1cb7dfee84fd9ff792eb845","datavalue":{"value":{"entity-type":"item","numeric-id":2097425,"id":"Q2097425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19d50e3835f7bb6a27660844ca6864025801432b","datavalue":{"value":{"amount":"+0.84416085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$21669ED8-06C9-480A-9091-1953D423E0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcf2ebb3d6bb1ac84f0902a9bdba8790d22e2a68","datavalue":{"value":{"entity-type":"item","numeric-id":5710410,"id":"Q5710410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bccf4ebe8c135fe336ee9c7211a0ec171ad1b2a","datavalue":{"value":{"amount":"+0.8437476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$80E153D4-6A91-4923-B03F-03A76007266E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ebaa8fbadf23d5e8b61fb71727d5de0cae6b56","datavalue":{"value":{"entity-type":"item","numeric-id":4589614,"id":"Q4589614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53edc6c7590c8870dc9f1a2e24c738398f56db2","datavalue":{"value":{"amount":"+0.84367573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$CB575ADD-22A6-4F90-981F-BE026E2C720C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a029d5b44105fea51e31e18b147c028c3f618a4","datavalue":{"value":{"entity-type":"item","numeric-id":2830051,"id":"Q2830051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38e491c932c95bcfde4768eb6f52e2c3cb09c000","datavalue":{"value":{"amount":"+0.8407747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$3A0F701F-9B3C-4B9B-8A85-1046B3950658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607e7cfd5886a9a44558e89afc8664ff1f3e2b2a","datavalue":{"value":{"entity-type":"item","numeric-id":3754604,"id":"Q3754604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8f885b76035d17edf6ca0594e3e608c96d1fd80","datavalue":{"value":{"amount":"+0.83842194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$02911D3A-C2D2-4D7D-90E5-575C784DDD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15973f74a9f413bdbfe35cc919db6b4454e8d290","datavalue":{"value":{"entity-type":"item","numeric-id":4602236,"id":"Q4602236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e05451c2c09658c87bd047b98aa18146c1364f","datavalue":{"value":{"amount":"+0.83701366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$F5B3474B-D21B-4917-AD41-362A72FD3DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b92ce198fc9fb1d93fa53b08ee168f55fa80426","datavalue":{"value":{"entity-type":"item","numeric-id":5313091,"id":"Q5313091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d55c085753e432d39ced984ae71343d4db9de10","datavalue":{"value":{"amount":"+0.8369441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$85599375-94BE-4368-B3BE-E4804F70AF76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ee2d65eb2a595630ded28a2527b358f4eca66a","datavalue":{"value":{"entity-type":"item","numeric-id":1314352,"id":"Q1314352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d4a86dd1c71e8a34804f7246301d217eb0c832","datavalue":{"value":{"amount":"+0.83506984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$9A81A432-B771-4DA9-B935-C2EA62F6ACE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d81de03220a31091d72c7d8e2dec90302ecb0fc1","datavalue":{"value":{"entity-type":"item","numeric-id":2130590,"id":"Q2130590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c061ff571ebe39c0d96c31d61e2b46c547f49593","datavalue":{"value":{"amount":"+0.8348165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1796398$E4F91FCC-C5A2-4EF7-9DC2-399FD6915DA5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1796398","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1796398"}}}}}