{"entities":{"Q3358246":{"pageid":3368951,"ns":120,"title":"Item:Q3358246","lastrevid":86834969,"modified":"2026-06-04T09:58:36Z","type":"item","id":"Q3358246","labels":{"en":{"language":"en","value":"On algebraic specifications of computable algebras with the discriminator technique"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4211525"}},"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":"Q3358246$7B3DED86-763F-4674-AD21-9977B71074EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e184d426af550f616f5bb6cf67932388592ecb1","datavalue":{"value":{"text":"On algebraic specifications of computable algebras with the discriminator technique","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3358246$0CC196E8-395F-442A-9154-54E73EFB8B5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d9b2a62d601e7c27094cc4d9d42d6586f3657d","datavalue":{"value":"0732.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358246$291994F5-616E-4445-8A44-E633861D2FF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$4A2FCA98-0214-4E04-A777-DE36BBBE1DD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3358246$81B66F62-94C4-45F3-99E1-F3A7772B6F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a8d887ec2b40a3a2f25d0f4283e6df36ae7d07f","datavalue":{"value":"https://eudml.org/doc/92367","type":"string"},"datatype":"url"},"type":"statement","id":"Q3358246$2C86B891-4C2C-41B6-87E4-3C97B279AF7F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358246$3B400BF0-8D87-4D12-9AE7-9C91EF4D1EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358246$B00D7C7D-F0A2-4138-BA63-DF2FE88FBB60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28d5e7680ce8812bb0a2a3f1ec5b003116191169","datavalue":{"value":"4211525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358246$2A0CB875-7760-4CC3-AD7F-82278EFE2FDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce79950a5440a74feb5da465767d165967374961","datavalue":{"value":"computable algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358246$429622B3-6974-4DFD-B6D3-10E692E6764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358246$C4CEF103-FD19-4389-91AC-15B179576511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf54e1bfe766235783bb3191cf9368771bd97a12","datavalue":{"value":"discriminator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358246$19509F1B-5273-4A21-A01C-7857657E712D","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":"Q3358246$A7F98933-3522-41A3-BE4D-8A7FBF02D559","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2b8eb5ad704e58053896d25cb49455d8ea543f","datavalue":{"value":"W5523519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358246$16E4C226-095E-4EE4-8551-5F0A11C23BB7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$2FED85F4-1824-4F05-8413-39B8E0A3CCF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce55656d21d5b61018d20fd360948cf534ed9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3853107,"id":"Q3853107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$7B578826-5047-4641-A555-D9263A9360B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98915f4a33d3b04002cff1f5ab6f3ffdc40af823","datavalue":{"value":{"entity-type":"item","numeric-id":3854600,"id":"Q3854600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$0D20E21E-B95E-411B-897F-CB02B0EB55A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062e6b60e77749216114d35202f5ce2c55314034","datavalue":{"value":{"entity-type":"item","numeric-id":3659115,"id":"Q3659115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$82F730C5-2B3F-48DD-BA63-B2D3554B0DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6162a47706be814c34042fd00c7c48b95d112be","datavalue":{"value":{"entity-type":"item","numeric-id":3662597,"id":"Q3662597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$8122AC56-8A57-427C-A202-003E45255ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744dcf2bce65710124275d29816dcca108a9baf","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$988BCEDE-CABB-4720-B5DA-C297BBF398DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc37074100decec1567b589117b5998df7e079ec","datavalue":{"value":{"entity-type":"item","numeric-id":3667922,"id":"Q3667922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$85C87F83-9517-4669-A488-E3EB4F243087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$1E3CF844-5EBB-4B83-BF7E-1333A660ADAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$34FB9EE7-93FA-4639-AFD6-A6C3BC54924E","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":"Q3358246$3BF84219-4E7D-4044-8CEF-982B58A4573A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b5e85d1f50fd2a63b0a375b06a97f407e50e99","datavalue":{"value":{"entity-type":"item","numeric-id":3765240,"id":"Q3765240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$6A944EC3-07C9-4136-8E4B-D34814F85BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85334d5fa602c8a27f43e2d3492162d906c6be8b","datavalue":{"value":{"entity-type":"item","numeric-id":1084849,"id":"Q1084849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$1D43EAEF-7D8A-4754-96C8-FFAD9E63288F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cbfaa5b37c212b78484bcb29e71b7a4ff9df44f","datavalue":{"value":{"entity-type":"item","numeric-id":5825749,"id":"Q5825749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$2FD2DAE3-E820-44DA-91AE-A8C3DCFCE949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bfde78f73cd4ff340b10ef5b040429cdc807915","datavalue":{"value":{"entity-type":"item","numeric-id":4075454,"id":"Q4075454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$93D95476-6ACD-4FAB-90D6-3F8412F34A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fe1dde5ef1db9efebbfff6a92aedf602f03722","datavalue":{"value":{"entity-type":"item","numeric-id":3801055,"id":"Q3801055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358246$77D8786B-5770-4A6C-9F29-8346A6345D02","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4324f427c82627ce1608fcbfae8198a17900236c","datavalue":{"value":"10.1051/ITA/1990240504291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358246$EC99A348-9B18-4393-B4DE-E5CBE1F579D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a19643dc2d1f679e4615a55f9d1b8eb146853","datavalue":{"value":{"entity-type":"item","numeric-id":4369896,"id":"Q4369896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3121ed3acef361b05b8c5cdebd515070dbf50f56","datavalue":{"value":{"amount":"+0.7735514640808105","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":"Q3358246$0BCAE571-2349-459E-8C8E-E003B5BB934C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02adcb991284baa4992431a73d5d0488b8bee5e","datavalue":{"value":{"entity-type":"item","numeric-id":4728229,"id":"Q4728229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c60da4c97d6376550598045bd4278d85df36bc0b","datavalue":{"value":{"amount":"+0.7599164247512817","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":"Q3358246$9FBDCA2F-8456-4773-A8C8-BD64185D6CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6f7e986eb5b80a7a848e5f0c513006c866aa00","datavalue":{"value":{"entity-type":"item","numeric-id":5738956,"id":"Q5738956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"735fc8f300e9926308d3a3bc7f1d4c661cb861e3","datavalue":{"value":{"amount":"+0.7464331984519958","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":"Q3358246$745CFC25-B131-4959-BB60-4FFA376E0E91","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":"cdd3c2a798faf0705bb47c39ca3145af2b98d7b4","datavalue":{"value":{"amount":"+0.7356253266334534","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":"Q3358246$BBDB06E0-B2E8-4A86-9F70-3334721186DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"670bc5b78c1791e5740a752c367c83814f1f7f3b","datavalue":{"value":{"entity-type":"item","numeric-id":1362341,"id":"Q1362341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b468a4dc014c0e796055bac47178c069eb108a","datavalue":{"value":{"amount":"+0.7296488285064697","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":"Q3358246$CA012990-0C69-4D04-8818-9A07F39AED00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On algebraic specifications of computable algebras with the discriminator technique","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_algebraic_specifications_of_computable_algebras_with_the_discriminator_technique"}}}}}