{"entities":{"Q3008277":{"pageid":3019001,"ns":120,"title":"Item:Q3008277","lastrevid":85475612,"modified":"2026-06-03T08:44:25Z","type":"item","id":"Q3008277","labels":{"en":{"language":"en","value":"Krull dimension of types in a class of first-order theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908004"}},"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":"Q3008277$5A1D0C81-002E-4B3B-B656-B8E53C18B135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41c24de333f63bb96d48d368c5fb599da3bfc288","datavalue":{"value":"1231.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008277$89900B20-75C7-4FBF-9769-56D8836C963B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6246c94f6083cffc3dda1ad223e304fff6f9a9a9","datavalue":{"value":{"entity-type":"item","numeric-id":494637,"id":"Q494637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3008277$D1F91D92-77A6-422B-B3AD-474AFD4EC2DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04f456b7978a84082d01cb786803df58ce3a680c","datavalue":{"value":{"time":"+2011-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3008277$A5D1C2CD-8855-438A-83AF-812503D2F03C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9571cb5f633d10546c5b2f8217f49a7d70524e43","datavalue":{"value":"https://arxiv.org/abs/0812.3489","type":"string"},"datatype":"url"},"type":"statement","id":"Q3008277$5A2A8627-79B3-4B8F-8107-3993AD9B3BCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008277$FB1CE511-9308-482B-9149-1D142A6C556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008277$724B947B-6291-4318-81DE-762713BDD4ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d1d2a8ac327bf4a99aba6a80ceff503651f5f86","datavalue":{"value":"5908004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3008277$FDBAB265-1E44-4905-B5CF-41AECF2850EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008277$745DFB57-98B1-45A1-B256-DEC9AEB8581F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b59b0d2b215ef55ec92e0162e36e119bafef21","datavalue":{"value":"theory of vector spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008277$AA9B3BDD-4B9C-42DE-A63F-F46CDBA731C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa5bc298be0874c572f11244ebc2138bf967e83e","datavalue":{"value":"theory fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008277$BF468A60-C5D9-481E-ACE6-9D8C45E39A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87ab00d8c6d004f508ae7223b0711ed16c3c98cb","datavalue":{"value":"amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008277$DCA3A616-C0AC-47AB-9309-26947ED50C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e235d9897b8e0294c3c713d940c680581f42a962","datavalue":{"value":"model-companion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008277$82795BD9-0760-4047-BCD7-24E98EA73433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"414afba91c0e215433094866ab1933f1add57de1","datavalue":{"value":"finite Krull dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3008277$3499BE62-D460-4F91-88EC-B0C833315E48","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":"Q3008277$24B5D7F9-6845-433B-A654-75B2C0AF7C85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6b6eb5355fcded41ceaa2f0a809c6440c9296ba","datavalue":{"value":{"entity-type":"item","numeric-id":5211069,"id":"Q5211069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17e971c67c15404540e95fe359dd70cc970adb53","datavalue":{"value":{"amount":"+0.90149146","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":"Q3008277$9BF3590F-FE01-4ECC-946A-096019C00E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27e3ff084724cc97b56d05e092adc2d34349044","datavalue":{"value":{"entity-type":"item","numeric-id":4381409,"id":"Q4381409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cb0fa04ebfdb82c850d551b1e63f7cb1aaa1a1c","datavalue":{"value":{"amount":"+0.89118624","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":"Q3008277$48F39CB0-DDEB-4571-86A4-7CBE172C3428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968f7626fb24496fbe24cb0a6a560d95a01b5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":891192,"id":"Q891192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b7eafee5bf5580addfb0f61aacb2a67fc6f475a","datavalue":{"value":{"amount":"+0.88830805","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":"Q3008277$DECA9316-09CF-4EA1-8BF1-C9EA38E8B8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08ed9db92ec3c0dcbd7c9c0c274111850d54769d","datavalue":{"value":{"entity-type":"item","numeric-id":1382183,"id":"Q1382183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77ca419b04b69be21c1443a8b996ecc9572b7a02","datavalue":{"value":{"amount":"+0.8874385","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":"Q3008277$B599746C-29B4-4F84-A70E-26D74CF50812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c5549565b0d836504621f3ec68f0a65923e204","datavalue":{"value":{"amount":"+0.88652647","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":"Q3008277$4FCCAA68-3C32-473F-8EE8-BD7F7BB0F071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c60873e606840c2d5a86dfc420761e3df8edf0a","datavalue":{"value":{"entity-type":"item","numeric-id":4292603,"id":"Q4292603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4743c4d1913c16b4566323d9a24a7cb52c2dcc1","datavalue":{"value":{"amount":"+0.8844589","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":"Q3008277$DE985CA7-E668-4C3F-AE6C-7203F2FBEE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b6cff1dc65bb88b28268a3dedf59f3e959b11d9","datavalue":{"value":{"entity-type":"item","numeric-id":1006615,"id":"Q1006615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7e558e383adcc368389a6fb5f3506b4ca8534b","datavalue":{"value":{"amount":"+0.8808781","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":"Q3008277$2D92F31B-E56D-4677-B5D5-6E71AE1EB7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a83b07ab24040322bf4968712b2de586bea4f291","datavalue":{"value":{"entity-type":"item","numeric-id":5222537,"id":"Q5222537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400cb470e6a7500fff57e23ae8aeca0b4414fe17","datavalue":{"value":{"amount":"+0.8796636","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":"Q3008277$2F561C11-CF25-4BAF-885F-78BE8C627A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b561604156593ee351980620ea06b20091f8ed3d","datavalue":{"value":{"entity-type":"item","numeric-id":607862,"id":"Q607862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f9065191e220833b97f93ff9fa60995db35333","datavalue":{"value":{"amount":"+0.8788184","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":"Q3008277$959221FA-6FB2-4660-8F80-3E3834106F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbefc769cc1cf107fe607a961aac9fbed09d6cf6","datavalue":{"value":{"entity-type":"item","numeric-id":3612444,"id":"Q3612444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62128c163e3e43573647c74bcd4af38babfeb2b1","datavalue":{"value":{"amount":"+0.87872106","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":"Q3008277$A4AC168F-18CC-48DA-8BB9-24E697DE8283","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Krull dimension of types in a class of first-order theories","badges":[]}}}}}