{"entities":{"Q3721785":{"pageid":5751691,"ns":120,"title":"Item:Q3721785","lastrevid":50692193,"modified":"2026-01-14T20:03:47Z","type":"item","id":"Q3721785","labels":{"en":{"language":"en","value":"A formal approach to undo operations in programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3951981"}},"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":"Q3721785$8676768F-47AA-407F-BA45-D4B4EF074ADA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"924cef31177c1b89f8e0dcfa97177c42f49e1310","datavalue":{"value":{"text":"A formal approach to undo operations in programming languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3721785$5C3D6441-6619-41A5-861F-B6915C0D530D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d72bc8b0896c334d1779295836266e8ed96d53b","datavalue":{"value":"0592.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$8C9705D9-CE22-4E9A-9BD5-04BBDEABD5CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b014beca8211c1229f2f3f91bc173c3b6d8a7fe5","datavalue":{"value":"10.1145/5001.5005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$9B28C880-3E14-47EE-89A3-B45BABAE76AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c7a7bb9f3769547f7c5bd09fb14ee58f36e6fd","datavalue":{"value":{"entity-type":"item","numeric-id":1215599,"id":"Q1215599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721785$370C6715-C589-4B2C-803A-3628D1B7B661","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721785$0ADBFF63-0CF0-4A2A-8F0A-261E368C6367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3721785$6285ED65-89B7-4D4D-BA84-93305B7E02EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1f257a68f7271491b752b7aebf6657ab56265b7","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/toplas/1986-8/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3721785$EEEDA8B1-6361-4D1D-B987-24F78B856110","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$7986FF92-C750-4896-AB9A-DF2E58892611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$3746B4B0-9650-4119-8AC5-9FCBE0510451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"345a35647419f817557a20d955c29964eec04b10","datavalue":{"value":"3951981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$46A182BE-9A32-4BE6-B1C7-DD8591FF84AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf2a1c0353f446c36521926f9325334ce164b0e","datavalue":{"value":"checkpoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$86E31629-5134-4079-8A55-D324E80789A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5e3c99ff9b7a6440793394c2837285ff5799e49","datavalue":{"value":"language constructs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$C86C1D54-086E-41E7-8CEB-ED2B2256B5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9dba2868fbb17af4d72f495b1cb3d719678442","datavalue":{"value":"preprocessors","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$3FE3DACC-8C61-40DB-86BA-90388EF7F8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa9a951c76b602a5e2c67bd47bcbf5dd74fa8072","datavalue":{"value":"reverse execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$ACEEB853-FD24-4401-A85D-27C95D516D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"344e3427810f6910bef531e5ee8d33faae3fcc33","datavalue":{"value":"Undo facility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$09C661E0-A70A-49E1-BB3B-7C9862CBA09E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$0AE9F1AF-4724-435E-A6B2-0A070AA84F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e6596d58d1b2368a8dc514510fc83890b54d82c","datavalue":{"value":"recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721785$A02D311A-888B-4C32-8F3E-693B0CD18BF5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"88894a1de1d08fb63b35d06e98820b90234fc300","datavalue":{"value":"Q60305009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$8A37F47C-E77F-4521-8272-5045FF740BB9","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":"Q3721785$ED254FE6-3722-42EB-8D28-2301655D0103","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"820cfacfcd6b2e390a92fa5abc7d8b6a7f926637","datavalue":{"value":"W1987371135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721785$353DFB6C-3C89-4968-84E0-0EBFE62326A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23af77a753533b6a2750c50deef17d6291dd70f8","datavalue":{"value":{"entity-type":"item","numeric-id":2730077,"id":"Q2730077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc761cc88240aeda2c5e318064675f6e934b9397","datavalue":{"value":{"amount":"+0.7364897727966309","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":"Q3721785$E84F1583-34D4-4072-86AC-593030C6D57D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcdc55800aec04574139305e98930fde857930a","datavalue":{"value":{"entity-type":"item","numeric-id":946576,"id":"Q946576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdaf0d11b872bbac6439b54617225e345f520ae6","datavalue":{"value":{"amount":"+0.6989831328392029","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":"Q3721785$AA6DBDBB-38E6-4B58-B730-87E6ED041850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42689605bab3dd3ab0b2865c2e093660d1604b83","datavalue":{"value":{"entity-type":"item","numeric-id":3453755,"id":"Q3453755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c3390d06c5fff2668fa281932ed1d4ed8ab42c","datavalue":{"value":{"amount":"+0.6906571388244629","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":"Q3721785$759AF8FE-2594-457B-9B13-B59D9B5F88F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671eb4a263abde37ca894fbd5a6551077d7b39f2","datavalue":{"value":{"entity-type":"item","numeric-id":3677140,"id":"Q3677140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13a404b3dae66e6510f9b2b95b984c76c64f5ed","datavalue":{"value":{"amount":"+0.6744483709335327","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":"Q3721785$1A1C243F-C13D-413A-B8FB-BC2E1D8327BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef9bb60ba80f7404ade69a8eb6988f8f0a42227","datavalue":{"value":{"entity-type":"item","numeric-id":3407347,"id":"Q3407347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"497efd2e058c32f67233bf86bfa87d5785a1eed6","datavalue":{"value":{"amount":"+0.6742585301399231","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":"Q3721785$23207187-3232-4892-9A28-D39ACD9C1AE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721785","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721785"}}}}}