{"entities":{"Q3086536":{"pageid":3097251,"ns":120,"title":"Item:Q3086536","lastrevid":51217154,"modified":"2026-01-17T07:17:19Z","type":"item","id":"Q3086536","labels":{"en":{"language":"en","value":"On the variety of Heyting algebras with successor generated by all finite chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872056"}},"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":"Q3086536$5CC1353D-AE07-41D6-8E94-134EA9C9B2E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6454a5cee3d8ade8cc549bc64d7d437f59653392","datavalue":{"value":"1228.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086536$5FEC1AC1-5BE2-45BA-A737-69BD1C9EE5AD","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":"Q3086536$61E773DB-E8D6-469F-8E13-806220F65B6E","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":"Q3086536$697A35A3-7E98-4A2C-9290-E7829758FA09","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":"Q3086536$DB07CAF4-6C86-4D6E-BCF9-9237452D1EDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086536$C1B17CC6-47BF-4E87-8ACF-2F8B278C9EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086536$908EC7B1-A515-4C56-A52D-E5B62AE015D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d18cfde73d71881b36abd0ab5646afd49ef1ee2","datavalue":{"value":"5872056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086536$DD6FDD32-2D78-4348-A303-A99EFC409A77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$57353E8F-4DE8-4155-B22B-B25358EA935C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bb96bdcba2a7cd910b60cbb34c93bfdca31bcb4","datavalue":{"value":"Heyting space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$88382556-3DE5-49B8-8378-2A765EFD2B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$17DFCF40-4D7A-41C7-8B58-A085432D7C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e4b2caeb1b07ca1ae69e81fd1f96bc3accd8c9c","datavalue":{"value":"subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$E3F82039-2CC4-407E-8758-8A0E55EFD991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d8bdf0089161d46baea085f322d6409b4900995","datavalue":{"value":"homomorphic images","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$B39D4045-C0ED-4C8A-ACDD-08BB4619106F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bcc23b294c593f3c09a8d99b900ebc75ad3a378","datavalue":{"value":"successor operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$E6EA8BC6-3A90-4741-B5EC-906A49DDE569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e997fdc97bfe1d6c8fe1946e86f5be57a55fa343","datavalue":{"value":"finite chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086536$54BB2A8F-74E9-4841-82D9-1410F6BC962D","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":"Q3086536$5EBF6E2E-82F0-49F9-9635-D0154140AC98","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3571fa3e0f6d58b7062ef1d4d24e6e433e1a381","datavalue":{"value":{"entity-type":"item","numeric-id":4916976,"id":"Q4916976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48ec1e99f8b2dcd4527e40f51a493e321c7f0ed","datavalue":{"value":{"amount":"+0.7862926721572876","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":"Q3086536$D68EAB6B-D265-4B90-960F-F83A485DC413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8e8ebfa4d46f2c4b9cac01b20b2bf77d6153e08","datavalue":{"value":{"entity-type":"item","numeric-id":1935558,"id":"Q1935558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a51913c97e7116703d1c5baa289cab120aaba9","datavalue":{"value":{"amount":"+0.7807033061981201","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":"Q3086536$C5A58CF5-925F-4B63-8731-F2E1C5A4D4A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f91ec24b21b2a7d830cd22a183995350bb6f38","datavalue":{"value":{"entity-type":"item","numeric-id":3086535,"id":"Q3086535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbac9953abf9f9a2ac90d364bba1779efb3d3bc0","datavalue":{"value":{"amount":"+0.7716506123542786","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":"Q3086536$71EB6C5F-4B70-45D9-84F7-FA53485789A3","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":"bc02257ffb8b3c994d5ec54a5e97099360e25da2","datavalue":{"value":{"amount":"+0.7709760665893555","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":"Q3086536$50C95ACE-FE9B-4FAE-9937-B78EF0B64167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f9b9b5c934709efd014283e75e2a3c7e5bb1de","datavalue":{"value":{"entity-type":"item","numeric-id":2720324,"id":"Q2720324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a716cdc1b16abcc37d09e234eb047733b30db22","datavalue":{"value":{"amount":"+0.7658358812332153","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":"Q3086536$9E97A07A-ED6C-4DDA-8336-2CAE1BED666A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086536"}}}}}