{"entities":{"Q1991585":{"pageid":2002327,"ns":120,"title":"Item:Q1991585","lastrevid":56652408,"modified":"2026-03-18T10:03:38Z","type":"item","id":"Q1991585","labels":{"en":{"language":"en","value":"MacNeille transferability and stable classes of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6968514"}},"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":"Q1991585$55F33626-1B57-4E93-B9B2-DD2DA42A271B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8f4cffe382ec753f52dbd71e85f9d5a86452ee9d","datavalue":{"value":{"text":"MacNeille transferability and stable classes of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1991585$AF9B4A73-555B-4BA5-B27D-B1771CD7CE34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d651e39dcec8aaf73f3beb1dd984a2b17163410c","datavalue":{"value":"1472.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991585$A7D96F35-F6FF-4D81-A47E-6AA0BDB812AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cd0181cec7d1f76e1aacb12b9c24fe7f2af1735","datavalue":{"value":{"entity-type":"item","numeric-id":195368,"id":"Q195368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$3C231837-70F2-434D-9008-E87864D5C859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a9f9cbe3caa94c5a830073c0f8ceb50e97586d9","datavalue":{"value":{"entity-type":"item","numeric-id":172076,"id":"Q172076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$A4F2C2E1-736D-4711-B6D8-10A46C158ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"afe3297ff08401926483dd78d1ecdd546114a861","datavalue":{"value":{"entity-type":"item","numeric-id":514516,"id":"Q514516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$6D10451C-3678-43A5-AAC2-817021247AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c38906f4def5a4e74da1d5717a4819c366f62b6","datavalue":{"value":{"entity-type":"item","numeric-id":831225,"id":"Q831225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$A275CFEA-853C-47CE-B273-7A75F3558243","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":"Q1991585$228D9A82-57E9-4008-AC0E-BD3FB3650025","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27fd87f869460ae6f756080c20fd059bca7dbd30","datavalue":{"value":{"time":"+2018-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1991585$D04F7E3B-C1E4-493A-ABAB-1E930F5CA3FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991585$4C0CC74A-8F35-428A-8B67-94956BC64745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991585$D6B5B920-9EF4-4E30-BFF6-D09910EF910E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae459d220d6f821a2d6b6c6bc91c51cedb42e841","datavalue":{"value":"6968514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991585$EDAB9280-D33E-4C65-AC12-64D7D9005769","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6336ec44a32f5e7b58d364885158afa8244d0bc9","datavalue":{"value":"transferability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991585$07A2EC13-ADE9-4D41-B6D5-1D3D16FBE5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ddc38e96760d2e8fa65a795ad39825f178006a0","datavalue":{"value":"MacNeille completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991585$9B4245EB-2C12-4EE7-9C25-CFBEB3F059B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991585$959B19E5-922B-4AF1-8EEA-DA9ED8D7FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1991585$59540BC9-D2AC-40A6-9E5F-3DE5E33A8AF9","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":"Q1991585$2D6D15D6-4244-41E9-B224-670BE92C551C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1cf0ab26aeab71eab6309d6a7108ed5a9678bce9","datavalue":{"value":"https://doi.org/10.1007/s00012-018-0534-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1991585$72F12807-69F7-40FF-89FC-C05CC97273E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"893203659523014ec1e502d48d1ed6ca6e57ca9e","datavalue":{"value":"W2879850305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991585$C680CA4C-3317-4B04-999E-01FACD92D4AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f48522a279a789bee2778879551aac0461dc76d","datavalue":{"value":{"entity-type":"item","numeric-id":1214449,"id":"Q1214449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$21E040EA-FDC8-44C6-B85F-06B951A4AD1C","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":"Q1991585$1CD4F3D0-CDD0-417C-9A1E-A7F179AF2BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5efe06b7c838e8c43794d535701de2a9b5cb57d4","datavalue":{"value":{"entity-type":"item","numeric-id":2536067,"id":"Q2536067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$3ACDACAC-23C7-472F-8CDE-CC42C9180573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07df833bc9c31a04fc403645fd561c5e146c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2446018,"id":"Q2446018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$E0BD044B-8148-44A0-89EC-2522C6F3F944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"792fef42b85a3ec25283a772a91cc556fe1ff056","datavalue":{"value":{"entity-type":"item","numeric-id":509602,"id":"Q509602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$425A3E3F-3204-44B0-9957-7B6A5E895803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c648575232a220b7c5bcd78909112d585fd4bb84","datavalue":{"value":{"entity-type":"item","numeric-id":514517,"id":"Q514517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$A879EB5B-47DE-4EA8-A8F7-E683EAA523D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735403ba52cef708d66abb17cf481ef6f68acc69","datavalue":{"value":{"entity-type":"item","numeric-id":705542,"id":"Q705542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$2B03654A-739D-40DC-8EF6-66E3AC66F2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$28F76C09-B1D6-4FD3-A1AC-2EE97B81C2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af6354dc5922d58d0941351631a710c38db024ca","datavalue":{"value":{"entity-type":"item","numeric-id":652517,"id":"Q652517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$00E62C5D-E150-44F2-BFE8-B8784590B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$71A6458F-0AFE-4E08-962F-3E724CD593AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$0EAC1B8D-72CC-49FC-A9D1-474A691C1B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60a488c2758935e07dbff1eead2b3f209021ce","datavalue":{"value":{"entity-type":"item","numeric-id":5341801,"id":"Q5341801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$95C06B53-3860-42E2-BB2F-79157E5D5119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bea0d00010eed2178a9dc6882c296d327979d17a","datavalue":{"value":{"entity-type":"item","numeric-id":5652724,"id":"Q5652724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$9EC14977-BF72-45A0-B6D2-71340641B2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e8f88f9033642cabec78d5aedfdc947accfe792","datavalue":{"value":{"entity-type":"item","numeric-id":5936163,"id":"Q5936163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$A0405371-DC1D-408E-A3CE-964D34197FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca1bc6f348c31c058c6d640b49c7c59e4cecd88","datavalue":{"value":{"entity-type":"item","numeric-id":5705523,"id":"Q5705523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$EEF2D713-B645-46C0-88B4-26C46979635E","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":"Q1991585$1A57134E-CB0D-4FD6-A18C-5D07D83E62C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626eb3605184d6bb9410c3d12f7fef855c559b8e","datavalue":{"value":{"entity-type":"item","numeric-id":3134794,"id":"Q3134794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$FB343BDB-B48F-49FA-A360-9075231EA246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"390b4d75a348a5d7b83a82d2cdc64661757b7d8a","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$DB0716D4-E7B1-464C-81AE-20FE36E7E041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b860d55358cf9bf632727f4b5877c912171b1b11","datavalue":{"value":{"entity-type":"item","numeric-id":2556344,"id":"Q2556344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$C00525EC-E917-4B44-8801-73BAE0905D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dff61762291ed62fa94e23b93d0ebbf2797b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2557715,"id":"Q2557715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$B290D0F6-F723-4080-A40A-1E3135DA076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1759e41b16f8d057e805130d24900e5daa6586b","datavalue":{"value":{"entity-type":"item","numeric-id":2422309,"id":"Q2422309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$1C08E2CA-0CBF-480D-80E1-871A13BF2269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ee033bc63d1656ad3fbfaf5b395767f056cf4c","datavalue":{"value":{"entity-type":"item","numeric-id":1212024,"id":"Q1212024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$5C10E35C-D670-4343-A891-B7B4C689229C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$43711704-96F9-44F9-93DC-0719E728C6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ba149868f148ed802075047eba90b2517b73a5e","datavalue":{"value":{"entity-type":"item","numeric-id":2413416,"id":"Q2413416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$FC846D72-B0BD-4EB8-B4F6-A8C96921C011","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f79001c26552e34ee85d834347092450355f214","datavalue":{"value":"10.1007/S00012-018-0534-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1991585$FBC120D7-3236-4A1F-BD3F-FB31CAB871BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d871762fa3c6c70afd3ce42928e5613b0beddf","datavalue":{"value":{"entity-type":"item","numeric-id":4652057,"id":"Q4652057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965a453d8755751e890ae5b6adc39badf8767afb","datavalue":{"value":{"amount":"+0.7370500564575195","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":"Q1991585$EAA4D292-DF1D-481A-A8ED-D3CADB0D7638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb1c6fa253cb7915ac6c2b9fe530547f6c65da","datavalue":{"value":{"entity-type":"item","numeric-id":2413416,"id":"Q2413416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822d5f9468cf9624d3867e4efa92041729d87341","datavalue":{"value":{"amount":"+0.727104127407074","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":"Q1991585$FB092DF2-7215-4AD8-8806-AD804E4FE7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad8131e84299f24991e38d1f71f7e3a2a0e238b","datavalue":{"value":{"entity-type":"item","numeric-id":2062218,"id":"Q2062218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084ca21eab519a5cf5ecb8bb1417d8693603f737","datavalue":{"value":{"amount":"+0.7135396003723145","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":"Q1991585$BAFA4620-ACBF-4468-B1A0-154719FA0DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1afd52d60bcef65b2e5538222c5157c2fc272950","datavalue":{"value":{"entity-type":"item","numeric-id":3134794,"id":"Q3134794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c85cb9eb6a375a34151a80ad7091a6b21febb83","datavalue":{"value":{"amount":"+0.7133238315582275","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":"Q1991585$97289B43-7078-4BD1-ADAA-3EB8E235B0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43dc24f76fc73160d566ab50ee25515396dc332","datavalue":{"value":{"entity-type":"item","numeric-id":2474096,"id":"Q2474096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3b7e2b32082b6c9e962c1ee9fd046c7be7a8a9","datavalue":{"value":{"amount":"+0.6978661417961121","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":"Q1991585$3B55F2C0-22F3-4D10-B63F-ED87771A9244","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1991585$8ECB0993-63F6-472B-8F10-A46A393C4CC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1991585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1991585"}}}}}