{"entities":{"Q2130579":{"pageid":2141322,"ns":120,"title":"Item:Q2130579","lastrevid":55406575,"modified":"2026-02-17T15:42:35Z","type":"item","id":"Q2130579","labels":{"en":{"language":"en","value":"From reversible programs to univalent universes and back"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7513452"}},"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":"Q2130579$E3D4D616-7740-4AFE-92A2-D37D69CB0379","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c270802e88d70ea8c4f764984d79db644184e1ea","datavalue":{"value":{"text":"From reversible programs to univalent universes and back","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2130579$EECFCAD3-D7F0-4501-BC77-9A1833D63E0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24a39cd6203830ba7256d1741173f3d6696f619a","datavalue":{"value":{"entity-type":"item","numeric-id":532397,"id":"Q532397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$B9AA7E1B-C8A2-4C4C-9622-4C20A7900C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8e58342aa2f3cba4fe6059310a5c4543fe2db3","datavalue":{"value":{"entity-type":"item","numeric-id":2039897,"id":"Q2039897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$505ACE0B-662D-4CC6-90EB-21CA517A18FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54188c6aa6a529fc48053ae4a79285bffeae0bc","datavalue":{"value":{"entity-type":"item","numeric-id":2039898,"id":"Q2039898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$598055B2-B54D-44BB-944E-57F0061EB2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c668deb62e077980cf78aeccb37d7ac08f3f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":968363,"id":"Q968363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$649700A2-4415-4D1E-930F-79DCC2AF5DD7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90c0720e1a62b0a0cc9fb728fce3a94226dbe7a2","datavalue":{"value":{"time":"+2022-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2130579$71F95F73-E479-4A0F-987B-B0EEFA08E6BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e873799b88f23cf89570bc16937a0faab7d6754","datavalue":{"value":"https://arxiv.org/abs/1708.02710","type":"string"},"datatype":"url"},"type":"statement","id":"Q2130579$0257E7DB-9762-45F0-AFD8-27E7D9C6C9CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130579$662654A4-5C35-41F6-8AB7-4E4742B85D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130579$FF28F799-F587-4A9C-86DE-50CCBC76D87B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25e5641b049e2edfb21014ce4200830e9826018c","datavalue":{"value":"7513452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130579$72C00271-DF42-42EE-91D2-ACB950E10A37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b291e1ca00defb2ba632134e60d8b569bf59330","datavalue":{"value":"reversible programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130579$38885379-FA51-454A-8BC3-C2E2016B0969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93e7c98967c6c39084612597fb5aec470a7581a1","datavalue":{"value":"unilance","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130579$BB7F3E3C-133A-40C0-B12C-117F81CED298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb0249487b7eb1ecf24cddb1d300f9fa92e8fe1d","datavalue":{"value":"Agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q2130579$41CCB36E-6844-4F18-80A3-BC10908CFA93","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":"Q2130579$E1163B70-0195-41EE-AFB1-74A530C1A4D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"796f226d6ef76713368a5d4ac1980e342ea76c44","datavalue":{"value":"W2743032101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130579$FBE4C78E-D79D-4EE8-BDA5-8BC6EC91BF33","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cd0f3064b8148063f58ba456405492cefb6f291d","datavalue":{"value":"Q113317567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130579$0E5FDC61-2558-42C6-ABCE-AE766A8E0D7A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7422cad8d4050c02afacd58927c0fd6b65fb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5395553,"id":"Q5395553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$E8812D28-3B93-425D-962C-9A70B7479544","rank":"normal"},{"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":"Q2130579$75E8E330-A812-435E-969E-92945D522062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e91b130b880c298387a9afe9371507d6ecb29cf5","datavalue":{"value":{"entity-type":"item","numeric-id":5144693,"id":"Q5144693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$79EB266D-EF28-483F-A995-94C9FADBF87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"620ad48d08e5fbc4b155a6fafb67e393da6869ef","datavalue":{"value":{"entity-type":"item","numeric-id":2802473,"id":"Q2802473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$2437C655-011D-4564-A78B-5D37F73F1AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$2AFD8EBB-BF14-4B82-A338-5C7E73E3DA8C","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":"Q2130579$40B194D4-9917-4A42-9440-F1362BD96146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6754391c9dc579f404772022aba1e12d6e49f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1170163,"id":"Q1170163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$17F1678B-9612-4D32-83E0-260F751F813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c9f2c5cb5616249a826553ca095837695848696","datavalue":{"value":{"entity-type":"item","numeric-id":3024908,"id":"Q3024908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$7A11884C-709A-4D9A-A701-10318E32554E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5b56c055dad75a612b1f99ba11f2ca68252aec","datavalue":{"value":{"entity-type":"item","numeric-id":4509474,"id":"Q4509474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$F65F8ECA-5A7A-410B-BCC3-15E65222B5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b5d528d17d30a2f1f0f74a852299e22ce24675c","datavalue":{"value":{"entity-type":"item","numeric-id":2942859,"id":"Q2942859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$AF3F6133-4C5B-468A-935C-3814548CEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7f5a2b7d02ee7831dc14caaf2be7f86f6302b68","datavalue":{"value":{"entity-type":"item","numeric-id":3453735,"id":"Q3453735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$B0910443-99F9-4BF3-8359-55CE787E0D71","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":"Q2130579$5113CC28-624F-4CB8-9CE0-B7EF80F787A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f985e5e7c8a7887023cac4b87587be4a01f9a98","datavalue":{"value":{"entity-type":"item","numeric-id":4635794,"id":"Q4635794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$88B74D7C-A686-4BA4-8D60-B3BBEC054385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"868c7510c9b056b25295e0eeecc1ca21781617ed","datavalue":{"value":{"entity-type":"item","numeric-id":5313091,"id":"Q5313091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$725F082D-E2AE-47AD-93C4-5D14B74B57EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$193C7C49-3388-43C6-B600-8C8F0C0363CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e765defd67c38104ae6ea2d9349d44fca9f333ba","datavalue":{"value":{"entity-type":"item","numeric-id":3886867,"id":"Q3886867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$DFCB3F99-6598-4079-BEE4-5224D91C9EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a53aa878a0e3d2d54f529465218e08501ed64c9","datavalue":{"value":{"entity-type":"item","numeric-id":4651508,"id":"Q4651508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2130579$AB83A28C-86DF-4C61-A374-E4B456E3FDFF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2cfa27fa137db913a0f432314e50b477cb83369b","datavalue":{"value":"10.1016/J.ENTCS.2018.03.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2130579$86469EF2-1D79-42B2-B28A-5F89E86AB4A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6039f6013d22a9ef530a58f6243c93cacf386b22","datavalue":{"value":{"entity-type":"item","numeric-id":5412272,"id":"Q5412272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ead521e50670cf962d0bd76cbb6ac8b52fbe54","datavalue":{"value":{"amount":"+0.7290337085723877","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2130579$E3AB5CD1-20DB-4A1F-AA24-DC4A6407C126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7534f1f75ae3d3154e9dab273a40ac51a43bd815","datavalue":{"value":{"entity-type":"item","numeric-id":3100202,"id":"Q3100202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44ce2b900840da1c45832ab0637e326ca14f5fc7","datavalue":{"value":{"amount":"+0.7179415225982666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2130579$0012ABF5-253C-4941-A935-07A2BF98E260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ee28c935680583520f591a20d7c0f057ae42e5","datavalue":{"value":{"entity-type":"item","numeric-id":5370902,"id":"Q5370902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1ee06d67a00e83ca4affe18913c76f117d23c5","datavalue":{"value":{"amount":"+0.7178138494491577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2130579$616E4D4A-D058-44C3-912F-3999BC1B2390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d038ffb9ab5b3d1b342af38aca44463f3b4ffb2","datavalue":{"value":{"entity-type":"item","numeric-id":2802473,"id":"Q2802473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04a7a58c4793a20a6f17f8e0ec18207fbcb3d7ae","datavalue":{"value":{"amount":"+0.7086408734321594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2130579$A7A626AD-E735-4CED-938D-6E8B4DD96394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c583d83c0dde3f48c30b9294a438797118f984ee","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e1a165deeccb5a2c2ea0e0c45c4feddcf3866f","datavalue":{"value":{"amount":"+0.705576479434967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2130579$854EE74E-5C52-47D3-A67F-B953A32CC678","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2130579","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2130579"}}}}}