{"entities":{"Q3752365":{"pageid":5782271,"ns":120,"title":"Item:Q3752365","lastrevid":51739652,"modified":"2026-01-19T18:52:09Z","type":"item","id":"Q3752365","labels":{"en":{"language":"en","value":"A generalization of the Tarski-Seidenberg theorem, and some nondefinability results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989322"}},"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":"Q3752365$F03D11A6-851F-4F40-9D44-700EEE716776","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5310af180fbc236bbf4cd3c94ffcd7ab17d2ce11","datavalue":{"value":{"text":"A generalization of the Tarski-Seidenberg theorem, and some nondefinability results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3752365$E5EF4FF6-BAAF-445C-9368-3E6D2A029664","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e104a049d6e06381ef108e9a994c61f6ca3eea1","datavalue":{"value":"0612.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752365$D050CDE5-C663-4088-826E-4C58740F3F6B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbc1b0e7cb4b03b736c83c4f9de9c8b14df889dc","datavalue":{"value":"10.1090/S0273-0979-1986-15468-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752365$B59DBCFA-7D68-4C13-A66F-3235ECE84F83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ed2e50fab8aad72cbb7a906da42ba85b1de079d","datavalue":{"value":{"entity-type":"item","numeric-id":559421,"id":"Q559421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$22995267-B64C-4FAC-AE93-E21D23B22288","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3752365$01E34EEF-23FB-4E92-AAF6-542CEEA2726D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752365$74F6F14E-53A5-45BE-84A7-D251B1BCEEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3dad0277bcd0256d3dcda33e7f0f7f7c58bb6096","datavalue":{"value":"03C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752365$85BA7519-B722-4ECF-918A-895AD92A747A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de3f19b287c3ae8ba3244df89578c7140f723c56","datavalue":{"value":"3989322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752365$1AF05B05-129D-46BA-941C-CDD82B240CC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a5adfe702a0b4c1dd6500acfd3cef01df0d156e","datavalue":{"value":"semialgebraic subset of \\(R^ m\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$BE9B3A17-6AD7-42A6-964A-1BCD5133A1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11e89459b583f576e69e37ab966971e222c8037b","datavalue":{"value":"definable subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$E6461904-BDEC-4A2E-A5BE-DC1F82255A7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a59ac83c831eff90a06ab9988f15f2a7bb6e16c","datavalue":{"value":"semialgebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$351E2295-3332-4C76-9BBB-576BB5C76D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d610429404cf8fc1cdab4f484aacc2a997503b51","datavalue":{"value":"closure under definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$9AF9C06E-E541-4CF8-87FF-3FD9448BFA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e53a88a932af0d002cdc247175448b39c1194ac","datavalue":{"value":"topological finiteness phenomena","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$DECBF8ED-47FC-49DC-B797-06ADC75791F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abed0ff39a79580371f5a008ffce85d5f7f2e8b8","datavalue":{"value":"polynomial growth property of semialgebraic functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$8C5E846A-616C-41BA-A0BC-15DBD96CBF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cadc44a57f3163b00ef545ce8b0a09ba322399f","datavalue":{"value":"exponential function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$4B0BFE21-4356-42A8-842E-57A02562CA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe2c8e78d802aedb1fae40297d1d6eac8a3493a9","datavalue":{"value":"finitely subanalytic sets in \\(R^ m\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$D9BE6AAA-7721-47E2-954B-7D7043AF1AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5b59b4273f014d13bede220e59b709114b36be","datavalue":{"value":"0-minimal Tarski systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$33EDCC79-AA0B-4989-9BAD-230D8E8379C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cad04b15ddd97721aeaf1615d3e4d4376cda643","datavalue":{"value":"piecewise linear sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752365$0DA77AEF-B9AF-4A25-8042-881EF6E2D991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ed87200671954154fed3812a1c575704adc30ed","datavalue":{"value":{"entity-type":"item","numeric-id":1812782,"id":"Q1812782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$51DAD975-B584-4137-8342-EA16EEA15843","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":"Q3752365$00FB05EC-F666-4018-BCC2-0F31A9A6E9E4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5db0019c9cf002162a7890ede1aece637c09d81a","datavalue":{"value":{"entity-type":"item","numeric-id":2627085,"id":"Q2627085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$288CD481-4B1C-4A03-A8FC-7EBF7C3B33AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b25a0f9350376b6fda8caaa4f3c14fa67a252be3","datavalue":{"value":{"entity-type":"item","numeric-id":3916681,"id":"Q3916681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$FC056E04-ADF9-4AC7-8695-C1815211133D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86df5e6a14e2d6d9c3575a36a18a26ba2929b614","datavalue":{"value":{"entity-type":"item","numeric-id":4142041,"id":"Q4142041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$090C12D0-E9F5-45BB-B076-14B64C5417E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4b17017633f6cb2ed9e10d598f8e3762e0aad7","datavalue":{"value":{"entity-type":"item","numeric-id":3711248,"id":"Q3711248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$95084971-EE2A-407A-956C-3810195CCD65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7709e5ebc9ec481c831199a23d60fa2b954fc76","datavalue":{"value":{"entity-type":"item","numeric-id":3812217,"id":"Q3812217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$E11B2BE1-39A4-4274-A4CB-44AD99149E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aec47766116db7cf73f5e961b8fa669fb695204","datavalue":{"value":{"entity-type":"item","numeric-id":5335878,"id":"Q5335878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$5CF20AE5-9F6C-4D09-8BF7-C6D05F8027B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$B9FCAE47-F464-4AE7-A9E0-5D7565F3B793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"accad966958fb10593a1180ff8fd1a52e9cda325","datavalue":{"value":{"entity-type":"item","numeric-id":3729201,"id":"Q3729201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$9E831D46-0350-489D-903C-CACC6A08209F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa787e4915ad607f6ca97135e7d28e1fc627e441","datavalue":{"value":{"entity-type":"item","numeric-id":3710508,"id":"Q3710508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$2F5ED621-A7C1-47AC-BF29-2376154D5AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7005d39358b886b9039cd0f59f7f7f939757a6b4","datavalue":{"value":{"entity-type":"item","numeric-id":4724607,"id":"Q4724607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752365$DF793A8A-40DE-4B42-A525-528B75AA729E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8a80d354932287485e442f128cbe2384708740f","datavalue":{"value":{"entity-type":"item","numeric-id":1775356,"id":"Q1775356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91e084f6b63a805c803954ce3b87226528addd81","datavalue":{"value":{"amount":"+0.8097423911094666","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":"Q3752365$23A5EAD5-7CBB-4E70-B322-BBEB4201D231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2d68298dc9cded2729a6dd2967914ca1273328","datavalue":{"value":{"entity-type":"item","numeric-id":3710508,"id":"Q3710508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051fbff164c20b45346c200154dcb5db6eb280df","datavalue":{"value":{"amount":"+0.8052988052368164","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":"Q3752365$CC648150-A58A-410D-9C01-B75D14119A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee57e184721746057f7cb031bb5cd481cce4d399","datavalue":{"value":{"entity-type":"item","numeric-id":4382467,"id":"Q4382467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6138fe5f448d3af256b3a367558aafea1b29b82","datavalue":{"value":{"amount":"+0.7960368990898132","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":"Q3752365$4279053B-0E78-414A-99CB-7EC7FA63F205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a6d15eb632197bb7fae2d69786134f5c4eb403b","datavalue":{"value":{"entity-type":"item","numeric-id":4916197,"id":"Q4916197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d696223f5f99ae0ba7601ed46230736288eeb3","datavalue":{"value":{"amount":"+0.781705379486084","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":"Q3752365$FB8957C2-7E59-4E0C-A72D-CACCE2A644D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1da99764d2348374441706ae573e5b40c4691f0","datavalue":{"value":{"entity-type":"item","numeric-id":1779308,"id":"Q1779308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e39c7f63ccbd0e41d365683c1ac2b1104e0cc66","datavalue":{"value":{"amount":"+0.7769178152084351","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":"Q3752365$C3A8161E-98BE-4471-BF62-CDFFA7137136","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3752365","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3752365"}}}}}