{"entities":{"Q387126":{"pageid":388893,"ns":120,"title":"Item:Q387126","lastrevid":61590924,"modified":"2026-04-11T00:20:39Z","type":"item","id":"Q387126","labels":{"en":{"language":"en","value":"Bare canonicity of representable cylindric and polyadic algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237520"}},"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":"Q387126$82BD1319-EDC2-47D8-B854-1288EA626A97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75c125507bd4d3f6512a02a8de0171489da83c5d","datavalue":{"value":{"text":"Bare canonicity of representable cylindric and polyadic algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q387126$03FA83E5-4C89-4BE8-B3C3-D7AC875277E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"86d09dba01ddac842b3be32ea0e0d80f57cfdda5","datavalue":{"value":"1321.03077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$A52F9EBB-372D-4A30-BEC7-956BAE3992E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6066587124f626b25a702d9a2ecfed77db967895","datavalue":{"value":{"entity-type":"item","numeric-id":309795,"id":"Q309795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$75DEAFF4-7AB3-485F-8F45-31F31C2A1D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$FC1C5E61-7014-455A-AF90-D21CBD6E1C7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$555E9727-B169-484D-BF05-4098075B253E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q387126$FE362822-8680-4522-95AC-E011C1CB6E1B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a4e8f46ef77a4b1d1e7f0659e57fd72ecc6d597","datavalue":{"value":"https://arxiv.org/abs/1202.5961","type":"string"},"datatype":"url"},"type":"statement","id":"Q387126$2A677111-8E61-45D5-96B8-99D446D6A25E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"236dae9f0ac42311e25c14ce252b47320d8e6736","datavalue":{"value":"A first order sentence is canonical if the class of its models, restricting it to Boolean algebras with operators, is canonical, i.e., the class is closed under taking canonical extension (e.g., Sahlqvist equations are canonical). The authors show that certain classes (representable \\(n\\)-dimensional cylindric algebras, \\(n>2\\), polyadic algebras, etc.) have no axiomatization consisting of canonical sentences only, i.e., there is no canonical axiomatization. Moreover, any axiomatization of these classes contains an infinite number of non-canonical formulas; such classes are said to be barely canonical.","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$13AD67DD-622E-4652-BA91-116BD5032C18","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bca6eb89b6630dfb07a794ff91f372e7fdee6c54","datavalue":{"value":{"entity-type":"item","numeric-id":514551,"id":"Q514551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$61EC97B5-0B86-479F-8668-6ECC4F988503","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$49AF1339-2A3F-4773-90F5-83C38E0DA9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$A7DEB016-855A-4C46-9AE5-398CFDFB9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$0412690A-97B5-4EE2-9FDA-A6202C52C615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$D7AEED8A-40F2-43D0-A5E4-3766CB8EF76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$1BE42432-DECC-42BA-AA0D-620ACEFFA0CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7795b5065beedaf0efc413a76266bd8d7580a020","datavalue":{"value":"6237520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$C2C8D8E0-05CD-41AC-A9FE-93608DA984CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d88644fd15a569d108dc33e7f4ccd61bb29b2a6","datavalue":{"value":"Boolean algebras with operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$5141CAAF-4F13-418D-8D35-2AD7495ABE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0366dd319579349da14fdeff0d88dd87b917a305","datavalue":{"value":"canonical extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$30060755-030C-4488-BF43-7963710B357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"218f75fd7273868b7adbcd2efcdb9329144a08b6","datavalue":{"value":"canonical class","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$A2A0435A-38B0-4E34-B304-BCD1C604116F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$48EF64F2-958C-44E3-9054-74198ABC978D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fb308078ee73f2c22e3ee49b062e69efd4ae5d","datavalue":{"value":"polyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$E5989717-3048-4C47-8D1A-3EB9D0BA4E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4f51776dadcb1bfead92cdaa8c678dc729e342b","datavalue":{"value":"random graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q387126$46700AD2-261B-48D1-BF20-A15EE7F62573","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":"Q387126$CCFEFA1A-C3BF-4E23-985E-E432F19FC0F5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84d27496a305db709706e4cf96ec809f8d7db19f","datavalue":{"value":"W2022150940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$6E5A4702-FA8E-43E8-80EC-667F7E854C54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50f48f7e24e4eb8cd15ed6882357cba4743ef87c","datavalue":{"value":{"entity-type":"item","numeric-id":1377625,"id":"Q1377625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$276C25BD-7DD7-4AC3-B1A4-D9EB0695FA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$A1C43FB6-42DF-4BD8-9896-55543EDC7769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$2F4C31D8-96C8-4F94-A3C9-081E3ABAD2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b91fb34b309a1448e42736f924e3a5012ab649","datavalue":{"value":{"entity-type":"item","numeric-id":3253064,"id":"Q3253064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$3843342D-D3E1-47D5-BC9C-AC48BF3B1BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$88EE1A25-A553-49FD-8907-7632B9EC17EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$74253239-F819-41F9-8600-FBEA51982AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074d519bf51323299881b4ad216526b3b33bcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":1906001,"id":"Q1906001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$925100DE-581E-42A2-A4CD-3AC19FE0CFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a04e3553b191b8cd2368a3c4d1e864097608f5","datavalue":{"value":{"entity-type":"item","numeric-id":3629226,"id":"Q3629226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$0A28A309-1706-4DB2-82F6-080CB8690D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e67d001e0155770b04f208c6990101ba01f2cea","datavalue":{"value":{"entity-type":"item","numeric-id":686290,"id":"Q686290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$CFAA56ED-F7BF-4D07-B17F-3A429B2584AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b47545d737298ec8ec51129f8941307ae65dd1","datavalue":{"value":{"entity-type":"item","numeric-id":5616133,"id":"Q5616133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$4431CE20-5EE8-4163-B561-77F7D639FAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$7B45B93D-8262-4A08-ADD1-F0A26101FFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddc0603c1d66c002eb837db8498386dfe23dfc13","datavalue":{"value":{"entity-type":"item","numeric-id":3399179,"id":"Q3399179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$1C371B1E-3A89-4A56-B11F-6C9AA76C8F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c80b431acba65866ad5b5427c1ce034f57547e","datavalue":{"value":{"entity-type":"item","numeric-id":5461397,"id":"Q5461397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$D8C85486-EF84-46FC-BD04-867BBC1089FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102e38016609e661e0945a30e5f58a9984c36801","datavalue":{"value":{"entity-type":"item","numeric-id":5571689,"id":"Q5571689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$66656DD5-5DD4-49CE-A8B8-5340576582B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f898a236e8a2ae4e36da9dab850b67fb635ce60","datavalue":{"value":{"entity-type":"item","numeric-id":5810598,"id":"Q5810598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$9B915B0A-56DC-4F13-99DB-01258EF98563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1071374d0523d40698e19a10e8936331a5f47f2","datavalue":{"value":{"entity-type":"item","numeric-id":1297057,"id":"Q1297057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$FEDE98E1-6343-40B1-A3CF-80A29DB63AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1f0d33d6f18eb929b8aee72c47cdbce8d692a5","datavalue":{"value":{"entity-type":"item","numeric-id":2904058,"id":"Q2904058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$E7F9E278-FB34-41B0-8DE2-2B402E55FD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c324f2a3068028cb7eaaec522099dce3e3c5e36c","datavalue":{"value":{"entity-type":"item","numeric-id":5571688,"id":"Q5571688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$5ECB9244-9F79-4623-B8BB-8762A3CFFA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85cf61f839514b81699b207300f47ef1068e97e","datavalue":{"value":{"entity-type":"item","numeric-id":3170559,"id":"Q3170559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$0A7D7396-87B5-46D5-8649-65808CFAD928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ee5cbcb602f5552f779a98540126bce4ab9b71","datavalue":{"value":{"entity-type":"item","numeric-id":1272149,"id":"Q1272149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$FDD66265-F7FB-40B3-B020-1B2974F32CB0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a9122078ac293652cbae3a57c754251417ce847","datavalue":{"value":"10.1016/J.APAL.2013.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q387126$92607049-F8DB-4AF7-811D-D4B74C1F50FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c793eeca434ad6e62434ebf8823bf8a4c4412e45","datavalue":{"value":{"entity-type":"item","numeric-id":4916283,"id":"Q4916283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ee84c0d00452e33536fb37e39042dd85b084160","datavalue":{"value":{"amount":"+0.8278619647026062","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":"Q387126$FB95E5C8-1DB4-473D-AC23-6B4D2EF0CC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf561eee8a354343a0baf105005f1f50d1d70e6","datavalue":{"value":{"entity-type":"item","numeric-id":1935018,"id":"Q1935018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7973cc1f41563ff0ba3917bc14d6ade7305da174","datavalue":{"value":{"amount":"+0.8183475732803345","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":"Q387126$D9B49FA3-B97C-4FAC-BD9A-687CE66AE3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2ab65e66c27113dac946f292e010f14dbd752f1","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9c89d0eda09c7b98212af585d80553de994ad3c","datavalue":{"value":{"amount":"+0.7995287179946899","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":"Q387126$14265879-5008-4EAB-B90D-E325B48CFE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b28054fcc5ccba4cee110a78ccd5d27526960b54","datavalue":{"value":{"entity-type":"item","numeric-id":5461397,"id":"Q5461397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72794131f72fe131236f922ee72296a66183ad35","datavalue":{"value":{"amount":"+0.7991201281547546","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":"Q387126$7A9E453F-8DC0-41AA-936C-44B4B8C9CA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b02e4d1c83403a03a310bdd69a81c11ea811d7","datavalue":{"value":{"entity-type":"item","numeric-id":1377626,"id":"Q1377626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd8d1b90b68673414c4b6bd9ceb452d95dee87d","datavalue":{"value":{"amount":"+0.7987464666366577","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":"Q387126$FC990450-196B-403E-A238-A2417686226F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q387126$D68FF0DD-CBF9-4138-8BD2-97567A696E56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bare canonicity of representable cylindric and polyadic algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bare_canonicity_of_representable_cylindric_and_polyadic_algebras"}}}}}