{"entities":{"Q1796364":{"pageid":1807106,"ns":120,"title":"Item:Q1796364","lastrevid":71268336,"modified":"2026-04-13T21:05:22Z","type":"item","id":"Q1796364","labels":{"en":{"language":"en","value":"From reversible semantics to reversible debugging"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6957254"}},"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":"Q1796364$EE302D90-CA6A-4A0F-A03E-69629A17A2C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbba59a1cf7d808925468ebe5100428822d723f5","datavalue":{"value":{"text":"From reversible semantics to reversible debugging","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1796364$614C00E3-72F0-4653-9D71-2738B4EFE7B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa00324db1222dc2ca60c59afaf3d3c4f67dd2af","datavalue":{"value":"10.1007/978-3-319-99498-7_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$BB005C2A-1564-40D4-AEE3-EB1F2A7B9063","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":"Q1796364$85FA8C58-2A69-436E-9E9A-BC6DF43202BE","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":"Q1796364$3DE44017-9D44-42DF-B49E-C30C9B7C73D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eded74507ed49bfd7d382723132b7ce16b3e67e8","datavalue":{"value":"https://hal.inria.fr/hal-01912920/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1796364$AE21AD96-D34E-4AAF-8CDA-1F4D890A5BA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$B77CBA5F-D5D1-456D-95EA-CE7FE03B38EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$CA4AACE2-3CA7-4148-9F1D-1DD94BB6F345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7af17f227fda8daecc6b4cd26e5d774fa965085f","datavalue":{"value":"81P68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$3CBE099C-4583-47FD-BF81-447A91E62347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$D7E685B2-D5DB-4148-8860-E7D989007141","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03b30fd8f9b43fad8574ffd7a8f2389148fe7e7c","datavalue":{"value":"6957254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$9041F121-252C-4130-8795-1866928A6BA0","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":"Q1796364$45BAC0B4-1253-4CE1-A413-8B847BF114C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9380b114baa90876b063766618fa29c6cd99b192","datavalue":{"value":"W4289547752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1796364$FE5CBF86-D12E-4A5D-B403-576691693D60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7647a12420b7a552fe1c8753f10b9a6203dc1628","datavalue":{"value":{"entity-type":"item","numeric-id":2409740,"id":"Q2409740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c36ecd48c32b4724208885f81e18ce57050784","datavalue":{"value":{"amount":"+0.8243715763092041","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":"Q1796364$B00C5304-9693-482F-A864-03B6E2381074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0178430a1a27382f3ea7beaf3c6f06ca9683dd","datavalue":{"value":{"entity-type":"item","numeric-id":2165209,"id":"Q2165209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"844e559e9ab581d0a36845482866e86dc4196882","datavalue":{"value":{"amount":"+0.8119046688079834","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":"Q1796364$9D02E10B-CBF0-4629-895B-42625C7C3AA2","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":"9db5cd5afc26bd6c56773549d0c83c8a8436507c","datavalue":{"value":{"amount":"+0.8050796985626221","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":"Q1796364$C40D629B-9C28-4252-8A2D-7FA067498DA4","rank":"normal"},{"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":"f17b1bc62839492bec1ef637fba0163bd54d1fee","datavalue":{"value":{"amount":"+0.7829990983009338","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":"Q1796364$CEA4D881-5323-4D32-ACD8-BAA01039F72A","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":"887283ea429f9104b5fff599629a0d31e410f1a5","datavalue":{"value":{"amount":"+0.7791759371757507","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":"Q1796364$8B337158-838C-4DAE-8E9B-612D415E9DCA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From reversible semantics to reversible debugging","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_reversible_semantics_to_reversible_debugging"}}}}}