{"entities":{"Q932172":{"pageid":934020,"ns":120,"title":"Item:Q932172","lastrevid":65497890,"modified":"2026-04-12T03:00:22Z","type":"item","id":"Q932172","labels":{"en":{"language":"en","value":"The axiomatizability of topological prevarieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5299373"}},"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":"Q932172$4752F0A0-C108-40AE-B9BD-5AEA2B4E658C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"748351e19b51aeed75aad7fe58c0d7e3e6caccb8","datavalue":{"value":{"text":"The axiomatizability of topological prevarieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q932172$70C82E84-9BFC-457E-A84F-5C4FA6F289A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6c88da1731069ce457b8f33a625f04655d1f5a4","datavalue":{"value":"1148.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$DA74A492-2A31-46EE-B6D6-2CFF327F9B00","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$D0298973-A1E2-4A70-B4EA-5AA15A49C7F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b588045ffddb7ab41c71713eb6e9655fe759644","datavalue":{"value":{"time":"+2008-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q932172$029A1917-8683-421A-89BF-FCF8B5061B26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ffdd1a8e4ab4abca8453d0835bd3ff1c1363c9e9","datavalue":{"value":"The original motivation for this study comes from the theory of natural dualities, which is a tool for studying finitely generated quasivarieties of algebras. A natural duality provides us with a dual equivalence between the quasivariety generated by a finite algebra and a special dual category of compact topological structures. In order to utilize a natural duality fully, it is generally necessary that it be accompanied by an effective description of the objects in the dual category. This dual category is generated by some finite discretely topologized structure \\(M\\), being the class \\(IS_{c}P^{+}(M) \\) of all isomorphic copies of topologically closed substructures of non-zero direct powers (with the product topology) of \\(M.\\) In this paper the authors investigate first-order axiomatic descriptions of naturally occurring classes of Boolean topological structures. These methods utilize inverse limits and ultraproducts of finite structures and illustrate the range of possible axiomatizations of these classes with applications of methods to Boolean topological lattices, graphs, ordered structures, unary algebras and semigroups. For example, whereas the class of all \\(k\\)-colorable graphs is known to be axiomatizable by universal Horn sentences; the authors find the class of continuously \\(k\\)-colorable Boolean topological graphs is not even first-order axiomatizable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$67DA2746-AE9B-4EB6-AEDA-B77CDEB60F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$06C704D0-9489-494B-A4C3-40A888E3AA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$0DF41493-E046-42E1-81C0-29F9F97119A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$7F2719FC-BC70-4993-A87D-CD11A27F05FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$6A108B18-C347-449B-88B6-47EED77CFA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$C7965952-FE7B-4BA3-8E89-72FE6F1FDFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6572440b52f16621a0f14dcfb541403c84695f8c","datavalue":{"value":"54H12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$3B70778A-5E5F-42A2-B8A7-E09B86EBA130","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c77b199eedd8a26c02fbe80414b875683a3e4b0","datavalue":{"value":"5299373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$2617B627-40A1-4C18-A920-382ACD828A73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de91e5ef097aa0eb71d0a0a3f27b4ba0a03e19a4","datavalue":{"value":"natural duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$98D65A69-577E-4313-80B5-4659786EC35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc9aebf2165ea4fe44c0b6c629da6789f8fa620","datavalue":{"value":"universal Horn class","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$C41E5894-FFD8-436B-BD62-0A9D352C5299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cca332f0af55868218a4403397b307e09eb4353","datavalue":{"value":"topological quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$ED049684-0E5A-47A5-9224-54B8808E43F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"649992f6daf2a0b30f4dac625fcbc31e2847cda9","datavalue":{"value":"topological prevariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$AE916D02-9870-4EB6-939B-266D3BA624A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1a888ad53cf5ca728fd97fc004d92f682ce7ef","datavalue":{"value":"profinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$F500D1B1-6279-4F0E-B74E-1081D512D804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e757d7c5ba76c142417786c167eb96486232a60","datavalue":{"value":"inverse limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$7B8940F9-2476-4BC2-84E4-713E40A7F774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$15B7A75F-937A-4C90-8666-F6707C92BE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b4012ccbdab023048a01bfc8f94bd23553d1d4","datavalue":{"value":"ordered set","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$8B822DD5-6EAE-44F0-8CB5-3AC570A02F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc14051a93e8c78a1da682d6f4184d91e9c6088","datavalue":{"value":"graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$7E1B1528-7B54-4007-A211-355127004044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e9a668a015f774ec6ce388f97f7a05915118ae0","datavalue":{"value":"unary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$D542D204-D893-482C-BA27-858609214C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q932172$81BDCD1A-FEB2-42DB-B09D-688C382EEC6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a01f4924bd4949e033ac839c1d345a67664168d","datavalue":{"value":{"entity-type":"item","numeric-id":1078590,"id":"Q1078590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$6A224099-C961-49A0-8E53-52D671610423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"891dd938a0a1e5d776955ccb9d55aa8014d5b8bf","datavalue":{"value":{"entity-type":"item","numeric-id":178373,"id":"Q178373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$7769AB4E-8447-4C68-A4C1-3C1D164D25C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c143711c540a5fa97aed5ccb8ab786b5271367d6","datavalue":{"value":{"entity-type":"item","numeric-id":175788,"id":"Q175788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$1ED2631A-25B1-4076-8AFF-4E46BB95884F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b9f28ca2582efebab73a49e88755e309f516b3c","datavalue":{"value":{"entity-type":"item","numeric-id":494620,"id":"Q494620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$045BB8C9-438B-4A2C-B97E-07281F156557","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":"Q932172$AD4A6D18-3832-4A4E-AA38-F100DA9E138D","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":"Q932172$99C90066-1B49-48FD-98CF-83913FD516BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"207cd39a6f785b416f76f2b11e233777e20009d8","datavalue":{"value":"https://doi.org/10.1016/j.aim.2008.03.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q932172$B2628C1B-5E93-4135-879A-F7E9062A9095","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a5b63f18bd4fd105af1352037f644e90f37ed62","datavalue":{"value":"W2030229759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$4EC5A4CF-BC8C-4624-AA1F-CE0317D9EAB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e717044fcad99faf06d37ea7847a415e788e2235","datavalue":{"value":{"entity-type":"item","numeric-id":3123634,"id":"Q3123634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$1FBDB472-9285-4E25-BC7F-F92BBB237001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b216d93d64792e8e92d7a8960e59afa9e316b10","datavalue":{"value":{"entity-type":"item","numeric-id":3855342,"id":"Q3855342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$009B8708-6C20-4AEC-AE1C-8A0BBC8EEA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932da8db384b81c930561c5fddd40ae4af29187c","datavalue":{"value":{"entity-type":"item","numeric-id":915753,"id":"Q915753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$D2976167-B0C2-4339-8EB3-FE3817FE50B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c76ceb457ebef12a028a3f80a79bbda49bd06106","datavalue":{"value":{"entity-type":"item","numeric-id":1611299,"id":"Q1611299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$8FDED306-DCBB-4961-82A2-126A6C65FAA2","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":"Q932172$99F5D7CB-3708-4740-9E55-9E1105BAAAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"694afbd0fdcdfe60364672253d33ab1df5811502","datavalue":{"value":{"entity-type":"item","numeric-id":4403018,"id":"Q4403018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$03D4D8A8-8049-43AA-94A4-1517A9527964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$4696E790-2003-4AD5-B1C4-C2219C10D3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a134d9edfb4bd22a97601899a67c4f917cdcc0ed","datavalue":{"value":{"entity-type":"item","numeric-id":5184960,"id":"Q5184960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$F1F24B40-4C24-4CEF-8C06-555A0BDD5E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f106ceb6c8a1a19115fc87fcf5e5c58bbdbb1d6","datavalue":{"value":{"entity-type":"item","numeric-id":4679049,"id":"Q4679049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$43850224-F71B-4BAE-A405-6B4AE1D515D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"227d9bece1954b586a480dc271b0d103bfcfdcce","datavalue":{"value":{"entity-type":"item","numeric-id":3043619,"id":"Q3043619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$C9CE91ED-46AB-414F-9663-B8CBDA30F6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c6e1d4e32b87a3cc09e931d20b7f2d74baaebd","datavalue":{"value":{"entity-type":"item","numeric-id":2577698,"id":"Q2577698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$8A9CB0CF-5169-4DC2-AA56-FF43A308AB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6bb2502903effd59e4d5d609d0ce7bd0ae087bd","datavalue":{"value":{"entity-type":"item","numeric-id":5904773,"id":"Q5904773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$F085B886-7D6E-4BC5-B7BB-A6B46F9655D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f9dc034d445a5e4134097a5c1c1dff2a9d568fa","datavalue":{"value":{"entity-type":"item","numeric-id":4094903,"id":"Q4094903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$11E206EF-3C86-45C3-9197-1941ECBBE676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9648832a5f4f5f615b575f39686e65941502f438","datavalue":{"value":{"entity-type":"item","numeric-id":3932856,"id":"Q3932856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$857FA453-6299-4641-8310-CA8330B950A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf8e44b78b1e18f0fd54fe2eba1d60693fb6cc6","datavalue":{"value":{"entity-type":"item","numeric-id":3659832,"id":"Q3659832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$F0DAE485-18B9-4378-AF5B-11A400E2B197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66899870c7f3f3166efd5be23dcf7eee54ba28d","datavalue":{"value":{"entity-type":"item","numeric-id":5446632,"id":"Q5446632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$4C2E3EE3-2C7E-4A42-BD00-4705861A44F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e43983e6bd2058213876aa686ae1217d967574","datavalue":{"value":{"entity-type":"item","numeric-id":2577735,"id":"Q2577735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$00735233-B1A7-4517-B1DC-20EF9A7E6500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d61265e59eaf23a0dc70fbfa4e426889960350c","datavalue":{"value":{"entity-type":"item","numeric-id":3313919,"id":"Q3313919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$7D966B20-0D5E-4B59-8A12-3E8A2F54E3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b417f2dca70d48f3c3243390efb213b5bab6850","datavalue":{"value":{"entity-type":"item","numeric-id":2577745,"id":"Q2577745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$8ADC92C9-F141-4C35-9CF5-55AE9E40395E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c00db9cf11e568ea9ff3f1443759c47f4bdf339","datavalue":{"value":{"entity-type":"item","numeric-id":4187879,"id":"Q4187879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$54095998-65DF-41D1-94EA-2334A1FBEE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c70e321512ba23cb2a58cf4869c71dd0f0ca962","datavalue":{"value":{"entity-type":"item","numeric-id":3856954,"id":"Q3856954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$E1E35D57-2A30-494F-B4A6-847D95CA814D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933f5379577635c6add77213748d749867f72aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1593962,"id":"Q1593962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$82C1D473-4474-48D7-89FF-7B25703791CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba1bf5984f318456ede26326c24c60042970167","datavalue":{"value":{"entity-type":"item","numeric-id":2554346,"id":"Q2554346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$A3855FE7-EDEA-4CBC-860B-A05E9A7627B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8e23bd8ecb9dbae8b86c441a81c48c0451ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":3890743,"id":"Q3890743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$1CFB2B8F-B79C-4751-880E-3B3BB1491FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad182676142fc6fd4ce47aaaef6d11cb143c04d","datavalue":{"value":{"entity-type":"item","numeric-id":3514350,"id":"Q3514350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$652E1FEB-DAFA-406E-81FF-993C019ABC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b846b87e067187db7f28d8f7d21798702913aa58","datavalue":{"value":{"entity-type":"item","numeric-id":3623389,"id":"Q3623389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$7952AD2B-5552-49A2-90A5-482C299ABEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$4C525225-0AD8-41B3-996D-870D29F00C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005999ce91e3c3df1aa69dc5a73dde3403897d8a","datavalue":{"value":{"entity-type":"item","numeric-id":1159775,"id":"Q1159775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$739375F7-E799-47F1-9536-1CD97B970B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01874425d018f2c41712bb3fb8e538c43c3a3a01","datavalue":{"value":{"entity-type":"item","numeric-id":1250117,"id":"Q1250117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$607F3C8F-9697-4FBE-BADA-209D16C87534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282211222ccbd2802942b103c7887abb392256f5","datavalue":{"value":{"entity-type":"item","numeric-id":3249791,"id":"Q3249791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$5436480A-0AFD-4C88-95A6-76EEE30F202D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$4A50A53A-5C94-4798-A80B-997DF38B4BCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be33f90a59003e13dade969191fc9b890b600a30","datavalue":{"value":{"entity-type":"item","numeric-id":4792823,"id":"Q4792823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$3B9769A7-65C5-4C1B-98AC-2045F4A98B75","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":"Q932172$CFF951FB-5C10-4EED-8BA0-051505A306CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcb136a307cf0e71de9a77344c8bf65dca68320e","datavalue":{"value":{"entity-type":"item","numeric-id":1141678,"id":"Q1141678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$D2E3ED0C-9E45-4B54-AD4E-191098B768F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f210a77022c7095bd949c670a85f1b2ba7a8f98","datavalue":{"value":{"entity-type":"item","numeric-id":1147399,"id":"Q1147399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$081A0623-8966-4D03-81B0-7DBA9CA2C8CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a31ca9e39bd854a09edb69f0591bbe1940abbc2","datavalue":{"value":{"entity-type":"item","numeric-id":5572360,"id":"Q5572360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$1542094A-843F-4BA0-BC96-0334624493C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25080f9932c33012a2fb199047183f6eaf25000e","datavalue":{"value":{"entity-type":"item","numeric-id":3970297,"id":"Q3970297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$B7DAC190-1A1E-4AE3-B6A3-A0A5A418068A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c11f72f3e5a2c09af2a46b604b3e6b120b612cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3932842,"id":"Q3932842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q932172$9B72BC28-7EDD-4B1E-B1C0-C53451928460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f70ae8455d683f08c70bc48b12cd9f6bf51c6017","datavalue":{"value":"10.1016/J.AIM.2008.03.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q932172$E5CAA6C9-A95C-4D5B-BD0C-8B27B93D166B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c45ec9f2f70fa7e7670bba36beabffff8a0bf","datavalue":{"value":{"entity-type":"item","numeric-id":485412,"id":"Q485412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46eff55fbf0e871cfbbdce0e09f37261dee3e368","datavalue":{"value":{"amount":"+0.7983282208442688","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":"Q932172$9B423195-3FEF-4D9C-BB9C-6626FA781B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb370185d1488acebdb34ca879f3c01e4c32b53","datavalue":{"value":{"entity-type":"item","numeric-id":3065426,"id":"Q3065426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ca10a5f9cecc08b6ed30c19c2d2fd46a44a6ac","datavalue":{"value":{"amount":"+0.754582941532135","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":"Q932172$8F87817D-3793-42A5-AEF2-47C114CF885C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293f0c6b2927766b2c7484c0dd02da17ea90d835","datavalue":{"value":{"entity-type":"item","numeric-id":361864,"id":"Q361864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6a19b736ee43dc2cece08aaa8653c663c939fc","datavalue":{"value":{"amount":"+0.7122625112533569","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":"Q932172$C68CB590-1D49-4BB8-95C2-06111242B942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b95f16d145b138bde9234888094fd9237a9e149","datavalue":{"value":{"entity-type":"item","numeric-id":4283634,"id":"Q4283634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e959e3d5b259997aeb6f07c755fcc44097bcad6b","datavalue":{"value":{"amount":"+0.7107757925987244","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":"Q932172$84998B89-D624-49CB-93EF-1BEAFBB97DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866dd27da473fcc12f318bf6249d87df779e094a","datavalue":{"value":{"entity-type":"item","numeric-id":1073065,"id":"Q1073065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4680cc402ce8eec67968bb6b87dfbbec1e169696","datavalue":{"value":{"amount":"+0.7100900411605835","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":"Q932172$9EE63B61-1BBC-47AF-8985-08F158B523FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The axiomatizability of topological prevarieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_axiomatizability_of_topological_prevarieties"}}}}}