{"entities":{"Q4532609":{"pageid":6562201,"ns":120,"title":"Item:Q4532609","lastrevid":47923717,"modified":"2026-01-03T02:33:33Z","type":"item","id":"Q4532609","labels":{"en":{"language":"en","value":"Relation algebra reducts of cylindric algebras and an application to proof theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1749905"}},"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":"Q4532609$F9A90A0F-87F6-43E0-8D7E-C64B221DE95B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e9586e4b121a6059166d043041231975a7f8689","datavalue":{"value":{"text":"Relation algebra reducts of cylindric algebras and an application to proof theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4532609$E1F32CB8-0C0C-405F-86C3-E349A622BCCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bb59ade9d6bfc596c1bbfaed1936be1ec712de0","datavalue":{"value":"1005.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$30681FEB-F12E-40EB-802D-DDFAEE0A1480","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"af6fbdd6806d9cebab7dba33d5ba34c31f95c481","datavalue":{"value":{"entity-type":"item","numeric-id":406454,"id":"Q406454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$6AE59AFC-DFDD-49D4-94BD-2614D276175D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$C0C40071-7253-465B-B132-47ACB6824BAA","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":"Q4532609$39243793-3660-418E-8B26-BEA9DAF8E54C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$3C091D8A-B559-446C-8BC8-D7A0E5B5D6B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9e86a8c56fde9f90dc8c251d5586de8d6671558","datavalue":{"value":{"time":"+2002-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4532609$15B10A36-2839-409A-9505-FBEA2929F322","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$63A696D0-608D-4702-9749-DA4F020322DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$5E095CB1-B914-4F2B-8C10-9137638915B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$DCB32750-D1D1-4529-8A8C-BC1FBBEE13A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3670ad13f9493f6a3300d9189bb3c960efd98046","datavalue":{"value":"1749905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$B24B2FA6-E7DD-45E9-808B-17334AB4A478","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532609$E9B3211C-4484-46F2-A408-08B9ACA51F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532609$9D2CFAD4-A72A-4CAB-A1E0-85479D7A6D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532609$41F708F7-515F-4F0A-90C0-6D2ED101AE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ea74009f3e6aaad2fb0fc06728d00ab11f397c","datavalue":{"value":"predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4532609$27BEFC10-CC40-4296-96BF-9002860F3F6F","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":"Q4532609$593F8C7C-821D-4EAD-90C0-4A8734FD424E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ef7a9eccf89d8576dc7b634a806410526353b5c","datavalue":{"value":"https://doi.org/10.2178/jsl/1190150037","type":"string"},"datatype":"url"},"type":"statement","id":"Q4532609$668CB8B3-7AE9-480F-9319-069CC72A40A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab4002d07608bdcdb7256ba2f6d2970a8d421049","datavalue":{"value":"W2080847836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$1DD41259-D715-4C97-8DC0-6B3825C573A9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3089399d36a7bbc48ab2d19e8bf56dc79deee","datavalue":{"value":{"entity-type":"item","numeric-id":5847742,"id":"Q5847742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$96416FF8-1FCC-493B-BA83-99C8E2FC5D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bdd78b9ebbe4489db68c54b3f505ecbdd2e7190","datavalue":{"value":{"entity-type":"item","numeric-id":703304,"id":"Q703304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$7BC044A7-2394-4214-9359-A3450350BD8D","rank":"normal"},{"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":"Q4532609$5032B35E-6C4C-4AA8-A3E8-832BADB1C8DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe8ad9bbac4e56be6f51b9f4bf524169d09464e","datavalue":{"value":{"entity-type":"item","numeric-id":775349,"id":"Q775349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$AF93C300-F411-49B6-AF72-28D3E703FF9D","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":"Q4532609$9098E7AF-6495-407A-940F-7DFF53DC5090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97efc7f3311adf68dedfe57710af91f80c232896","datavalue":{"value":{"entity-type":"item","numeric-id":4353721,"id":"Q4353721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$A41DC22C-6201-4D96-9A5A-EEEDDB1DA84D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb2ddbf83b5e096ef2ec3ea0d717ff5eb833427","datavalue":{"value":{"entity-type":"item","numeric-id":2537778,"id":"Q2537778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4532609$DA079937-19A9-4638-A515-99C901AB43C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5569c2199d59e77f9414c8d617510cf225d7620","datavalue":{"value":"10.2178/JSL/1190150037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4532609$C1667F4D-7D71-4EE9-A7BD-B13853B1F5EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bc69c622f6cc7e1f9bc9059cd2ccdd6bea278d8","datavalue":{"value":{"entity-type":"item","numeric-id":3204457,"id":"Q3204457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58af8b357fb2da1b537e80ba137d4b27152f1003","datavalue":{"value":{"amount":"+0.8292742967605591","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":"Q4532609$E45FB1C0-5E75-4AEF-8BB9-2FFD2740CFD4","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":"1c09c86ffbe97e01107c42c6c7e9fa3d27c60c76","datavalue":{"value":{"amount":"+0.8182068467140198","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":"Q4532609$B439D565-BB60-4AB7-B468-70C2F0536B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da9d6a18b70a526444b69019849cb4af9b78da30","datavalue":{"value":{"entity-type":"item","numeric-id":271687,"id":"Q271687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c5ce4e15cd04ea0ee9a5dbfd7f874515530c5b","datavalue":{"value":{"amount":"+0.7850888967514038","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":"Q4532609$06608929-4CC2-46E2-B0A4-3176568381C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9e9521794ede3ccdda23597c8aa79e265ecccf2","datavalue":{"value":{"entity-type":"item","numeric-id":4353721,"id":"Q4353721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1007c7279f973c781c3661bb7736783645c35d22","datavalue":{"value":{"amount":"+0.7689917683601379","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":"Q4532609$B5109310-6F85-4A72-A109-F7E130C4766D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"333dd4280a2ae81b7dd26c7caffb51448dfcb7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5215389,"id":"Q5215389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1007c7279f973c781c3661bb7736783645c35d22","datavalue":{"value":{"amount":"+0.7689917683601379","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":"Q4532609$AE127E7B-02D1-41B6-B87E-19222DD53110","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4532609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4532609"}}}}}