{"entities":{"Q4948527":{"pageid":6978109,"ns":120,"title":"Item:Q4948527","lastrevid":92086493,"modified":"2026-06-05T00:50:00Z","type":"item","id":"Q4948527","labels":{"en":{"language":"en","value":"Decidability of cylindric set algebras of dimension two and first-order logic with two variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1429772"}},"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":"Q4948527$159514D7-373F-4554-80E0-30D510BEFC0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e86780e1cbb0859625d43f5a3d5d47d45960edba","datavalue":{"value":{"text":"Decidability of cylindric set algebras of dimension two and first-order logic with two variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4948527$9B331867-0FB0-403D-9EBD-E88D7E7F85CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba1862b6ac536a2cc3b1abf3131eeaa5e1eacb65","datavalue":{"value":"0953.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$53B2EBF0-8649-41CB-9035-1AD79F74BD49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2a422687c63c58e02b9771bda85df8cd6e79f3e","datavalue":{"value":"10.2307/2586797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$EF54756F-2F6E-4B34-BD37-E9C082D61163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$56CF4349-280B-4491-BFCC-26D025546561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$38377F7A-C169-45CD-8BAF-67C7B7E40BC0","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":"Q4948527$40A5C1D4-7FFC-4446-AE25-7BC38FF89487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71be87b5127a36cf0026b68d385bda28356d61ab","datavalue":{"value":{"time":"+2000-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4948527$E4308D89-DAFB-424A-A292-C9504EAB0487","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$C252DDD9-E986-428A-81EF-CC53EB8140DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$78F5B8ED-AF41-44B9-B7E2-3982A36C13FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$B8CEA36F-9391-4742-87CA-AFE5A801EA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$ACC1E5EE-FF9E-4285-A4DE-092061CFF8F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c4dde198a4a9e188899e571033ffdce4893db74","datavalue":{"value":"1429772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$58D94BE1-A0E0-4C0D-BDF9-71B7D740D04D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948527$AEB011A8-B1E1-4A31-A34B-2C77D9B10FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948527$A96A3BC6-EF20-4D95-B308-727C7E928F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be3f8ed1ec8e4a2e0023208c2b14dff77212d1f","datavalue":{"value":"first-order logic with two variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948527$91CB6066-F538-48AE-86CF-4B8658F194E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a4cf277d3f927c6f19bdddc025b7ca6cd60f30f","datavalue":{"value":"polyadic equality set algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4948527$66C5016B-985F-4A92-82BF-EA3333E36F85","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":"Q4948527$A3B84621-AB12-402A-A901-4F2863A61D19","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36aafd493e5d8920eed9e8ae3f5936605363cf17","datavalue":{"value":"https://doi.org/10.2307/2586797","type":"string"},"datatype":"url"},"type":"statement","id":"Q4948527$7A28C3B1-DDD6-4394-8611-AE185ADF2D78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e176ce5aa5b8f4551b3cc57b80ec92ed2a8b1a44","datavalue":{"value":"W2006059181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4948527$CE4A217E-A327-4BB6-ACD1-AFFC9719ED0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d3e80b41f170ac4196b6987278b1835728d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4755550,"id":"Q4755550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$F4400A3D-4D96-4932-9D33-9FE946075430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d159655db040654f25d54689f98b3a3abd7b19f","datavalue":{"value":{"entity-type":"item","numeric-id":1277794,"id":"Q1277794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$283CC942-A8B8-4AAD-AB7F-E6BB45AB8FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$B8635AEF-62CC-44E4-BA93-B904CDAA475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb8967f24f91589a2ac118758e3da6ec1600e526","datavalue":{"value":{"entity-type":"item","numeric-id":1900185,"id":"Q1900185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$4A701369-44BE-4931-B878-4D86A3D38AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$2017D3A7-3B5A-4603-AB1E-7CF73437B0C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$55513D60-743D-4FAC-9E1B-B08AFE72CCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4948527$8369C09F-2FAD-4FD8-A8E2-3BA15480748A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a304c1062e951dd9b2361070458a9ba6597c62d7","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ebee00b79cc330d8d013b96adc5916a3cf624a","datavalue":{"value":{"amount":"+0.7727649807929993","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":"Q4948527$9B2D8341-990A-4444-9EE0-43DCB6FAE3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1470d7443efcd8b5f4ef29e7761dcff4995c1956","datavalue":{"value":{"amount":"+0.7600071430206299","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":"Q4948527$DD0780CC-B6E3-4B31-AADB-9A3AEC7000CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb158dd7973414d14e61278870445c0f264b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8b399c52ed2c317fac99fe19b0e42fc3801a02","datavalue":{"value":{"amount":"+0.7597602009773254","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":"Q4948527$3EF87E55-A2C7-4F9F-BE62-E555C9C3A4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4605074fb3167ac93402a5e976d05348990b17d7","datavalue":{"value":{"entity-type":"item","numeric-id":1098852,"id":"Q1098852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fecad1cb633b4c27cac1a36606a0bc5caa6dcf","datavalue":{"value":{"amount":"+0.759337306022644","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":"Q4948527$CA5992CC-3AFD-4D8C-AD40-8A9614303960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80aa11245de39962b58383df03268f99af0c5d5d","datavalue":{"value":{"entity-type":"item","numeric-id":4873975,"id":"Q4873975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145238020af79ccd4c118e92aa84feb25923f394","datavalue":{"value":{"amount":"+0.759035050868988","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":"Q4948527$30BEE490-0F03-41CA-9C25-117052DD7892","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of cylindric set algebras of dimension two and first-order logic with two variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_cylindric_set_algebras_of_dimension_two_and_first-order_logic_with_two_variables"}}}}}