{"entities":{"Q3767321":{"pageid":5797227,"ns":120,"title":"Item:Q3767321","lastrevid":51910505,"modified":"2026-01-20T12:49:59Z","type":"item","id":"Q3767321","labels":{"en":{"language":"en","value":"THE COMPLEXITY OF THE DECISION PROBLEM FOR THE FIRST ORDER THEORY OF ALGEBRAICALLY CLOSED FIELDS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4025401"}},"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":"Q3767321$B88AB74D-74C5-408B-84C8-54AC677C08D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7361a7ea4c025d1d2ee274bf80a46732bbe2a595","datavalue":{"value":{"text":"THE COMPLEXITY OF THE DECISION PROBLEM FOR THE FIRST ORDER THEORY OF ALGEBRAICALLY CLOSED FIELDS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3767321$986B7223-A1A9-4D12-A075-07EE1FFFFEBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cb4bc7d70afee3df97ebdac0e1afe4f52e6281c","datavalue":{"value":"0631.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$615D63E2-483A-444E-8CE6-3C3D57791C4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7b33a6340c2e117b07fcbe639005ddb5de09fe7","datavalue":{"value":{"entity-type":"item","numeric-id":3025699,"id":"Q3025699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3767321$97A04030-06C1-4A91-8AA2-B980DCC8A872","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3767321$C59119E6-6531-44C6-9511-0DC1A79C0622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$41790713-0FAC-4E51-99C0-202369ABAE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"352295d1160dbd33b62ff206ba20a986dbd58c1b","datavalue":{"value":"12D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$F2082C4B-EC83-445A-B328-339D056D2D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$2339056F-EB72-4F0D-A7CB-65E6EE63A63A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$3E2DB221-8CFC-4B4D-8D98-C2C027AB90BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1347d8859384506ea7f58fe0a3d64dd1dd9f692c","datavalue":{"value":"4025401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$57F260BB-62C5-46A7-A36E-C940D7CAD341","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47dc19ce6e072e6116448c286a013e417bb94fb1","datavalue":{"value":"algorithm for quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767321$87E2C214-7FAB-4FBB-9B89-C84D0235BAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e72b0272cc9f012872717d1a4fd45f7977a0d2c8","datavalue":{"value":"first order theory of algebraically closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767321$9456A1F3-39BC-4ADA-83C9-412BD4AC607B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267b394071cf1b5b643cd515aabcdbcae8c08f98","datavalue":{"value":"polynomial complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3767321$20F3F7AC-50B7-4355-8D85-13B26CAC2E88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a79399764b502030de9c1fe7fb099f6c796d65","datavalue":{"value":{"entity-type":"item","numeric-id":1583885,"id":"Q1583885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3767321$12FD4A22-7753-4B4F-A008-C69304CADC2B","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":"Q3767321$FCB6A575-FC96-41A7-865A-0143D348955B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f9b5939cdce6d0e2125c9a607eda7365723b73f","datavalue":{"value":"https://doi.org/10.1070/im1987v029n02abeh000979","type":"string"},"datatype":"url"},"type":"statement","id":"Q3767321$F05667FF-6BCC-473A-A049-5CD871C61989","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7944af9fa67989977a2599d8de80cf72398381c3","datavalue":{"value":"W1979600155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$8B96EFED-A2BD-48EF-B0C8-CCD17EF27382","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffc65b115dc3ff825561fc2d9ed435ad2ee864d9","datavalue":{"value":"10.1070/IM1987V029N02ABEH000979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3767321$EE07F105-171A-460F-9CE8-315421BD1F90","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3767321","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3767321"}}}}}