{"entities":{"Q934889":{"pageid":936737,"ns":120,"title":"Item:Q934889","lastrevid":65518344,"modified":"2026-04-12T03:09:28Z","type":"item","id":"Q934889","labels":{"en":{"language":"en","value":"Pseudocomplemented semilattices are finite-to-finite relatively universal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5306263"}},"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":"Q934889$C6F64310-63C1-4A39-9D24-D19604545B1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d140f6c8aabf256dd970f104d4447d97e15568ba","datavalue":{"value":{"text":"Pseudocomplemented semilattices are finite-to-finite relatively universal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q934889$3F15556B-5964-40C7-B56D-1F23C8E658B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b98a875cb8f1bfdcdfff8ab6958b1f8fb6dfe03f","datavalue":{"value":"1144.06002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$DA78585C-4E76-4E4F-B08A-BA67BF5B21E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ac61124c130a309ba22dd6de30ccf8073e5ac16","datavalue":{"value":{"entity-type":"item","numeric-id":931578,"id":"Q931578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934889$CBA5F228-040F-4714-9BE3-D9B2D4C82419","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":"Q934889$85E9F16B-D709-48B2-9D42-84CBF889ED27","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63a99636c6ce0bf387bd2cadc0b904c7b0ae7806","datavalue":{"value":{"time":"+2008-07-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":"Q934889$CCC04F7D-9EE8-4D1B-B308-12072F1C551E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e2d9fb687796a301e9b40c13590cacf2626e314","datavalue":{"value":"https://boris.unibe.ch/36836/1/Adams-Schmid2008_Article_PseudocomplementedSemilattices.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q934889$4C2FEFEB-73DF-4B10-AC53-5621C543240A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5d0c697266c9596f228cb051ba848c17b1c91d0b","datavalue":{"value":"A variety \\(V\\) of algebras is universal if every category of algebras of finite type (or equivalently : the category \\(G\\) of all connected directed graphs together with all compatible mappings) is isomorphic to a full subcategory of\\thinspace \\(V.\\) If an embedding \\(g\\) of \\(G\\) may be affected by a functor \\(\\Phi :G\\rightarrow V\\) which assigns a finite algebra to each finite graph, then \\(V\\) is said to be finite-to-finite universal. The principal result of this paper is the following: The variety \\(S\\) of all pseudocomplemented semilattices is finite-to-finite \\(B\\)-relatively universal, where \\(B\\) is the subvariety of all Boolean pseudocomplemented semilattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q934889$B0C866C7-78A4-47A2-A2EF-700BB7D590E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$4B971063-1981-4B4B-9E9D-3C21B7826C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$9DED411F-5A39-4656-9A8F-A4219DF8E1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$CA165A55-A2BC-4FB3-91F9-CCDF2E14B37E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a953758b698aaca8d63b3ba0ee63f5661eea3db","datavalue":{"value":"5306263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$DA771FEA-F765-4BDB-91B3-FC0D933DD803","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b42a8e506c79bb509baa97950f1cc069aebf7bc","datavalue":{"value":"pseudocomplemented semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q934889$D0888606-C570-44D4-A704-D35BF675C146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c61facbbb6113ca130402dcb6a5e6cb86983eea2","datavalue":{"value":"finite-to-finite universal","type":"string"},"datatype":"string"},"type":"statement","id":"Q934889$143C3E04-A7D7-4199-8A80-B7827BCA4829","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q934889$97D01653-8022-4A86-A3DB-720A1A4D1247","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":"Q934889$EC1D57A3-94D6-43D3-9510-C7133D99A884","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"de4e79bff25c0ffef2403404bae303d4503f46bd","datavalue":{"value":"W2158905167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$DF4CCD5D-1452-4176-83B6-F0BB2FDCB9F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35107690b5df7b6d87ce92a67e2de7a24b7eaf50","datavalue":{"value":"10.1007/S00012-008-2071-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q934889$18687DFE-8727-4D52-97A9-798C83381166","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bb054f62cfa36fdec8bcbc30c0d3df15c067ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3470507,"id":"Q3470507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c669cfe91fb70e0a5da167bc7826c853363e6ea","datavalue":{"value":{"amount":"+0.8276769518852234","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":"Q934889$BD567183-EC7F-47B4-AE2F-A4C6AFBC7A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a101e240084a745a3857f7d4fc34ce3870d1cb3","datavalue":{"value":{"entity-type":"item","numeric-id":4870721,"id":"Q4870721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c6b2a542c419311e6afdb37d22a6662344ed6c","datavalue":{"value":{"amount":"+0.7585550546646118","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":"Q934889$936CBABF-1068-48F5-BF21-B42545AD5952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f177312fdf58d80897cf318c59de7993048ea118","datavalue":{"value":{"entity-type":"item","numeric-id":4328039,"id":"Q4328039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4d9b354e933e19a5d763a527f1444e3a72c0e61","datavalue":{"value":{"amount":"+0.7438758015632629","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":"Q934889$7D5EAAE8-F588-4E83-91B7-B4E30C00D00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47d49480d94a76d6de56db3a9581729a41e3916f","datavalue":{"value":{"entity-type":"item","numeric-id":2717946,"id":"Q2717946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8e5ed4c37eb08118ae036f024515b76726bf80","datavalue":{"value":{"amount":"+0.7350038886070251","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":"Q934889$BC5FC201-AC93-45F6-8AF2-42C3E39420D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d6dd2f4436937761719da9132cb0b0594e493b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950756,"id":"Q5950756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f8002ef4ee0effd283959e8260ab514abacc568","datavalue":{"value":{"amount":"+0.7294849753379822","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":"Q934889$AA2FE5AA-FCCB-4C8D-9ACA-4FD49A555561","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pseudocomplemented semilattices are finite-to-finite relatively universal","badges":[]}}}}}