{"entities":{"Q305161":{"pageid":306928,"ns":120,"title":"Item:Q305161","lastrevid":60850290,"modified":"2026-04-10T19:32:02Z","type":"item","id":"Q305161","labels":{"en":{"language":"en","value":"A note on regular De Morgan semi-Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6620069"}},"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":"Q305161$48C6F5F2-83DE-46A8-A0A3-F47F32223981","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"127c70d9d42698dbaba1b2b1ffd96631176a97b9","datavalue":{"value":{"text":"A note on regular De Morgan semi-Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q305161$7F1B30DC-5DFB-4340-B2C1-B0F722E0CCE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40f2055002f772e7dd3566c2b13b1c748f69e52f","datavalue":{"value":"1353.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$59323A87-A84D-4661-8E0F-AEB91CB02B34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a3a1991129f0c8a62afa8111a1e1abd5b55d22d","datavalue":{"value":{"entity-type":"item","numeric-id":295915,"id":"Q295915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$78E8E622-AF41-44B0-A4AF-2C8172CCC721","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2c5b3e20c15df7ebefecddf1d4482b87e180298","datavalue":{"value":{"entity-type":"item","numeric-id":253731,"id":"Q253731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$F2AA2CAE-2804-4911-BA66-40D8B3434FAD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3d1c2a58114487d1a4ac99f3419530d51f25354","datavalue":{"value":{"time":"+2016-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q305161$213B2D25-6C01-42B6-9E21-34AF0987C675","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b15da9512c8626daeed903212184b821f6251c4","datavalue":{"value":"https://arxiv.org/abs/1411.2062","type":"string"},"datatype":"url"},"type":"statement","id":"Q305161$0755F37E-2E04-46F4-B8DC-A8B482A248F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$A8779052-55EF-4D12-A48D-43B0A021101A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$926F6615-C295-4281-BEDC-CC021F5DDF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$0AE698B8-4F48-4B12-9B3A-1065C7FAF477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$C4DD9E05-4869-461E-9552-A4DB8FE32153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c12bad36bd189cf0d3e5ea0440fc6afbb1be4a8c","datavalue":{"value":"06D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$E1BE55B7-8161-486D-908A-49F2C88C6676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$90290387-6FFB-4648-B50D-EB89BE890399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$33B95764-202E-4E71-88FA-4992D72E91DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11fd0b7a2233ee3c46a3366059d914c84b097b8c","datavalue":{"value":"6620069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$10438077-7B91-4E82-86FD-6474E6418398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"762c59f5762211de69c5cd6ac3bb27709adccbc9","datavalue":{"value":"regular De Morgan semi-Heyting algebra of level 1","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$EBA01A78-85B8-4639-8A73-99DD9839A5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$23969D23-6459-443A-8433-0E47B43A10AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$D9C77FCD-B4A1-4ED5-829D-F5957E97F07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$6B4ED114-90A8-4C61-9E24-0B78B6835F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb0b5455b113d0e3eaf98332c0485c178c32e49d","datavalue":{"value":"simple","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$561F55DF-198F-4992-B9E7-C59B547AC983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$C73257A1-2A59-4A42-AC06-8515149E6662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55cf0b1969438949808232e45992633608f7a6a8","datavalue":{"value":"equational base","type":"string"},"datatype":"string"},"type":"statement","id":"Q305161$A50F9A99-A734-4061-9996-1A0E50C906E9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$2329C5FB-20D8-4876-8601-14F774DDFF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$566B7BE3-B18D-4703-AC05-87949C500770","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":"Q305161$BE9CBCA0-8CA5-4504-B42C-79E61E73CC7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2f4f58e2a937d5f751708ae5c1c0410ec385b4e","datavalue":{"value":"W2962802602","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$ED9D5E95-15D4-4EC5-BDA2-B1DB87B2ECDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$D04F9D0A-D5BD-4258-BD03-5AFCD7C33054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"182f0ef5fcef2fd09e92a43d4f0372d9355c6437","datavalue":{"value":{"entity-type":"item","numeric-id":5655398,"id":"Q5655398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$ADBB0E62-77B6-412A-973E-F53378BB09B5","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":"Q305161$345EBAA4-9CA3-4E89-BB96-7ADC23FC4134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cc407297c52090de603378237bacb8fe170dae2","datavalue":{"value":{"entity-type":"item","numeric-id":3705494,"id":"Q3705494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$E32197C2-80BE-44BF-982A-75291BE0C44C","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":"Q305161$2C799AA0-0473-4A4A-805D-534E954D82B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35847d178752367c2d884485785fd1dcebade97b","datavalue":{"value":{"entity-type":"item","numeric-id":1061157,"id":"Q1061157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$552940C2-EDDF-4C49-B5BC-782F7235D4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4321e5fa303acd83d4e95c889df3bcdcb18e645b","datavalue":{"value":{"entity-type":"item","numeric-id":3752436,"id":"Q3752436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$AAF97FEE-0DC4-4BAC-984C-4DCBE0895B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e414372454e57c1951dac219ea3b1fe8577676bf","datavalue":{"value":{"entity-type":"item","numeric-id":3770582,"id":"Q3770582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$142395A1-1978-4244-AAA0-FD15F739EEDA","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":"Q305161$F0EE3D41-458E-4875-ACF5-1E043D0714ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a40b964fcb157a25c533b4d3df94445dcd3f29","datavalue":{"value":{"entity-type":"item","numeric-id":3605557,"id":"Q3605557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$DE4B1B3A-323D-4A20-A0ED-A9E2CDC9BED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afc4c7ea74dd7d8d2079d4492a0c5214ec2f87d","datavalue":{"value":{"entity-type":"item","numeric-id":2834607,"id":"Q2834607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$BF6F4B30-1312-42F0-BD16-BC58E041D549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19259581b483b4d9f7139fc51ccb474bac80cc23","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$EAC85BE2-16B0-4511-A37A-1AC9E9A15F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24eb9bcc5339ffefe3c63a7475e3488ccebeac57","datavalue":{"value":{"entity-type":"item","numeric-id":2834606,"id":"Q2834606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$687D534B-5417-480D-B3DD-E959EF504EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad69b636d199095dcfd8e5e19092ffa30a0bd68","datavalue":{"value":{"entity-type":"item","numeric-id":2558876,"id":"Q2558876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$AA18561E-E3B7-41AC-B01D-A1266C7B55D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$E4C4E4C1-4185-4607-A44E-CACADEA2DFCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e4a5e3f7d38d4e6bed79d5cd301bf27d3ae3091","datavalue":{"value":"10.1515/DEMA-2016-0021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q305161$5A34549A-F848-4258-9CFE-9AC80150F635","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b0b00d659e3ed2ca6436e7fa3ab4f18458ba081","datavalue":{"value":{"entity-type":"item","numeric-id":2834607,"id":"Q2834607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3640c1163bd9d7ab131d02f5211f73d17f7015fc","datavalue":{"value":{"amount":"+0.9081329107284546","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":"Q305161$1039B2AB-A367-4D65-A2FE-7AF3C3484BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e34ca66ff850a70eb1e981882c101a369d0d324","datavalue":{"value":{"entity-type":"item","numeric-id":2834606,"id":"Q2834606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71412b122e516f5619781e17f51c08185e344fcf","datavalue":{"value":{"amount":"+0.8958261609077454","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":"Q305161$30728122-7B3D-4374-8594-751092C2766A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd0f8873c702e342aad1449debdba3c5b8994c8","datavalue":{"value":{"entity-type":"item","numeric-id":5137292,"id":"Q5137292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5702982489a7ac54297e109ceef22c6fad61b8","datavalue":{"value":{"amount":"+0.8718648552894592","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":"Q305161$1E33FB27-63AE-44DB-9EEA-42D6DA5CA6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1b2e45814a47a3ffd1dd28521504cefdda47141","datavalue":{"value":{"entity-type":"item","numeric-id":5124105,"id":"Q5124105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea084f9ed3f10efa918d4044352af5cb78aee6c2","datavalue":{"value":{"amount":"+0.8174381256103516","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":"Q305161$C79A49A7-97B9-455D-A611-96F4469A6076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5929313705c371bfd6735ffd4d93f1e83dd27231","datavalue":{"value":{"entity-type":"item","numeric-id":763318,"id":"Q763318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d331d21e4f0daf818d205b2c6e0b227a81235373","datavalue":{"value":{"amount":"+0.797616183757782","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":"Q305161$4C1D0FA9-F089-4C31-A2F5-D6F8A1AC7D96","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q305161$747064A7-F016-422A-BDEE-5C5439544C84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on regular De Morgan semi-Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_regular_De_Morgan_semi-Heyting_algebras"}}}}}