{"entities":{"Q759478":{"pageid":761327,"ns":120,"title":"Item:Q759478","lastrevid":64121181,"modified":"2026-04-11T17:46:57Z","type":"item","id":"Q759478","labels":{"en":{"language":"en","value":"Algebraic and operational semantics of specifications allowing exceptions and errors"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3881861"}},"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":"Q759478$79872964-D1BF-4911-A88B-48DEC2193A7A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9335440c48465a752b94afd83af2c2720f8fb7fe","datavalue":{"value":{"text":"Algebraic and operational semantics of specifications allowing exceptions and errors","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q759478$5B90C094-3354-4679-B507-0D80D46D33D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"568674a2f65d04dc0c8b53ab3fdf7b84e9200158","datavalue":{"value":"0553.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759478$DB083D5B-D62F-400C-A37B-975831553B7A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16bdaffd56ff87615a1e7570712f7d728ae598bc","datavalue":{"value":"10.1016/0304-3975(84)90056-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759478$D2DCD097-17C9-4DAF-9CD1-F06901E89A20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d3dec6aadce844ad9d80f0e82c1b793e84236b8","datavalue":{"value":{"entity-type":"item","numeric-id":759475,"id":"Q759475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$A103F9DB-E0F0-44EC-B89B-C163723C039B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e332e0a8c50da33de9aed3b5c72149985b0f0c32","datavalue":{"value":{"entity-type":"item","numeric-id":1315518,"id":"Q1315518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$11773DC1-1A47-4139-B9D0-9648D67157C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7ac892781478f70f1c8a7c718d3968755db59d","datavalue":{"value":{"entity-type":"item","numeric-id":915440,"id":"Q915440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$42F13548-33A6-40EB-AE1A-9D3850B2BD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbd8c7da17d66c54bce7bc84ca4e59a6cd43774","datavalue":{"value":{"entity-type":"item","numeric-id":1054462,"id":"Q1054462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$C2FB573A-20EA-4DE0-9CA4-E04099B98AB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$006C3888-EAEC-483F-8753-887CCE0C4D96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q759478$25833991-7B2F-4EA9-A870-CA4428158EC4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"15d6ac07ed513dca919e99d4cb8eee78428ef259","datavalue":{"value":"The specification of abstract data types requires the possibility to treat exceptions and errors. We present an approach allowing all forms of error handling: error introduction, error propagation and error recovery. The algebraic semantics of our method and a new correctness criterion are given. We also introduce an operational semantics of a subclass of our specifications which coincides with the algebraic semantics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$9C318A2C-8B33-42AF-8188-D3CFFC5C0102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759478$D3AD2B60-8BBD-4F0A-9565-4DBC8B93C2A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b85378d3bde48f29cc3c1c95ed1998c15b99063c","datavalue":{"value":"3881861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759478$9F825C4B-63CD-4CE1-8D38-0843C5347F41","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09437beaacdcdb400ac92a0d4ffce4092d4c8632","datavalue":{"value":"correctness of specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$6D0D5D73-0619-4D1A-A87C-50D8109F7131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29548949d2860d1136e2bd2f28d05322efa761c","datavalue":{"value":"specification of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$C5229179-9845-45A2-B7EB-112FFD6D4E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9355ca65d4d5b17c1db14f90a3c1e9e156a64426","datavalue":{"value":"errors","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$494D521E-E591-4BEE-AD39-2E500039C740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71136dcdf3b574afa41ac45e76659510e76dc9de","datavalue":{"value":"error handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$82355425-9E0F-4F74-9BB2-1FE532E4C493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65410050e08a4a1737d6f244a1c3e6dcf18495ab","datavalue":{"value":"error introduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$D2C2AE00-9C5E-4E53-8BD4-AB33EC2F5BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08fef698c22c34878a6c569aaea8af7a59ac9c9","datavalue":{"value":"error propagation","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$A16C774D-CE1D-4395-8291-7031C53163F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10318e9bdeb4646a4b0ff052e4b1a1af510a2f67","datavalue":{"value":"error recovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$FE16C032-8AE1-42C1-B3EC-103EE05AD9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$7D824C0B-BB59-47F1-ACD9-1ECD83FEAC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ef6a6dbe3f6818e8885b9872ec6cd3307cfed8","datavalue":{"value":"correctness criterion","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$31827095-52E5-4240-AAB2-493FF65BDA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q759478$9630ABA1-1CCC-4B98-B4B1-97DDB6849256","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":"Q759478$A29351D2-FEBB-48D9-BA19-B67B43A14B65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"718498b5ae530506f6b872912364583608b3b8d1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90056-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q759478$ADB7D6C8-661A-451D-B9A3-A8DD84745418","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d2140b5afb274f7d1de83c9469cddd956e5539b","datavalue":{"value":"W2053259597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q759478$901E4230-D94A-4FC6-A9F0-65D8F7C6BD43","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$B1A058EA-9AB9-4E54-AFA4-E0CDCA9982A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8194b13a541abda7ec58134919c257e1707d2482","datavalue":{"value":{"entity-type":"item","numeric-id":1056226,"id":"Q1056226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$34FC1B78-7E65-477E-A59F-2C5E2C1641D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$99CF9D47-2083-40E1-83DB-1C51E7CE1D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$481D2E34-4937-4D95-BE24-A1DC6C544EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$E443C595-9E2D-49FE-BE07-D757DFCFAAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8533cf00ebc930b9b782e1fc7f8971f87db31c20","datavalue":{"value":{"entity-type":"item","numeric-id":5684229,"id":"Q5684229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$34180F42-D80B-4095-9D15-3D6A035EFB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18c31f2149a24128f0c1f2fac135e29b89346dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4190110,"id":"Q4190110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q759478$BC67602D-AFD6-49B7-9599-8B49633E235B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf0599939b6c2eb993a2c003d0da90c1aafa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3707380,"id":"Q3707380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0968487d1dd15184e2795868380d04798683ba6f","datavalue":{"value":{"amount":"+0.8851983547210693","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":"Q759478$15930388-2E61-4BE5-A2A5-7EBBF1AE686D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08154fea23cba2c20ab3176c39990c9841d7f51b","datavalue":{"value":{"entity-type":"item","numeric-id":1082804,"id":"Q1082804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103a2acbc5d4a07623df8362e63d09d0deb0d234","datavalue":{"value":{"amount":"+0.8669418692588806","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":"Q759478$964A577F-D8B8-4D28-BE3E-9B9E75406135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e278d8977b0517da1506446f760caa71df8e5a4","datavalue":{"value":{"entity-type":"item","numeric-id":3713576,"id":"Q3713576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"297512914cfa88dd0bff4b7de98e1c3bb756f11e","datavalue":{"value":{"amount":"+0.8604587912559509","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":"Q759478$54F6F369-945A-42CE-B298-0E5CB3710EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce6f7d14f0dde824b2946c21eb90b71ada2dbd3","datavalue":{"value":{"entity-type":"item","numeric-id":3216121,"id":"Q3216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80dc2085ea23fe9530dba4564641c11a5e6ec054","datavalue":{"value":{"amount":"+0.8478542566299438","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":"Q759478$B7587477-FB87-4424-A544-34725F829552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b09dbe533079883cea783ec5d0f44b9b6fa24142","datavalue":{"value":{"entity-type":"item","numeric-id":4721636,"id":"Q4721636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18943118d4224b3eb0d4b809a6ff1672d2c301c","datavalue":{"value":{"amount":"+0.7857239246368408","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":"Q759478$4153D3DF-866E-4FF2-AD32-9C6FFC756FFE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic and operational semantics of specifications allowing exceptions and errors","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_and_operational_semantics_of_specifications_allowing_exceptions_and_errors"}}}}}