{"entities":{"Q4204149":{"pageid":6233750,"ns":120,"title":"Item:Q4204149","lastrevid":49327819,"modified":"2026-01-06T23:34:52Z","type":"item","id":"Q4204149","labels":{"en":{"language":"en","value":"Nonfinite axiomatizability results for cylindric and relation algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123727"}},"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":"Q4204149$09CA2419-F208-470E-A0A8-7A510D6A3950","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9851dcd82bc048bb5240daab72738e9149f1f13c","datavalue":{"value":{"text":"Nonfinite axiomatizability results for cylindric and relation algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4204149$5F1547B8-A650-4D12-8520-53124CF71C40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d0d3cf6a263670a2d1aef3c0abf40425bf903ed","datavalue":{"value":"0686.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$D11A9508-3D40-423B-BEC6-F3F13D6BE706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91587e7bfbcf1ed2e8e6a8ba0a59314b360a7932","datavalue":{"value":"10.2307/2274756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$78999F53-DA6F-4F26-8C21-39166B2C79AE","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":"Q4204149$7AE50E98-71F2-4E31-B0EA-F17A5AE6E3D1","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":"Q4204149$F799680D-F5B2-42F4-AF0C-D282F952D2C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4204149$BCBAA102-823B-4343-BA53-7BF08DCB9183","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$677C0790-A0A6-44B5-A641-211AAEABB223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$446658E6-36A6-48A8-AC5C-8E40D041B956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$4BC35A72-25CC-4445-BD96-9F43CD811620","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87b709a18b7e2dd89c73da81fa090f18d2b4d6ad","datavalue":{"value":"4123727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$766B0FF7-FC42-473A-B6D1-99BA54EA2B15","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204149$6F2C01F1-2592-4CF5-AF19-BEAA62B06218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe792bc70c44a9e878a97df023eeb819fe1f439","datavalue":{"value":"algebraic semantics of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204149$3D1A9A12-DD7D-42D3-810A-4021BDE4492F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a72857f7e9db84b806fe238f466e9daab726835d","datavalue":{"value":"equational theory of representable cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204149$70C00A62-AA41-478D-8882-3CB4E1FD188F","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":"Q4204149$7DA5FA7C-2354-4779-A125-200F9ED827CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"414a73ca9c039bc8387467b93fb1fe14478cd0eb","datavalue":{"value":"https://doi.org/10.2307/2274756","type":"string"},"datatype":"url"},"type":"statement","id":"Q4204149$8C545045-3CA0-4C7D-8676-7981D1C08B7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb8afb38c620318cc95a9de05993c76782075a0d","datavalue":{"value":"W1975692240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204149$E7C97BBA-B061-48F1-A4AF-C8FE90C1CC91","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":"Q4204149$F1A633F5-510B-40CF-9546-F2F0C977BE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48db4775565adf80964d422a92037fe6d6a70156","datavalue":{"value":{"entity-type":"item","numeric-id":786804,"id":"Q786804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4204149$EA6631A1-50EB-4FF3-9621-81781039396F","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":"Q4204149$73824022-58B7-47F2-B13A-8857BB457C92","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":"Q4204149$A5E2671D-AC65-4AD8-AA6D-EC70829159ED","rank":"normal"}],"P1643":[{"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":"65f5d53e6ef341ae239151352ec7230183f3e860","datavalue":{"value":{"amount":"+0.8560950756072998","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":"Q4204149$B4B20BFC-F51C-46FA-A587-182CB29BC066","rank":"normal"},{"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":"65f5d53e6ef341ae239151352ec7230183f3e860","datavalue":{"value":{"amount":"+0.8560950756072998","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":"Q4204149$68308649-A8C1-4E1C-8E27-C13B08C3597E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc56002e2932d637a3c0941ad474153d6071453a","datavalue":{"value":{"entity-type":"item","numeric-id":4532609,"id":"Q4532609"},"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":"Q4204149$3A27FE48-A999-48EB-8B9C-498713C71A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c9221cf88deba469282e977a899330c733ff16","datavalue":{"value":{"entity-type":"item","numeric-id":5350184,"id":"Q5350184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03bb055410a3cab56341e2e3b5b0bf169b469ad6","datavalue":{"value":{"amount":"+0.8112503886222839","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":"Q4204149$ACCA3EA2-0DE5-4ABE-B2CB-3D14BBCBF4A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11e4eadd6cf744d882810a3f056d927246a5d50","datavalue":{"value":{"amount":"+0.8071521520614624","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":"Q4204149$6F1969B2-184B-4B3A-8545-2E70486B9ED2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4204149","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4204149"}}}}}