{"entities":{"Q997116":{"pageid":998964,"ns":120,"title":"Item:Q997116","lastrevid":65919804,"modified":"2026-04-12T06:16:12Z","type":"item","id":"Q997116","labels":{"en":{"language":"en","value":"Connections between quasi-projective relation algebras and cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5173456"}},"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":"Q997116$12D7D585-C9BB-4554-ADC9-3BB8FAEEDADB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcca309362d1b731dbb5e822eec491a2bbb8425d","datavalue":{"value":{"text":"Connections between quasi-projective relation algebras and cylindric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q997116$39D272B5-6B8B-4DAA-A899-1C97874CFD7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51c518ccd0a6ab43f07b48227a9a63b3565f2a1a","datavalue":{"value":"1135.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997116$6A3E46E0-E105-46D6-86FA-D20E2FAADE66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"133b2d2c9e18a2d8d838e9af0b335f8d3946ca49","datavalue":{"value":{"entity-type":"item","numeric-id":514568,"id":"Q514568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997116$91590FDB-15DC-474B-B16D-47A65D872662","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997116$1294EC88-480F-4DA5-A000-9F893518654A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6452a8a0408f27542935d3024f201ae02ffe1a","datavalue":{"value":{"time":"+2007-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q997116$FCA8C4CA-7E48-40C8-8668-8C21F3A5663A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12ffebdfb1e4ca0037a860e0f73fb89e8a772da5","datavalue":{"value":"Quasi-projective relation algebras (\\textbf{QRA}s) form a subclass of all relation algebras (\\textbf{RA}s). The author proves that every quasi-projective relation algebra contains cylindric algebras (\\textbf{CA}s) of all finite dimensions greater than two such that (i) they are term-definable in the \\textbf{QRA}s, (ii) they have relation algebraic reduct that is isomorphic to the \\textbf{QRA}s and (iii) these isomorphisms are also term-definable. Furthermore, these \\textbf{CA}s form a sequence such that each of them is isomorphic to a neat reduct of the higher-dimensional ones, and these isomorphisms are also term-definable. These observations yield a new proof of the representation theorem of \\textbf{QRA}s.","type":"string"},"datatype":"string"},"type":"statement","id":"Q997116$D5BEE57E-B3D7-4242-A241-F768DCED1E49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"92c4f981aadc914f96d132d85a17d7a2385b5878","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q997116$35B2403D-08FF-4997-92EB-4504DFF0D394","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997116$32667133-4834-4C1B-B091-43FEE09611F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a5ca03383ec9711586a727c6085356045981ce7","datavalue":{"value":"5173456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997116$517B6505-6669-4D0C-ACE0-4BD0E9815379","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3490124a6dd05f19996493751df9d5bf920eccc6","datavalue":{"value":"quasi-projective relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q997116$87ECDDA7-AE2A-44E6-8270-B92E6D81C4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ebd5d77adcb47c9288cee42bec7e3c9d6fdb1aa","datavalue":{"value":"cylindric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q997116$8D5C7029-9331-4FC5-AC4F-880DC2230722","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":"Q997116$36F51EDB-C22E-462E-867B-76B56730CD28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4f771665396d09fec92521ef7fef7fca184b2ee","datavalue":{"value":"https://doi.org/10.1007/s00012-007-1999-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q997116$3EF0AE7A-AB17-4F65-B4B4-267E8DFDEF58","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04ea9f7019424a4b10ec19ebff1e83dee4ccdce3","datavalue":{"value":"W1968351543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997116$76094216-9886-4BE6-BADE-21BFDEEB72C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8fac99ecfff3a30857de0513c05914c027201ec6","datavalue":{"value":"10.1007/S00012-007-1999-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q997116$12033399-11C4-4DFA-9997-23DBC0B25C9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03f23f200dd7351bc4301febdcce49429b5136df","datavalue":{"value":{"entity-type":"item","numeric-id":4329275,"id":"Q4329275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f116b6c4e3f8bdf3acf928c871e5ae052a384c9e","datavalue":{"value":{"amount":"+0.9533119","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$0BF69C6E-B051-4DE8-B1BB-6A547F2B57AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4239e4d511ede8a6592278052c1ce6460e4f05f","datavalue":{"value":{"entity-type":"item","numeric-id":3460614,"id":"Q3460614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6629b7e9d2d800679202ad1534eaf2a4791ea27e","datavalue":{"value":{"amount":"+0.9525996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$EAC639D2-2780-4FA0-A42F-CD0A1BD01285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd4396b6f3e8cc931c2e16dad205379cb3b404c5","datavalue":{"value":{"entity-type":"item","numeric-id":5956889,"id":"Q5956889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23731e3656e49739e862f1b43f013daf716c741e","datavalue":{"value":{"amount":"+0.9187427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$DA769FB0-D932-483D-908D-11C9171F3D08","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":"cce04b855d5c75a588456d53a7924693dbfd5fa4","datavalue":{"value":{"amount":"+0.91857266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$BF88DCB8-6E71-4DA3-B5CD-2D711D5B8229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54ddec7ca28c5723977ada11ebdbce68b74f7990","datavalue":{"value":{"entity-type":"item","numeric-id":4329278,"id":"Q4329278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f4edc011dd656b314ff161b917f0a9ceb16e2e","datavalue":{"value":{"amount":"+0.91848546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$3F820C5E-316F-4AA1-9D84-FB4D7D78058C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7519011d23c6d3f91e55e829d986856a89d1ea62","datavalue":{"value":{"entity-type":"item","numeric-id":5956890,"id":"Q5956890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f86d93a13f14682c1cd7ac6f080731caa510ad","datavalue":{"value":{"amount":"+0.91673577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$AAB962A4-C607-45AB-99EA-BBCD922770FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef47abd7739f648f79ceaeddb1cdcbcbb937952","datavalue":{"value":{"entity-type":"item","numeric-id":5294031,"id":"Q5294031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583df14bf017075e32440929f51c9d1d39ae0c77","datavalue":{"value":{"amount":"+0.89671737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$F2B86DB7-B5E5-4B0C-8187-A4AB12356B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2bc8a74728e68a0c9d4f0a3f2dd91abd8f5ed66","datavalue":{"value":{"entity-type":"item","numeric-id":4011730,"id":"Q4011730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a932b723bb836840b08a257b77c1a5be55365706","datavalue":{"value":{"amount":"+0.8918747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$C61A4DFB-CFA9-4681-AD52-4B51E269B5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1572e8d1c45fbd5f9b470fd873cf7bcbdd117a5e","datavalue":{"value":{"entity-type":"item","numeric-id":3801550,"id":"Q3801550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1deac1bd2bc9acdab40a1fe77c3ffc7b8e09da2a","datavalue":{"value":{"amount":"+0.8853358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$DCEE9010-0FA3-4B75-B000-4289D2032E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86efc97d4e1cc55712130d3b598abcce829bf91a","datavalue":{"value":{"entity-type":"item","numeric-id":4273487,"id":"Q4273487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1deac1bd2bc9acdab40a1fe77c3ffc7b8e09da2a","datavalue":{"value":{"amount":"+0.8853358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q997116$321068EF-D569-40F8-8EFB-B3390AEEEE6B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Connections between quasi-projective relation algebras and cylindric algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Connections_between_quasi-projective_relation_algebras_and_cylindric_algebras"}}}}}