{"entities":{"Q6614037":{"pageid":14225194,"ns":120,"title":"Item:Q6614037","lastrevid":100260449,"modified":"2026-06-05T21:42:58Z","type":"item","id":"Q6614037","labels":{"en":{"language":"en","value":"Elimination of quantifiers for a theory of real closed rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7921869"}},"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":"Q6614037$BC452519-4446-419B-999E-65922FD823DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c5a93ea20270b493245470c9f0fc468a3ce40aa","datavalue":{"value":{"text":"Elimination of quantifiers for a theory of real closed rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6614037$2076A9C2-D2D3-409C-9E6F-E6A21CB5E36B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"544380e46e7098600175196c6d5ecf01c7fa490a","datavalue":{"value":{"entity-type":"item","numeric-id":232533,"id":"Q232533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$D45E85B7-8F60-4EB5-B4A5-02AB0254914B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$0804DBDD-A464-4679-A843-AF76CB245262","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a97b222c279d09c7408b22b57194090b88c27b94","datavalue":{"value":{"time":"+2024-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6614037$E4A28A70-9D48-4CB9-A4DB-2FC293479F19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$1C207CE2-FE65-446F-8B3E-E1CA21DAB15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fa744827be5f9a42ae7c118ff4838149cde7498","datavalue":{"value":"03C64","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$DE6FD6B8-5FD3-404F-B3FC-52B44F1C82EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f923f04f03eef22c103562473d9cf7ff9b04319b","datavalue":{"value":"06F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$E61CB299-D599-4AB8-80C6-BCDD55773E7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"380bf0750bc1b99470fda5e65fc6cdbb919acbe4","datavalue":{"value":"13A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$0FAC9F15-4E93-4905-9141-F5989383D76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ef5d9ff29ccd22076d5718af6f26b3c2a7cd94d","datavalue":{"value":"13A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$112E032E-1733-4726-B2FB-B9CA83709437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$7032C3EF-6475-4571-B17A-BA2254B5F574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e992e3d406ec7813c4758f8644de361df40c5fa5","datavalue":{"value":"7921869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$BEB5BE42-BC75-49A3-ABAF-21208B587071","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f3d778fa2fb2222339089d45252c16d92a93d4","datavalue":{"value":"elimination of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614037$FACB6BF2-D6FB-4684-B541-FE2925036D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee3fe7a98ab694e75c83e423d6550b13abc56263","datavalue":{"value":"real closed rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614037$69B32674-AEEC-4D43-987D-F5B8D3415D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"819f35ecd5ff67635f04264f780b2e44fa7a44b2","datavalue":{"value":"divisibility relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614037$F955BD7B-1E0C-4016-B2A1-793CE05D1D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdc43305196c05a79248b918e8f88396e131dd7f","datavalue":{"value":"radical relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614037$AEFFF035-A688-4D83-8A61-97C55D26F205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbd51318c2b671b4c4b86642e31d79f4461b19d8","datavalue":{"value":"projectability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6614037$D9475D8B-A68A-40E9-98AE-63A408C4F54C","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":"Q6614037$877F8F08-F126-4517-A74C-5BD268181987","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0eafa06e1a12abc337b0360c235d9d8eb4a0935","datavalue":{"value":{"entity-type":"item","numeric-id":3309817,"id":"Q3309817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$9677901F-271E-4218-8A00-92857D48ED26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"245726923652ec612c8a46560806320a9f67ffce","datavalue":{"value":{"entity-type":"item","numeric-id":1248535,"id":"Q1248535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$87845AAD-DD60-4CCD-8720-2EEC4345C873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106ac357f2db2f5e0a4fa90d49a98d6141cf28f9","datavalue":{"value":{"entity-type":"item","numeric-id":3856748,"id":"Q3856748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$AABCC068-B092-4899-AF15-A7002F69D0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36f76ba65987bffc0996fb6eb7e69b9988872eaa","datavalue":{"value":{"entity-type":"item","numeric-id":4198732,"id":"Q4198732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$EA358B94-0304-4AF6-8DB4-477565BB4608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$FF63C692-2EDB-4AA0-962E-EF57C6B9821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8fd66e84c76353edbccda9edead651b240ecb","datavalue":{"value":{"entity-type":"item","numeric-id":793009,"id":"Q793009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$A27A2E25-800E-4973-8697-28963A2BF668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fa23cb774d59bee866998a863250028f7e4b1","datavalue":{"value":{"entity-type":"item","numeric-id":4105667,"id":"Q4105667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$E22948B0-0177-415D-81C7-3440E8DFF065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd3e1b50917b7162b65768f60c67525c3ec571","datavalue":{"value":{"entity-type":"item","numeric-id":4584772,"id":"Q4584772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$F476B333-10F7-4230-9543-3953C1244029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08c6713a34a198e5cf91cc53009a10e8a088706","datavalue":{"value":{"entity-type":"item","numeric-id":2533896,"id":"Q2533896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$2E7D1603-09C8-4C81-91B2-E80BC8A560AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$C565573D-A0F5-4FFB-B0C8-2C42734AADFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d85a483128ebfb668392379c60946a967955df36","datavalue":{"value":{"entity-type":"item","numeric-id":5956886,"id":"Q5956886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$838F8C56-D216-4A92-835B-353C659C5106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2e0b3c9dd4310ba3dda73e1166dbee031726b8a","datavalue":{"value":{"entity-type":"item","numeric-id":2828455,"id":"Q2828455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$355F77C8-BA93-470E-9C33-17716707828B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4a4e37e358f643b216491470e696d4b8d6ebb9","datavalue":{"value":{"entity-type":"item","numeric-id":5638369,"id":"Q5638369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$0C2E7C35-4909-4E42-9864-96FF1763E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7f9ad5c2be87133f3c22ce0e2581c681b5fd00","datavalue":{"value":{"entity-type":"item","numeric-id":4078018,"id":"Q4078018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$5645772C-3BD1-4564-AD37-7B1AB4E94F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$6C246D60-4E02-45C0-9A3A-29C96C5AE9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60c125f1b3061155486eb0d940cf96a8c4677609","datavalue":{"value":{"entity-type":"item","numeric-id":3032354,"id":"Q3032354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$2EDC47B7-7DFC-4928-BAB6-136D7CB5D013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2824454f42bf6e3cbf6150ad53866b6a88820c9","datavalue":{"value":{"entity-type":"item","numeric-id":3153400,"id":"Q3153400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$FCE2CF5F-D011-489F-AF4E-C28B5F0951E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8765fe0904d94c3445547da3e8c910a435c1f56","datavalue":{"value":{"entity-type":"item","numeric-id":912088,"id":"Q912088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$1A3CC0FB-9571-4736-BE88-3ADD0237CACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9ff1ed8e5ce7b613e395ff25f99324651e91f98","datavalue":{"value":{"entity-type":"item","numeric-id":4724752,"id":"Q4724752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$C3E42258-A004-4FF5-A3CD-A0EA4776377D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a27ea1adfeef0cc7b3b35c2fae7d00d40296d9","datavalue":{"value":{"entity-type":"item","numeric-id":3474758,"id":"Q3474758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$712D0692-CED7-45DF-9198-71213F3EC95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350cb1912c13fcf6fd6f1d3551fe93df535d03f2","datavalue":{"value":{"entity-type":"item","numeric-id":2270118,"id":"Q2270118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$3A69712E-899C-4D51-910C-2ADCA05A8384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a74185d4e754a112129e3de2db9fe123d56b7f1","datavalue":{"value":{"entity-type":"item","numeric-id":1222162,"id":"Q1222162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$F63D4A48-9BA6-4078-A5B5-89279D3C42F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ed79a1854f8e502aa938ab4b1645b02a2e895","datavalue":{"value":{"entity-type":"item","numeric-id":5605131,"id":"Q5605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6614037$CD9694DD-FAAF-478D-8F3E-9CB4B145A16D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e415abc0a4f3d1ac67bad47a4845d2c3665d3d","datavalue":{"value":"10.1016/J.APAL.2024.103494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6614037$F539E53C-D997-4366-93A0-F207F2E6E7CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Elimination of quantifiers for a theory of real closed rings","badges":[]}}}}}