{"entities":{"Q750474":{"pageid":752323,"ns":120,"title":"Item:Q750474","lastrevid":64058301,"modified":"2026-04-11T17:21:31Z","type":"item","id":"Q750474","labels":{"en":{"language":"en","value":"Nelson algebras through Heyting ones. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4174993"}},"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":"Q750474$D91C9F6D-D1E8-4289-BDD1-B38C6E82A6F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec9d61229fbab497388e3c3eb7e7e63e7e8388e0","datavalue":{"value":{"text":"Nelson algebras through Heyting ones. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q750474$E3323402-089C-4F8D-A4AF-0CE5E3FD74B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"92536b986d181dfd965871aba36a8fa1c0d035e1","datavalue":{"value":"0714.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$AD003522-336D-495C-A13C-295EDB81202D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4005f7f218a33dcb7de02f115ad2f348361352af","datavalue":{"value":"10.1007/BF00401557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$4194AED3-BBE3-47CA-B080-1CC32A85861E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dede02a18f1ac3e712f0249a9b9bbb094ded962a","datavalue":{"value":{"entity-type":"item","numeric-id":750472,"id":"Q750472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$862D7DDA-CC10-4CF6-8FE9-342D53B4DE44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$E84A194F-61AA-4651-BE0D-202817F42046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q750474$819D1C00-0B28-4887-859A-92660E26FC75","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5253296ac1068feff48a30b219e9139916e10806","datavalue":{"value":"For any Nelson algebra N the relation E on N defined by the rule E(a,b) iff \\(a\\to b=1\\) and \\(b\\to a=1\\) is a congruence relation on the algebra N and the quotient algebra \\(N/E=N^*\\) is a Heyting algebra. Each Heyting algebra H can be represented up to isomorphism as \\(N^*\\) for some Nelson algebra N.    The author positively solves the following problems: Problem 1. Find a useful and possibly simple description (construction) of all (up to isomorphism) Nelson algebras N whose Heyting algebras \\(N^*\\) are isomorphic to a given Heyting algebra H. Problem 2. Is it possible to apply the obtained description to state connections between varieties (quasivarieties) of Nelson and Heyting algebras?","type":"string"},"datatype":"string"},"type":"statement","id":"Q750474$E5B6A196-B031-4274-9C1D-45F21B0AC0DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$151CB189-D8D2-4308-8B48-1964E5FFAA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$D6FAFFE2-8C09-4973-9A79-1149560DD962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$D35E6C06-60CB-4E51-8316-747A89E5624C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a8277ca17f2d0708a074d000b5a9a4828bd4bff","datavalue":{"value":"4174993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$F1086853-1D80-4E6B-9B43-381E610FA41A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c307f89c8f25036210cdb4b24cf6b8defccad","datavalue":{"value":"Priestley's duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q750474$A69B8518-6BC0-4CA4-A161-33D1B6E1F120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd4f85f4e283642cb714ae9a2636ade95231e24","datavalue":{"value":"Nelson algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q750474$8A877067-0AFD-4ADF-B1E6-AF8987498082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q750474$A40D598E-5844-425F-8792-47699A49E2E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79985c90db1fef54c58fa8d6764e396494bb5b74","datavalue":{"value":"quotient algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q750474$D5DBD86D-592F-4273-B616-27810560CCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q750474$0603DD96-4C00-4B3B-BC8C-4B98AB151B1C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"55cce125d2b50c23768a94700ce957231de3a61f","datavalue":{"value":{"entity-type":"item","numeric-id":454369,"id":"Q454369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$8C954B6B-B035-4AE9-A2E4-8C3287833DE2","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":"Q750474$96BACDFB-5497-4336-8B00-F73071924592","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d034f066affca5b8bf5502dad9d320b3f5229f51","datavalue":{"value":{"entity-type":"item","numeric-id":3250590,"id":"Q3250590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$86BD416E-B676-4E98-80FA-2C8952C9C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfa39b42a1c2fb971c11ae8ae686b4334789977","datavalue":{"value":{"entity-type":"item","numeric-id":3257771,"id":"Q3257771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$5894B938-746F-497B-9960-47221940A0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c1e1ea82e6e352b8a09843f9e71383a9249832","datavalue":{"value":{"entity-type":"item","numeric-id":5540439,"id":"Q5540439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$1EC8817E-68C7-4634-ADBF-3E9689DEDC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba49eb4355f5c2cd74dfa9ae6aa3ed6736dd2b4","datavalue":{"value":{"entity-type":"item","numeric-id":1090350,"id":"Q1090350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$B40E689E-34DF-4606-9C19-09B8A54A14DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404104a09c600389cf9b1775f5baa28cf96609b9","datavalue":{"value":{"entity-type":"item","numeric-id":4187871,"id":"Q4187871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$4F5D11A5-9EBD-4D40-B87D-3F2283054944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84d8a909c7cc49fcd9da54bc01d1177304e0710f","datavalue":{"value":{"entity-type":"item","numeric-id":1071753,"id":"Q1071753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$B2C9AA9A-08B8-46C8-ACCE-A8960E1045DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$F13CD5FB-A1CF-4606-A435-98C2EC2C31CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fed011b6477d8a38f891520002eb83b89a25ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4776572,"id":"Q4776572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$27D0C949-AFAF-49A5-9584-393024968914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e04325fec895fa0ea90f616878f1c877552756c","datavalue":{"value":{"entity-type":"item","numeric-id":5736159,"id":"Q5736159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$05C33EBC-4786-40D2-826C-DC4DFED09A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$C2CB43D8-F89D-46A4-BD42-82008F5B965C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$DB4CB130-66E2-46A2-8E92-ECCEC3B252BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$41C6BC25-0076-4A3F-9A58-FFE6D1BF26F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e161dfbe8ad9eb3f28069aeb511dd5969d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":4085775,"id":"Q4085775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$E3E24260-7209-4CCA-BC1A-28F5579CCBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5710c2aba8ef4c542de483ebfca6cf7849ca633","datavalue":{"value":{"entity-type":"item","numeric-id":3222242,"id":"Q3222242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$6800E406-AC17-48EF-9B9F-436DF8963C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92106e7769c717dae7741849e4c7b9f1270a7321","datavalue":{"value":{"entity-type":"item","numeric-id":3257770,"id":"Q3257770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$73F654C8-5DC7-4D38-8529-005A37722829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a54b9e308c7141029e5e3f531ea2cf0f5ed21631","datavalue":{"value":{"entity-type":"item","numeric-id":1214924,"id":"Q1214924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$6A634779-2F29-4DD8-9CA8-9F0B351EC8C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ee89b1d248ab0a9ffca8afbb023ffa30b73aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1071022,"id":"Q1071022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$89ADAA35-BF59-4E7D-A13C-127938A7CA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c804e15fa99f42988dab3bbdbabb67758072be5","datavalue":{"value":{"entity-type":"item","numeric-id":5184954,"id":"Q5184954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$B7C51979-89A1-4E96-B231-CE5904F6DD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f311ce45b1595e141bd1b534a00e6fbe184eae21","datavalue":{"value":{"entity-type":"item","numeric-id":1249170,"id":"Q1249170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$7321E29A-B0EE-4539-B850-30304CC36D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ad8b9a33db24e9e9a504bbf72e8ee482a63c3f","datavalue":{"value":{"entity-type":"item","numeric-id":5618749,"id":"Q5618749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q750474$7CCB29A5-7235-4EDB-9DE7-C04F7C55924C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aecff4b86f2e4deec38034c88ebc68facf34608d","datavalue":{"value":"https://doi.org/10.1007/bf00401557","type":"string"},"datatype":"url"},"type":"statement","id":"Q750474$D47F8E5B-4F2F-46A4-BF89-E5E674215C80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe3d82d084c5ffb5f7537c986e36f912f47a6dc8","datavalue":{"value":"W2053168571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q750474$952000F8-F298-4C66-BF12-92A2A89C5074","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a74c0e8644ca852f1aeae9244dd596159b783e","datavalue":{"value":{"entity-type":"item","numeric-id":5184954,"id":"Q5184954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91fbdbef8c71040166ee08cc59af10abc2afe82c","datavalue":{"value":{"amount":"+0.8436993956565857","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":"Q750474$D48C789F-BCC3-4278-80BF-CBC0BDF1EFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfbf49adad089832811e4b1aed69c4c063d04003","datavalue":{"value":{"entity-type":"item","numeric-id":2413410,"id":"Q2413410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06971d6e6153021cef4128a8d3bb35445f4786e3","datavalue":{"value":{"amount":"+0.8379902839660645","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":"Q750474$7AAD932B-746F-4A63-9455-A5EEA5098B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d1bc88487043dda5636d1a8562719649045efd","datavalue":{"value":{"entity-type":"item","numeric-id":5505773,"id":"Q5505773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56d4ad932fafbb05218be431f6c5fb2aa2412fb","datavalue":{"value":{"amount":"+0.8118212223052979","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":"Q750474$FB63F6DF-7BD0-41BD-A937-FEF406FC5E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b48bc104dfa15ba1b993e3f506633aae0cb715d","datavalue":{"value":{"entity-type":"item","numeric-id":5095644,"id":"Q5095644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"751c04d6fba80cb2cd8a1140557f048e4714fb94","datavalue":{"value":{"amount":"+0.7813509106636047","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":"Q750474$53E583B2-8773-416E-BF87-CC574BBB1919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b866231915daacffaf72a36c0dfad3a984af30a7","datavalue":{"value":{"entity-type":"item","numeric-id":491776,"id":"Q491776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9471595fc04f09610c96e29d06784776b2c4b23a","datavalue":{"value":{"amount":"+0.7744836807250977","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":"Q750474$E558F5DD-51A0-48B3-A92E-DABAF41D386E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nelson algebras through Heyting ones. I","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nelson_algebras_through_Heyting_ones._I"}}}}}