{"entities":{"Q2200840":{"pageid":2211583,"ns":120,"title":"Item:Q2200840","lastrevid":57685596,"modified":"2026-03-31T22:02:52Z","type":"item","id":"Q2200840","labels":{"en":{"language":"en","value":"An axiomatic approach to reversible computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250951"}},"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":"Q2200840$E5F451BA-AC44-4507-A98D-0B9DF29F546D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bf220011ef21a34a93a1f9a17e52c52ef062ec79","datavalue":{"value":{"text":"An axiomatic approach to reversible computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200840$45CE0144-7803-4224-A035-BBC57F0FD716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3380f9848f0355f463c06146a623c49c1665afc4","datavalue":{"value":"10.1007/978-3-030-45231-5_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200840$5496D734-CF7C-4F83-853B-D7958C30F2DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$7C8D5871-E312-45C0-B359-E47FAD7BB0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$F7D6B05F-AF51-49AD-9A06-5C30F0EBA862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fbddf08e8bb755ad124129fba5bb3db28e89060","datavalue":{"value":{"entity-type":"item","numeric-id":890615,"id":"Q890615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$521FC5AD-03A5-48E9-92B1-5611CA19BFB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200840$B21CB56C-A751-4559-BFA5-7DE2F6B325E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200840$2AC3B521-332A-4632-80C9-71FE714148CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200840$1D5572D2-C538-45DF-95D4-A6D4B35E4E12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d99bf457d00a054462a90b55ed389b68e52bcef9","datavalue":{"value":"7250951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200840$17E1312D-7A8B-4D32-AADC-1B7F2E3ED6C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8035d3b6d7d9a37791aa6f0d7914506938dbd83f","datavalue":{"value":"reversible computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200840$648391BC-548A-49CF-9A6A-EE05DBF0244C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e957ae6b9701bd9902f1c3b2d7df0625b85f8e1","datavalue":{"value":"labelled transition system with independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200840$D4858185-9CE7-4CA2-B007-131AE086CAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa6a3856a9502691d528818620724ed5f5d1d507","datavalue":{"value":"causal safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200840$82E34740-3FC3-41CE-82E3-64448EC67CED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b22448afda4e4daa97cd2d6cd2a1e11b08e674a","datavalue":{"value":"causal liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2200840$3DD12C16-6D3A-4EF1-86B0-AF1EB0121FF0","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":"Q2200840$9EF90BAF-E886-498B-9A4A-4F0F32BE1ED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"beca8d4a889b103068b0d294076119037551e79b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45231-5_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200840$AB55E7B8-16DA-45C0-B19C-30237244E249","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"218c9c762af5c9588da89a78acc224df7e704b6a","datavalue":{"value":"W3016916883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200840$1F0CDEBA-ADB8-4FA3-9C35-D417E5EAD48A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd854184476b02b49ec7394a371f14b4de83847","datavalue":{"value":{"entity-type":"item","numeric-id":3186587,"id":"Q3186587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$7E4C62FE-DAF5-487F-90ED-0750D99440E0","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":"Q2200840$3E92E364-D0EA-4647-9224-C93F291A52C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf4c8ba449b23aff2db6449e0cf6745b29f5f10c","datavalue":{"value":{"entity-type":"item","numeric-id":5216332,"id":"Q5216332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$21D0A9F2-952D-4BFE-9144-BA0FF4B47E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$F0A47793-C95B-4FBC-9065-3B7941DB9630","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":"Q2200840$23CB7342-4AF8-4FB8-AF91-66F9BE527FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f91d8d3ec3b030f52ccf9e125c5e2b260eeeec18","datavalue":{"value":{"entity-type":"item","numeric-id":5897497,"id":"Q5897497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$6EFE6E04-2A94-4815-A4D0-2F7CBA8CB3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"672334a78e6ba3872670873eaab5c6b9b65ed764","datavalue":{"value":{"entity-type":"item","numeric-id":2866345,"id":"Q2866345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$6677DAFC-A559-4176-81F5-5AD1DA9BF7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87daf01ebe20a1763fa4b3b128cd1e0b0400e64c","datavalue":{"value":{"entity-type":"item","numeric-id":516034,"id":"Q516034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$E1352149-1FA0-4B80-8A9E-CE1642263337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$D8442FB3-7119-4D68-95F7-EAA97A1C62F7","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":"Q2200840$4D4F32A1-DD0F-40ED-BB3A-F0F76FEACB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601dde63f14f6902ce8587d228bf28a238e85b26","datavalue":{"value":{"entity-type":"item","numeric-id":2200840,"id":"Q2200840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$C032F276-B83A-4B59-82BC-1FCE1B531F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46c45d830275a4a379c3d68f31c25ab39d3810a9","datavalue":{"value":{"entity-type":"item","numeric-id":3090837,"id":"Q3090837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$E45C8B26-64CA-4D85-982B-FDDC27C8271A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$A7475126-10FE-4F79-9795-1921F209F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17081fe095c590c589b563d405453c57531fa930","datavalue":{"value":{"entity-type":"item","numeric-id":4967172,"id":"Q4967172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$EA6E6ED7-40AA-4108-B889-E72C369EEB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6c670858c666964a1760602fe084699e2f1b79","datavalue":{"value":{"entity-type":"item","numeric-id":1785852,"id":"Q1785852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$A5688A4B-35B0-4B2C-A39A-B01F1A7429EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aaa05c5a1230a87b78bc7a7e877f11588855b5","datavalue":{"value":{"entity-type":"item","numeric-id":5129948,"id":"Q5129948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$4AF90A19-9705-45E3-9E1A-85F69329EEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4a66f6af01f8ef65e9926b33b3c3e33db40185c","datavalue":{"value":{"entity-type":"item","numeric-id":1796367,"id":"Q1796367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$7F33CB08-BB96-424A-9D28-6D2231F453D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bcf248d456c61a3425e176dcb6add098f14a24","datavalue":{"value":{"entity-type":"item","numeric-id":5899092,"id":"Q5899092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$B9E89671-4B1B-4BB6-B4C1-15245122D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97937b6fbcb19180a54e27203f6c8574e53be171","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$3A2063DB-2966-47F0-8148-0DB08367CAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$1CE6481F-AB5F-4028-9162-FED275C6A179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716489887c5a7ddcbc2ae337ada864435937348a","datavalue":{"value":{"entity-type":"item","numeric-id":890616,"id":"Q890616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$A6B880E3-FEF3-45F3-B979-8B9805D3ECEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9279fde6cedd26e18c6ba55d77f0b20c96098f","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$BDB349D4-7223-46B9-88DB-F9724939014D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b397bbef5c0c69635d6569bdf42b2fdfcc7de066","datavalue":{"value":{"entity-type":"item","numeric-id":3763607,"id":"Q3763607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$8473BBBF-EACA-4B67-8C1B-C10110003016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d84ab531c3bc2862c6ced5b5fd25b1290def30","datavalue":{"value":{"entity-type":"item","numeric-id":672053,"id":"Q672053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$BBD517DB-6C1B-4E2D-84C0-7071B3C5BB84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a884498feb8d30ddc0635f3ade16b2f481a13d","datavalue":{"value":{"entity-type":"item","numeric-id":5216332,"id":"Q5216332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b884e6deea3820f330477f8ed951a4aa21fe341","datavalue":{"value":{"amount":"+0.8028852939605713","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":"Q2200840$5ECE5123-F368-40DE-AD9A-F7A542FCE263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b10bb7f61ff7b5ea083da9538e4bbce182d96a","datavalue":{"value":{"entity-type":"item","numeric-id":4967172,"id":"Q4967172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721444f2485c842aa6770d6d6c16c82d033cc617","datavalue":{"value":{"amount":"+0.7995371222496033","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":"Q2200840$2C8F656B-0C42-4459-B174-5286C8C0175A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3e32ba8ed4765363c44ad85dd0faab900af3eb","datavalue":{"value":{"entity-type":"item","numeric-id":1796364,"id":"Q1796364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85116257c85a2a76e61a67c1790113ac0f08dbcc","datavalue":{"value":{"amount":"+0.7992237210273743","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":"Q2200840$CB530423-6628-45D2-BA3B-C67C31C08D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ab27a003de382101d1343898f83a1b00edcd50c","datavalue":{"value":{"entity-type":"item","numeric-id":3188912,"id":"Q3188912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd5b918bd01ce7d6c8c4a491f0497d1318b0272","datavalue":{"value":{"amount":"+0.7886308431625366","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":"Q2200840$56E83392-E9DC-4F0E-9E24-E9E88A071252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526501ecbf2aa64d88bf8cfa818895da8bbbe862","datavalue":{"value":{"entity-type":"item","numeric-id":6536425,"id":"Q6536425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88c5ce4f544a232ce8eba79ea982445ea1516c4e","datavalue":{"value":{"amount":"+0.769442617893219","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":"Q2200840$90B400CC-83F3-44C6-97EE-7D5FA2426D4B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200840$EC59F653-781C-40EC-B566-DF685EBEC851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2200840","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2200840"}}}}}