{"entities":{"Q271687":{"pageid":273454,"ns":120,"title":"Item:Q271687","lastrevid":60591705,"modified":"2026-04-10T17:55:41Z","type":"item","id":"Q271687","labels":{"en":{"language":"en","value":"Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566260"}},"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":"Q271687$86B42EBE-C3DB-4B89-B24C-3C93BED6DDD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f748f3506c1e8a5f0e0a10510f6130e4a24096d","datavalue":{"value":{"text":"Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q271687$380A2124-7EF7-4517-82A2-A4A55AE2707A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96dbfb131676346c41889a491b32abdff3e0010b","datavalue":{"value":"1397.03095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271687$561636CD-1D6C-405D-8FB6-59465E7E6706","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a32049ae0cb16cfbccaebfc164eda4fe2e59055","datavalue":{"value":{"entity-type":"item","numeric-id":271686,"id":"Q271686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$7E355B35-41CD-49C3-9897-53FB45265FF5","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":"Q271687$FB7C7960-F373-4F7B-B115-C5E67A1D793F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64bf554456e45f50d4461f4a22c88ea8b86e4044","datavalue":{"value":{"time":"+2016-04-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":"Q271687$473D37F4-6571-41D9-AF7A-C0A730AC3E16","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ba896568632ae393891f342bdcd9104470a1e647","datavalue":{"value":"The following conjecture of \\textit{I. N\u00e9meti} [``Logic with three variables has G\u00f6del's incompleteness property'', Preprint] is proved: if the parameters \\(e\\) and \\(p\\) of a diagonal free cylindic algebra \\((\\mathrm{Df}_3)\\) satisfy certain equations (denoted by \\(\\mathrm{Ax}\\)), then the relation algebra reduct of this \\(\\mathrm{Df}_3\\) results a quasi-projective relation algebra. Furthermore, using the previous theorem, a recursive function translating the sentences of first order logic to the equational theory of \\(\\mathrm{Df}_3\\) is defined, removing the relativization to set theory, strengthening a result of \\textit{H. Andr\u00e9ka} and \\textit{I. N\u00e9meti} [``Formalizing set theory in diagonal-free cylindric algebras, searching for the weakest logic with G\u00f6del's incompleteness property'', Preprint, \\url{http://www.renyi.hu/ nemeti/NDis/diagonalfree.pdf}].","type":"string"},"datatype":"string"},"type":"statement","id":"Q271687$8DFF3B7E-6E98-4C6F-847B-FADF0ADE3D0F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bca6eb89b6630dfb07a794ff91f372e7fdee6c54","datavalue":{"value":{"entity-type":"item","numeric-id":514551,"id":"Q514551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$82E100FA-23F1-48E6-8A89-E539E4922DAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271687$A00A58D3-8263-411C-9EB7-AF2BC0BD4A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271687$ECFC63C9-A38D-4B2F-87E4-81DE75CCB70C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c2c88dd1b9f1e004dcf2b82667e102e5eabcf83","datavalue":{"value":"6566260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271687$F4CF2A5E-B6AB-4C91-AEF4-002CCA908C5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135e12f5e59d7f63b7a32043a60963beb49324f2","datavalue":{"value":"diagonal free cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q271687$2C2B4C56-93A4-41B9-A3C3-C30DCA11BE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73e421d76ab023dcadffad308c7c563cdc60c204","datavalue":{"value":"relation algebra reduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q271687$54C26360-46CD-4968-A70B-2601A30CBB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62dab2abc50145dbf3d431e0a5cdc237c1c6dfd5","datavalue":{"value":"quasi-projective relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q271687$0F6BD004-AD97-4262-87A9-DDDBA65227E9","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":"Q271687$8894923D-AEF9-4881-AF62-48F9C292FDA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a1fe7eb62c603d74357a0404a595b493a8d26e9","datavalue":{"value":"https://doi.org/10.1007/s00012-016-0367-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q271687$12B4D759-248C-41EB-9801-8D767136D3CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"314ac93adc8716a2d0025b63608ff4a95328afc3","datavalue":{"value":"W2252325895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271687$7EC80D44-9613-4319-A116-2D8A2AB90354","rank":"normal"}],"P223":[{"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":"Q271687$3E3EBA96-3473-4133-A57E-441FB894AB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c290202d09253609d3352adbe072fd28dd6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5732648,"id":"Q5732648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$9831C5DE-2891-440E-9E10-8330622035D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabddbda2c90efbc7858f44bea11b065fa6ae574","datavalue":{"value":{"entity-type":"item","numeric-id":5810599,"id":"Q5810599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$A821D333-842E-4DDA-A952-06988F59699F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"126de90821be28cb2e987d414e00b8309a2c31a3","datavalue":{"value":{"entity-type":"item","numeric-id":1249576,"id":"Q1249576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$C24991D2-DD85-4DF0-9E1C-255F86E5EFE2","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":"Q271687$AE77A0A7-E1A9-49B9-95D9-C11A014ADF2D","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":"Q271687$EF6B811E-9164-49FC-A187-8929C363E6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ac0741082eee268d8fb2391d4dc966a1c3f9e9","datavalue":{"value":{"entity-type":"item","numeric-id":868510,"id":"Q868510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$9D3C07C3-1843-4916-8766-4068417E4E2B","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":"Q271687$CD8F8000-EE15-4627-A9D0-BF1906D30CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f7328db6a3235567db8b62cd651a29430182b4","datavalue":{"value":{"entity-type":"item","numeric-id":997116,"id":"Q997116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q271687$18E6FE5A-8B51-441F-BA2B-F56436FF1622","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":"Q271687$773053BA-935D-4B75-AC79-DAA9221D645B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c038fdb96683c81ce0509dffdca89dd8b48c42d","datavalue":{"value":"10.1007/S00012-016-0367-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q271687$F4E0FF21-4D84-4C4B-AB2C-183C4D79807A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad3cf1ece2441fe053876aac55cfaae6b06b51f","datavalue":{"value":{"entity-type":"item","numeric-id":2853707,"id":"Q2853707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b5fcf5810ef39b94a858692b56d41e159a0682e","datavalue":{"value":{"amount":"+0.8188225030899048","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":"Q271687$01C031EE-5485-4D62-9BAA-E7DB999D89D4","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":"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":"Q271687$7AD736BE-F1C9-4C33-A2AB-686116EC0A4A","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":"5dd3b4a16434a0e2171d85db8a15055ddea0f748","datavalue":{"value":{"amount":"+0.7705225944519043","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":"Q271687$B9C35617-7243-46EB-9F37-571FF0660127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a40ceae58d2c41b0ff7844fd5d90e672cebad1","datavalue":{"value":{"entity-type":"item","numeric-id":4011712,"id":"Q4011712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576177065b9f33dfd42c05f97bb4e7f9f9bbdd50","datavalue":{"value":{"amount":"+0.744280993938446","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":"Q271687$F4238B87-D0E7-4135-B395-F0403099D900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c5d375578419f1ecaee16242a800cba21b022c","datavalue":{"value":{"entity-type":"item","numeric-id":3419666,"id":"Q3419666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ed36acdf359256d7e2f7027525b300f18bea03","datavalue":{"value":{"amount":"+0.7419780492782593","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":"Q271687$3B1EE419-C487-41D1-9595-80F69F6934D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_first-order_logic_in_the_equational_theory_of_3-dimensional_diagonal-free_cylindric_algebras"}}}}}