{"entities":{"Q2853716":{"pageid":2864436,"ns":120,"title":"Item:Q2853716","lastrevid":51844271,"modified":"2026-01-20T07:58:12Z","type":"item","id":"Q2853716","labels":{"en":{"language":"en","value":"Elements of cylindric algebraic model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215726"}},"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":"Q2853716$A2B0C495-363E-4DB3-A61F-83C4AB0AA64E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31fc8e70d82d6e8f65739e721ce83df24f422368","datavalue":{"value":"1280.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853716$0D0936F6-6B06-4C31-B41D-22DA5584CAF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6c87a630932830090c0738262492a01419f5273","datavalue":{"value":{"entity-type":"item","numeric-id":1087868,"id":"Q1087868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853716$286C1D80-D6E0-4C79-BCAA-481E3A407DA6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e66e529c7db342e2e69c7d5a949f71cd11d4666c","datavalue":{"value":{"time":"+2013-10-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2853716$039FAC30-3220-41F4-8575-FF3EEDFBA617","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853716$F813F69D-0E91-406B-AF85-EA8CE6F9707C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853716$0765B35F-DDEF-43D1-BD40-64A1EDDB990A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853716$F51F311E-F362-4904-9A9B-6B57A23FCBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853716$DE16C95D-D2A4-4356-A2FA-C75C66D0B0CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9aa26cb7b973c520beba8b983b13e0abfd689c52","datavalue":{"value":"6215726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2853716$40E4D684-BBE9-40BB-A7C1-32C28E0F0685","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c25b9415644d2830e6030e0d08e17a54bdb71f5","datavalue":{"value":"cylindric set algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853716$8D154E44-FFFD-44FE-B280-24043AEE6AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853716$5E7933EE-1E53-42B5-9ECA-23EA4EC2722B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86cb7ce0f8f1680944aaa99eaf5829fa390d94c4","datavalue":{"value":"pointwise finitely regular","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853716$9170E054-4E72-48C7-BCD2-B5663B42F588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc686482d70eae7146a2aaf2025feae23b1b27","datavalue":{"value":"saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853716$9A7FBFE6-DE23-4428-992E-EA86C72B027B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"137d6794a6efe35571397acc6ff9f6acadf30893","datavalue":{"value":"survey paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q2853716$D55476E6-A85E-45A2-8340-DDBCE5C5BF1A","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":"Q2853716$D49E1D58-7FF3-4DD5-A6CE-86F49F852C53","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"24e70c767ee0c26b0d348d13cd32cb7416cc7b76","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2853716$688D5C1F-F6A7-41CA-A5FF-5A89943D4C05","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70708aaf76baf121f5286b99fb72d027d37ad01","datavalue":{"value":{"entity-type":"item","numeric-id":3695284,"id":"Q3695284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8bc85870fc1bef5fc9c484488534946e7c7d00","datavalue":{"value":{"amount":"+0.7999328970909119","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":"Q2853716$678FD70A-8D0F-4371-BA9E-B8A8A950A07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e90dfd1fe59ad3b986b2ff90aefd319d2173ae5","datavalue":{"value":{"entity-type":"item","numeric-id":4273436,"id":"Q4273436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce68e3af64194d6b6858c96a93c424dcdafacbd5","datavalue":{"value":{"amount":"+0.7835729122161865","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":"Q2853716$A7A0B699-9003-43A4-AF56-1AE1BC4B2AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f906e744de2b94225b7b6a4c2bfd564d204cbacb","datavalue":{"value":{"entity-type":"item","numeric-id":4011725,"id":"Q4011725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96939c538d5a174edd8d209e7fe606f030131f76","datavalue":{"value":{"amount":"+0.7818843126296997","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":"Q2853716$AFB73C9E-94CA-473B-A925-24E30F4AB929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cffb31693236a8232af3f3c364575c7bdebce6e","datavalue":{"value":{"entity-type":"item","numeric-id":4340927,"id":"Q4340927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f6a89f3615352fcbe7ea8bade3219ee6334aa7","datavalue":{"value":{"amount":"+0.7792755365371704","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":"Q2853716$B8F993C0-64D1-4AAD-9D8C-41B5D56184CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e77dd4e1e366996649b817abd6dff87b4289634d","datavalue":{"value":{"entity-type":"item","numeric-id":4273476,"id":"Q4273476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f31512feedc06bc6c26687d131a891b1216403c","datavalue":{"value":{"amount":"+0.7746831774711609","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":"Q2853716$7843F90A-B32B-4E95-BCAA-B05A7D9562B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2853716","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2853716"}}}}}