{"entities":{"Q6166630":{"pageid":13301512,"ns":120,"title":"Item:Q6166630","lastrevid":93928514,"modified":"2026-06-05T05:28:00Z","type":"item","id":"Q6166630","labels":{"en":{"language":"en","value":"Characterizations of near-Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7722178"}},"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":"Q6166630$F8F2F144-BC8A-4A7E-84C0-376A30588276","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"366cf35b5480ed077f10516697a0bb61778e5049","datavalue":{"value":{"text":"Characterizations of near-Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6166630$73FC8781-A3F9-40F9-8BC6-FBCE437431AA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf0c8519e811b5b3b99accda24d0105a42a3eba9","datavalue":{"value":{"entity-type":"item","numeric-id":722593,"id":"Q722593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$83899E45-97E8-4AD0-95C0-1A67557B4DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9750f80469470f5405f4fad1b4457918250f4e8b","datavalue":{"value":{"entity-type":"item","numeric-id":1785570,"id":"Q1785570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$231C78F1-913E-4390-BC7C-B049B943A318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1356fd5a644ea267c5c56e8661c6f42b35db8376","datavalue":{"value":{"entity-type":"item","numeric-id":2037587,"id":"Q2037587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$534D0D2B-E3A1-49D4-ACB8-457EC39F895C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92eafc96a46092e2429ee13b6bdee39b631fd790","datavalue":{"value":{"entity-type":"item","numeric-id":634748,"id":"Q634748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$3BAE329F-DE67-44CC-B36E-ACA37A4549EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9ed2ee2aa76ab86fd8b3de954fc059362c64467","datavalue":{"value":{"entity-type":"item","numeric-id":253134,"id":"Q253134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$A4F4BE58-E733-4A3E-B761-7B2B7EB7B101","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a6eaf6392c103dc7078b19f62b9d4fcfed266fe4","datavalue":{"value":{"time":"+2023-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6166630$D8378FEE-2E62-4430-99C5-F9CDF010956B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"30279ad2312ee8c09a87dcde90352f80d9dcbd24","datavalue":{"value":"06D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166630$8DF0D901-C2CB-4314-8A32-2C1F2EE2476A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166630$93926865-71AB-496B-B4B6-6CEF5AA1F8F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3763cbf7c8fe0edf85d0a4a8f46f704224ba72d9","datavalue":{"value":"7722178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166630$99D47BFA-BD04-4262-899A-3829E7F21DD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e8c1ecb09c7602d3a1ed1cc53260269d71216d1","datavalue":{"value":"near-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166630$1B62E2E7-5DE0-49F3-8F40-68F1CF700AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166630$0DF6EC9A-52E9-4364-96B9-9D70B87EF74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166630$28948AE7-10FC-455F-8F2E-7D0ADF6EE09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878156553e4db0516e3e08cfce52df4149c47aee","datavalue":{"value":"distributive nearlattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6166630$CDFCB5A1-BDBC-4843-936A-1BA43FEC498D","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":"Q6166630$342F42CE-77BF-4B3D-8FD9-D29F8EADBF0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c3d7f4f496f28df158a64d96a1987e3ff03d93","datavalue":{"value":"https://doi.org/10.1007/s40879-023-00663-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6166630$5F7E54A8-B940-49CE-A42C-0BBE5C811456","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a755befb7ecfc26938721103a9e687e6d159d30","datavalue":{"value":"W4385416268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166630$F97851A0-65EA-4D5B-A588-7516113868EF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"460ade5e92963966f63f664914f7c3e0486ae141","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$DB74C7E6-672B-4DBC-A6D4-A27D01AB463C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0974b1a205e4707c397751175cae7fb59a455e","datavalue":{"value":{"entity-type":"item","numeric-id":5532577,"id":"Q5532577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$511CF31E-4ED2-4F65-B549-06BAB05DBD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93bb3c29830c6a249aa528d0748b881cc7d75c7c","datavalue":{"value":{"entity-type":"item","numeric-id":2881225,"id":"Q2881225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$0FFFA96B-7032-4221-AF12-854D57B89DC9","rank":"normal"},{"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":"Q6166630$D523ECFC-B213-4D52-B788-ADE6C37D3A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde25b7f97c1c0a349b936df7b1e27294060bc26","datavalue":{"value":{"entity-type":"item","numeric-id":763299,"id":"Q763299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$C542506A-4D03-4B52-89AA-BDAE9FF61ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bad167baa563b9fee329fefc3d5077f18ff6d622","datavalue":{"value":{"entity-type":"item","numeric-id":1942035,"id":"Q1942035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$7DFB8EC7-4349-4935-A6F4-8EB63699368B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5cad4821755197783dfc84d2d7a75ed1cb1df8","datavalue":{"value":{"entity-type":"item","numeric-id":4997890,"id":"Q4997890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$D8A8DA3A-791C-41DC-9EAF-9C1B0E2471BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af6aa8759b151a8f7dd24431cf2a2700f171c96","datavalue":{"value":{"entity-type":"item","numeric-id":4992643,"id":"Q4992643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$44098E3E-16BC-424A-8096-A2D6C6790893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63d520c0bbb9640a5f1817f50acafb82e877b719","datavalue":{"value":{"entity-type":"item","numeric-id":2449454,"id":"Q2449454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$5C5B89B3-EC99-47B6-8953-1ADB27216254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f9b63df152930ef8545ec0383630624b61930d4","datavalue":{"value":{"entity-type":"item","numeric-id":2971278,"id":"Q2971278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$17583B03-AC37-4212-928E-E8D6A3189384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8d26a0fe60aa8a1f5b92fd0e642fdc9ed3b1e5","datavalue":{"value":{"entity-type":"item","numeric-id":4615834,"id":"Q4615834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$42C45DF5-3D87-4AA1-8447-91756629E6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88bb7b8df40958defd323f9c5627eff50c2d32f4","datavalue":{"value":{"entity-type":"item","numeric-id":422345,"id":"Q422345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$302EE706-638C-457D-87E1-0D3CDD719F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$49B4F84D-DE9D-4058-9E55-72167D2A1D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c079a497e3abba9546e8a9c5634ff60393f40e","datavalue":{"value":{"entity-type":"item","numeric-id":3508942,"id":"Q3508942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$6D41ECC8-E215-464B-ACB7-170A348B84AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a85f29c78b168b6608f9854cff345827ea03a3","datavalue":{"value":{"entity-type":"item","numeric-id":947812,"id":"Q947812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$B179B1D7-E58A-43A4-A064-AD3F0E2FB7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$6C59F6EB-FD6E-44C6-8C2B-917ACE77985A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e967ea138069949889e7534ab2cda0a5322d90f","datavalue":{"value":{"entity-type":"item","numeric-id":1797923,"id":"Q1797923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$785D336D-C8A3-4336-B330-79E61F328D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6ec267ba4fc09cb8637ad6b7fa20c04840c5bd","datavalue":{"value":{"entity-type":"item","numeric-id":1712939,"id":"Q1712939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$64A9B835-D1F3-4303-B3B9-F04D87D6D850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e79b0071f8014440019b9548af52760bf113d2fd","datavalue":{"value":{"entity-type":"item","numeric-id":2334607,"id":"Q2334607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$73C3FFA9-63E2-44CA-B677-53714ED9A5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601b39dd05cfe794c969c6aa118347ecbaee649c","datavalue":{"value":{"entity-type":"item","numeric-id":2037588,"id":"Q2037588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$6AFC1D6E-D333-40C2-B237-B4A562725276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2f36ba0a2e5f675d74f015a360f65b3efb9c364","datavalue":{"value":{"entity-type":"item","numeric-id":1785571,"id":"Q1785571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$DBBBF594-6DA4-481C-9DE0-1930053D1C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$393DB311-4138-4538-97D6-D0E3F3EF9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1ba9dd7084cab171a2351190a80f89b410d243","datavalue":{"value":{"entity-type":"item","numeric-id":5422520,"id":"Q5422520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$A88F43AF-7605-4C81-8B66-9980F4A97ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ad9198aa8c61e35e1d32cc3a1282c320d2b02e8","datavalue":{"value":{"entity-type":"item","numeric-id":3875980,"id":"Q3875980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$386394D6-D4B8-46F7-9BCF-35766078A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f9a14346e292c0fb29f522323e044136987bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3218120,"id":"Q3218120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6166630$B11CD70A-8923-4098-AC43-06B90EC3A7D5","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":"Q6166630$8D4C94CF-85BA-4565-9864-79D22B581D38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab2177c29721879aebd619c54ec3b38a681f2c9b","datavalue":{"value":"10.1007/S40879-023-00663-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6166630$56679A54-7CCC-411D-8C8D-75F9549D4FB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Characterizations of near-Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Characterizations_of_near-Heyting_algebras"}}}}}