{"entities":{"Q471162":{"pageid":472929,"ns":120,"title":"Item:Q471162","lastrevid":62075229,"modified":"2026-04-11T03:36:00Z","type":"item","id":"Q471162","labels":{"en":{"language":"en","value":"The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369492"}},"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":"Q471162$9AEC0F57-0706-47BA-95C0-7E135FBB8E5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3b21008b551fb47dbcf349f8f1d7b0518a4ca08","datavalue":{"value":{"text":"The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q471162$219F21B9-C8ED-4829-9972-1237BBFF7960","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0e30abe7c3f59a428b0f6a0c1b8ea0659759810","datavalue":{"value":"1345.03067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$26B4BC44-2172-4628-9141-CCC72C18B8D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc394b8cf4d51c3cf62dd3495e7d76aacf889f8","datavalue":{"value":{"entity-type":"item","numeric-id":387620,"id":"Q387620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$DB24493F-31E4-45AA-BF29-5FFB767EC9F7","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":"Q471162$FF06CC73-4AF3-4962-96AC-5E21BCEAEC86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7716cb22ca1a0f2aae16b7f525027a88bc263ef8","datavalue":{"value":{"time":"+2014-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q471162$6D0C7C33-B994-46CF-86CC-233C11C3CE65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1a68b23fe32c380a5534d490a7f18a9fdb9de9f","datavalue":{"value":"https://arxiv.org/abs/1203.3155","type":"string"},"datatype":"url"},"type":"statement","id":"Q471162$A8431D4B-D0A6-4BBE-8395-96F045736E46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$7EB1B9E7-2B76-4BA1-BB4F-7A8533F4E6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$A2D4F89A-71D1-427A-8F93-AA7A507F3A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$C15380B2-9983-490F-82F0-31BC4080FFB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46b26faec4e0aef7f711f859edd3134986869ec8","datavalue":{"value":"6369492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$888D9A8F-634F-431C-A80B-BB22BE5CD958","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b42a8e506c79bb509baa97950f1cc069aebf7bc","datavalue":{"value":"pseudocomplemented semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q471162$667BF4CE-7DEC-4C4B-B127-F041A1A7EA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9638c4f7f71b9ad87ea5290e966f4a4bda5ca00","datavalue":{"value":"algebraic and existential closedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q471162$207ED522-3541-4C67-B8AE-EDB68573DB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q471162$A75271AB-4A9C-42CB-BDFA-F2DEF7819CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6b5ecb0ac346b465b5521d7492528c647006f4","datavalue":{"value":"model companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q471162$EAB0CA57-F0A5-4EDB-93DB-05A46F8C8961","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":"Q471162$A4BA09CA-E55D-40AA-9EB7-502D01B0DFE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6610c386982e2d3c9054bf1adcbb440497ccce7","datavalue":{"value":"W1981916858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$7BD633AD-A315-4EBA-9488-68240C170525","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ed4f38a6302996ed3e3b4b56f56f333bfeb2bda","datavalue":{"value":{"entity-type":"item","numeric-id":387623,"id":"Q387623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$8E4F43E1-DC5A-49FE-B88C-34A0F58BB7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35dc1ed85e3256803e32d33f53f7db1743fe9e5e","datavalue":{"value":{"entity-type":"item","numeric-id":1087537,"id":"Q1087537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$419936FA-C71D-47F1-970F-C11635DD18B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cf1557297a3d207451989d491672faa9a36e338","datavalue":{"value":{"entity-type":"item","numeric-id":2543001,"id":"Q2543001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$B5A6BE4E-421B-43AD-8B12-45F9603984D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfd5df3b1d75c513225fd51cd3923e2a4cb48b88","datavalue":{"value":{"entity-type":"item","numeric-id":2625269,"id":"Q2625269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$6EEA0C0D-4D0D-499D-A888-50D290EC9D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa26989680da929ff3e6d87e58d6c9fb08d1d4e6","datavalue":{"value":{"entity-type":"item","numeric-id":4031101,"id":"Q4031101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$65D47CF7-0B8D-4E5C-80D6-7B02D328C903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb4b9bcd3ef5731e01f8aa2a80d826812f98c09","datavalue":{"value":{"entity-type":"item","numeric-id":1057291,"id":"Q1057291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q471162$C6A16AF3-4E1C-4F96-AAB3-64729CA46234","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef33f21842201cd8961d3cc4ecbe0a9d013aed47","datavalue":{"value":"10.1007/S00012-014-0297-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q471162$F664092F-F1C0-4CFB-A088-AC4FA2BA5153","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7153e4e7e2f6725607d3db51d7332aa7118aee5c","datavalue":{"value":{"entity-type":"item","numeric-id":1991576,"id":"Q1991576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a8e3be430f85711c27aaf17447c9f466f52032","datavalue":{"value":{"amount":"+0.94489515","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$BB9FE151-C55E-4B68-B604-F808A2E6840D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"245531572b80f642e9e8e6b6150312827c7299a8","datavalue":{"value":{"entity-type":"item","numeric-id":3781076,"id":"Q3781076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e52f4a03755da945857049672bdc39aa1f308f9","datavalue":{"value":{"amount":"+0.8873036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$D7CFF8CE-887B-41E4-BBD2-270BFD136A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabe27ada3fd8b093bd16061dae939b4e05ccdb0","datavalue":{"value":{"entity-type":"item","numeric-id":387623,"id":"Q387623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fbc14ce34c6edf6f531da22b08fa8bc0142681","datavalue":{"value":{"amount":"+0.88706857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$4766A27E-0AAA-4B4D-AF3C-751A69A68F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9f105b1e16c286f1b6a747777100b11c5e5419","datavalue":{"value":{"entity-type":"item","numeric-id":3705431,"id":"Q3705431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155912020bd5c2836ef17903357eebc9a94fd61c","datavalue":{"value":{"amount":"+0.87936944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$39400D01-306F-4131-82C2-4BCE6DE6C500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42baa67deb55ca4a23b19bd544e75869927ecab6","datavalue":{"value":{"entity-type":"item","numeric-id":934889,"id":"Q934889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2e3b45d42d2b08e539defd81cbaaebee52bf09","datavalue":{"value":{"amount":"+0.8783151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$1CEA41B5-B63A-4F62-8DCA-526BDC0E788B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a205f92538bd9b63394840195402fea122b47c","datavalue":{"value":{"entity-type":"item","numeric-id":4944059,"id":"Q4944059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176c124ca747da121681aca884f2258f84094484","datavalue":{"value":{"amount":"+0.8697791","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$80AF4CA2-CA81-4639-A39B-146F799EDB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b979166e877adb08f72ee2e2d03cb71bdaaa62d0","datavalue":{"value":{"entity-type":"item","numeric-id":3789547,"id":"Q3789547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe169dde3e0589c8de5376722fa7fe18f90ec8d","datavalue":{"value":{"amount":"+0.86546296","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$841DCB7A-DCD6-46CE-912A-78E1F6D90DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b3230b9f6d5f153a5fb28f2150395ae89f5641","datavalue":{"value":{"entity-type":"item","numeric-id":1114679,"id":"Q1114679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54dd610f36135f9f35a51602d6ffeae1b148aab6","datavalue":{"value":{"amount":"+0.86522806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$40103735-2A29-4776-8DCB-1BE510A60F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62aa28113bb0f23a6604e388cf5ce845a9adfce0","datavalue":{"value":{"entity-type":"item","numeric-id":6174420,"id":"Q6174420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c864efaf26728ee2ce24b8b6d236b0a55a26fca3","datavalue":{"value":{"amount":"+0.86366993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$05E3AFB1-48EA-4DD9-844A-98BB0BC9FBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8454725cad387f9403e4984b07c65c035090114","datavalue":{"value":{"amount":"+0.86031175","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q471162$11C759D5-2542-45EE-A2D8-E4E8B81DF412","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The model companion of the class of pseudocomplemented semilattices is finitely axiomatizable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_model_companion_of_the_class_of_pseudocomplemented_semilattices_is_finitely_axiomatizable"}}}}}