{"entities":{"Q801668":{"pageid":803516,"ns":120,"title":"Item:Q801668","lastrevid":64442388,"modified":"2026-04-11T19:53:45Z","type":"item","id":"Q801668","labels":{"en":{"language":"en","value":"On the data type extension problem for algebraic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880081"}},"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":"Q801668$C633BDEC-2D07-46F5-8DC8-DF64BE7BAE9C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9bef2dd4c02dea7a61d9545a54fbd9b5093a797","datavalue":{"value":{"text":"On the data type extension problem for algebraic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801668$BE6DA077-B75F-46D5-89E8-C2565AF524D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2fd98f3dfe590f017a405766421c452349a6df4b","datavalue":{"value":"0552.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801668$4010F857-6FC6-463A-9FD3-5E35AF87BAFA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b5e52fdba30da4ac4ac72d45b205a7c5aa2e01c","datavalue":{"value":"10.1016/0304-3975(85)90022-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801668$DCFE418B-F929-45BF-88D2-109DAC643484","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75e3dc8ae1008724e44cf427d976ff916bfae1a","datavalue":{"value":{"entity-type":"item","numeric-id":799386,"id":"Q799386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$6998F761-34AC-4485-9036-1927657426FC","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":"Q801668$29433221-0ABA-4FDA-B71B-69D651732243","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":"Q801668$7ECA2C3E-BBB4-4AF5-B4BF-CF5B7860D4FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ffb9f2125170c5a28e80382a523ad0197e89070","datavalue":{"value":"From the standpoint of the final (or terminal) algebra semantics of algebraic specifications, this paper considers the problem of deciding, for a given specification of an abstract data type, whether it is a data type extension. It is shown that the problem is undecidable, but there exists a large class of specifications which are data type extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q801668$BD292657-72DC-46FD-B489-5F99FE21C347","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801668$710FFDDF-4635-416B-A0EE-D7CFC1CF0565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ea298a0cd572110db6f29b57c0ceb9cdb8525e9","datavalue":{"value":"3880081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801668$0A06E106-52B3-4226-8F79-075449D32B1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58550ad3ffb8b70ae74f6c3acd628c3436c7e3c6","datavalue":{"value":"algebra semantics of algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q801668$574B8D94-DDC5-49A4-A2AF-8BE8E1B4C238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da89a1358d0f802139a8fe7d622b2ab07ea247cd","datavalue":{"value":"abstract data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q801668$4BEE7719-0EF6-44A9-BB1F-C7580215CE68","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":"Q801668$B310C141-9031-4EF9-98AF-C46DFCF41A71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01970e081f59a028a613f41114a165c236fe4d27","datavalue":{"value":"https://doi.org/10.1016/0304-3975(85)90022-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q801668$474079EC-F3C0-42C6-9799-6D3D155B1DF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4201bda62818c287e23eaa903d0ba4320d22745c","datavalue":{"value":"W2022857347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801668$5CD0FA25-9EEF-4991-8615-0BDBAA519591","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b333869fe483ea43fd2b8640b2fdfa1360b3169","datavalue":{"value":{"entity-type":"item","numeric-id":1243118,"id":"Q1243118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$1D11A2C1-B530-461E-B3B8-411F9B05C038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$818DEE62-A195-44D3-BCD6-F5B9E9B8A894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d1276f74b53421ae1c61a509a29e63460bf77d","datavalue":{"value":{"entity-type":"item","numeric-id":3891743,"id":"Q3891743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$DD306A03-534C-45F7-9669-56D3FB4A2884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$A50AA01E-9F35-4373-9092-278EBF204BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17d63096c130762c13a8b5ad500dede81b1f0007","datavalue":{"value":{"entity-type":"item","numeric-id":801668,"id":"Q801668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$1EDDA6AB-E092-49A4-B575-5D919490AA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801668$092C0A2C-E4F4-45C0-9447-5CCF4529EA30","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":"d6342f8a3b4c79ba658cf09d88a91c72a8087d40","datavalue":{"value":{"amount":"+0.8086825013160706","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":"Q801668$C3A76F59-8705-418F-A5DA-D2E79C08CFEB","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":"13cfb450d66e579106d7c54e263887f02455eb73","datavalue":{"value":{"amount":"+0.7898013591766357","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":"Q801668$90820216-34B1-42BF-B605-3BC375EF4710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d1b33c4c7e43d1280f5787eb1ba8812c5009c4d","datavalue":{"value":{"entity-type":"item","numeric-id":5402549,"id":"Q5402549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34ed5ea4271145b179345c756576bb9ea7c20ec5","datavalue":{"value":{"amount":"+0.7795324325561523","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":"Q801668$DBD972C5-67C4-4D6A-91DB-86278057D27B","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":"ccc7719fd96180e7eef9aa063a1bf0ef5d23fa92","datavalue":{"value":{"amount":"+0.7786110639572144","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":"Q801668$B20FC145-7403-4DE9-9B15-E5E3B9C11678","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":"79872f9ab9ab4de3832adfd615f7be5deb003cd7","datavalue":{"value":{"amount":"+0.7763019800186157","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":"Q801668$312734E0-33D4-48F7-B2D1-12DA0AC53086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the data type extension problem for algebraic specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_data_type_extension_problem_for_algebraic_specifications"}}}}}