{"entities":{"Q2893318":{"pageid":2904043,"ns":120,"title":"Item:Q2893318","lastrevid":84892028,"modified":"2026-06-03T05:03:38Z","type":"item","id":"Q2893318","labels":{"en":{"language":"en","value":"Finite RDP-algebras: duality, coproducts and logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6048163"}},"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":"Q2893318$EEBF1E64-CA3B-4E59-9103-EF0C5519E16B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5d3bbd9d42bee64eb02f66ae65f1792f7d8c918","datavalue":{"value":{"text":"Finite RDP-algebras: duality, coproducts and logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2893318$75632380-C7C5-4C77-AA30-103529EC2DC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bc72d81d377e799de29791d2c6349a65d56e98c","datavalue":{"value":"1248.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$708D00A3-339B-4655-92AD-D1742097AF62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9882aae56ec8a5b8665d15f346fe4d402963b39","datavalue":{"value":{"entity-type":"item","numeric-id":473195,"id":"Q473195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893318$6FCC6C60-76A9-4E44-BBDB-EAF0BDA7DEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"164dd83d7d536ee9fef3bc9288afb946a0d400f4","datavalue":{"value":{"entity-type":"item","numeric-id":1617818,"id":"Q1617818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893318$D0B5D46F-BFC8-48C6-B363-68F2FC8B8FDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f318557c66fd6d7ed4e56cf07066ee7032aec4a0","datavalue":{"value":{"time":"+2012-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2893318$CE05CA60-285A-42B3-972E-A4FCBD06D4C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e57525f9951898b47406ae5f9a5ba6f129cf51be","datavalue":{"value":"https://semanticscholar.org/paper/07ac902434c8c3dd9f996ce152418d7c83255e79","type":"string"},"datatype":"url"},"type":"statement","id":"Q2893318$CA54BE84-D782-4042-8853-EF9610917F2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$333AA57D-A3F9-42A7-B6D1-B32F0824ABA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$D07ADF11-A977-4052-9262-17BF63610897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$B2401375-FDF3-46BA-A6AC-E99C8C90B497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c350f134e2ca63d92f31fea52688556b57f6c8ce","datavalue":{"value":"6048163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$7CAE73A0-3486-48BB-8002-B473FD8770A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b95a07764b57d00201bb891b487ff9ba2ec43e0","datavalue":{"value":"triangular norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$3A126355-06E4-418C-AB9F-67844CE98AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3951b3003c004159669a555ccbd1764bf80036a","datavalue":{"value":"RDP-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$1E1BE696-1146-4D18-8157-E6F782121190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"893659a2a615c1efe039f6e938349d1ab7f4ffc8","datavalue":{"value":"finite duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$A439C0D1-2C47-417C-91E6-4770C7F2B513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a98bdfaa358cd5ea108528dcdf691c8731b6f08c","datavalue":{"value":"coproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$7E1DED2D-669B-49D1-AABC-9C8C6F73C2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$245089A3-93A9-49C4-A722-350DDA6DFE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$01CEF365-C8EB-4DB4-A8D0-1ADB5480A1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$78589953-B2E4-4620-A591-0B20D78984D6","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":"Q2893318$13C6DF4B-9B5F-405A-8C85-31C12D2BF574","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0b7171a46a994152a63c2f089bb485ac33d750d","datavalue":{"value":"W2079799116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$6D51751B-3146-4DDF-9EFF-C86F4ECC4395","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a4062d542dbd53ade31317f36bbd021d4a35c4e","datavalue":{"value":"10.1093/LOGCOM/EXR006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2893318$D3EC98F1-66C0-4313-8FAD-3530C7F9ED68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893318$46F6497B-0458-46D8-A81E-83027BB52EC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1e0d11f2a496ec87fd54a143f8057a1d45a9cd09","datavalue":{"value":"In this paper the authors prove the Priestley duality for finite RDP-algebras and investigate explicit constructions of a number of objects relevant to logical interpration of RDP-algebras: normal forms, strongest deductive interpolants and most general unifiers. Also they prove that RDP-unification is unitary.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2893318$00CC019C-250D-4E1A-A3B7-1970226BA065","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"130c57655740c2168382aba317ecd01271321d07","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2893318$4E792C77-5BDE-42D4-ACDA-79AC5FB41A30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f455754c5a87cfb687d78e680f97230af06c3a","datavalue":{"value":{"entity-type":"item","numeric-id":2317522,"id":"Q2317522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c132414e3135ba1bbef3a48f400e82ce1f636b80","datavalue":{"value":{"amount":"+0.8406491279602051","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":"Q2893318$554DFA09-25A2-4043-9F8C-BDA35993EDE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a9dee519998ce48312b25fc4ba50f16bf08ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3584008,"id":"Q3584008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81d12a7ba9f1e19c674a8d98ff87043bd963f0bb","datavalue":{"value":{"amount":"+0.7912945747375488","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":"Q2893318$1DFE85AA-E230-41C8-9160-0031FE7142E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0c67e1bdb58fdc5570b773c02961fd04c6f2d1","datavalue":{"value":{"entity-type":"item","numeric-id":877760,"id":"Q877760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c91de8de5489308599787c1d3cc7aba3249d57","datavalue":{"value":{"amount":"+0.7414827942848206","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":"Q2893318$F6F9199F-DEB5-4D1D-BB96-9D3D9DAA1664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3394eeb2537769bea3c87ce4f2d88e76d341326","datavalue":{"value":{"entity-type":"item","numeric-id":1726317,"id":"Q1726317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19f66d951ca0e6dd50657946a5ab42f282727dee","datavalue":{"value":{"amount":"+0.7377358078956604","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":"Q2893318$6AA412F6-F254-4D94-87A0-3394A1F433F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2600361cabe814d2809c36b4d5ebd9494ea6c1f","datavalue":{"value":{"entity-type":"item","numeric-id":471163,"id":"Q471163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9324dff2229e65f8dd361be70a725c21e59ff6f","datavalue":{"value":{"amount":"+0.7347651124000549","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":"Q2893318$DB1CD4D0-C73C-43D0-9709-A124D654906D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite RDP-algebras: duality, coproducts and logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_RDP-algebras:_duality,_coproducts_and_logic"}}}}}