{"entities":{"Q3877658":{"pageid":5907563,"ns":120,"title":"Item:Q3877658","lastrevid":54601562,"modified":"2026-01-29T06:49:30Z","type":"item","id":"Q3877658","labels":{"en":{"language":"en","value":"Amalgamation and Elimination of Quantifiers for Theories of Fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3681737"}},"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":"Q3877658$7713E541-9338-4686-B420-A98546E6C8D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd36a7164eab59df0d7448078794defa7e20f687","datavalue":{"value":"0437.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$A8CC55CB-06E2-4FFA-B4F3-576AD25F37D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"853d5e91d9be3d98b4d43048547e853c13ac6cf2","datavalue":{"value":"10.2307/2042646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$39380BCF-84A4-4CC3-BB94-32EB900B854E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f116f9502c4a12e3ad882536e50101185d5d35ea","datavalue":{"value":{"entity-type":"item","numeric-id":1216297,"id":"Q1216297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$76C001A4-4674-4901-809D-3A86AB5236B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3877658$E48665B8-C4FC-43C3-8D7A-C94575380A5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$66EDCE68-D505-47C0-A1B0-35F3E3610DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$1517C2C0-9B58-40C9-A875-6D80B7D3FE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"56c7f76923b29a06e5df502ec9e72c901e9849fe","datavalue":{"value":"12E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$C76DA1E0-3142-430D-8E36-BF8CDFDEF1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$C46148A9-267E-4F59-9E92-396F448EF978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$3554B588-4795-4917-BC31-C056D9B5F2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7600b4c97d329e1331c9e071a696de8566745528","datavalue":{"value":"12J15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$71B354DC-A02B-4E99-BC17-B7ACC57A2098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3017a4763157ffdb3a14da576b9c6a19a78bdf4","datavalue":{"value":"12L99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$0DEFFCB7-0B34-4DAC-AE02-37D54F4A7EB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbe88f1b90e5c5e2e7f715626ae55e3637b239e2","datavalue":{"value":"3681737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$1644647D-25A6-43F7-AA55-1A5362A4963C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a93e0b52200105e7ec4480117010d8d948f4af","datavalue":{"value":"indiscernibles for existential formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3877658$07899ED1-48EA-4127-BA07-50F59837965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbadda8b70b40c9f48d602089372cf2bdbde2868","datavalue":{"value":"algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3877658$F7A07AC7-A844-44F5-B81C-776C1EBF1B0F","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":"Q3877658$3D2D70FD-9D6B-48B0-AA16-ED1D11CC42C0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bcf69b9ed2b00cffb9155140d3ea2bcc5c7d8f0","datavalue":{"value":"https://doi.org/10.2307/2042646","type":"string"},"datatype":"url"},"type":"statement","id":"Q3877658$9F8B7707-32FA-40EC-81F1-27C7CA8E4903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46064ac087eb4018a31b8b6ff21ea0151990d72b","datavalue":{"value":"W4245196382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3877658$42754761-AD2E-423D-9043-D3D1584B781D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7636b69d7f22807e0f583182a7057ae43a04b343","datavalue":{"value":{"text":"Amalgamation and Elimination of Quantifiers for Theories of Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3877658$BC9F6BF1-78A4-491D-9B83-C2BA0374225D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a99ddd1a42985fec7f60dc1306460fd6182155","datavalue":{"value":{"entity-type":"item","numeric-id":1224578,"id":"Q1224578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$35570725-90B8-45F0-B74F-98509D4AB9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf9d8c64de613f86cc571b6bcb753d6c4939d4d0","datavalue":{"value":{"entity-type":"item","numeric-id":1227612,"id":"Q1227612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$EBA1133B-51EC-4BBC-A20A-21CE5CD2F910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955db2d1081e1b63b84d294fb213b7f5e310df56","datavalue":{"value":{"entity-type":"item","numeric-id":1216298,"id":"Q1216298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$257A1CFF-E25F-4B70-B9D1-BA57539D0A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f4af3d32be12511f45c29cb46978d335aa7343e","datavalue":{"value":{"entity-type":"item","numeric-id":5635440,"id":"Q5635440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$BA26554C-94C8-4397-AC54-EDA8AAA7484E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d15125fefd60c38024a9f4815dfca44adfa2336","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$38622B80-E832-4CC1-B9AA-81B882AB7E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f50c33c28f86eefa2f334abf59fb35631a23275","datavalue":{"value":{"entity-type":"item","numeric-id":4182715,"id":"Q4182715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$64C04FF2-3050-4039-AC1F-20E9AD9E673E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8d2418b9d6a8d76a8671ab522d3f9ef4267c113","datavalue":{"value":{"entity-type":"item","numeric-id":5652669,"id":"Q5652669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$4506014C-7938-4C9D-BD91-51A41FE1FC2B","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":"Q3877658$2646B497-327D-482B-B299-5DBF998796DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd3f0907bf0063524d82a54ac2dbd556f3c8514a","datavalue":{"value":{"entity-type":"item","numeric-id":3877658,"id":"Q3877658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3877658$A27C1A2A-5599-4D94-B2B3-8831C48B3CD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3877658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3877658"}}}}}