{"entities":{"Q4834297":{"pageid":6863877,"ns":120,"title":"Item:Q4834297","lastrevid":91577948,"modified":"2026-06-04T23:31:55Z","type":"item","id":"Q4834297","labels":{"en":{"language":"en","value":"Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 758468"}},"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":"Q4834297$ED766C5A-CDC3-4FA7-8E01-EB73831D5C32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b140a9a9105d765054805303a00fa92f079742b","datavalue":{"value":{"text":"Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4834297$9F1F4512-186F-4548-B150-9E3E9B1B2202","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aabaaa3669912d9e6dd575d9e661a43cce1a7bf","datavalue":{"value":"0830.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834297$86C93960-4888-437E-A996-E699F691E13F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834297$6628D3D0-FC73-4194-B132-E108B00379F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834297$6C4EC739-9175-4DFC-B480-9141E15B236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"133b2d2c9e18a2d8d838e9af0b335f8d3946ca49","datavalue":{"value":{"entity-type":"item","numeric-id":514568,"id":"Q514568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834297$6DD5C7FC-5E62-4827-86B7-9BA1FFD98729","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e681a2d729895c1036e78fcc6aabc448cd04fcb","datavalue":{"value":{"time":"+1996-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4834297$313B2E80-36C6-4FF2-9AF3-06F87E8D3077","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834297$C8628D3B-91CE-4419-AF93-8DEE83B6B5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834297$88D354AE-8C49-4B72-B7A3-255713AA5AE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cc10412b00910ce7f613a43a242bf25a32a3a94","datavalue":{"value":"758468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834297$A4DA70B5-B2DA-4CDD-AC5F-444C21000C89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8a341aea472bf2868ef1bcd2a2cf932c9889699","datavalue":{"value":"residuated operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834297$A9015C2B-FC93-4B73-B0C5-7C096D5E3F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a668833d6e830cc7086c62f5c2f2a43bf7e58b71","datavalue":{"value":"residuated Boolean groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834297$5E96CBDD-A96B-4B1E-8981-3ACAF14BC63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733808d3fb48eb6ddc0e26cd151a0eef4ef6dd67","datavalue":{"value":"normal operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834297$3B5AE7DB-412B-4D4F-A838-8B649119763C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834297$0744D99C-3E7F-4A45-A8D5-8BB63FCCC7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4834297$470FC011-159F-43BC-8DD1-1F6975DD857B","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":"Q4834297$732A6BE9-47AC-4636-8CB3-5F57D966C2EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b6c8e093e6b637a5558f4de3d7b0ad7fc18b4b60","datavalue":{"value":"https://doi.org/10.1093/jigpal/3.1.93","type":"string"},"datatype":"url"},"type":"statement","id":"Q4834297$C09EE6AE-0585-4A61-968A-56C771F650D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47a8b32ce8f26e5b1a3e8ab1000dcf293fc1042f","datavalue":{"value":"W1974325707","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834297$6CB45B02-D4A9-4204-9519-3AE3F678ED1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bffd37e1cdf61318b5486787d9896d522ab35308","datavalue":{"value":"10.1093/JIGPAL/3.1.93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4834297$D54C786F-D2FF-4E4C-92B0-E58D310D52AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4834297$924E025A-0AF8-4915-A563-454385CA48D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cee5f3adf1aa2038bbea9fbbca05d1c561d12e7c","datavalue":{"value":{"entity-type":"item","numeric-id":1312168,"id":"Q1312168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e78d663388eb7830bf4c9ba39fb21a29708aea83","datavalue":{"value":{"amount":"+0.8055691719055176","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":"Q4834297$DBC8D914-7592-4E5D-9FE5-D84B57D45D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4312e188a5300e5a98c3f743aea05c3f36bf5873","datavalue":{"value":{"entity-type":"item","numeric-id":2820699,"id":"Q2820699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5549667110f7a90174f321412f20f4693067852e","datavalue":{"value":{"amount":"+0.7951564192771912","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":"Q4834297$B25EF157-F561-45BE-BF2F-88A4EB7D57DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c22ed25d4d674dc5232767cac95be2b6ed35936","datavalue":{"value":{"entity-type":"item","numeric-id":4273435,"id":"Q4273435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011d18f7c9c1b985407975c4e06d607072ab81c5","datavalue":{"value":{"amount":"+0.7631474137306213","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":"Q4834297$9C0DB748-2DF5-4D71-9BD6-EE752C552CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2716e1435414e7ea8a54c77c8fc4f6f6dbcb0ec3","datavalue":{"value":{"entity-type":"item","numeric-id":2325603,"id":"Q2325603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"269045d1224e7357adc0f968a17e1f19bda97ac0","datavalue":{"value":{"amount":"+0.7593675255775452","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":"Q4834297$7D19AB49-F4B6-4B3B-9DF6-6F64E5C39659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb9a0a3ec49e1036aaf82951ef29bb204704803c","datavalue":{"value":{"entity-type":"item","numeric-id":4562781,"id":"Q4562781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5f4ed7d3447c1a1fcc043c6bd87d3012b62388f","datavalue":{"value":{"amount":"+0.7360100150108337","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":"Q4834297$B68722FE-C300-405B-B73A-1C534C1DBBE6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of the Equational Theory of Some Classes of Residuated Boolean Algebras with Operators","badges":[]}}}}}