{"entities":{"Q2265802":{"pageid":2276545,"ns":120,"title":"Item:Q2265802","lastrevid":48790282,"modified":"2026-01-05T21:03:22Z","type":"item","id":"Q2265802","labels":{"en":{"language":"en","value":"An algorithm to recognize sufficient completeness of algebraic specification of an abstract data type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892574"}},"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":"Q2265802$0D1647A0-B70D-46EA-B0FC-4A67BB231C2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78a09197c11fe741f0cd9e8e2afdfb8e0424c602","datavalue":{"value":{"text":"An algorithm to recognize sufficient completeness of algebraic specification of an abstract data type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2265802$040B8687-E7C0-475A-BCB2-575B547943E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eed73105761379586eaad827d60e005d93e1afb1","datavalue":{"value":"0559.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265802$11547593-674C-42E1-B819-863AF4873574","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3718baf3d3f6c417421a15f645e1d1735e984a7a","datavalue":{"value":{"entity-type":"item","numeric-id":2265801,"id":"Q2265801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265802$E29BB647-8B74-44F2-8B03-2B4881E3D2A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2265802$863D89AF-CA3E-4527-B966-BA1EA4FB3E02","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":"Q2265802$907432DA-539F-4823-9C0A-951A0E5E4936","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab0309a3f0bc68c4b9cc51033ec198cc1104dccf","datavalue":{"value":"The basic definitions are reviewed and some results are formulated relating to algebraic specification of abstract data types. The problem of recognizing sufficient completeness and the problem of finding the set of basic constructors for such specifications are considered. Effective algorithms are proposed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265802$EF7F7F95-AE05-4A8E-85FD-12988E56325C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265802$FA0D2B1E-CD76-4EAA-B7BE-13972AD1E7E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e2f0456fc7523342f3d3318b66f55fb3f926ac4","datavalue":{"value":"3892574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2265802$B52F11F7-3447-4911-875C-94741370472D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2609490cc492ba37da256b943aff6296056e9f8b","datavalue":{"value":"algebraic specification of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265802$4A1B370B-B5AB-48C0-8F05-45E7DE01EE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2265802$90AD1404-163B-4E1D-9B2E-72A3B77525C3","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":"Q2265802$596884B8-9BA6-4678-B043-611578382C85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef8c3e01d06907c997bf702141028b7dd599b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5292644,"id":"Q5292644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d41d5395518d1c0dfb7ec4242ad662e943cb5af","datavalue":{"value":{"amount":"+0.8060587644577026","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":"Q2265802$0227DF8B-7AC1-4921-8E5E-400E6FC333A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45c44cb2a18530e85f15f11e50e607b466bca981","datavalue":{"value":{"entity-type":"item","numeric-id":3690200,"id":"Q3690200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b05ce52dfc13d4997859b0907ab35009a41aa14","datavalue":{"value":{"amount":"+0.8033465147018433","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":"Q2265802$5173D3C0-B7A8-499F-ADD2-2F933589B5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dc4fb4f8470bf3139adb0da9242cfdc057ad56","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbaa3ce56c965f499aa627f20e12123d59cf9ed9","datavalue":{"value":{"amount":"+0.7878325581550598","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":"Q2265802$3B56B9A4-DFE4-4717-8C94-F8EE90B316F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c5b622ad60151b6f7a6056b88c169a2d1b5b848","datavalue":{"value":{"entity-type":"item","numeric-id":3716284,"id":"Q3716284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3742d2cbead78a6f90eaa035ac63a8c02cde5f","datavalue":{"value":{"amount":"+0.7843847274780273","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":"Q2265802$E4231979-4B0A-43E9-A8A0-653C4202A77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db476a1c29ee3caead0e30258c270cd05024359d","datavalue":{"value":{"entity-type":"item","numeric-id":5881266,"id":"Q5881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0be034eb7d02dc444c6db383e98c205769622841","datavalue":{"value":{"amount":"+0.7825276255607605","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":"Q2265802$DE6CE23C-61FB-4DCA-8825-5E6555ABD6A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2265802","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2265802"}}}}}