{"entities":{"Q331025":{"pageid":332792,"ns":120,"title":"Item:Q331025","lastrevid":52657997,"modified":"2026-01-23T05:11:31Z","type":"item","id":"Q331025","labels":{"en":{"language":"en","value":"Forbidden configurations and subframe varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6643758"}},"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":"Q331025$8A1DAAAD-E9D4-4E8D-85F6-C0A619DD6552","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04ca49fba312ce9c9f9fe85be588203d40f3fcdc","datavalue":{"value":{"text":"Forbidden configurations and subframe varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q331025$FB4C5FA5-1FD4-471A-86B6-80DE92D48D01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6e80a949400f2bbaa5306d24d2b31091a35063","datavalue":{"value":"1412.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$B114F305-8DA4-4A9D-9886-9008BA83128A","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":"Q331025$8C2C24D9-7A76-46BE-9011-B3B26CF9DF52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$0BD620D7-72B1-4B16-9C6F-25BE4A0B0505","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0574adb538516c2b7c4431a66143362574f3a0d0","datavalue":{"value":{"time":"+2016-10-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":"Q331025$F5EA1C96-151D-40E7-BDAD-02D2A0322F3E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"67152ca20a29fe16492a01ae9901b42754b56512","datavalue":{"value":"A finite poset \\(P\\) is a forbidden configuration in a Priestley space \\(X\\) if \\(P\\) is not isomorphic to a subposet of \\(X\\) (in symbols, \\(P \\not\\hookrightarrow X\\)); and \\(\\mathcal{H}(P)\\) denotes the set \\(\\{A \\in \\mathsf{Heyt} \\;: \\;P \\not\\hookrightarrow A_* \\}\\)  If \\(P\\) is a finite rooted poset, \\(\\mathcal{S}(P)\\) denotes a class of Heyting algebras \\(B\\) such that \\(P\\) is not a continuous bounded image of a subframe of the dual \\(B_*\\) of \\(B\\). Class \\(\\mathcal{S}(P)\\) forms a variety. Such varieties and their intersections are called subframe varieties.  It is proven that if \\(P\\) is a finite tree, then \\(\\mathcal{H}(P) = \\mathcal{S}(P)\\). Moreover, \\(\\mathcal{H}(P)\\) is a variety and the equational theory of \\(\\mathcal{H}(P)\\) is decidable. In addition, for a finite rooted poset \\(P\\), the class \\(\\mathcal{H}(P)\\) is a variety iff \\(P\\) is a tree (comp. [\\textit{R. N. Ball} et al., Appl. Categ. Struct. 15, No. 5--6, 457--472 (2007; Zbl 1134.06011)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q331025$257F9CA9-4206-482B-B9F5-F701299C4E8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$252EBAE6-C1A4-4D6F-B493-D2BC9B246BAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$0AB0E392-6AED-4855-81CF-08EB3DA57293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"790702f50bb93532a7a4b32f255db82d04382a0d","datavalue":{"value":"06E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$F655829F-FCA6-47EF-AE11-526114DB99D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$405673E2-F033-4FDB-9A51-64564BDFF102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$D2376FF7-982B-458A-A80D-C99E5B235DE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99213a9ba747f29695ba5b3e789808315b35e901","datavalue":{"value":"6643758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$98D16A15-F73C-4476-9C0C-8A086A5BFA74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q331025$4511C345-0CBD-468D-A004-70DAE96C1C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7cefb910ae76694268e96ffec22bf413f1ebe4","datavalue":{"value":"Priestley space","type":"string"},"datatype":"string"},"type":"statement","id":"Q331025$2F607F99-1A0A-44C0-9EAA-1A05F5AFAACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"534805fa6153b1b3786edcd60407ef0861005e9a","datavalue":{"value":"tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q331025$DE3DB152-64B2-494C-9E22-39CC0714A978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4990892a0f22cc41347725fde4312353893c03cc","datavalue":{"value":"subframe logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q331025$E2001396-A781-4CED-A83F-64B4FE4304D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c18c10afa02a19a388314cbc43fe203201e3103","datavalue":{"value":"Jankov formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q331025$7C8483A5-E3B4-488D-87E7-FE567CCF7BE4","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":"Q331025$C027D759-02A9-42CE-921B-390D84F74392","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8c48a9057d6c6ed7b07684538a0012f3d6f4fff6","datavalue":{"value":"https://doi.org/10.1007/s00012-016-0402-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q331025$560FEEF4-7A03-4D6B-A085-2E17457FCEF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e058bf83dc772b605c8e859e62550923e94b3c0","datavalue":{"value":"W2507404902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$3B8713C4-A250-419F-8BCF-E1902F8CCE6C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b179384817de04cfd57df5815992f84d1710d735","datavalue":{"value":{"entity-type":"item","numeric-id":4826147,"id":"Q4826147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$FED9A07E-B55C-4989-8B09-FD337922D4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e176b52e5cefdf5d26dec7425bdbb03bd067f61d","datavalue":{"value":{"entity-type":"item","numeric-id":2487461,"id":"Q2487461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$83DF81DE-4E37-4B76-B736-E52711A59C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bdc8d00e9e6f0068d77b77702021793acb871bd","datavalue":{"value":{"entity-type":"item","numeric-id":3417719,"id":"Q3417719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$7D3E099E-E628-4D0A-9D66-0584AF666DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ac00e1fca0440ae5d3a63a16bb40e1377d4a7d","datavalue":{"value":{"entity-type":"item","numeric-id":2471007,"id":"Q2471007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$9780ADFA-CD4F-4B6F-A9F6-80D4BFE943AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0af8c7a5fdea77a1329ce46027020e148ba8f48","datavalue":{"value":{"entity-type":"item","numeric-id":2390521,"id":"Q2390521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$4CA08AB3-FF00-4142-B569-05560CDA3C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535df919dbae980fd446ce841471df9d2df17ce1","datavalue":{"value":{"entity-type":"item","numeric-id":535095,"id":"Q535095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$1F42E6FB-BE1E-4394-B84A-8538C7F255B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9fc3f64e300a3d6c539bb15ee466fd021c2616d","datavalue":{"value":{"entity-type":"item","numeric-id":3644804,"id":"Q3644804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$C33F7748-6556-447D-8B97-4E723CF08A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fac0715e16e8fbd1971333832aae7999e9a69e","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$6FE3768F-1E72-4CC1-A92C-9084E4A3058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"071d9b3b917239477baf25669fcf8f9ac83bc48b","datavalue":{"value":{"entity-type":"item","numeric-id":4049062,"id":"Q4049062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$2A982484-9C1E-43E2-B1FF-D97C01F27AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$0192F487-0B69-42D3-864A-88FAC6E641E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9672d1f90f8366b2aa3154bc15fee0e7593092b3","datavalue":{"value":{"entity-type":"item","numeric-id":5598363,"id":"Q5598363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$FAC0FE5D-2D0E-4849-9CE1-55BBA07C1D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$65A7922C-98F2-4CB9-A6CA-96CFC21B500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0943e126b844734d0e41e82ee07b2fa3388352","datavalue":{"value":{"entity-type":"item","numeric-id":4085773,"id":"Q4085773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$21ABEEFB-5223-4F29-946B-6DC71AA3065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3422a46904c0317ecd3a4dbc57c1bc180165ca8","datavalue":{"value":{"entity-type":"item","numeric-id":920079,"id":"Q920079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q331025$B6D08C54-B6F7-45CD-A620-E51D2A29124F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"798333596c018312ad5b779d4cbfbcd67a98564d","datavalue":{"value":"10.1007/S00012-016-0402-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q331025$ABA09EE0-CAFF-43DC-A185-9EFBE75D8D6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15d5cb6d86c94f679f63a5e2b22446b8191e9700","datavalue":{"value":{"entity-type":"item","numeric-id":998769,"id":"Q998769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8189af558f08654fad2ab3b7d81a5dc02707c18","datavalue":{"value":{"amount":"+0.7849424481391907","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":"Q331025$446DB37C-B4FE-4C75-A1E4-576062B48565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a5fd0a1f73038a973890ad23579effe3de8cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4444663,"id":"Q4444663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2e2ccdf6b3047fbba96af1680cd48cf80a48c88","datavalue":{"value":{"amount":"+0.7594462633132935","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":"Q331025$275B799B-C370-4C7F-8778-A236401B7B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0886b781517ebfc9ab796f650ad15cb35d44d8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2487461,"id":"Q2487461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef2e2e4bc1cec7026ca17385e9a2acc62d599588","datavalue":{"value":{"amount":"+0.7349517345428467","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":"Q331025$EA59F1EA-A2E6-41E7-8AA8-C3873B3077BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a79d3bc00a343b2cf170712569d816687fd259","datavalue":{"value":{"entity-type":"item","numeric-id":3317277,"id":"Q3317277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edadf5aad8bd10a3567c6dbe2eff567047d4be02","datavalue":{"value":{"amount":"+0.7296323776245117","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":"Q331025$DAF82605-305D-4C81-ACC4-21D224702465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97bc117e48b450296cd5fc53a169ca3af18a6d3","datavalue":{"value":{"entity-type":"item","numeric-id":2370373,"id":"Q2370373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83abfd95750960d25dc726991098e6022ca44b3","datavalue":{"value":{"amount":"+0.7074123620986938","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":"Q331025$27E4F1BC-38B8-47AA-830E-B880DEBE6F6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:331025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:331025"}}}}}