{"entities":{"Q1092029":{"pageid":1102781,"ns":120,"title":"Item:Q1092029","lastrevid":66936231,"modified":"2026-04-12T13:50:16Z","type":"item","id":"Q1092029","labels":{"en":{"language":"en","value":"Equations in free topoboolean algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012567"}},"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":"Q1092029$C2326E1E-2051-42D8-9947-9380EA3BC7B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63f14a916c844c6637fbc7bd92902fc8a40fb8a5","datavalue":{"value":{"text":"Equations in free topoboolean algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092029$6EF496EB-F746-4408-B63F-3C53C7A79D96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"433a9c9f9f5187a134cc071bbfb32ead9f77f885","datavalue":{"value":"0624.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$CD241307-E2A6-4A75-A07E-875E90ED8F6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62da87e9cfd7ab899da59e62d4e1e70e358106f7","datavalue":{"value":"10.1007/BF01978885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$EEACD720-0EF6-4B03-AA0A-CE573C7464BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$839A1E86-FB73-4DA5-B1BB-865841FC5A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1092029$63F83184-11D0-4742-9CCF-8A7A1FF7D22B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e0f5319fa1fb3576236bf752d47d9d66bd7ae5b","datavalue":{"value":"https://eudml.org/doc/187345","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092029$DFF78514-F939-4537-AD50-2A264EA0D75B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c945982166171bc7a4921c70e738a6c7226d78b8","datavalue":{"value":"Let \\(\\Lambda\\) be a modal or superintuitionistic logic and \\(F_{\\omega}(\\Lambda)\\) the free algebra of rank \\(\\omega\\) in the variety of algebras corresponding to \\(\\Lambda\\). For each of the logics S4 and Int the author obtains the following main results. Let \\(\\Sigma_ f\\) be the signature of \\(F_{\\omega}(\\Lambda)\\) enriched by the free generators as constant operations. Then: 1) The universal theory of \\(F_{\\omega}(\\Lambda)\\) is decidable and there exists an algorithm constructing an obstacle (i.e., roughly speaking, a counter-example) for those universal formulas of \\(\\Sigma_ f\\) that are false in \\(F_{\\omega}(\\Lambda)\\). 2) There exists an algorithm verifying the solvability of equations in \\(F_{\\omega}(\\Lambda)\\) and finding the solutions of solvable equations.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092029$E3536CE2-F5B6-4419-9FA5-52B7640A9D54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$F814B95F-8BD5-44CC-9A14-C0F916D1B4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$3D36A9F2-DDA5-49F9-AAD7-9FAE1F641D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$937F4B10-0B1B-419C-B432-0F646AC8B517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$3FC9BF11-1CE3-4FB4-ADDC-3FE9F90EABAC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c06f77e88d43f2c2db65fcd713bc4657a7f6d30d","datavalue":{"value":"4012567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092029$98ABDDF7-8261-480D-9559-68A1595957BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092029$7F493ED3-59EB-493D-8293-1CBAEB491301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092029$21C1B58F-6F19-4FD6-9FCE-10709A0B04CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef7a5b9572f7afc0df7af17df0fb3cae3340eab","datavalue":{"value":"free algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092029$E21734EA-973F-4752-ABDF-1EE53E0DADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092029$7D39A73E-D645-4DEE-B5CF-A1CFD25F8876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaced1127defca26a049164fafb8eb403e573b6a","datavalue":{"value":"Int","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092029$C2A377FC-6C67-4F38-99C8-D7582AB52526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$08507238-3C2F-425B-A2F4-0687C6855A51","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"31b64c380fcc4cff66bf21399b51cdd38a2b701d","datavalue":{"value":{"entity-type":"item","numeric-id":588921,"id":"Q588921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$095D5950-C8F1-4079-91A8-C30A55575528","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":"Q1092029$17CEBD0D-6AE8-4E47-832D-1FF29BCDA150","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b12ffa638fd7fd2f8d42aaf2cea823298b1d441","datavalue":{"value":{"entity-type":"item","numeric-id":4146913,"id":"Q4146913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$1A5E3523-76B3-4237-9C41-321BCD1E4EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516799c82fb39c92923206092dc1c86efbfcb753","datavalue":{"value":{"entity-type":"item","numeric-id":4750010,"id":"Q4750010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$5F560921-4127-4924-ADC7-642392ED4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33ed7790b73ca0627f9aea6069a6e8916b8f045a","datavalue":{"value":{"entity-type":"item","numeric-id":3950540,"id":"Q3950540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$31F953DC-DE56-4282-9526-3327FD323508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58312fafedbf68d82f54454b1126d641f3f1d949","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$C0A834D4-47B1-49DC-B495-CEB6CF6E8DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$028659D7-C2AF-4E24-8A41-311D58F5171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0819324bd506803b495a19a7d780cc9145a758e","datavalue":{"value":{"entity-type":"item","numeric-id":3206929,"id":"Q3206929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$0488C7F6-30D1-42C6-9FAE-A1AE2AA360BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabaa0ed487dc7ebf99af3954ca5746fee6a983b","datavalue":{"value":{"entity-type":"item","numeric-id":3964525,"id":"Q3964525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$CF4B908D-2FAC-4C54-BC35-77FFA006BD5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49267d5a56c68e91aab1169da27d04cb8335482","datavalue":{"value":{"entity-type":"item","numeric-id":3843658,"id":"Q3843658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$9EE42215-6800-442E-8D1F-462684BC7D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092029$E3B24620-9390-4991-A724-2E4A02551815","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dd31e22c0f5f06801aa7f9cb68dd6775f75ba37","datavalue":{"value":{"entity-type":"item","numeric-id":3745885,"id":"Q3745885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddf604162185e887f0eaacc26adbe37161a5f1fb","datavalue":{"value":{"amount":"+0.9085540175437928","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":"Q1092029$93D597D8-53D4-476F-A0CE-FA999F76B674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10203ac777ec32d0d37e0d3ebddd23a38a813118","datavalue":{"value":{"entity-type":"item","numeric-id":1076014,"id":"Q1076014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf4c2f493f114648a88980ecbdc4a198ce0bbf2","datavalue":{"value":{"amount":"+0.857551634311676","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":"Q1092029$531DEBD2-9549-417A-B3DC-C2E214519B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebdaa7156278676ff0ed6ce2b843cd2998800202","datavalue":{"value":{"entity-type":"item","numeric-id":4026933,"id":"Q4026933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d935806bdf2789dcdc8e165b41c12cb7779e36f7","datavalue":{"value":{"amount":"+0.8208964467048645","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":"Q1092029$F205BDF5-446C-4F0E-ADE6-ADEDE6EEC508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9c89119ec238e4cd290454df746658996e57c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d935806bdf2789dcdc8e165b41c12cb7779e36f7","datavalue":{"value":{"amount":"+0.8208964467048645","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":"Q1092029$F78582B3-F099-4359-BC9D-DA382D7749DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25bc54f7a345db18f25bc82f52d939c281529c2","datavalue":{"value":{"entity-type":"item","numeric-id":4724632,"id":"Q4724632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"938d35725552f12ecb6a84bc98bb8a810d396c16","datavalue":{"value":{"amount":"+0.8063299059867859","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":"Q1092029$297CA52A-9666-4F9D-BCB1-BA3E49B2E536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equations in free topoboolean algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equations_in_free_topoboolean_algebra"}}}}}