{"entities":{"Q862346":{"pageid":864194,"ns":120,"title":"Item:Q862346","lastrevid":64938588,"modified":"2026-04-11T23:14:00Z","type":"item","id":"Q862346","labels":{"en":{"language":"en","value":"Amalgamation property for the class of basic algebras and some of its natural subclasses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118080"}},"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":"Q862346$A1A67602-F86D-481E-89E3-9572098F0AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30a3ea7ceae76a52866343bdadd5df76af69784f","datavalue":{"value":{"text":"Amalgamation property for the class of basic algebras and some of its natural subclasses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q862346$B17A3F33-14F9-4D77-8885-528C1A70D873","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"751ca829b162c8535db215d45a9514e61828e5f8","datavalue":{"value":"1112.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862346$8AC4AC8B-B56D-4DD4-95C8-124D0300B0AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0f73a265893792f659b86cbbcd3535bfad35112","datavalue":{"value":{"entity-type":"item","numeric-id":246769,"id":"Q246769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$5BF55C1A-7E19-43F1-A818-19B6FDE2B52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e63f0f7326486d44dfb43d06e0b528a89a70ef2c","datavalue":{"value":{"entity-type":"item","numeric-id":190271,"id":"Q190271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$BCF3EE13-2617-4890-96BE-10249F9E5BBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$5A6F1CA4-616B-4D45-8BB3-0953B82FCD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b780548d1931bae4ac5b1caff374698a268a9351","datavalue":{"value":{"time":"+2007-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q862346$0FA9047B-FCB2-429B-9831-3AA0E9E48BDC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d66664a4073c8b083a9f11bef3e48c6435515c4","datavalue":{"value":"The authors study an algebraic structure associated with basic propositional calculus, called Basic Algebra, as well as some of its natural extensions. The authors prove the amalgamation property for the classes of Basic Algebras, faithful Basic Algebras and linear faithful Basic Algebras. Also remarkable is Theorem 3.21, where they show that a faithful theory has the interpolation property if and only if its correspondence class of (Heyting) algebras has the amalgamation property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$26FDBDC4-25D6-494B-9C25-BA951D17613D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862346$89F2DABF-9509-4EF1-9194-1CEA1E1E294A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862346$0AB7EE7D-A043-4AF9-BD5D-2ADF2F96490A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef16a520cc85a4956d558df5547a3429b005da8e","datavalue":{"value":"5118080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862346$8090FD61-34EA-4035-B213-B8E175BE4192","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f9d1c69c9375ef62d369a66be7dbdc1cd9e7929","datavalue":{"value":"Amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$A8DA3CF6-C4FF-4D38-96FC-E7432C2931C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d41c6c99d28a0439f4662e9f3d9162f18184dcd","datavalue":{"value":"Basic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$9312637F-F3D8-43E4-A8ED-EC142339340F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72063fbfd3467d2ff181e1bb86d5d4fa93a08164","datavalue":{"value":"Basic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$A7F02ADF-B82A-44F4-9725-5A61CD29C82E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$A4A5EF64-0537-4530-982E-0D15BEC7AF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40b2c9c0e87d965ed182c6fcaa6016b2d658c5e8","datavalue":{"value":"Faithful","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$CA1620D1-476D-4770-B5F0-B792C56808F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bbbe7bc66237cacb333ede2aa11e8e9f294b0fa","datavalue":{"value":"Interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q862346$FBA5C680-9609-4968-8832-FB86A43529EA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"600bbf2e5c48e27ebb39b8d602eb8f41c0c00d32","datavalue":{"value":{"entity-type":"item","numeric-id":424064,"id":"Q424064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$B8F0BFAE-D69C-42F1-9238-62EA198A55BE","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":"Q862346$FAD137C8-924D-428F-936A-A0D564CF9214","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d393e095313390cec5e57db9ab4f5e16ec795d6d","datavalue":{"value":"https://doi.org/10.1007/s00153-006-0018-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q862346$98FC4937-E816-4F77-B7BD-025476441815","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48b63278a71d98d879d02cf663ecc19109fe123e","datavalue":{"value":"W2013593543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862346$D722535C-9472-4C79-8C51-F96330E76F4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5817b76e447e4aa599d5622ac8d9c114b32ffd","datavalue":{"value":{"entity-type":"item","numeric-id":5954710,"id":"Q5954710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$119C2CF7-0098-41E3-A6A6-4EDEB85BF9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ac54279908166183b1861b0f50d893b9a5268b","datavalue":{"value":{"entity-type":"item","numeric-id":4458702,"id":"Q4458702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$F89594E5-4F58-4F44-8D32-7073EF8042D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b25dbf884c32ddec6cbd0b7832b22b91b900c0","datavalue":{"value":{"entity-type":"item","numeric-id":4210835,"id":"Q4210835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$8C2F5900-909D-4E6D-BA86-EFCD3D512DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"812826094bdf0e773f0b343723b3ee5ba1705ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5945567,"id":"Q5945567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$433E5CD7-35F8-47D1-8F43-3518487F1F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35bf712e2b1b6bfb31b491dc46f544f6114af908","datavalue":{"value":{"entity-type":"item","numeric-id":4680368,"id":"Q4680368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$B179B82D-1C9A-488C-9BF6-8148505FCF97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$B97D8099-800B-4DC7-8F38-547B75FD6CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2979d4ab0048e8f68ba7e9fdd486e08e4279c68f","datavalue":{"value":{"entity-type":"item","numeric-id":1289105,"id":"Q1289105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q862346$3E91DF1F-2B98-4110-8EB7-A9F7DAB6A619","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed237228d0d4f78afce6622069a58e78bc49d6b","datavalue":{"value":"10.1007/S00153-006-0018-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q862346$5664B327-DA85-4C1B-89CB-ED3232956E56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3820244a5066f1f94ffd235faf57ee2160b462d","datavalue":{"value":{"entity-type":"item","numeric-id":2793177,"id":"Q2793177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08d23af4de29a115600e3c3f4139e92d79db6a7d","datavalue":{"value":{"amount":"+0.7876645922660828","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":"Q862346$6AFBEE58-1EBF-4129-8B9D-925A1974A89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36b75ff87065fe4df0f78d439e1c371eb354103","datavalue":{"value":{"entity-type":"item","numeric-id":3629041,"id":"Q3629041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48570bf5b94bef09e341ed1db563c8956721178e","datavalue":{"value":{"amount":"+0.7725170850753784","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":"Q862346$2AFE9AD2-F3EA-497C-BEE8-8430082F2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396520056ac1574f83f63d830c06492f9e29e05f","datavalue":{"value":{"entity-type":"item","numeric-id":3795675,"id":"Q3795675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e42da0657f348b0583fbc9e2566590c4aba12dc","datavalue":{"value":{"amount":"+0.7723035216331482","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":"Q862346$3ADF8881-F785-4186-BF55-164B0388489F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8476a3036cc81e5ffd964c01df11d71516a2ef45","datavalue":{"value":{"entity-type":"item","numeric-id":3710532,"id":"Q3710532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406c5886397da3263cd7003c0f70bc97fcf51909","datavalue":{"value":{"amount":"+0.772101640701294","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":"Q862346$E514F9CB-D6B9-484E-B112-F298AA06D498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc7dfdfe19e18cce818f5243bd6be1be41847c56","datavalue":{"value":{"entity-type":"item","numeric-id":2583600,"id":"Q2583600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4549e339b0a4b7c6396abb30602740730a548962","datavalue":{"value":{"amount":"+0.7614801526069641","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":"Q862346$29322D80-F941-4AC7-97BD-D7827D7F8852","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Amalgamation property for the class of basic algebras and some of its natural subclasses","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Amalgamation_property_for_the_class_of_basic_algebras_and_some_of_its_natural_subclasses"}}}}}