{"entities":{"Q1071022":{"pageid":1081774,"ns":120,"title":"Item:Q1071022","lastrevid":48897634,"modified":"2026-01-06T02:55:11Z","type":"item","id":"Q1071022","labels":{"en":{"language":"en","value":"Some investigations of varieties of \\({\\mathcal N}\\)-lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3937184"}},"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":"Q1071022$6DCADD71-EC43-4DB4-AB6B-94AE4214B43E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc47242633bc1860560299d97dc0711b463b15b9","datavalue":{"value":{"text":"Some investigations of varieties of \\({\\mathcal N}\\)-lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1071022$C83688B2-E9A5-400D-90BF-11C3B80F0602","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e00971c3f073630dd9000ae4ef0bdb9d8c903f5","datavalue":{"value":"0585.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071022$4B1D4E6E-C9AD-4C2A-956F-FB1A61891396","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7ecb421852850f0cdcff36931aff1a264d42658","datavalue":{"value":"10.1007/BF02429842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071022$FC10C04A-63CC-4470-A869-983C582E5EA7","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":"Q1071022$2F6A2F27-A7E2-4D53-BC47-3CD7F1D35CFE","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":"Q1071022$332C58BE-93DE-4F59-8AD4-60D9B4A89B37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1071022$6512BFB3-4E70-4A5B-9AB7-9516BCE0D6FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"621bd1459ef819f0a7755c6d6513dd26203ee3c2","datavalue":{"value":"The author studies some important properties of varieties of N-lattices, which are algebraic models of constructive propositional logic with strong negation. Using the technique of posets enriched by a unary operation, he proves that there are only 3 pretabular varieties of N- lattices and only 6 preprimitive varieties of N-lattices (a variety is primitive if each of its subquasivarieties is a variety, and it is preprimitive if it is not primitive, but any of its proper subvarieties is primitive).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$6C2583DA-67DA-48C8-9B1E-D1417D118CAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071022$3F939142-46D5-4B26-93D7-D7013B28621F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071022$55323860-C142-43A2-854C-80343014D6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071022$6850EC95-B864-4D06-BF89-A60758F43D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d369bbb4621acbaf5cda8f15a4a778293b0e37dc","datavalue":{"value":"3937184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1071022$8C627B0F-D538-4923-A93C-19C5C74B1D67","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$57F42AC4-13EE-4ED1-8CF4-83144B17FC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf9582e1b3a6edbfc817c1cae35392cfc15e1539","datavalue":{"value":"algebraic models of constructive propositional logic with strong","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$FAFCDCE1-03C1-40F8-94BD-0890F8A47288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$30A56D07-BB6F-4F77-8699-2CA10486922A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$6BB82010-BFF3-4B1C-8F0D-4E72D2F7432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f8761abddae5cef36259eaf0c5426010811f68","datavalue":{"value":"pretabular varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$227E0BC5-D1FC-4CF5-A412-9DF842C32506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38547afec0b1ebe489574d81e5d79e888543d89c","datavalue":{"value":"preprimitive varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$6766A6EA-3A4B-432D-9702-FD2A3031376B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47d49eff57d69aff661f07433b9632bf03cc64ba","datavalue":{"value":"algebraic models of constructive propositional logic with strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1071022$359468EE-CCAF-484B-A7EA-11FA2CC4DEBC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67a71dc8d5d63bc79a22e8a3eb2b08857c8e89a3","datavalue":{"value":{"entity-type":"item","numeric-id":1052313,"id":"Q1052313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$84ACD360-1B1B-42AA-A802-C68B444EDAC8","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":"Q1071022$A0DC8C4E-8B74-4C23-9F8B-F4B96E8D563A","rank":"normal"}],"P223":[{"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":"Q1071022$FECD9639-59DF-4E38-9DE9-068F8219E23B","rank":"normal"},{"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":"Q1071022$25AE5B14-7F8F-485D-863D-883B9DAA3898","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":"Q1071022$FE9CF8DB-2E70-4C15-A368-72BC246C8450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$15F6D0E1-C129-4B7B-8E31-3C4276746C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abdec9230c336f813089d54dce856d2c1ffb6d28","datavalue":{"value":{"entity-type":"item","numeric-id":4053721,"id":"Q4053721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$06BBDBB0-D053-460F-A93C-A011746EAEB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e02197a1430e09eb6e4954a3307176638f7614","datavalue":{"value":{"entity-type":"item","numeric-id":5509710,"id":"Q5509710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$C25003B2-1DDE-4E51-92F3-D960DA037F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$5F56C4DF-BE7C-4CBF-9B93-FC7D9FAAF4CB","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":"Q1071022$45A39E91-36AC-4597-BC4C-0F0700631E4E","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":"Q1071022$2847A314-2972-40E3-85A9-4FEB35923364","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":"Q1071022$9665C070-D7A3-40D4-B53A-160FF8399598","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":"Q1071022$F233BF22-009E-49A2-9B63-DFBAB9AC9744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43100b0b89e84ae15de5bd59f77843bd112a2574","datavalue":{"value":{"entity-type":"item","numeric-id":4182566,"id":"Q4182566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$148CD6BF-73A0-4612-AFCB-8FBEE918EE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fae066ab52947e678be762a4f273865d1c4958d","datavalue":{"value":{"entity-type":"item","numeric-id":1237778,"id":"Q1237778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$00FD3A1A-A061-4DB4-B842-0B0FADEF6FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$CF8A6191-8988-4C4F-A0E7-BBF38D88F5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dac38f16d261644fc5f7dd64cd00e25f1e7f54","datavalue":{"value":{"entity-type":"item","numeric-id":4198474,"id":"Q4198474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1071022$EBFD46D8-B23F-42E7-AB16-1FE730BE6FAE","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":"Q1071022$A33A8C3B-3CD8-4211-9946-CAEFE358F997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba16a85a4eaff8611019967d5ecfea0a187d2515","datavalue":{"value":{"entity-type":"item","numeric-id":3220583,"id":"Q3220583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b961f1b832faf47b83e438bf737733e79ba93862","datavalue":{"value":{"amount":"+0.8893775343894958","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":"Q1071022$9AE7DA00-9220-4F91-A9D3-B5FBA00326CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e56889084caef4ab878bfb77ff1a57900c34cf","datavalue":{"value":{"entity-type":"item","numeric-id":757363,"id":"Q757363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11eb61e9ef44a4b10b798b9b29cb05b239ce7b78","datavalue":{"value":{"amount":"+0.7648982405662537","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":"Q1071022$79A6ACDB-E517-4652-90DB-A1950E609D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b4dc8d1045098d8bd6a47ab8818220760addbd","datavalue":{"value":{"entity-type":"item","numeric-id":4327715,"id":"Q4327715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b45a2bfa08321357098548cf8e65d194d2afbc","datavalue":{"value":{"amount":"+0.7403169274330139","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":"Q1071022$B56C926A-B24B-4BB6-97EE-942B7B732284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dd2964a4d8ee8cff57a9db65ab8ef151febfad6","datavalue":{"value":{"entity-type":"item","numeric-id":3222893,"id":"Q3222893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78798866c7d19b957fcd86754e1d936e19c04bdc","datavalue":{"value":{"amount":"+0.7400643825531006","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":"Q1071022$7DF5BDF0-C1B1-4E41-A35A-46F25F9F824E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9e82c3dfb87a104624b4678236e3c26fc296ee","datavalue":{"value":{"entity-type":"item","numeric-id":5439799,"id":"Q5439799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa787d7ae2d5751c3e0c8419bc6dc2d144431e1c","datavalue":{"value":{"amount":"+0.7354628443717957","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":"Q1071022$39DA6974-42AD-4487-B363-8E8EA97A3E80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1071022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1071022"}}}}}