{"entities":{"Q5243396":{"pageid":7272963,"ns":120,"title":"Item:Q5243396","lastrevid":94493543,"modified":"2026-06-05T06:57:41Z","type":"item","id":"Q5243396","labels":{"en":{"language":"en","value":"Two proofs of the algebraic completeness theorem for multilattice logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7131025"}},"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":"Q5243396$D85D0398-435B-428C-9941-3B62456FF72C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"198e1493eec3aaee70f3a747fc2693e466f9cc03","datavalue":{"value":{"text":"Two proofs of the algebraic completeness theorem for multilattice logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5243396$EBE94488-B03E-4B54-9E2E-FADC933FE97A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"840275612c6e868726197ad22bc2ad2f90ebb0c0","datavalue":{"value":"1444.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$56FDCCED-0DC9-4F64-8CFC-51EBAA90E55D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"310c3201de376a16c983c1ffb390800deca99bc9","datavalue":{"value":"10.1080/11663081.2019.1647654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$07072916-5ABA-4463-B16F-E9797FD58ABD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd92507a0443ffc9fa94b6a4c05dfc6d51711eea","datavalue":{"value":{"entity-type":"item","numeric-id":2315843,"id":"Q2315843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$0183CC32-EFFF-4D93-8C0F-0F27C2A6CF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"669cdb901f5adc2391e652d6dfa8ffc64eb0addc","datavalue":{"value":{"entity-type":"item","numeric-id":1689567,"id":"Q1689567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$A9B13131-BA9F-4C57-B0A1-6E8C8E5C02FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$C485B2EE-B99A-494B-AE52-A0EAFD212586","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"744ff5ba1d34b10b10a5d42b057822c6d7abb013","datavalue":{"value":{"time":"+2019-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5243396$6BC67847-5FFA-4D11-BC23-6278632E8008","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$13577926-C75B-4DB6-A1DE-B232FE1228C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$18933DBC-92AE-477B-B730-5A5CBAB8ECAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$D4E160D5-C779-497E-85E6-8BF25C45C564","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2521ac1ab57fcc3e9f7f51c7cedfc19f7bbf165d","datavalue":{"value":"7131025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$7E023574-F057-49A8-9BE1-5D966BD20C8C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706c1594f7ccdd7bef7d77d87cfed77285f341c9","datavalue":{"value":"multilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243396$068036F4-0D38-4011-A700-C43C936D4592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243396$DBA6DBA8-2B81-4727-A3D7-E5A89FD217F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e741c706630ca5001014f0039007adc34a9627a0","datavalue":{"value":"algebraic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243396$15AF21A9-4899-425B-B792-A53BC53733B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdcef67a2a835c6751b632b0f89269e246c1585e","datavalue":{"value":"Lindenbaum-Tarski algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243396$63DE3BF0-726E-4D97-98E0-930699E0048A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243396$0898E839-5EEE-48E1-B8BC-B67099E433B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4c3da4e0e971b41849f36f5824ae10802c23b5","datavalue":{"value":"modal multilattice logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5243396$BC618738-C43D-43EC-987A-0D74CBD0A264","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9127d2f15ada1658cc00ad83edfea69db9444f37","datavalue":{"value":"Q113850121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$34B5A1CC-8425-4028-ADF8-061DBE882854","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":"Q5243396$CE6722F2-0A84-4F9B-85EB-DEEDC01FB048","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e6d86667b304e037b8da03a608ccd1600aa7505","datavalue":{"value":"https://doi.org/10.1080/11663081.2019.1647654","type":"string"},"datatype":"url"},"type":"statement","id":"Q5243396$BF572181-34FE-41EA-BAA2-7FAB954AF222","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8b1e6bdee7ce73d80244916f6587776c8d36590","datavalue":{"value":"W2965816819","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5243396$B062312B-84C5-42BD-8664-AF6B495EADF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5280fb162e668bf53e1d08bed23996ddcc67aa6e","datavalue":{"value":{"entity-type":"item","numeric-id":1919988,"id":"Q1919988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$7E308246-5C27-47A4-B3C1-A66D628413A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a1a68689d433a060294b26e0c41a1e7e0bce75","datavalue":{"value":{"entity-type":"item","numeric-id":3393391,"id":"Q3393391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$32C93FB4-B77B-4776-9495-5046328A526C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4159258156744a1747332c48c0a5893d1aa5bf98","datavalue":{"value":{"entity-type":"item","numeric-id":4556005,"id":"Q4556005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$77D1707C-7BDF-4A0B-BEF0-371E5E425BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e129b6a74b4513c88bc97e6c97a8ac9c804079","datavalue":{"value":{"entity-type":"item","numeric-id":5869602,"id":"Q5869602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$01DF6592-AD39-458C-95DD-0DF83F77912F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ce131961d18e0e8e4506224fa0f1838d2ac762","datavalue":{"value":{"entity-type":"item","numeric-id":3387898,"id":"Q3387898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$3709FE2B-B974-4088-AD4A-25FB7D89F3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693b4292afc2c5ecd6c7f6b5d4ba6e2b103ec26d","datavalue":{"value":{"entity-type":"item","numeric-id":5243396,"id":"Q5243396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$44FB1410-6961-4614-B74E-DA989C4C6BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a568888be8b5be4fdbfd5a43fc3024e643387af5","datavalue":{"value":{"entity-type":"item","numeric-id":659458,"id":"Q659458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$4C0C8469-33E6-4F85-BB9B-A5BD4CEF0141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6640654090315af17b7da98b34411bf068f92fa9","datavalue":{"value":{"entity-type":"item","numeric-id":5346691,"id":"Q5346691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$30CC5337-3E81-4C97-B791-5CFA2081513B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b309e9d536c67d870de4b02c5d042c1aa0ad35","datavalue":{"value":{"entity-type":"item","numeric-id":4608559,"id":"Q4608559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$C8EE7F5A-80B2-4576-B2EC-8A9D5DB93E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300ed94cb396f74e71967e56fcea52b4f6251c79","datavalue":{"value":{"entity-type":"item","numeric-id":3133174,"id":"Q3133174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$413EB4C3-D371-47CB-9061-8E71F80B4CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5caaab022115ecc880ca6d6aeba44999cbf523e","datavalue":{"value":{"entity-type":"item","numeric-id":1682294,"id":"Q1682294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$9AC1240C-CCEE-440D-99FE-35CFA202334B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3429ef82f3e5fc720fb094ba62fe92ff768be54e","datavalue":{"value":{"entity-type":"item","numeric-id":1685569,"id":"Q1685569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$4E814885-8142-4AC3-A957-FB1632D1552C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe5bbcf5918492c7dfe6244e9597e637230da0b","datavalue":{"value":{"entity-type":"item","numeric-id":5728442,"id":"Q5728442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$203864AF-911E-46FC-B400-9843BCA813FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$AFCFD7C0-74C8-40BA-B6F9-771CAD48E248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e58e0472aba3c82614a4a9ce7aba2ab8622cf37","datavalue":{"value":{"entity-type":"item","numeric-id":2350215,"id":"Q2350215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$C0AD013F-6939-4269-8346-22B1158E122A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b193fe960fc7f19e24d6d068b46e526b1b801aa","datavalue":{"value":{"entity-type":"item","numeric-id":3247119,"id":"Q3247119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$E5E2DE66-0F88-4596-8E99-DD77436644FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$41EB1EB7-B776-4386-9B47-6112F82B1602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a33b2bd44721a4b2c01554ea95ef4144f14590a","datavalue":{"value":{"entity-type":"item","numeric-id":3305427,"id":"Q3305427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$87E1171C-F83F-4688-AB06-073132BF7512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d2c48ffbe228657ef568ac2d7e18e0775b81ad","datavalue":{"value":{"entity-type":"item","numeric-id":4529486,"id":"Q4529486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$CA125104-A916-4C5D-B1F3-31D12AF9653A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2e8217d7d1c10a832aed186030e5ce80766c08","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$A9B5EC92-448B-45F0-B7A8-6E899A86D0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"058c2d698b304297790a0f2fa2c5c4812ff56ec2","datavalue":{"value":{"entity-type":"item","numeric-id":656420,"id":"Q656420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$A276FC42-338F-4D47-9521-6A7B70AD5E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3691585c521b2d5323b134fa08f97964046049c7","datavalue":{"value":{"entity-type":"item","numeric-id":1685573,"id":"Q1685573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$811FE555-AAA2-4B18-8DF5-A06BE3434E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead2aa6eb7a872dcdda3b214b077035ea96dfeb1","datavalue":{"value":{"entity-type":"item","numeric-id":1037603,"id":"Q1037603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5243396$842E1B9D-D2EB-4F68-B923-AFE415217B21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a1328b7a3864d26a2a7e6fd4e837c6109bd8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1682294,"id":"Q1682294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ebddbf8f0a2008fc865579709cb2ba08b660963","datavalue":{"value":{"amount":"+0.8432371616363525","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":"Q5243396$CDA4F9CF-368C-4EEF-8B86-4A73A2ECC6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab92d9002f04ff1f4ece2a49af0e3ff88d5fd88","datavalue":{"value":{"entity-type":"item","numeric-id":5013628,"id":"Q5013628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0c9d05d7312528d60e7e74fbda6b89814315ae9","datavalue":{"value":{"amount":"+0.8122443556785583","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":"Q5243396$BD07D357-365D-42FF-BDB4-F34AC8C55C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a46bd3760e1b0c1fcd3d657458ac5072d228b4","datavalue":{"value":{"entity-type":"item","numeric-id":6040535,"id":"Q6040535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0a4ce27a47d123bebb62efa095f0fb7ccb11bbb","datavalue":{"value":{"amount":"+0.8090443015098572","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":"Q5243396$0B2B4F56-F4B6-4CA9-9297-1F045FD8E447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf57a622a03811af6597df46b5a11ef0d72ed1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5144357,"id":"Q5144357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a19a89484747d864319f0034f6979389fee9656","datavalue":{"value":{"amount":"+0.8043150901794434","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":"Q5243396$60C70D09-8C0F-497A-8B30-C18D180B2342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d82b41fb23ba7cde579a858cbff7a27db2be37","datavalue":{"value":{"entity-type":"item","numeric-id":3387898,"id":"Q3387898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bc7293eb85e7d947999073bb28dfa03a846b3b","datavalue":{"value":{"amount":"+0.7969962358474731","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":"Q5243396$E07218AC-730B-45B9-9518-46205C51567D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two proofs of the algebraic completeness theorem for multilattice logic","badges":[]}}}}}