{"entities":{"Q1914064":{"pageid":1924806,"ns":120,"title":"Item:Q1914064","lastrevid":46370358,"modified":"2025-12-24T15:56:22Z","type":"item","id":"Q1914064","labels":{"en":{"language":"en","value":"Semi-De Morgan algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883888"}},"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":"Q1914064$3AE96ECF-F4DE-4A04-9665-52B7C3F70B79","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4960153bce72d0b9bd0221b44df11abddc698947","datavalue":{"value":{"text":"Semi-De Morgan algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914064$7C1EA003-903A-4AFC-A23F-62BFAAA08391","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff30e7d68bfb908bb2a09adf0866a74c3bc007b8","datavalue":{"value":"0854.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$54F13397-3B7C-4E79-8039-AA0F5291BB90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a13dff18a8d4eff19bb215d4993ba8d798fd5266","datavalue":{"value":"10.1007/BF00370145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$9AE1C290-DB2F-40FB-AB72-22DF93902F24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfdc23e6b7c1f3ff6449612d044c78bd91aa4ce","datavalue":{"value":{"entity-type":"item","numeric-id":517702,"id":"Q517702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$5C8AE13E-E601-416D-8E89-406989846A1F","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":"Q1914064$CD300850-5BFB-4AFA-AA2D-B5BAE3ABA149","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"846c3948b65d14340e25df78828d728925bfe86e","datavalue":{"value":{"time":"+1997-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1914064$956BAD71-01E6-4382-9104-AC9C8D132D63","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c4d273fe59f9f0a0480ce0bbe3287723c7274108","datavalue":{"value":"The authors develop a duality for semi-De Morgan algebras built on the Priestley duality for distributive lattices. They characterize the subdirectly irreducible semi-De Morgan algebras, and develop a theory of ``partial diagrams'' where properties of algebras are tied to the omission of certain partial diagrams from their duals. They use this theory to give axioms for the largest variety of semi-De Morgan algebras with the congruence extension property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$9AC8BC85-967E-4939-9C96-E6ACB5A79FFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$CB81923C-7410-47DC-B356-CE90F00483D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$381FB5F2-F390-4498-9760-B58C9953FCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$397DCFC5-F286-4974-91E0-2EA0C9865742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$517308AE-3561-4360-9B8D-DF49CF2AE64E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cbfcdafefed308fe67beb4684bb0fde8a74ad35","datavalue":{"value":"883888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914064$2DE59DF0-F984-4DBE-BD8A-EC6C9CB4450B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5257a09327200dd1b269d2859c7f3c1c8468993f","datavalue":{"value":"pseudocomplemented distributive lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$B6095219-30A3-4AD9-98CB-07EF3E517F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29505ef3c07cfb5106892f4c95c70cddd1def3f7","datavalue":{"value":"semi-De Morgan algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$4A455D72-4A2C-4A09-8991-93A26D1364D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$BC4573BA-3E57-4BF4-A00D-FA032737CA43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"327a4c544207608ef1383a9e45eb8c112336ee0a","datavalue":{"value":"partial diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$F3D65865-D3EE-4A3F-970A-5CD5722F707A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$8DA51502-0A1F-46A5-8ABC-E08D51B7ABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914064$C330AB9B-BC68-4CD7-A304-B916933811DC","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":"Q1914064$D242E311-8D53-4830-BFE2-06961E7BA9B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af481f927a3063507f9809206c6785cbed7078f0","datavalue":{"value":{"entity-type":"item","numeric-id":3325780,"id":"Q3325780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$BA88EAFC-3CED-4170-BAA9-AF5CD361CE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff57d43a820fc0a9139eff28bfcc3e1fe1dceb11","datavalue":{"value":{"entity-type":"item","numeric-id":3325779,"id":"Q3325779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$407EBA7F-C35D-4908-B262-EDEC801CA197","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":"Q1914064$B5A2CA42-0F49-46F6-A707-15AF00C32945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4619d50dd1fc7bab67f94b040fab5063e7584c3","datavalue":{"value":{"entity-type":"item","numeric-id":3320444,"id":"Q3320444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$04E1EDCB-2A59-4D87-B7E7-33153B39070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc8acb5707da8403c7fc26fa864ee2b26cca7f53","datavalue":{"value":{"entity-type":"item","numeric-id":3333093,"id":"Q3333093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$FD61F568-3016-4DC1-B441-BD9FBAF833EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c33282fe25ee1abfe40ad9e3edb428eca88872bf","datavalue":{"value":{"entity-type":"item","numeric-id":3679247,"id":"Q3679247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$269921AA-FC87-45D8-B31A-9F778AC70A2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20a01a6ef38c03b9f65e2100369f008dc1c16881","datavalue":{"value":{"entity-type":"item","numeric-id":3749214,"id":"Q3749214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$F3C25B2D-AF7F-482F-996D-25DC592FF19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9dc034d445a5e4134097a5c1c1dff2a9d568fa","datavalue":{"value":{"entity-type":"item","numeric-id":4094903,"id":"Q4094903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$FB0C34D7-87E4-4063-AEA0-0B1B255303F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4504e47337249b5e04c7117b5454436e469af096","datavalue":{"value":{"entity-type":"item","numeric-id":1914064,"id":"Q1914064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$702B5EEF-3B7C-4D94-BAD6-7A5BCE462A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"803c5ab38bb7fdc3e72ec717398acec4eff00b41","datavalue":{"value":{"entity-type":"item","numeric-id":5635480,"id":"Q5635480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$425C3549-1073-4624-8209-D743A983B386","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":"Q1914064$0AD60F34-7300-4078-B72D-063E656852A2","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":"Q1914064$AE582D51-851D-4AB2-9CA1-C852835902F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd15f576a6b667c17000d5aa21a8cf9bbb1edba","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$CCD2C9BD-5505-413D-929B-1700F6D33D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b182ec0b7a8498bfc5b7735ff66542a0f946d586","datavalue":{"value":{"entity-type":"item","numeric-id":3699743,"id":"Q3699743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$26224307-A78F-4E1E-9409-B16600FDE649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c71b6035b0a6dd41b00e93d0f89a5d5ac203f9","datavalue":{"value":{"entity-type":"item","numeric-id":913835,"id":"Q913835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$C19EF8BD-40FA-4220-AA1E-D0CAF4E28D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"babfb24f76eaf508bd5a17e164ca3aadab43b32a","datavalue":{"value":{"entity-type":"item","numeric-id":4031107,"id":"Q4031107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914064$5EE6B65D-6DC0-4D16-8F48-10E702DA7048","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4051c31d0f3fb1ab464446389a4c531b22b67ed0","datavalue":{"value":{"entity-type":"item","numeric-id":1410421,"id":"Q1410421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d91f63b190254e693a6df60cee5027c601a501","datavalue":{"value":{"amount":"+0.8467539548873901","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":"Q1914064$E240CD15-FF44-48BD-B4ED-A03400079716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d263acacf945a089e4fdb0109ef3c7937b1d345","datavalue":{"value":{"entity-type":"item","numeric-id":3764195,"id":"Q3764195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa57306c2543e46966e4ce569bab98ad2cffb18e","datavalue":{"value":{"amount":"+0.8450677394866943","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":"Q1914064$91E9DBA7-1C7B-4F1F-9807-8436B5EC8E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9de3b7316357859ca675c1a2d505f9707763cfc2","datavalue":{"value":{"entity-type":"item","numeric-id":5939998,"id":"Q5939998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef73d8212189ad1e01c7bc987f03e08664311424","datavalue":{"value":{"amount":"+0.842089056968689","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":"Q1914064$8915021B-057C-482D-83DC-143DAFC8EAB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1914064","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1914064"}}}}}