{"entities":{"Q1323328":{"pageid":1334078,"ns":120,"title":"Item:Q1323328","lastrevid":68461782,"modified":"2026-04-12T23:52:10Z","type":"item","id":"Q1323328","labels":{"en":{"language":"en","value":"OBSCURE, a specification language for abstract data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567294"}},"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":"Q1323328$1F9624EC-55D8-4BF0-9614-2CED2CB6A817","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b0a4ffcb6c6cda9a404c25c5ee99f8150957d66","datavalue":{"value":{"text":"OBSCURE, a specification language for abstract data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1323328$13C08F0D-9423-4A5E-A07E-D4E152EDDA1E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"766305c8eb01bfc0725ba1a7d7d72e736b8cd44b","datavalue":{"value":"0790.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323328$33CC6E4D-6EB1-46F8-B776-ACD31F85A4F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03c01c92f7ca43922bdc9c9ada0ee8c591bee5e0","datavalue":{"value":"10.1007/BF01209709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323328$FC679AEC-1FCF-46ED-95AC-AE7CDD8415E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d501055ea60cf4283a7749bcd43fb56d726baca","datavalue":{"value":{"entity-type":"item","numeric-id":1323326,"id":"Q1323326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$654D665F-4D6B-49A8-92F6-A623E607634D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec49d6c6de3d3898ec1c5e15de2e757c5b71964f","datavalue":{"value":{"entity-type":"item","numeric-id":1323327,"id":"Q1323327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$4C883BAC-4C64-42EF-B933-A45C2426E75B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$ADF7369F-8C8C-432B-86B6-F18069FC01C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2eea7eb210317162e8ade44c06f241e090fd5838","datavalue":{"value":{"time":"+1994-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1323328$18A234DC-263D-45F1-B5CF-DAC2A76AF38A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bb634ab9e68e38e2098eebcf5add6b798e7a86ed","datavalue":{"value":"OBSCURE is a specification language for abstract data types. It differs from classical specification languages by handling models rather than theories. The goal of the paper is to present a complete and precise description of OBSCURE.   First, the different language constructs are illustrated by the help of examples. The syntax and semantics of the language are then defined formally. The consistency of these definitions is stated in two theorems. Next, a set of formulas is associated with each specification. A further theorem states that these formulas guarantee the persistency or, more precisely, the absence of logical inconsistencies. A discussion of further language concepts -- such as parameterization and strong typing - - follows. Finally, a methodology for the development of software with the help of OBSCURE is sketched and some practical results are presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323328$9C9A373D-3FB7-4AC1-8939-E81392992D9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323328$663F64B9-16FD-4C2E-BC37-26E1102629D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323328$82131CBA-718B-4DBD-8B6E-26AAC115750D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323328$EE24030B-AD17-43AA-AE6C-72AAB50A0C99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b4ed1fbe7e78664ec916d8a802c5999d7d41005","datavalue":{"value":"567294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1323328$635974B0-1A74-4723-B842-69E42A5CF68E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8241f7b74cda1977afc141cc1c92cd7c5a95db0","datavalue":{"value":"software development","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323328$AEB8F779-4058-495C-8949-C17070F044E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514ca49e595acae3720bb5278cb6dcd6236e6148","datavalue":{"value":"specification language for abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323328$36BF61A6-E38A-47C2-9D88-F8FAB3727138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323328$E0EE5ED8-EB0D-4CDE-8AF5-E33C119A39A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1323328$4EEB3847-43A4-448D-ACAB-2CB4F9255B25","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4840352b17217b124b50c88ee4bd6bcc958c902f","datavalue":{"value":{"entity-type":"item","numeric-id":17510,"id":"Q17510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$84685865-4224-4863-8F1E-77457BFA6BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$D3BDA140-11F2-4B3A-B7CB-022298C40428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$6706822D-9379-4AA1-81F9-E075CB897597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$F75C9091-683C-45C7-B9C5-D387E98F1339","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":"Q1323328$4645E948-D0FE-47E0-8FBE-5B268F41A97A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"290d3013f4832df97a35c79891587387962ec5e5","datavalue":{"value":{"entity-type":"item","numeric-id":4692466,"id":"Q4692466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$8F26DFE9-36A5-4054-91A6-5D3A3CB69F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e6f00fe85e5cf392eb428fe128700ba8786eca","datavalue":{"value":{"entity-type":"item","numeric-id":1124317,"id":"Q1124317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$0CEBDE6C-A276-4226-90D3-76888CCD9E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe31339d73c57f8684c575de1924d8b9bbc7be57","datavalue":{"value":{"entity-type":"item","numeric-id":1202052,"id":"Q1202052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$DC017AA0-DE6A-4F13-A1D4-596EDE504BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$34AF7BCB-B13C-47FF-AF8B-282077250C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84b8589b0dca683e0713d369f63d2746857f1486","datavalue":{"value":{"entity-type":"item","numeric-id":3993542,"id":"Q3993542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$B2B1AAB4-F186-4DC4-958A-A4EB195AC255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$D6556773-643D-401F-9E3F-A0400069952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810521b66dcaf77930b207eb0e5ca579b224f2bf","datavalue":{"value":{"entity-type":"item","numeric-id":3995131,"id":"Q3995131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$039AD21E-8179-491B-B1FC-F3F166F9654D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffa50274afe93d36321710963f13ecc75cdfb300","datavalue":{"value":{"entity-type":"item","numeric-id":3995276,"id":"Q3995276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$38A017A8-023B-42E3-BE77-F21850B62CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$1F6010EE-1761-46E4-B710-34CB2B31B0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175711f593816e20b10c78e9abe550e064f74383","datavalue":{"value":{"entity-type":"item","numeric-id":796979,"id":"Q796979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$044235B3-C56D-4A38-9DD5-CD17CC4333EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf10be3a57ab0c989f44436a4dea20c9e5a93918","datavalue":{"value":{"entity-type":"item","numeric-id":3814782,"id":"Q3814782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$72220F92-09E1-4122-B4FB-5B37F1BA24A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f7819fc98e58f6a1c5d2d0b94742c5cd4395d85","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$91528E01-9B81-4055-8C80-E6F8438BD038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c3c6863d8186924cb91ed3d5178ddd83ae5532","datavalue":{"value":{"entity-type":"item","numeric-id":3971275,"id":"Q3971275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$048116E0-BCB3-4FBB-8E9D-1952A8081704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed7396d33acb5bffa89e4a8552f1e6bdaea2114","datavalue":{"value":{"entity-type":"item","numeric-id":3996676,"id":"Q3996676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$CBDE2E04-71D3-4A80-99F9-F6267FB4BF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918054d5ef9a74c159726e5cedc74605d3ec3553","datavalue":{"value":{"entity-type":"item","numeric-id":1323357,"id":"Q1323357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$943321EC-E6FE-4842-9B2A-72DF54B7146D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$F4E1AC0E-CCDE-42B2-8F02-485BACD0F64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc53b0eee394db9b3b49fbcb3d5a82b596aa7283","datavalue":{"value":{"entity-type":"item","numeric-id":3804237,"id":"Q3804237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$D6F16D88-81D9-458D-AA9D-775F85195EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$7FCA3B75-8248-4C6E-933D-0C0169B1882C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b7f189eb7f5e56515006b2399dc063811b0064","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1323328$B332BB34-BBE7-4EB0-9A5B-52EFAF05AEC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e9f30836d536867b33b673a5365f502d040438","datavalue":{"value":{"entity-type":"item","numeric-id":3814782,"id":"Q3814782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e379e7ceeb7cfd2cf219eeec9a8cbcccf809dd","datavalue":{"value":{"amount":"+0.8678731322288513","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":"Q1323328$CCCE92F8-7B11-4B98-BAA4-8031F49E4814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170db72665afcd50d590bbb3c39217f000254c56","datavalue":{"value":{"entity-type":"item","numeric-id":3707396,"id":"Q3707396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a60b668b78c84d6be46164b79f61ccc4541490b5","datavalue":{"value":{"amount":"+0.810348391532898","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":"Q1323328$64602D06-48D8-4C53-9A87-C2CFFE7D6964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58bdd80edaa268f68f5141080dba56d57a1b0b72","datavalue":{"value":{"entity-type":"item","numeric-id":3971275,"id":"Q3971275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18b2109e6b3361c456cdfa33c99880b433511c52","datavalue":{"value":{"amount":"+0.7933294177055359","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":"Q1323328$CC800B80-F79D-429A-88F8-5CABBF1F4261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df2a85b0cc7bdb71124ef461276090e138fb0225","datavalue":{"value":{"entity-type":"item","numeric-id":3768378,"id":"Q3768378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad4e1a7aae597a266da9a302040b9bc79cfabd5","datavalue":{"value":{"amount":"+0.7530023455619812","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":"Q1323328$85A69FC8-7367-43E9-9216-46B09AA68976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8e8ace3736243fc83e0e8edfce0012cc87fd79","datavalue":{"value":{"entity-type":"item","numeric-id":4520504,"id":"Q4520504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e39b2743971850f644de06708f114a00ef140d","datavalue":{"value":{"amount":"+0.7313869595527649","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":"Q1323328$C7A07BCB-2BB1-466F-A0E5-A13FC111EBED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OBSCURE, a specification language for abstract data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/OBSCURE,_a_specification_language_for_abstract_data_types"}}}}}