{"entities":{"Q1098893":{"pageid":1109645,"ns":120,"title":"Item:Q1098893","lastrevid":66295356,"modified":"2026-04-12T08:53:32Z","type":"item","id":"Q1098893","labels":{"en":{"language":"en","value":"Quantoren-Elimination bei Fastk\u00f6rpern. (Elimination of quantifiers in nearfields)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037962"}},"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":"Q1098893$033AA752-BD83-4C11-BD4F-AAA6C9B7F788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"965b393a828e84e6eab8c42e41a11cfe8034d929","datavalue":{"value":{"text":"Quantoren-Elimination bei Fastk\u00f6rpern. (Elimination of quantifiers in nearfields)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1098893$63D31B52-AA1F-4722-892B-4F3AB50A4F9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50b30d5daa77bc47fccb8d81119acdb78f51af50","datavalue":{"value":"0637.12018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098893$4A72E5F7-BE3D-43A4-AED6-2D30EB2B5286","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"555bc9f9363aeddededb3f78bf40352d04eacc32","datavalue":{"value":"10.1007/BF02941376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098893$F51E672E-0ECF-43CA-B55C-23576D662131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdef74c3015c2eb47207605c5cffbe54af2df392","datavalue":{"value":{"entity-type":"item","numeric-id":533877,"id":"Q533877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$A0BCCC98-C3BE-4D0C-9C3C-0DD3F4EE2EFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8c7a36fed93a2c5106c0dd147c45f135ff18693b","datavalue":{"value":{"entity-type":"item","numeric-id":227705,"id":"Q227705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$7D55AF92-8005-4093-B249-1B010D768CBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1098893$1D60642E-DE94-4D7D-BA95-FAF38B223A30","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"26f1438aa355f3205f2423d96c260f41d2e62071","datavalue":{"value":"We investigate nearfields with allow elimination of quantifiers (QE- nearfields). Generalizing results of A. Macintyre and B. Rose on QE- fields it is shown that infinite QE-nearfields with finite dimension over the kernel are algebraically closed fields. An additional theorem characterizes the structure of QE-nearfields with infinite dimension over the kernel K. These nearfields have center \\(C=K\\) or \\(C=\\{\\pm 1\\}\\). Finally we mention some results on \\(\\aleph_ 1\\)-categorical nearfields which were proved in the author's thesis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098893$2FC2D3FD-06E7-4A1F-A47C-257528A6A296","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a9a3ba8b8441c558f3112e4fc401d28f3275fea","datavalue":{"value":"12K05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098893$257B4A8E-7C09-44C5-B473-84E84C05DFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098893$6F8BFF96-0CCA-47B7-8210-4FB41234545E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d3017a4763157ffdb3a14da576b9c6a19a78bdf4","datavalue":{"value":"12L99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098893$65E23837-8DE1-4036-844D-04E7494F171C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08dc4f7feda60958fb336da2343d408269fbeb1e","datavalue":{"value":"4037962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1098893$08FA312A-66D4-4453-AD85-12B0B72CC186","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f3d778fa2fb2222339089d45252c16d92a93d4","datavalue":{"value":"elimination of quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098893$5766B3A4-D94E-4B47-AF72-ADB2CEBBBE85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a561bc30c86b518ae53382f5916579b1d3196139","datavalue":{"value":"QE-nearfields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1098893$EAAEDBA6-B1E3-4579-ACE2-12DAAEC0E7F0","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":"Q1098893$2E48D736-D396-4579-8B3E-7B68EAED5C76","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c83a54bb93a317f6fe1060c3d841cab43c41ac","datavalue":{"value":{"entity-type":"item","numeric-id":1087923,"id":"Q1087923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$3A574DD9-60A4-45BB-A0D6-F9BC332E1F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8757531227ebcbd2bc1492a76964d729fc74ed","datavalue":{"value":{"entity-type":"item","numeric-id":2646588,"id":"Q2646588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$E37B4C04-76A7-4107-B71B-4F0E15AD8C28","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":"Q1098893$A13DF3FB-641D-40A6-AC5A-D7108D946A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"289b6d78c9c9aaf37e8f6bb05412f8c6cb8fa8fa","datavalue":{"value":{"entity-type":"item","numeric-id":4168595,"id":"Q4168595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$52544917-340E-455B-B3AE-202E7835D600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bc96eb9c9ec47ba72af3c7e9ef7a87792f88799","datavalue":{"value":{"entity-type":"item","numeric-id":2552199,"id":"Q2552199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$4B2C54DC-2E1F-4F42-BCC4-5F17665BC0F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"603b1056f8e4153ba88d0ada35c87f1bfcecaa26","datavalue":{"value":{"entity-type":"item","numeric-id":5676405,"id":"Q5676405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1098893$11EBAE4E-E88D-4966-90B8-1E8A67B49A26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ed7632de4eec61d5c26f1595ad988990c17767","datavalue":{"value":{"entity-type":"item","numeric-id":3764136,"id":"Q3764136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9f2084254c35c576662723191a9a0936023ab6","datavalue":{"value":{"amount":"+0.8448200225830078","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":"Q1098893$ACD6ADC7-7020-4E90-8478-DAE8F41C29CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0284ba004604444b3a49f1676672888ad1d565c","datavalue":{"value":{"entity-type":"item","numeric-id":787962,"id":"Q787962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686adf4201da184621c33ce17f1cbb420eed8db6","datavalue":{"value":{"amount":"+0.8173344135284424","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":"Q1098893$E92ABEAE-3EB3-47A4-9BDE-026F9225D358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735cd55eaee1b916a1454f2ddeacda7873d3ee7b","datavalue":{"value":{"entity-type":"item","numeric-id":2019416,"id":"Q2019416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a0e2498e0bbf48807c791d024359ec91c69135","datavalue":{"value":{"amount":"+0.7870388627052307","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":"Q1098893$530D4AA6-BA4C-4A29-881C-8878E1008D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4239c089ac0408418931dea7f4c5b2656f76029","datavalue":{"value":{"entity-type":"item","numeric-id":4842632,"id":"Q4842632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85161126964d37cbce615d3f16086dbfbde706d6","datavalue":{"value":{"amount":"+0.7739816904067993","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":"Q1098893$AF429D17-7A2A-4352-8C28-640F2FF852D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1b4f260b192073e63a2ef5a284717431db5d53","datavalue":{"value":{"entity-type":"item","numeric-id":2084961,"id":"Q2084961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85161126964d37cbce615d3f16086dbfbde706d6","datavalue":{"value":{"amount":"+0.7739816904067993","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":"Q1098893$37750217-FC0C-45BC-89A3-F0EE36696E03","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantoren-Elimination bei Fastk\u00f6rpern. (Elimination of quantifiers in nearfields)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quantoren-Elimination_bei_Fastk%C3%B6rpern._(Elimination_of_quantifiers_in_nearfields)"}}}}}