{"entities":{"Q2212696":{"pageid":2223439,"ns":120,"title":"Item:Q2212696","lastrevid":53876672,"modified":"2026-01-25T21:02:46Z","type":"item","id":"Q2212696","labels":{"en":{"language":"en","value":"The property of being a model complete theory is preserved by Cartesian extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7277557"}},"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":"Q2212696$1E05F54C-D9CB-47EA-BE41-2BDF90997041","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a13513c7bf9a3820216749af00569977c3425119","datavalue":{"value":{"text":"The property of being a model complete theory is preserved by Cartesian extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2212696$A8BC8CBF-C2F8-436F-A00A-09B4FE844A8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f06eeaeb1dab28221515f549aab9eb65292998d","datavalue":{"value":"1477.03119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212696$B5553064-6BDD-474E-A7D2-B1D126FDA97F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"163c58ddf4e38b3b72f5f03cc610ff1d9bc7c043","datavalue":{"value":{"time":"+2020-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2212696$9FD0EC6E-05A0-4CDD-8904-C7AE3681ECAD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212696$629A8401-96CD-4996-BFA9-3D1E2D35C166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212696$441E93B3-D70D-4428-9205-6EC89238E444","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37a48b3d6c389b00690273150f4f0a4992e95ae1","datavalue":{"value":"7277557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212696$6A9D2843-EF4A-4DB6-A18E-79705FF26345","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$33E332B8-4968-44AD-853E-CFAE31CA847F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff5be743663cf6c0e011f8cb70ac18c6fb2b16da","datavalue":{"value":"incomplete theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$A92DB93B-E1B5-4B8A-8E0E-52681732E05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeac09feae1f3aa5be560461f452314fc665a9eb","datavalue":{"value":"Tarski-Lindenbaum algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$F97043C1-3A20-4BCD-A96F-3A6864B38D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9492a7f68052cfe8fbaaea09b5c14be60eae293","datavalue":{"value":"model-theoretic property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$5FDDE1E8-EB66-431B-A081-84276390247D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9177202581f299a747542c146b741d5a52fa5bc","datavalue":{"value":"computable isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$12E9678C-6C85-48C2-B2F5-D743F68E457F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b98dab65cdb0ee98398745c8ec9d3b6164ccb34","datavalue":{"value":"Cartesian interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$1B5688A2-465D-4CF2-BC08-7D8E27D6C699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2070fc5df9433d476c5377198a03336bbaf3834","datavalue":{"value":"model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2212696$B4C1369A-A257-4CEF-9C7A-DEDF01DD4BFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20ecee9536e4120b13720769ac9d5f6e509bebc2","datavalue":{"value":{"entity-type":"item","numeric-id":779151,"id":"Q779151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$00855C68-0035-4BF8-A6B5-DAFAFE8227CD","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":"Q2212696$B10BDF23-EE5C-46D4-A606-73A7754CCCED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbf688e6ac1ef5b03ee41cc94599da6eabb3f0fe","datavalue":{"value":"https://doi.org/10.33048/semi.2020.17.107","type":"string"},"datatype":"url"},"type":"statement","id":"Q2212696$9D7BEE98-CAF0-44FD-BF52-6D9CEFF3F4B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b3551201e02798448c7ad317d60fb4cfc28b2ed4","datavalue":{"value":"W3117909775","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212696$785A0611-B5E8-4734-B721-33A706C6E6E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acba7c60fa4451659e26c1ecc057fb93e00d64c0","datavalue":{"value":{"entity-type":"item","numeric-id":4087168,"id":"Q4087168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$BACF3D57-1DE4-4390-AF7C-4C95CFA4EED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06769501aa2cf479825f2037d2597b43244466f6","datavalue":{"value":{"entity-type":"item","numeric-id":4749822,"id":"Q4749822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$C9230EB2-E71B-4E87-BE6D-D61657E14635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d51884ce52d70cd57236b11c06e7add9289d22b","datavalue":{"value":{"entity-type":"item","numeric-id":5551141,"id":"Q5551141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$6CA86773-04F2-4B64-BFA9-225930730734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"818b02fc32b069f211c853797d4f8a56a125bee2","datavalue":{"value":{"entity-type":"item","numeric-id":4111555,"id":"Q4111555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$40036462-BBBC-4D1E-A4DC-8580543D1B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedbba783671ee4b56b1c90ed4ac4536abaf975b","datavalue":{"value":{"entity-type":"item","numeric-id":3987179,"id":"Q3987179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$042E1B79-C71E-4A80-9C18-005281B599AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$4E7057CC-2369-4A55-8D59-D50DF0E6319F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$9F7E652E-B93B-438A-9AD4-B6A1A006BF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c56174a70aff64badc2b7e54d9bb0130e9ddf27","datavalue":{"value":{"entity-type":"item","numeric-id":4956005,"id":"Q4956005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$B3456EC3-71C2-48DA-AA2B-92594F27D62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac2f7fae1127d4ce5d59255dad1555396a79e64d","datavalue":{"value":{"entity-type":"item","numeric-id":4362314,"id":"Q4362314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$825C4DD6-A5C5-4953-B464-DE200BD528DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$8CDAFE48-3EAD-412A-91C4-50DECA046564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$EC9240AE-739B-4AE1-B48A-45236637FA59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"288f465ca71032033746856dc63159c1b672f912","datavalue":{"value":{"entity-type":"item","numeric-id":4152213,"id":"Q4152213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$D018F68B-5967-490A-82CC-8D16B4A129E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b845523cfefdf305a6f4da974b002c9e4b47c84c","datavalue":{"value":{"entity-type":"item","numeric-id":3994342,"id":"Q3994342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$1B0A791B-CB45-47C7-A7A6-48CDCB87906E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$5506057A-FF2D-41CB-8382-4D798171C9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$D03589BE-9D83-418F-A722-D215A1124D93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9645b62b5582284188850bc050936db1d075ace2","datavalue":{"value":"10.33048/SEMI.2020.17.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2212696$9C88973D-268F-405C-888E-B92037963D29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2212696$8C84C3DE-8412-4F5F-861D-26750C736476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf064076e6130766d1dbe7b73b0afdcd7ffd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":3824399,"id":"Q3824399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eff4009a9d063699fd35c5b09b3d3e6d3b4ce7d","datavalue":{"value":{"amount":"+0.7040867805480957","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":"Q2212696$76EDEC55-D03A-4B98-863E-56755CBD0DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4c77b50f307acb8075b436fcc93c9ba1d0cd01","datavalue":{"value":{"entity-type":"item","numeric-id":3312206,"id":"Q3312206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e8c0e505b43c4b1c2ad6715c0eb6b8267c575f","datavalue":{"value":{"amount":"+0.6764907240867615","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":"Q2212696$8C10DD99-C791-4F70-8A54-21889F9D2F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b6ed88a9d153b53b59651b12fbbcf8c42d29fd","datavalue":{"value":{"entity-type":"item","numeric-id":4489813,"id":"Q4489813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7005b15a348cee3d1a5e403df73ed97470170b74","datavalue":{"value":{"amount":"+0.6744057536125183","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":"Q2212696$B81F80E6-EE07-448E-B599-3771AEF46684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e661fae0d9e06e86b232e3af4eae42dc22758ad6","datavalue":{"value":{"entity-type":"item","numeric-id":3722495,"id":"Q3722495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c0e9c3a1e455f3e12c35e749d214eaea862406c","datavalue":{"value":{"amount":"+0.6516692042350769","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":"Q2212696$904E24D8-5089-45C6-991C-4E2C57C8669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2f39cf5d16414b37c042974d0ba6afef053cde","datavalue":{"value":{"entity-type":"item","numeric-id":4034798,"id":"Q4034798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"912d1ec8d6d101db0c37ebd0c4625564987969d5","datavalue":{"value":{"amount":"+0.6456308960914612","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":"Q2212696$7E00464B-5A5C-47BC-8A33-49352608A06B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2212696","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2212696"}}}}}