{"entities":{"Q4369896":{"pageid":6399495,"ns":120,"title":"Item:Q4369896","lastrevid":46983963,"modified":"2025-12-26T00:05:18Z","type":"item","id":"Q4369896","labels":{"en":{"language":"en","value":"Equational specifications, complete term rewriting systems, and computable and semicomputable algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1103560"}},"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":"Q4369896$8CB6F7E2-C4F6-4A61-9D37-938E4E0F92DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"288db84530f8196853874eca84328215c1a4dd45","datavalue":{"value":{"text":"Equational specifications, complete term rewriting systems, and computable and semicomputable algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4369896$833EA666-F103-46D8-969B-15316364DA91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57abdc402ef7420c9ac74e61e74f499240fa9690","datavalue":{"value":"0885.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369896$339F308C-3671-449E-B49E-C017A52F9B7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82b25e78a9ecfa1a6b9f0d6d6526857579f4ae3","datavalue":{"value":"10.1145/227683.227687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369896$BB783B3E-774C-4144-BAB3-BE1887B2C0B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369896$CEE219FF-A250-4BC2-AEC0-D971BC1284F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369896$0E41A7C3-6EBF-4158-ADC5-9DE6527DE859","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4369896$80174BC3-EAB8-46FE-85A0-DF36D5390DDB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a0b49252c47513608a2024e704aeac58803f16a","datavalue":{"value":{"time":"+1998-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4369896$BCDC267E-B8AF-4338-9CE2-A8AF18701AA5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d205b1102528f875fb55e14ae37dd65f131a00c1","datavalue":{"value":"http://dare.uva.nl/personal/pure/en/publications/equational-specifications-complete-term-rewriting-systems-and-computable-and-semicomputable-algebras(0d3c1456-e37c-4b4b-aed0-2198f4b61106).html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4369896$FE6CA568-A183-4620-A188-63CFBAC0BA1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369896$0AEC64A0-5FBB-446A-98F7-9ACB7AA561A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37f30aa5045839fa80defe10b7602ddfb96fcae5","datavalue":{"value":"1103560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369896$F1373C9A-CB08-4DE1-9F28-F68247960B2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30a9c13405a093714642148323832fa34021ec6","datavalue":{"value":"semicomputable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369896$FE8810A8-B15E-42E2-8DCF-AC46781DB6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cbbd10dcaec26dce45d3ab78850cb208f000394","datavalue":{"value":"finite equational initial algebra specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369896$A14ECBC2-E5EE-47B3-ABDC-742630837F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4369896$93E269AE-3991-4071-8FCB-2656B2CFE84F","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":"Q4369896$6755595B-5672-4C09-930F-03032BEF70DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d9537693cabfbbfd8824848ee9ef8d15093fde5","datavalue":{"value":"W2165976864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4369896$1187CE28-A82D-4C17-8F0C-0658087C7546","rank":"normal"}],"P1643":[{"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":"1ada0b8c2702c6fa6032d23c83ede71c2ceb6b3f","datavalue":{"value":{"amount":"+0.8269931077957153","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":"Q4369896$37267D2A-0A09-419C-9E35-BE1D7DDCBF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5fc84df065ea961925d80b5c14cbba80d5d3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5881172,"id":"Q5881172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce8ba02febfdb4ea46f0b254ee5bd9cab6e4627d","datavalue":{"value":{"amount":"+0.7841851115226746","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":"Q4369896$2FF9561B-9BB9-425D-B746-7AFB828E3689","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":"11c5ac77e418fc95812b9aef533c5eb6de358ce0","datavalue":{"value":{"amount":"+0.7808755040168762","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":"Q4369896$6CC2A8F8-B5C6-4A88-B38A-8BFD9B30FBBD","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":"9a529d07d29042f13839e7be08aa2dbea9c9ca22","datavalue":{"value":{"amount":"+0.7769985198974609","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":"Q4369896$480C9052-EB84-4AC8-85D0-F5411B4321D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a37876e8123318239892e78c7999e542a93c2fec","datavalue":{"value":{"entity-type":"item","numeric-id":3358246,"id":"Q3358246"},"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":"Q4369896$46BC00A4-2177-4E60-A642-27D8C05714EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4369896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4369896"}}}}}