{"entities":{"Q761792":{"pageid":763641,"ns":120,"title":"Item:Q761792","lastrevid":64137093,"modified":"2026-04-11T17:53:25Z","type":"item","id":"Q761792","labels":{"en":{"language":"en","value":"Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3888903"}},"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":"Q761792$AEC94A2B-70EC-4DF1-BBCA-4B376EE6FCE8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caed185426362aba42f4ea2d63b4a0b68984af9f","datavalue":{"value":{"text":"Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q761792$58068026-1BC1-45BA-A1A1-490EB355C6E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"275fd141af73ee182b6f25c54467c023fc7e231e","datavalue":{"value":"0557.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761792$CCCA7DCA-7098-4CFA-996F-6528F7B8AB4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6027050610f578cecb3145562a0e425eeac0d447","datavalue":{"value":{"entity-type":"item","numeric-id":761791,"id":"Q761791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761792$40559B1D-1571-427B-8309-47DF5AA4613E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q761792$29E59F17-4DB0-4D26-AECD-5B18F2567E1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q761792$579B407C-D495-4070-B219-0AB8A2B880A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b7d6260b444f4ef8d1a5f396e2f7276036c4c2e","datavalue":{"value":"This work - the author's Ph.D. degree thesis - describes a set of language features which supports the specification, implementation, and selection of abstract data types; the refinement of data abstractions and the uniform treatment of specifications, implementations and executions as elaborations are the very basic paradigms of the author's practical approach. The programming language introduced (PARAGON) benefits by many data abstraction facilities which are used in an integrate manner (mostly based on the object-manager model); there are some new, interesting facilities such as: the use of multiply inherited classes, the overall use of parameters in the refinement of specifications, the ability to provide combined representations, the uniform object notation, the programmer defined attributes of abstract data types, the uniform representation selection (based on the possibility tree), and so on; every aspect of data elaboration is minutely considered. The work is very well-grounded and materialized in a prototype system which was run on several example programs.","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$CA8EFA02-8174-440A-98E6-03FB5A230D19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761792$9D5E6922-0788-4BE7-A716-24E71403BCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761792$C3EB1B69-0AB0-4A74-8C8B-39BECDE82E13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be4cce367958c416424dc5658fdc8af8fdbf7da8","datavalue":{"value":"3888903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q761792$6FEE3A60-D063-48EF-956B-048867A910FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$EDCBFB5B-FF04-4628-BE15-47246CF1D9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$B685DA75-DC7B-4FD4-B545-44006B787C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e747ffc79027c73506dc21d05d0533779489874","datavalue":{"value":"selection of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$47AF26C1-C8CB-4692-BFAB-0E78E0B34023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca193326c442dec341335a430b77d8af8af7ae6","datavalue":{"value":"refinement of data abstractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$19A4DD8E-9380-4574-A5D0-8F8FB36CD65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7634ec98a67a0ea13763448c164b3425aaa6dbc","datavalue":{"value":"PARAGON","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$E10A1DB9-4611-43CE-B058-063B74680132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80d4eca68f2030168bae9529bf79c6f7d624bab9","datavalue":{"value":"object-manager model","type":"string"},"datatype":"string"},"type":"statement","id":"Q761792$39793911-B5D4-4F53-A71D-0BC1AE0A753A","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":"Q761792$20E563EC-1EFE-4A22-844F-23CA4A179E0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77348972eb88e18beb0af5407751c9f1c4a04586","datavalue":{"value":{"entity-type":"item","numeric-id":4764618,"id":"Q4764618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5f993b594689ac8aa47807c5637b4f61ce383a","datavalue":{"value":{"amount":"+0.8501736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$0DEA2328-70B8-4414-80F3-2CA1A59CA768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e27e2ca6208110e0252f1d8fef8e748c576b5a0","datavalue":{"value":{"entity-type":"item","numeric-id":3796720,"id":"Q3796720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65e9b71790a1506cdbc5961637d2911a01cf750d","datavalue":{"value":{"amount":"+0.8269497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$4128470D-F96A-456C-ACDE-05DFB3A39CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3147985e1f9b35dce06bfdf17d46ae949a74eff6","datavalue":{"value":{"entity-type":"item","numeric-id":4723274,"id":"Q4723274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35784b2aec3b36abf92651b225a079fce73a46f1","datavalue":{"value":{"amount":"+0.8239681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$06E1E4EF-B0D1-4BAE-A719-41F9E22FE205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b03eb8dcc3f547e26047b115e55821e032189c7","datavalue":{"value":{"entity-type":"item","numeric-id":756433,"id":"Q756433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb335e88de8273e8e1c51bb20e9c85560d23bd93","datavalue":{"value":{"amount":"+0.8202469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$E232642B-240A-4F5B-8723-C7947EFEE117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4a74f0dfc4d4542db85848fc013c7a4714f093","datavalue":{"value":{"entity-type":"item","numeric-id":4288282,"id":"Q4288282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0832e98b0133d022bae9591e870f7de96e0d3e61","datavalue":{"value":{"amount":"+0.8136564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$0F00AA97-E950-4E2E-B61B-D7F7B0EC79A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95db3c00a17e4a00d13f82723981b7925ef54d1e","datavalue":{"value":{"entity-type":"item","numeric-id":4003187,"id":"Q4003187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c9e5555bc286e42bb57a5d3e7412cb9c4c585a0","datavalue":{"value":{"amount":"+0.81101227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$37BE592B-2425-4BAB-8786-4D8E5BFC8867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228568055ffda0658da0fba8b76aef21d32e22d5","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92df2ddaee456085d662fe2d79065a940df2141","datavalue":{"value":{"amount":"+0.808947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$34FFF3D0-F91B-48B4-A703-8CD358D0447E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be2b9bc247dee9644e1cbeeeef502eff1d521aa","datavalue":{"value":{"entity-type":"item","numeric-id":1089793,"id":"Q1089793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaae038bc8f1cfad52a7439e0aa4b2fa862b22b2","datavalue":{"value":{"amount":"+0.807763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$2068C60A-C8E5-474C-95C2-0CAA1A4DCA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f034a101acada3934d653956c6ddaf0cb1000961","datavalue":{"value":{"entity-type":"item","numeric-id":3677152,"id":"Q3677152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaae038bc8f1cfad52a7439e0aa4b2fa862b22b2","datavalue":{"value":{"amount":"+0.807763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$75188811-A8D6-4F85-B05B-672ADB598026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553831ace29e960463955ff60b91e5d2d70fa251","datavalue":{"value":{"entity-type":"item","numeric-id":3065298,"id":"Q3065298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f79df4a6e6af3c566eeae084ef094745405cc1","datavalue":{"value":{"amount":"+0.80594516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q761792$AB2A8C21-05D7-4DD2-A4AD-E377A3222BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Paragon: a language using type hierarchies for the specification, implementation and selection of abstract data types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Paragon:_a_language_using_type_hierarchies_for_the_specification,_implementation_and_selection_of_abstract_data_types"}}}}}