{"entities":{"Q1103610":{"pageid":1114362,"ns":120,"title":"Item:Q1103610","lastrevid":67000584,"modified":"2026-04-12T14:15:12Z","type":"item","id":"Q1103610","labels":{"en":{"language":"en","value":"A bibliography of quantifier elimination for real closed fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4053580"}},"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":"Q1103610$64126AB6-4747-4DDF-A79B-0C0B1315440E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"608b3df4d1f135d3ab6e3ddb625993127c4b089f","datavalue":{"value":{"text":"A bibliography of quantifier elimination for real closed fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1103610$5C509805-7414-4DA9-9F56-721A20E669E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e1a7507cd272f20337e9a04efb29cc933b2d16fe","datavalue":{"value":"0646.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$0D0EA4B2-5A6E-409D-BB4A-986937D41B9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"497a7596b8e0b463c16b659a828c56687313a078","datavalue":{"value":"10.1016/S0747-7171(88)80016-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$52F828EF-6014-4A25-B786-A6E550F144A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd37772446b2124323468c0e01222e1ca3f577b","datavalue":{"value":{"entity-type":"item","numeric-id":918226,"id":"Q918226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$194417AC-98B6-44B0-B799-28B5C689B96E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$1E77D653-7734-4A78-B270-29E2680ADD10","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":"Q1103610$E1513405-6AF2-40C0-9251-3382DEF3F4DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b3ba80dbf215b8941f831babdfdccc090409ff65","datavalue":{"value":"A list of papers on quantifier elimination for real closed fields are referred with comments on their destination (e.g. tutorial, research etc.). It seems to be complete, but unfortunately short summaries and comparisons of different algorithms fail, what yields difficulties for the novice in this area. Also it is regretable that the supporting algorithms such as polynomial factoring and solving systems of algebraic equations tightly connected with the subject under discussion are absent.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103610$FE3F10E9-E786-4D39-A740-9D55D6CFFA5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$8CAFB9C7-C07C-4F2B-9856-FD9E3F67EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$5FC6A378-9C01-4C30-BFE9-A40D633217B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$519ADEB2-0064-4B24-84DD-F093B420BC71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c74c4fbd72e56613ab8a7443c3b9307e32f6912","datavalue":{"value":"00A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$920F630F-9A5E-47CE-82F3-C4F88E9FF105","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"84f596f392d85e67fa187dc7f84fde31599f664e","datavalue":{"value":"4053580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$B170B887-291A-4F10-BA1A-30E21C522135","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34d1aaa7924c01f18f4588bd39468a54b4131a2c","datavalue":{"value":"system of polynomial inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103610$D7B1FD4F-805C-4884-AFFE-C9148F5A5EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103610$345B8E33-3D14-4891-B62F-C57A6FE41C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1103610$36A14185-BF15-4087-A25E-AEF182946268","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":"Q1103610$C3C3B90E-A8D5-40E3-B400-F67221CE8BF3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5a906084c0b55898886eb260667ef5fe57e521","datavalue":{"value":{"entity-type":"item","numeric-id":1116997,"id":"Q1116997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$BDABEF7F-688A-4214-BEC6-E599DD54DA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57fd20a79028c731086f50d3a5d6993a256ac124","datavalue":{"value":{"entity-type":"item","numeric-id":3856870,"id":"Q3856870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$7E33F893-F0F8-4A83-9063-D158D250E562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cbdb8336ef67290ee65d03a56f98411034dc4c","datavalue":{"value":{"entity-type":"item","numeric-id":4190736,"id":"Q4190736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$BA94BABA-3903-4873-AC82-E2BB06F0BC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41051b8a6ed2016d602c4aa84a6aac0c3ffa8ab6","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$92864579-60A2-4BEB-B847-77FD93FEA82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3686167e62f64deb45d5189b12825da8941b40bd","datavalue":{"value":{"entity-type":"item","numeric-id":5187396,"id":"Q5187396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$05E6E262-044C-4A8E-A98D-C56D74F7C6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3353252c66332b85832864188b9c822f70cde441","datavalue":{"value":{"entity-type":"item","numeric-id":1105372,"id":"Q1105372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$E301E07B-8CD3-4080-9DC4-2B8AF19C8C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70a4dc648c731d68cc470f687815bf36b8a1ddba","datavalue":{"value":{"entity-type":"item","numeric-id":918227,"id":"Q918227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$AA0485C7-ECFA-4879-9602-E1861C8571E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee424f0cac0dfc291816147957449d684452d75","datavalue":{"value":{"entity-type":"item","numeric-id":1102744,"id":"Q1102744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$E787A937-D49C-486B-B98A-3D42207EEE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8932c6379633164457c734b1cb74b69138a4101","datavalue":{"value":{"entity-type":"item","numeric-id":1105371,"id":"Q1105371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$A81341B3-C24E-4904-9D62-7E0A1B50FBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c467da9965311b13faba9d86776bf0664ead11ec","datavalue":{"value":{"entity-type":"item","numeric-id":3772340,"id":"Q3772340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$32AD1ED2-DAEB-464B-9105-559D5D5CD2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b35afcacf487f7d4833dfa5c8ec078202260d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1096620,"id":"Q1096620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$3658B347-E543-40CC-882A-0D8EFED396D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$D4971256-EB1E-4928-B42C-147FCED25386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500ffa37d61270fa66ef4038b154cd6e35f8ed6b","datavalue":{"value":{"entity-type":"item","numeric-id":3770650,"id":"Q3770650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$71A10339-6A98-446F-B94A-EBD9ACF028DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f0f9dc53af93ca4d0d43ef3ba2d35972ff6c6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$20F1A4A2-C580-4C8E-A404-86D1DB5A8B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3443d0ece67f190daf8f988e3f22af71c369bbe","datavalue":{"value":{"entity-type":"item","numeric-id":3050542,"id":"Q3050542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$D0D02D31-058D-49D1-BC11-76505712437F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1047ff1a1c14e5bbc9913a7a397ad9ddee337554","datavalue":{"value":{"entity-type":"item","numeric-id":3952057,"id":"Q3952057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$3EC854B8-F813-441C-A809-9350F5BA79D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcb7dad52da090c24569f6c3e439a79a93b9549c","datavalue":{"value":{"entity-type":"item","numeric-id":3742730,"id":"Q3742730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$410FF45B-17EC-43C9-815A-4556890EC716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0684a7538caea729f6ec434d1e733a91b587e40","datavalue":{"value":{"entity-type":"item","numeric-id":3700871,"id":"Q3700871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$611E5722-B6DA-464A-8FD8-AAFB746A8DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"953e262a3244da8dda3464b2c191683b0afa692b","datavalue":{"value":{"entity-type":"item","numeric-id":3994509,"id":"Q3994509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$F7CC902B-9221-4304-B1AF-1A6B4F44B361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f215b4be5d109fd9d816f69f638d95cc094372e","datavalue":{"value":{"entity-type":"item","numeric-id":5552751,"id":"Q5552751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$EA3915A7-E3EB-433E-AE94-0B0AF1A17A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb8b4584bd314720710b80fbb4c942ee4112887","datavalue":{"value":{"entity-type":"item","numeric-id":5599162,"id":"Q5599162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$10CC72F4-0634-463E-9D1B-EF3C51B92D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36292f425a625cee286dad459aad829a2fbd6ab3","datavalue":{"value":{"entity-type":"item","numeric-id":1169806,"id":"Q1169806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$797E6B12-99E1-4835-8321-FB0D78544E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7a9701fa22e26e9eae28cff4cdbe54244d7b03","datavalue":{"value":{"entity-type":"item","numeric-id":3958439,"id":"Q3958439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$E983164A-FC7B-412B-A504-A5564EBADA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccd4ac1cf38ce7adf87c1aa2fe250a0bc62e564b","datavalue":{"value":{"entity-type":"item","numeric-id":581617,"id":"Q581617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$254378D7-A5B0-453A-92FC-E51BC0CE2DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543babb72eec5b4fb28e854c7a1292161757e056","datavalue":{"value":{"entity-type":"item","numeric-id":3761690,"id":"Q3761690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$7534B6AE-A361-4B3C-B1AE-0E0B6B336155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfdf450746c95865439cf08883bd3a1c78d6c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$E391FFD5-9A7D-473B-84F2-8FFAC8462988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db5e7a5f2b012607a0ffbf9a687f502d3dd43871","datavalue":{"value":{"entity-type":"item","numeric-id":3958565,"id":"Q3958565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$4B41C38C-01B3-4ECB-8F1C-11E0350D7692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d68a8fa986df28b1ab7723feb18f1c0da1b2d829","datavalue":{"value":{"entity-type":"item","numeric-id":798716,"id":"Q798716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$242AF5C8-D218-4B50-815A-5FB7AA1E5F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$70AD383E-BCB1-4136-AB51-520906CC8276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d099e463a59eda7fc70a0dcc0df3266d87530ba","datavalue":{"value":{"entity-type":"item","numeric-id":4723875,"id":"Q4723875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$4D1CEDC2-9B07-4FFD-9790-F887FD724D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b1456ad5910388750aa3f816270135acd82ede1","datavalue":{"value":{"entity-type":"item","numeric-id":2542110,"id":"Q2542110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$6645875B-5A8C-4919-ACDC-FE735CE5165D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e407c6d7d4766ca37d7f87e41147c9f1535a35","datavalue":{"value":{"entity-type":"item","numeric-id":5619178,"id":"Q5619178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$E9C7E1C9-72F5-4947-AA86-246116F86390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b3afb8469668e20893b630491276dc22c57800c","datavalue":{"value":{"entity-type":"item","numeric-id":3927175,"id":"Q3927175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$DB3C93A5-D35B-4017-B77D-E3530A5AF93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$17423C79-86CE-455F-B218-9A2B72A37986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$B61BF0FC-344E-410A-BF94-8B7ED3E5F1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$4F341E8E-F4FE-4E5A-A228-F1D7CB8082DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$87B12933-F1B8-4E08-925D-58A9F9419BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7d21ba7c9e01a1e4d50952aba9cb27df7aae8db","datavalue":{"value":{"entity-type":"item","numeric-id":1113939,"id":"Q1113939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$A0DA6D9B-14FE-46D6-8188-F0B8E87FFCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d113c3255931cdcf114e41bc5a7096df85315e","datavalue":{"value":{"entity-type":"item","numeric-id":4075576,"id":"Q4075576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$0245364C-3EE2-47CF-B696-70382BF3BA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5406ea7669ed616e0ac659900417e7fcb90273","datavalue":{"value":{"entity-type":"item","numeric-id":798314,"id":"Q798314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$9BF1AF1D-B6BF-45B0-91E3-098DC0F64C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe596752fdbdf1aa05726c18121eb00cdd260ef","datavalue":{"value":{"entity-type":"item","numeric-id":4097031,"id":"Q4097031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$6B8338FB-DC3C-4B6C-B054-4E4591741AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe550f3549cdf995505ee8803ca92194c9d942d","datavalue":{"value":{"entity-type":"item","numeric-id":5328221,"id":"Q5328221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$C5815AFC-AFD9-4F9A-BCAF-3A28EDA1EC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f63aa190596f5f038c76fee579c3a35ac46998","datavalue":{"value":{"entity-type":"item","numeric-id":4771385,"id":"Q4771385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$3A3184C7-28DA-4FDB-91D7-311C11F34766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa360d2973e55b173f6a2b5a78c2526c83208a1","datavalue":{"value":{"entity-type":"item","numeric-id":1136355,"id":"Q1136355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$3EAC6B94-685B-4A33-8350-E7451B9377F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f1b17812e6037d2b7d557b0a7606920332b887","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$BF72129F-36F0-4AC8-95AD-F912A17289F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af2858b2caeba0cb898fe2f4f9cbcd3fd3b0230e","datavalue":{"value":{"entity-type":"item","numeric-id":5536619,"id":"Q5536619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$1D11F460-1143-4910-AFAD-1B0C8A1C691B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e30a0ffd2b86cebd75cabd16cb9d8f152bd16c","datavalue":{"value":{"entity-type":"item","numeric-id":3880844,"id":"Q3880844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$CAD536B4-9910-4CDB-A9CC-11057466007F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56945df39b7bb086aaba176afa3e6c3f8334b363","datavalue":{"value":{"entity-type":"item","numeric-id":3048826,"id":"Q3048826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$E4032D04-9190-414B-9A5E-E1D8CBA2003A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027e018eef8810ffaaa3893bf67adf6d2ef52c6f","datavalue":{"value":{"entity-type":"item","numeric-id":1094149,"id":"Q1094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$DD13BB8D-37EC-49A7-8D3C-0D5469BDF9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be312b4cd9c2bbe2d833768e516a581983e2750","datavalue":{"value":{"entity-type":"item","numeric-id":1065883,"id":"Q1065883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$466CAAAF-F1E1-42F7-B84D-5173A39F4038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884881c81877922b5a47ae00d9a8432eef7d6a66","datavalue":{"value":{"entity-type":"item","numeric-id":1104314,"id":"Q1104314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$A3FA744F-D255-48AC-BB02-F54E19752B60","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":"Q1103610$DB0DA30D-52F3-4739-889E-1C16E9664061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3efd561295201dc308c1a628016acf6f67326b03","datavalue":{"value":{"entity-type":"item","numeric-id":4157294,"id":"Q4157294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$8DDCEE3C-8F9D-4F32-9C9A-2883CC0DEB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cf080322dee191c70edcdf42a836895d1b8d1bf","datavalue":{"value":{"entity-type":"item","numeric-id":5847172,"id":"Q5847172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$6CBF8252-C7EC-423D-B03C-1D90E2FA938B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96f05c0db974b08b6358ab21bdb9d2f6fce43b99","datavalue":{"value":{"entity-type":"item","numeric-id":3926356,"id":"Q3926356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$0E643AF2-B2B0-4CCF-8331-2263763E0C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87502feb8e907cafd6c2004b12185a59e084891c","datavalue":{"value":{"entity-type":"item","numeric-id":3724307,"id":"Q3724307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$58F41C64-2396-426C-9470-78FA2478C89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c7c0c39385c53fed90551bea7d43ffa08fc8e3","datavalue":{"value":{"entity-type":"item","numeric-id":799734,"id":"Q799734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$C88D5507-9D67-4EEC-B5F4-B3A356A17C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7038cd966bc79c1b4c1d53299349ff14701b736","datavalue":{"value":{"entity-type":"item","numeric-id":3784167,"id":"Q3784167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$22D92611-2C41-4B8E-A126-09991DBBC7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adbd4ba350e89c0d8e42869cc7529e1388daf29c","datavalue":{"value":{"entity-type":"item","numeric-id":3037597,"id":"Q3037597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$D5EC6581-6DCC-4704-83B9-C1F712DDFD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169e05292ab52ee5d3ceffbec2124f745317d3a8","datavalue":{"value":{"entity-type":"item","numeric-id":582342,"id":"Q582342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$27F1880E-70BA-40D6-AC02-583EE4ED31CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e645b59cba9b23ca3c0caf4e1a5ba61b8b8fb35","datavalue":{"value":{"entity-type":"item","numeric-id":4088812,"id":"Q4088812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$5525422B-CC4D-4C59-96B0-EEED38930B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8332468c56cf425ddf859080eb3b69a9207db47c","datavalue":{"value":{"entity-type":"item","numeric-id":760006,"id":"Q760006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$23AE249F-DA98-4494-B97C-8C4232FFBDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"321a83f1e16b6fe53989573abdf003c99a14871c","datavalue":{"value":{"entity-type":"item","numeric-id":1123032,"id":"Q1123032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$44E76B41-F429-4542-81ED-22708453B6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f00e49fcb12172c27504dfeecb9018f840f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2651859,"id":"Q2651859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$867457FB-BDCA-4653-A237-A99CDC92DE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aa5ac98620c36d22c3bbf63fc6be23f308232e7","datavalue":{"value":{"entity-type":"item","numeric-id":1171080,"id":"Q1171080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$8F05D62F-9983-466A-BD7C-983D34236692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfce0c06de5645e33e81141a9d32398ea1f4d485","datavalue":{"value":{"entity-type":"item","numeric-id":1063589,"id":"Q1063589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$BA2D88B2-16E6-4740-A1D1-EC87505A1DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8be9375a315209f41df1b38374a5e7e956d28bf","datavalue":{"value":{"entity-type":"item","numeric-id":5807665,"id":"Q5807665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$77BB4C93-4791-4818-83BF-476791F761F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b13ca39ef78e37b93e841a7352af0085ae2fc2d","datavalue":{"value":{"entity-type":"item","numeric-id":3268764,"id":"Q3268764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$3F53A8E6-A1F9-4421-B532-9711CFD7CEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12cc55e92b998c9429cbf8d09a9759d97e7d6ef","datavalue":{"value":{"entity-type":"item","numeric-id":2650816,"id":"Q2650816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$A6FA6D4F-77FB-4F04-81D5-C9AEB8998DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$A6C1652E-165E-4FFC-95D9-F1A6CCB1FACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88b95cc0920195183ed855f36754a4acf96b56d","datavalue":{"value":{"entity-type":"item","numeric-id":768960,"id":"Q768960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$62BE243F-213C-4984-A094-643032CA7215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7f265fd4d004a8e4f1d14e8c75ec21e00f60f52","datavalue":{"value":{"entity-type":"item","numeric-id":5906126,"id":"Q5906126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$1EAC4538-3FF0-4820-8E12-199D37648974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c15d5596ad06ea9c33077147ea3f9457eecb7e","datavalue":{"value":{"entity-type":"item","numeric-id":1101257,"id":"Q1101257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$B2401CD8-59F9-4841-809A-E6C917D7DD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92de3f05590685578d3ffc2c8aee29bbdd76883","datavalue":{"value":{"entity-type":"item","numeric-id":4137157,"id":"Q4137157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1103610$CA17B862-A33D-4FCE-B370-D7DDD3563753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f4bd51b325d1d7069cce64643a07bba69a955f3","datavalue":{"value":"https://doi.org/10.1016/s0747-7171(88)80016-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1103610$97A9145F-63D6-4557-9EE7-1FEC233C7F08","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7fe0d170965f7cdd9a5f9575cdec95567cf64b3d","datavalue":{"value":"W1995150618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1103610$2CDE95EE-1D48-42C9-8FF0-A8991CCE8921","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1dabcbab1e4d1e7311caff28d84ce93acc6d4ba0","datavalue":{"value":{"entity-type":"item","numeric-id":5292667,"id":"Q5292667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed61dced9e602d263afa79c2d751a6ce2e99a651","datavalue":{"value":{"amount":"+0.8318442106246948","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":"Q1103610$4451CAD0-6802-4E03-8D7B-09FF4896CFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e089133e18c337574d39d66e8024f8adc95e7a6","datavalue":{"value":{"entity-type":"item","numeric-id":3758811,"id":"Q3758811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"986e0237ea84cb084ac04fe6a4b8d1050c2ff203","datavalue":{"value":{"amount":"+0.8062731027603149","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":"Q1103610$B6E01DC0-F595-4020-BD77-54AABC3D30EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da6d4c7d7073a9e7a8e121df85560d4c74115a9","datavalue":{"value":{"entity-type":"item","numeric-id":3693512,"id":"Q3693512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86da061a81ad803fd7d4e8a9babe02c1bf3f6748","datavalue":{"value":{"amount":"+0.8014611601829529","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":"Q1103610$B1BCECC1-D136-4009-818A-0210459D3A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72da3ac7de07c973b6ce822eac8ee5bd6fd603d9","datavalue":{"value":{"entity-type":"item","numeric-id":4915146,"id":"Q4915146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1ad49a234a9d3d43576947c8d44f0e6c3f203a9","datavalue":{"value":{"amount":"+0.7982439398765564","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":"Q1103610$807B9D55-AB1F-4C1A-A9AA-6482ABB1CD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1a05c808bf466dd00f66d61cf3d32549744757","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a1cd54a40ea8f9215fc71c9cfea746823a6ba2","datavalue":{"value":{"amount":"+0.7950144410133362","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":"Q1103610$65D275A4-4855-4448-BBE2-C0D36BB1D251","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A bibliography of quantifier elimination for real closed fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_bibliography_of_quantifier_elimination_for_real_closed_fields"}}}}}