{"entities":{"Q3460522":{"pageid":5239922,"ns":120,"title":"Item:Q3460522","lastrevid":80504567,"modified":"2026-05-06T16:21:06Z","type":"item","id":"Q3460522","labels":{"en":{"language":"en","value":"On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527519"}},"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":"Q3460522$DD1EDF70-AFCD-492C-9BFE-4928CD422009","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5a85a04fc38e1fcc458526368938c9c342287e2","datavalue":{"value":{"text":"On notions of representability for cylindric\u2010polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460522$28C9AF02-EE76-4401-B6FF-C6F27B029A6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d002b50a3e4835b37a1ef4724a0232755c37ab33","datavalue":{"value":"1368.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460522$68DC25C5-42F4-40C8-88C9-E6F9BE78DD36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$1E59928B-F03D-4D74-B56D-E344F395B62F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$315F3104-A9ED-4C4F-8797-5097C61B6376","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ee4b5b4fe49e6c76e054339063b302c9f6ef1f6","datavalue":{"value":{"time":"+2016-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460522$729134C0-7565-4897-9F4D-53F2A3FF1B98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460522$249CD225-D177-43E3-82B6-14E49B26A4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460522$EE850D43-A496-4CDE-9663-66BD14B23510","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb3ef3119ffc24730a1e7d6b6f36be61c2203270","datavalue":{"value":"6527519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460522$2F1C9E1E-4C33-42F7-A7E3-31925591062C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460522$3A43BD85-9B97-41D4-8CC9-923AE622E1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17fb308078ee73f2c22e3ee49b062e69efd4ae5d","datavalue":{"value":"polyadic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460522$923DB111-80A4-4239-AFA8-4080536D7D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85313a2887b59661d89e9f0c8e233a3e7507856f","datavalue":{"value":"relativised set algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460522$8A101439-FE3B-4D0E-B941-4EE8F6C74D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88c8f16bee86e47a0baff9ba8c4f61ff861d60a3","datavalue":{"value":"representation theory in algebraic logic, finitization problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460522$B54B2F02-01AF-4D06-B527-E11FABDB26A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8661fb9bd57f1f1623424fe3703fe110e2a9b57","datavalue":{"value":"semigroup approach in algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460522$2503692F-F208-42B8-9131-EB4CB6646D18","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":"Q3460522$9D836158-5828-4E7D-9B88-AF93435E3C2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02ea490c6fdabfa372b23e0a06469fc7f749b215","datavalue":{"value":"https://doi.org/10.1002/malq.201300064","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460522$18CE4814-03D6-41A4-95D5-D21E69CC8C17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0956a635733632aabdf76c29b8902814a2ec1b42","datavalue":{"value":"W2160776691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460522$EF5D8807-E4B6-4ABB-BAB3-58CCF5D4DF20","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":"Q3460522$0DE19EA2-4269-4619-A4E6-743DA062CB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13fc2176aab15cf5f6ab24c8db07ba8f1d69c8e","datavalue":{"value":{"entity-type":"item","numeric-id":691561,"id":"Q691561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$2DC534D2-C55E-4331-9B59-BFDFDA5D59F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96bd74e89d5f58966b2ca1e9b67d91549ec49b41","datavalue":{"value":{"entity-type":"item","numeric-id":4254632,"id":"Q4254632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$08CF8028-EFFE-4CEC-B4EA-AD6F94CF1600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a1e1f8c4b16f252aa222d9d19b22001d1c05c7","datavalue":{"value":{"entity-type":"item","numeric-id":5387302,"id":"Q5387302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$602B65BE-2ADA-4049-9358-16EFDB24DACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e38d8bc275ed304f9228a4be19100aa0f936cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3487342,"id":"Q3487342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$0D18ED62-5486-435D-A721-4AFB427220B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$FD90F5D8-DDB1-4209-8664-CE063A9A938A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54885bbfa8aa8525df1fda1937ed9ed06683319d","datavalue":{"value":{"entity-type":"item","numeric-id":5733519,"id":"Q5733519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$159ACF11-9499-4C64-BA6E-672D47E99D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f232af84f8e5b974aaf4e61c5538b59e95f2e2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3116577,"id":"Q3116577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$AD26AD55-EFF7-44AA-996F-D9F4A7124EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cf2b852cb33f86ca571b1f718a86f6fe483f27a","datavalue":{"value":{"entity-type":"item","numeric-id":3344197,"id":"Q3344197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$417CAF97-2C3B-4E51-BE92-A04EF40B9960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c25afa5ea60e35c139f8ea8a55461fae428569","datavalue":{"value":{"entity-type":"item","numeric-id":5294031,"id":"Q5294031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$70CFF85D-3480-4D92-A467-87E989E563C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f464bd83d76ad46f861be39216b7715bd765f61c","datavalue":{"value":{"entity-type":"item","numeric-id":4372908,"id":"Q4372908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$09E95F98-83E1-40D6-A256-7E1342EE14A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6acc5fd30b5fd39f7c7593bfdba57e2a920d202","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$D63BED2B-FDC2-43EA-88A6-9EC9F5C70181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c3276c1d1afe7d589542d2348f4f1c7a1289949","datavalue":{"value":{"entity-type":"item","numeric-id":2921030,"id":"Q2921030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$F83C1A77-BA32-4B68-9BED-EBBC69AB78A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c2b7b60fbc2ec48a0d9604e7a0eb99a9173a2d","datavalue":{"value":{"entity-type":"item","numeric-id":1377624,"id":"Q1377624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$3B5EE830-35AD-49D2-A66A-A6F8EACBB29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80eb346e989c5b6144629115517f588f627fce59","datavalue":{"value":{"entity-type":"item","numeric-id":1935018,"id":"Q1935018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$1F6065C2-F51F-4285-B909-A73EB150DB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a93ef96b0235e3fcf74db533a12ad83907830b9d","datavalue":{"value":{"entity-type":"item","numeric-id":5723182,"id":"Q5723182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$CB85BC7A-21DC-4663-974B-4D90D7D95771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef6b7c59fac119ac3f03e84d55ec72ed8036989","datavalue":{"value":{"entity-type":"item","numeric-id":3809799,"id":"Q3809799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$AB6D51BB-261B-4713-B174-0A39B927EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56a3dd01c8b6900f334f9840cdcfd260af63be5","datavalue":{"value":{"entity-type":"item","numeric-id":1189899,"id":"Q1189899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$99000604-FC50-4C7B-B167-CB8E36731BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7925c1f9119dea463a32bd6fe6c515fff5330e","datavalue":{"value":{"entity-type":"item","numeric-id":4511602,"id":"Q4511602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$BBB61412-D2BC-4568-B871-56190042CBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9811b805b2ac4af6178e0447c73f8b3b4c04d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4357323,"id":"Q4357323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$8FBC0C88-D546-439A-9C55-CCB86C31FAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06793f8be208802b4fd8a1db2fe40ab89337a9f6","datavalue":{"value":{"entity-type":"item","numeric-id":2583600,"id":"Q2583600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$8426DEB7-230F-4FCB-8CF1-0143863539B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76fc900f83be850842bc83cb37aca22a4be511f7","datavalue":{"value":{"entity-type":"item","numeric-id":5472642,"id":"Q5472642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$3851A74D-12A3-4479-9BAC-F4F13F21582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"555befece6ab7d2a4c0dbbccd455d4a256c40fd4","datavalue":{"value":{"entity-type":"item","numeric-id":3406455,"id":"Q3406455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$B1D42840-3BB5-466D-8C44-F713611F9BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182b1e35b48aa22dea73ac4e343f23d0e0bf7d90","datavalue":{"value":{"entity-type":"item","numeric-id":4913997,"id":"Q4913997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$C7D60F39-FB92-4741-8283-F559ED42D540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320632fc85ae420d726b331309728c099a8ef1e3","datavalue":{"value":{"entity-type":"item","numeric-id":485109,"id":"Q485109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460522$41984D5D-5165-4022-BB97-FC056B93BED5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089030076b0aaa1fb806e3f788131c355e5939c7","datavalue":{"value":"10.1002/MALQ.201300064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460522$AACE9D69-82D9-4595-A75B-5D6481AA84A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"061b4707b0924fccce4b3ab626dc7caf7d344d9f","datavalue":{"value":{"entity-type":"item","numeric-id":2996969,"id":"Q2996969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54653949177df82b000f72c5de357e466921c0f2","datavalue":{"value":{"amount":"+0.786115825176239","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":"Q3460522$597441E5-BCC0-43CD-B0C4-6647BB1F6D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e1796a2ba34dd3409a19c04893b66dc23561dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4527915,"id":"Q4527915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cc2aa237898bee71ac0b7fb1ae5e645d31513a","datavalue":{"value":{"amount":"+0.7856137752532959","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":"Q3460522$02B9E709-429A-45EA-A518-365BDBAD47B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97cf03470cbb86f3c3e395bb69516c74477226d4","datavalue":{"value":{"entity-type":"item","numeric-id":387126,"id":"Q387126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6cc2aa237898bee71ac0b7fb1ae5e645d31513a","datavalue":{"value":{"amount":"+0.7856137752532959","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":"Q3460522$6F511BDC-B11F-4895-8009-B81AFDB45CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ca24976a66a546193b608273056b8b1fb494b1","datavalue":{"value":{"entity-type":"item","numeric-id":4011731,"id":"Q4011731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97cf2f0d134b38e01830013eccbe5cb03b6d0aeb","datavalue":{"value":{"amount":"+0.7847231030464172","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":"Q3460522$211C417C-66C5-4D07-8B12-DF0140D9DE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349e388901597f66d3ececd7c7817eeca9608790","datavalue":{"value":{"entity-type":"item","numeric-id":1295366,"id":"Q1295366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6817f38ebab8dda0fcfe47cdb377c606a0b9c1bf","datavalue":{"value":{"amount":"+0.7843887805938721","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":"Q3460522$A491FD3F-61FD-4FEB-8870-740D24CE7494","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On notions of representability for cylindric-polyadic algebras, and a solution to the finitizability problem for quantifier logics with equality","badges":[]}}}}}