{"entities":{"Q4032876":{"pageid":6062610,"ns":120,"title":"Item:Q4032876","lastrevid":55230607,"modified":"2026-02-05T02:33:45Z","type":"item","id":"Q4032876","labels":{"en":{"language":"en","value":"On decidable varieties of Heyting algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150242"}},"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":"Q4032876$A784074E-769A-44FF-B705-74CCF84C68E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1fb6d434cf7084e038b59c2319731fe8b1fbc1e","datavalue":{"value":{"text":"On decidable varieties of Heyting algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032876$15A06CBC-8494-4317-8B92-E9B0280A1A7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c7ff97323973204daff49bad34717894d75ecae","datavalue":{"value":"0786.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$FF0D78AB-6BC4-4163-93FA-86400B2206C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cc6990f472742f7b10b3f011e7cd6a7e3bd422b5","datavalue":{"value":"10.2307/2275444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$49A94AC4-E15F-4AB8-B279-14BD9134E3CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24af65d6d93c775eff16dbfa1a97eebd3b7fded2","datavalue":{"value":{"entity-type":"item","numeric-id":287048,"id":"Q287048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032876$8EDF1642-E602-45E6-AA73-349881D37783","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032876$A339315D-DA0C-4F05-8147-158D42A5B39E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032876$040A3314-DBDC-4BCC-A68B-08E5B7CD850A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$108C03F3-D0DD-47BD-B097-40B607916C8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$35408A42-7559-4353-AA42-0C72F08ECBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$6C141E3C-654E-4486-9A61-BD9DD03D55DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32d685d8d17fbe20be404d5f36aa0302aa57a1f6","datavalue":{"value":"150242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$0E34121A-C76E-41B4-B1C7-4E6F6649CBF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aeeb0ea216ad02e5a6b2ec95387f423b0dd07e8","datavalue":{"value":"first-order theories of subvarieties of Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032876$1FD03B13-4707-4173-95E6-F3FD552FE40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032876$A9A33A60-502B-4BE6-8B27-D92FDD636619","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":"Q4032876$98D6F339-817F-4D88-ACA2-624008F07282","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6dc060bb47085a5fd2ee42e2f4564640826055dc","datavalue":{"value":"https://doi.org/10.2307/2275444","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032876$4DB7B835-2DEA-4EBA-9753-4683F964D4FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa90ff7595222966d721c18e12986989c4fd4730","datavalue":{"value":"W2003344527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032876$F1A08885-61E2-412E-B660-4829E61DC425","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4d1b54f39385e475024bcf36a9244162838f1e","datavalue":{"value":{"entity-type":"item","numeric-id":1137036,"id":"Q1137036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032876$381B3CE4-EEF6-476E-B742-CE037B23A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032876$5E29C83C-6B6A-474B-B916-CE4CD12B745E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be90a149ca073082adc0234419e2ef1579c7c1b0","datavalue":{"value":{"entity-type":"item","numeric-id":3815356,"id":"Q3815356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032876$EFC6AFD6-A002-4106-B20A-568B908D89C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032876$1CAC2DDE-673D-4298-861E-3FBB2CF57E2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032876","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032876"}}}}}