{"entities":{"Q509602":{"pageid":511369,"ns":120,"title":"Item:Q509602","lastrevid":62372958,"modified":"2026-04-11T05:38:56Z","type":"item","id":"Q509602","labels":{"en":{"language":"en","value":"Locally finite reducts of Heyting algebras and canonical formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6686416"}},"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":"Q509602$30E360A0-1F0E-489E-8843-ECD4A8430C4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33c100e543e068cadfbc5f8b131454e606b2b23a","datavalue":{"value":{"text":"Locally finite reducts of Heyting algebras and canonical formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q509602$9D3FC536-EC4D-43C0-A682-C210EA471F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52ca4134bb6f4de9e9aa71fc4c4893be71943972","datavalue":{"value":"1417.03198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509602$D89AA0DA-3C51-4188-BDCE-4120FA398FD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d88afde6fe1ed2c8fc5ffdbec1664ef816c3c09a","datavalue":{"value":"10.1215/00294527-3691563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509602$AFE760E9-414A-4053-B2E9-550C6D4CC479","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":"Q509602$F136B23F-A42A-4352-91D7-59B8EF1E0F60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0f6f19702daf8407dcc07e967ba92a1b9bb20a1","datavalue":{"value":{"entity-type":"item","numeric-id":284227,"id":"Q284227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509602$1B694EB9-435A-480C-918B-983B91A6C0AB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q509602$A4EE04E5-99BA-4B32-9362-D5A5F3FE9F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a051f678ce9f4f7380cf2de9c6018ea50fabc5c","datavalue":{"value":{"time":"+2017-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q509602$BD5907A9-4D1E-4140-B1BE-EA03F0E00DBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ef808462326c3dd467ad63ab09b7c821a32007e","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/273468","type":"string"},"datatype":"url"},"type":"statement","id":"Q509602$9D4C7A04-A00B-4FFC-A0FF-CF74438F78D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509602$041D8559-2CB7-49D5-8C8F-4E95782D9275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509602$7D06ED1D-42F4-4B7C-AF61-DE03CF706B49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d169665599d454f59f2b03256a4e737cbaa26300","datavalue":{"value":"6686416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509602$536190AD-7D62-4C48-BF27-483C2BCA8AFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q509602$AED3C9EC-0683-4B14-9915-92D9F585371A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q509602$F6722806-9717-40BA-8777-CFE7B8C71518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q509602$D9227A12-4FDA-4E8E-84C8-09F97A150846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q509602$5354AC5B-F5B6-4B2A-A8AD-7377DD195587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q509602$91B92742-EE2F-4746-A7E9-129ED070A6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef9c14e173cc76358fce0066de8124e3f906abfd","datavalue":{"value":"duality theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q509602$0971F5F5-EBDC-4D36-BEB2-64C020760071","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":"Q509602$5F1BA6DA-C1D4-403F-922A-5C85AC82AC89","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03e5facc9f67ec25a8ab3b4c1c4cad9bd2a527c3","datavalue":{"value":"W2549454486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q509602$BDF40215-1543-481E-86CF-DAE88A1C5850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ade29dd58b25a18548f5333effb79e439433533e","datavalue":{"value":{"entity-type":"item","numeric-id":2392011,"id":"Q2392011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30e9779fe3706a75c40f9df0e68a775991e3873c","datavalue":{"value":{"amount":"+0.7778792977333069","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":"Q509602$315CF56D-BAC5-4405-8C9A-A33383DFCEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f90fcbc2dfe616ea36ce5534a9a8aaefd83b314","datavalue":{"value":{"entity-type":"item","numeric-id":1802261,"id":"Q1802261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdfa919ccbe90e2f98a070bfe160a1f172537821","datavalue":{"value":{"amount":"+0.7630413174629211","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":"Q509602$6112CC1E-C4C8-4D0B-8033-7759EB117577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d2a89260444a9d031cc8bc764a32205a98bb8b9","datavalue":{"value":{"entity-type":"item","numeric-id":514517,"id":"Q514517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e3167605e8b616f27e72d6ca7613ade3fe82e66","datavalue":{"value":{"amount":"+0.7524024248123169","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":"Q509602$A54AFA03-012C-4CEE-9A0E-38390676A567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7962c2978ba48a8fd9e98bbe3e30f8a690781993","datavalue":{"value":{"entity-type":"item","numeric-id":5214733,"id":"Q5214733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c949f9fd75b44b352bb48d4229b959d9457cdb","datavalue":{"value":{"amount":"+0.7459585666656494","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":"Q509602$8B3EDF26-11D6-458D-99CE-552B2839CB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cd24f3304ed8265acfd712bca8484ef332f4371","datavalue":{"value":{"entity-type":"item","numeric-id":2359733,"id":"Q2359733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa14dbd077f6373645330b091479c5761cf8b4d0","datavalue":{"value":{"amount":"+0.7348152995109558","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":"Q509602$664FE370-FCC9-4682-B355-599E3E332E2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locally finite reducts of Heyting algebras and canonical formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locally_finite_reducts_of_Heyting_algebras_and_canonical_formulas"}}}}}