{"entities":{"Q1785571":{"pageid":1796313,"ns":120,"title":"Item:Q1785571","lastrevid":70878465,"modified":"2026-04-13T17:52:24Z","type":"item","id":"Q1785571","labels":{"en":{"language":"en","value":"Congruences on near-Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6945666"}},"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":"Q1785571$FBBE4650-9759-445A-8B84-3282383BAD95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa63da0e7b17c7a42dbb59a4c225e9b929e111bb","datavalue":{"value":{"text":"Congruences on near-Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1785571$CD0FF653-1758-41FF-B09F-164867A41A80","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":"Q1785571$EFBC3D59-2351-4DA4-AA9F-CACDAC50EF9F","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":"Q1785571$EE182538-A897-4C88-B1F9-F471608232D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785571$9711DC5A-2909-4339-825B-E4ED3DA2DADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3f1ea9e382d6548fee40914da9a6337e0e3fc9e5","datavalue":{"value":{"time":"+2018-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1785571$417C4EDB-BD55-4136-9ECD-E6F69B7E51B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$1696D8A4-4987-497E-B0EB-3D4E352175ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$E60BEC6C-9FEA-4BF5-BE88-B168DA3FCBD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$EE709137-D014-4C3E-9E7F-FA8F3364FAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$2C3FED9B-005A-4650-9DCE-A7946740076F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"104796292faa286c3f8c20215cf7cc9cd92400a9","datavalue":{"value":"6945666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$ECD4CFFC-BCC6-4F88-9E14-FBA9AC92D373","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e8c1ecb09c7602d3a1ed1cc53260269d71216d1","datavalue":{"value":"near-Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785571$17218395-5FF2-41E6-ADC4-D02F64EF8568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878156553e4db0516e3e08cfce52df4149c47aee","datavalue":{"value":"distributive nearlattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785571$4D4FB2F0-3A1F-456A-8851-6FCD3913EFDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785571$724DE2CA-A56C-48EB-85B0-5A44F904D060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e674378f2cba21de14f62539e0e1979b55e1a41","datavalue":{"value":"principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1785571$8BDEB44C-C74A-4D6F-9D78-7F50B93F2A5D","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":"Q1785571$4EB2D98F-9A83-4D14-AA74-BC6313955F82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d77022e7d3bdd891f4260a61347d6977f6551fdc","datavalue":{"value":"https://doi.org/10.1007/s00012-018-0560-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1785571$B9EF440B-0596-4A55-94A1-AEB5BF353635","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06c2f2836d7bed80958c5ad2093fb1ea09fba64d","datavalue":{"value":"W2892930422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$EDB3D77F-8BA9-492C-B82C-7D1984B236A2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"51682707f974d81d9cd70b138e1082b097b66809","datavalue":{"value":"Q58887351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$2EA48320-0E86-4672-8C12-C46A4FDA05BD","rank":"normal"}],"P223":[{"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":"Q1785571$0A74ADC9-FA82-42C1-8BA0-060A68222323","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":"Q1785571$8C042D5C-F240-4558-B512-A5F3CFA6A610","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":"Q1785571$CDE3B672-6650-4EC3-91E6-A0E2F2E368AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a5bfd6e0c7da5ddaef5ffa6262e054bd81c50c","datavalue":{"value":{"entity-type":"item","numeric-id":3459486,"id":"Q3459486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785571$5C9A36C9-B08F-47EA-A2CD-02C93AA0D6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c14a5df61630ed429a519e47fa20dc0b0338af0b","datavalue":{"value":{"entity-type":"item","numeric-id":1040223,"id":"Q1040223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785571$F182DBB1-DBCA-4C5D-ABE3-43550C60D919","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":"Q1785571$46FD88B0-588C-4BD8-853F-F7D408F66DB9","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":"Q1785571$D1A421DB-065B-4F5A-A9F2-3EAE4D237617","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":"Q1785571$627C5AD9-3667-49EA-A737-8B68F1C729FD","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":"Q1785571$11289C3B-4BE4-4381-8B33-2F858F5842D2","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":"Q1785571$98C920DF-1A90-49C2-8A11-530D67768183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c67b9f878cc296286bc4a13cc05e78bd2bc3a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5905253,"id":"Q5905253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785571$97A1A752-D1FF-450C-9975-18612D372D3D","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":"Q1785571$4F7E4365-C55F-4C15-AF9E-C5F8226FBDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be943e92bc7b0b7b0830b4b8535fc7ae25b8758e","datavalue":{"value":{"entity-type":"item","numeric-id":2549709,"id":"Q2549709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785571$BF0E2C02-AD50-4B5A-8A7E-289B907DCCBA","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":"Q1785571$F0C580A7-9914-48B5-9384-B2B0FB87B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4e85363eeabe6d4bb877eb112267fc92de2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":5459443,"id":"Q5459443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1785571$E4307C11-E255-4A64-B36F-606DDD5711A7","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":"Q1785571$D89211EF-68F2-4097-BD34-FBD37287E647","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":"Q1785571$A716BC51-9914-4B86-8023-E52F9CF01876","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":"Q1785571$621149B7-3685-4FAB-9136-8FC73AFDC15A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c503004de5b5f3cb35f656c4f0e2aaf2aecd8618","datavalue":{"value":"10.1007/S00012-018-0560-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1785571$488C5B91-C28A-4A09-B94A-0BC694605081","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ada56077e231a54f65663d6f1174d499323edc","datavalue":{"value":{"entity-type":"item","numeric-id":5134045,"id":"Q5134045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fdbc818139470e2c12a9d60a7a997bbd21dc5a","datavalue":{"value":{"amount":"+0.803620457649231","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":"Q1785571$E7941119-A034-4B32-B2A2-C6FB8B3F3942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"689668c0a1912805c028e1852526245e58093f89","datavalue":{"value":{"entity-type":"item","numeric-id":739832,"id":"Q739832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2efd9e3c4f72c354e61aba59679f09948c4278a6","datavalue":{"value":{"amount":"+0.7948462963104248","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":"Q1785571$C8BC548C-7D6C-49D1-AF54-290B89EA4BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d742942156325998446c8bec3103fd9e50d159a2","datavalue":{"value":{"entity-type":"item","numeric-id":3786512,"id":"Q3786512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50851b72f0b7b227e927871debf82deda03ac410","datavalue":{"value":{"amount":"+0.7907814383506775","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":"Q1785571$08682E2C-DB81-4531-BDC4-0EBAB5BF9DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d040e3a5a8dc89eafb5513f69e1c71586f68665e","datavalue":{"value":{"entity-type":"item","numeric-id":5227168,"id":"Q5227168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5aeb3c8c1bdce894f4c82d092e56bb82a362284","datavalue":{"value":{"amount":"+0.780731737613678","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":"Q1785571$58D2D3BD-AC5C-4818-8606-D87163F3C931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7d3f934734b0c40f0295e364bb270a7bfcc0579","datavalue":{"value":{"entity-type":"item","numeric-id":5446633,"id":"Q5446633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447567d5c815c5f3b20dee79ec3ef1962902cfd2","datavalue":{"value":{"amount":"+0.7732650637626648","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":"Q1785571$210B9B1E-BF09-40D1-8534-3D761CB1401B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruences on near-Heyting algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruences_on_near-Heyting_algebras"}}}}}