{"entities":{"Q5434201":{"pageid":7463765,"ns":120,"title":"Item:Q5434201","lastrevid":50241290,"modified":"2026-01-13T15:17:24Z","type":"item","id":"Q5434201","labels":{"en":{"language":"en","value":"An Omitting Types Theorem for first order logic with infinitary relation symbols"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223100"}},"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":"Q5434201$53D9C401-CCA0-41F2-B17D-AF974EE96786","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efd9ae2c4e91cce15960ca0dac57cca694e2f510","datavalue":{"value":{"text":"An Omitting Types Theorem for first order logic with infinitary relation symbols","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434201$34028E6D-356A-47BF-8967-05455D2ED76E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03e52a5a1f6b7fb7ff34a2f94b90370f176c9c77","datavalue":{"value":"1153.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434201$A8E2F34B-08C2-4C3F-B432-504D9943D75F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6651d4e4947d930a461f076a4ae17f7da77e1b31","datavalue":{"value":{"entity-type":"item","numeric-id":227768,"id":"Q227768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434201$640A563B-DE85-4272-ABA5-B037BA2575E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"070aaeacac9dec88f2a8878713c9050d82a53c59","datavalue":{"value":{"entity-type":"item","numeric-id":2793176,"id":"Q2793176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434201$FDED97F0-434C-4854-B2F4-26D8D74145D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434201$B8B6C045-8868-4250-A6D7-90DBBA1BC3FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434201$03DFC41D-7A82-4A67-9709-7ED5F4AD77AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434201$803BCF76-3774-4FA6-846B-B6818ABBC746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434201$A02630D4-156D-45A3-99AE-E59A36C2FF3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e5fce899c89a0a6a6de79d91b09c9e0f564b5d7","datavalue":{"value":"5223100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434201$01E71F6A-06DA-4AEF-9FC2-AC3D8807ECE5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e522e3d53ad5525dc0151bfa5b83dc55a0e70d90","datavalue":{"value":"cylindric algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434201$1AA99426-F826-483F-A5A5-0ABD760A9002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24df7a4b46ec1c22b9d20de6c792ddabeef0f6","datavalue":{"value":"omitting types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434201$A2E96503-B02E-428C-BC1C-31B3B7B45CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"255f63426941e087eae99d0307e2967d3d70e58f","datavalue":{"value":"infinitary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434201$A708DC53-A290-4AE0-B0EF-400A81B942EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5434201$D1F3B59E-BCB3-42A0-871D-001B447E5120","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":"Q5434201$4CC80270-11A6-4D02-8C92-55A751B6DB95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e56a6f4000b88378dd477668ce31b8d46444e4db","datavalue":{"value":"https://doi.org/10.1002/malq.200610050","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434201$851F265D-1448-4442-8F99-DB433739C796","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"293c66f8a4ddef8aa538e75e26891a21cbdc3fad","datavalue":{"value":"W2001161946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434201$BE3A77F2-F879-46BA-80ED-890CB751515E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0842ce128cfedce92388e33aef9ec54f9d18a7","datavalue":{"value":{"entity-type":"item","numeric-id":4189277,"id":"Q4189277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434201$EBD92830-9F02-42D2-A731-035D0960BDEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9b56268c3c28686ec6faa83c93958df0a4619b2","datavalue":{"value":"10.1002/MALQ.200610050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434201$B86818DF-7DF2-41A0-94FE-DF582FF1C90D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c217b066510f9d42f79bc56ff1dff7f0451cf19","datavalue":{"value":{"entity-type":"item","numeric-id":3185015,"id":"Q3185015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e532742f8d24705adc531044453a1937eb26b40c","datavalue":{"value":{"amount":"+0.7938187718391418","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":"Q5434201$5A78F33A-75E8-4852-9631-B4142D54C0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aea41b016ac8bd00dfbceb5f1401c975a79862ee","datavalue":{"value":{"entity-type":"item","numeric-id":3647239,"id":"Q3647239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2de0182353d70ccb6c5aa0d1b9170eae419d165d","datavalue":{"value":{"amount":"+0.7877628803253174","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":"Q5434201$AFB92004-797F-46E2-A312-0FF8F5C4B1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a72c41bf564a25f129e984e61287d20e33702d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3192943,"id":"Q3192943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"961dde45811cbbe4c5c04fc625eceb06fdb318be","datavalue":{"value":{"amount":"+0.7652822136878967","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":"Q5434201$E3811158-1636-4B30-900D-2CA1C5A4BDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd2f7ecff795f7191a0c83f17c70d51c88d81dc","datavalue":{"value":{"entity-type":"item","numeric-id":386155,"id":"Q386155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0408b114e4995ce57e3fdd8e1d335311480cfa2","datavalue":{"value":{"amount":"+0.7638829946517944","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":"Q5434201$0F814B3B-54FE-4EE7-ABB0-C74F3194BAAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dc32e77793646faf6d5a517a017d1d13d50650a","datavalue":{"value":{"entity-type":"item","numeric-id":1981982,"id":"Q1981982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d62ad0570760911661744b23a5321190b200b66","datavalue":{"value":{"amount":"+0.7613304853439331","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":"Q5434201$829F2836-5575-46E9-BB9C-3FF78D7DC4C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434201","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434201"}}}}}