{"entities":{"Q4916976":{"pageid":6946557,"ns":120,"title":"Item:Q4916976","lastrevid":51704390,"modified":"2026-01-19T14:15:07Z","type":"item","id":"Q4916976","labels":{"en":{"language":"en","value":"The finite model property for the variety of Heyting algebras with successor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158488"}},"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":"Q4916976$32903664-17A7-4513-8B1B-5DE4432D9B0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a06c08b876202f588d5ae6081d2ee2c78900020","datavalue":{"value":"1272.06021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916976$1CF30100-D1D3-41A6-8B62-5BA48CF4C02A","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":"Q4916976$0A5B19AE-9297-4549-BCEE-A582FF31B883","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":"Q4916976$96ABAC98-6CF6-43A2-BB0E-F2D2B201B283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916976$9DA33A48-2FDC-441C-BBA7-D34FA0D251B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"869d2669655c87aec446c03d490646886a17ba13","datavalue":{"value":"http://inmabb.criba.edu.ar/revuma/revuma.php?p=toc/vol53#v53n2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916976$4AC308E4-715A-4F16-9AFD-DD62D29673F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916976$BCC91DA9-E3E9-412A-ACE7-65077FF41E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916976$65ABA2F7-D4F6-4CC7-A381-70C430315C67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91a65709c92ccb09889c3a3be5e0156b032bea0f","datavalue":{"value":"6158488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916976$3355493A-55BE-491B-9225-ECCD6A494980","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916976$36CEF034-FE96-4346-89F7-50D82742D510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9eb5499cfb68492f74ac604463138b9fe9ba88","datavalue":{"value":"successor operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916976$2FD4E1AB-114A-4518-B422-808586B306DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4916976$37BD0E5E-9C00-4AF8-9A4C-72A788DFAD29","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":"Q4916976$4F235628-5A24-4216-B29A-B16FF5386D5A","rank":"normal"}],"P1643":[{"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":"e219e46e47f8d3808bd808c6f14034551c403176","datavalue":{"value":{"amount":"+0.8000925183296204","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":"Q4916976$B1429F13-14BA-47D9-93A6-AF814747FE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf762050e81f7ee8060e0aadc379afa3e7d8c45a","datavalue":{"value":{"entity-type":"item","numeric-id":3086536,"id":"Q3086536"},"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":"Q4916976$3FAFFB29-8EBD-48FB-B920-47036F134B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2f1e7eb885c5c16a216d12b17dce1df4e541ba","datavalue":{"value":{"entity-type":"item","numeric-id":2233195,"id":"Q2233195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"138e837cb084e8035147f579f4533ed4446f9b4b","datavalue":{"value":{"amount":"+0.7377232313156128","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":"Q4916976$BC709D13-77F9-4531-8B0B-3DEC12A6B2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f511f71a9ddc48c67a4c2e8218afcfaf1b61f056","datavalue":{"value":{"entity-type":"item","numeric-id":818713,"id":"Q818713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f29ed1fe4fce40d49acfd2c9fa2351c4c689326","datavalue":{"value":{"amount":"+0.7373566627502441","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":"Q4916976$FEAF27FA-C379-40A2-9B30-8063B793B691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6c53ca25dc47075ca76493ed402671e17a88bb6","datavalue":{"value":{"entity-type":"item","numeric-id":4724609,"id":"Q4724609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c9592c1b568989db1e17b8aa84923a8eeb1c9c9","datavalue":{"value":{"amount":"+0.7363947033882141","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":"Q4916976$906EB0F8-2F5A-4E25-A0D8-AF6EC0D9C9BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916976"}}}}}