{"entities":{"Q3086535":{"pageid":3097250,"ns":120,"title":"Item:Q3086535","lastrevid":51217151,"modified":"2026-01-17T07:17:19Z","type":"item","id":"Q3086535","labels":{"en":{"language":"en","value":"On frontal Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872055"}},"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":"Q3086535$323ED066-4BDD-4A1F-889D-0864C83D7AAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19d966923beaafa8606af8f5ea8cfec9d8d49d21","datavalue":{"value":"1228.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086535$FFD578E8-9A25-486E-B644-C793D5E47C34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086535$7C8A83F4-B911-47F6-86B0-BB01CE6D4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e08ef39f1a6658fd08b441fdfb39644b5b09e015","datavalue":{"value":{"entity-type":"item","numeric-id":284214,"id":"Q284214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086535$FCB1CAD0-A49D-4C7C-A4B0-A05ACB0EFE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ec376dcb7cf5125b803e313059b45ffe75fceba","datavalue":{"value":{"entity-type":"item","numeric-id":284215,"id":"Q284215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086535$A405C96D-63FD-4603-BBF6-6300677FC885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-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":"Q3086535$63B5EE37-BFB5-42D0-9A2E-4131601476B7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086535$7559F486-67B8-48DB-988A-2F99EEC1511B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086535$E048CC66-06FE-4989-95C3-C28B6503569E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38b9603bb7cc3b3c3b58d76285007404c3e4fcbf","datavalue":{"value":"5872055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086535$EC4A6682-6594-4C12-869B-D699FC8D8B00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086535$34CF4F9F-490F-40B1-B6E6-6A9524BE44B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08503ff68fda0185e5c7ee17350804ec8b84a271","datavalue":{"value":"Priestley duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086535$0D7C8D6B-6F56-4E4F-87C4-CFDD781ED287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d16b992e95459af77702a97b813de464d2469c","datavalue":{"value":"representation theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086535$FB58E091-162A-48ED-8202-800F425E4C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb96bdcba2a7cd910b60cbb34c93bfdca31bcb4","datavalue":{"value":"Heyting space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086535$2DA97567-4C87-4A89-8EB0-2A2DA2DCB344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87aa23dc1b2770ffb113942e5e63a4ad010f7775","datavalue":{"value":"Heyting duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086535$C75B1B7F-4875-479E-83BA-AF8BFB8652E9","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":"Q3086535$CE876B76-D17A-439E-82E1-512F609ADC6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"349e70b51f3114cedb3bcf711d5fd9d012989728","datavalue":{"value":{"entity-type":"item","numeric-id":454367,"id":"Q454367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"182791ac7863edca63641f8595c9c58a411e29c0","datavalue":{"value":{"amount":"+0.8576661348342896","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":"Q3086535$E3FBD177-BE08-483C-AA16-8EA3BC50EAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"585fd57c4873511870e11c61a2b74a4680984a4d","datavalue":{"value":{"entity-type":"item","numeric-id":4870894,"id":"Q4870894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8d7ec8e42a73c19dd4a959543ff9e947acbbc22","datavalue":{"value":{"amount":"+0.8568639159202576","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":"Q3086535$A57B1305-FEC2-4283-B4BE-D9A99871D765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d98898bebef911e0b79b6ae74a2cba6a9ee836","datavalue":{"value":{"entity-type":"item","numeric-id":4644510,"id":"Q4644510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dacdab234c780b74f1d7ed25677a1ed4f699f10c","datavalue":{"value":{"amount":"+0.8143430352210999","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":"Q3086535$DC30033C-B294-4418-9B56-191643DCB597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4715e1c25ae04cab37777560dd4d4476ff4e0f0","datavalue":{"value":{"entity-type":"item","numeric-id":2751820,"id":"Q2751820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba1eead84e2e1b0d90c011d79917ccea797b856","datavalue":{"value":{"amount":"+0.79658043384552","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":"Q3086535$DA6ADEF1-9D6B-485F-83E6-210051BCE8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb259a68d2a865808f8173ec22e25d86e3e6b03","datavalue":{"value":{"entity-type":"item","numeric-id":763330,"id":"Q763330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc8204b7501137a37ff70dd2aef5ca381e1efde","datavalue":{"value":{"amount":"+0.7820717692375183","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":"Q3086535$CB3F06CD-A812-4D48-AC75-AFA9428E530B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086535"}}}}}