{"entities":{"Q5100063":{"pageid":7129639,"ns":120,"title":"Item:Q5100063","lastrevid":54389231,"modified":"2026-01-26T18:08:08Z","type":"item","id":"Q5100063","labels":{"en":{"language":"en","value":"First-order axiomatisations of representable relation algebras need formulas of unbounded quantifier depth"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576908"}},"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":"Q5100063$D8442D89-EF55-4798-9C97-D6AFC813E683","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a597ea0a3ea55d4bca390764de7567f94d9952e","datavalue":{"value":{"text":"FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5100063$5F2A12DC-FE4F-478D-9AF7-81B804BF0B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6288d95051e9faa2ecbef363d08a7ee5784b1391","datavalue":{"value":{"time":"+2022-08-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":"Q5100063$84BD5B3D-A1CE-4137-B046-592F98D0A39B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04f6377c240dd98172af96f49000d6d59e32b46f","datavalue":{"value":"https://arxiv.org/abs/2008.01329","type":"string"},"datatype":"url"},"type":"statement","id":"Q5100063$4DF50AEF-E0D9-471D-A8E3-0E570A672768","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100063$0B4EC34C-2773-4DC8-B244-BB952FDEB30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100063$0511DB40-470A-4370-8AFB-37E6C4F0CF7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc2a58367b49d5fc2d6e9ea5d7e90fb58e323a8d","datavalue":{"value":"7576908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100063$13995FDE-BD18-4F8B-9461-2627DCEEF72C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42c7b3cf30dd0e677690383bb3fb1f92ddbc534","datavalue":{"value":"RRA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100063$A32BB1DB-CAA8-4607-A6A8-ABA9E1A1C9C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba6e23f9002e6fd2e9e10cce89be0a65dd90dbe8","datavalue":{"value":"representable relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100063$4EC6A736-AE2D-4CB8-95D6-8011B494A3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f21240e4e18ad60f86830d5f12771a48ba5bd7","datavalue":{"value":"finite variable axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100063$BBE2BF9D-F01E-45A7-920F-2B6C8A7C70D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d13680a56fb135b7cc2ca57b4b294ee21865d18","datavalue":{"value":"bounded quantifier depth axiomatisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100063$D36E50CA-3C39-4A37-9EDC-ABFBE5B775EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b7c854d12790b03a83c2476c9dcf83f878d9e12","datavalue":{"value":{"entity-type":"item","numeric-id":422346,"id":"Q422346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$E4E950F7-34CF-47A7-A075-38843B78805A","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":"Q5100063$6790033D-9917-4EEA-87BF-9E78ACA06999","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cedfd091c2258943cadcffdadbd4749dcfc2b02","datavalue":{"value":{"entity-type":"item","numeric-id":13546,"id":"Q13546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$53ED617A-51EB-47EF-AAD2-36A95CCDFA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a035e3f0404b92ed68f555dcf01ded8672de7bcd","datavalue":{"value":{"entity-type":"item","numeric-id":40314,"id":"Q40314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$E7E37F0D-C6AE-4A6D-9C67-933FAEF36B35","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f0ee199cb2c922559ff18d199095130725a12d88","datavalue":{"value":"Q113858282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100063$E4B12E1A-0985-4F69-A0C8-459712B9C83E","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":"Q5100063$5ED21529-CEE2-4889-BA4C-DD7CB546A77E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea7fb8a083d5f6c1d88440e89bd5a2e743256a55","datavalue":{"value":"W3209540238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100063$7213B298-26B8-41CF-B16E-30C533151413","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0c5249fed57017db8ac2f589f6751603eac7ebd","datavalue":{"value":{"entity-type":"item","numeric-id":516028,"id":"Q516028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$B392C217-9483-41EF-A1C8-C675A23BB727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$CB21F859-52EC-467A-8F62-946231050372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15a396678a6bd28208258755b66dbe6f7abe7c2","datavalue":{"value":{"entity-type":"item","numeric-id":6056811,"id":"Q6056811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$CE6CA515-6569-4D34-8331-54EC2465E871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33da060c89ca56508ea29c304b3f59a0dec5076","datavalue":{"value":{"entity-type":"item","numeric-id":896017,"id":"Q896017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$E489EC91-5BBD-48BB-AFD2-45EDC7820E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948a492c3ce30688c9bfcd563e1992da688c1e80","datavalue":{"value":{"entity-type":"item","numeric-id":4011716,"id":"Q4011716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$556749A2-F0FF-44D5-83F8-A5EEA2F46EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afb7200ee38294b4267d50a6c4f702f2b7734041","datavalue":{"value":{"entity-type":"item","numeric-id":877838,"id":"Q877838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$11E255F2-5AE0-408A-A565-E79A941DA6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4f1737076dc313cc8310424628d232438f7012e","datavalue":{"value":{"entity-type":"item","numeric-id":1994364,"id":"Q1994364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$D5D37702-5350-4794-8812-5319F07A55C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb84dec516bfee7ca06dc414151b16de6cb3533","datavalue":{"value":{"entity-type":"item","numeric-id":4834295,"id":"Q4834295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$256D1E01-67DE-4AA4-9692-9DE74107BEBC","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":"Q5100063$D55466FE-7494-4CC5-AD47-9C99411FDB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1308849decc3fa35b7eb1adef8d8145645005d82","datavalue":{"value":{"entity-type":"item","numeric-id":5956890,"id":"Q5956890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$70DA7436-CFF6-4E77-B9EF-633062C033A9","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":"Q5100063$A47C76A5-35DA-4E7F-99E6-DC36F71E6A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7db6a6266e4ee04ac9dc932d630169cc6bc7d11","datavalue":{"value":{"entity-type":"item","numeric-id":4532609,"id":"Q4532609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$82B7C0E8-3D46-45D1-BCFB-50339186D070","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":"Q5100063$49929D34-CFFC-4EB4-B1E6-D55ACB905951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df698818c0dd57be3b2281fd72be32288a321373","datavalue":{"value":{"entity-type":"item","numeric-id":4227581,"id":"Q4227581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$2C478F18-2975-4365-AEF1-01BF19D65B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58e96e56fa7670a298892e95b3ad874ec0276b","datavalue":{"value":{"entity-type":"item","numeric-id":4011720,"id":"Q4011720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$215F5773-9EB6-4F05-B65C-CF623255347D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$337ED62B-1693-48BC-BD44-D5623ED65735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62a7ee57a756d9c692750076403c6b2fb06447b","datavalue":{"value":{"entity-type":"item","numeric-id":4204149,"id":"Q4204149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$7A3B6523-89E8-43FC-8169-BBE1C001880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e457aefff7227ec2d9e92fa001f8d2d7dd1bf6","datavalue":{"value":{"entity-type":"item","numeric-id":1189893,"id":"Q1189893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$633C0E51-BBCD-408A-ABE5-431501CFE9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e208d3d6ab7e266e208bfe8d643670073f816c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2521342,"id":"Q2521342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$2481570F-07C2-41A9-9531-FA7A7A2F89A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fafb09cac9e7930919436b28063946a6fdfc51","datavalue":{"value":{"entity-type":"item","numeric-id":5833217,"id":"Q5833217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$93ED8CDD-4E92-458E-8465-540C3FB4FAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$422F918D-5880-49C3-B742-202919B44BE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1533c138f838fe5bba2936038f1010bbbc2b5ff0","datavalue":{"value":{"entity-type":"item","numeric-id":4215609,"id":"Q4215609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100063$3951B7FE-D021-4D1A-A8A4-77CBAB60D89E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3e7088f8b9b1e318a71e302acaf06f89dcec290","datavalue":{"value":"10.1017/JSL.2021.88","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100063$E79F04EC-24B4-4471-A01D-85764DD259E4","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":"Q5100063$362F7F94-8837-490D-9E98-E3F842989524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b591ac6208ec6e877d2ca5bba3f6cd004707af","datavalue":{"value":{"entity-type":"item","numeric-id":5737952,"id":"Q5737952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2dfd6975038a4df9b861715652a397d43a70f39","datavalue":{"value":{"amount":"+0.7872989773750305","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":"Q5100063$C416E04F-FAF4-415F-9343-2D8A503F4B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39ed543d1e883ae124e3e7292669fce7260b682c","datavalue":{"value":{"entity-type":"item","numeric-id":5932467,"id":"Q5932467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6891ff5a06ece0c8d167a3b03591a19d671418f","datavalue":{"value":{"amount":"+0.7701852321624756","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":"Q5100063$9EE9AC35-B196-4E6A-AF25-EBD65D86B1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d85bd0b13f18fc7a8cd0f2297935675c664f072","datavalue":{"value":{"entity-type":"item","numeric-id":5411422,"id":"Q5411422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80d311980ec37b079bb87cb62f1e680f9d8dc35c","datavalue":{"value":{"amount":"+0.7608156204223633","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":"Q5100063$9F031D5B-5529-4999-A084-0AA82288227F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ddf18ea6ff7e0cbd453b7ae0939547fae11cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1337158,"id":"Q1337158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c28dee4a6a27d852a2a1f37a163d82975ca6bd","datavalue":{"value":{"amount":"+0.7570245265960693","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":"Q5100063$0CEFF279-E70D-4948-8999-2CD4430A8602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2dda2aa8b14a472fb8161d128eeb8a82a04ce2b","datavalue":{"value":{"entity-type":"item","numeric-id":700879,"id":"Q700879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bebda818163792c17d5c92f4c915d126180d4dc","datavalue":{"value":{"amount":"+0.7554285526275635","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":"Q5100063$EA29477D-F608-4A50-A619-582F14E34DC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5100063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5100063"}}}}}