{"entities":{"Q5925208":{"pageid":8059427,"ns":120,"title":"Item:Q5925208","lastrevid":97755638,"modified":"2026-06-05T15:21:12Z","type":"item","id":"Q5925208","labels":{"en":{"language":"en","value":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6540944"}},"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":"Q5925208$69C7B82E-BE39-42AD-91A7-B3401B2A574C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3216cab58dacd5d94563bafcc864b95b0a894ce","datavalue":{"value":{"text":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5925208$39D570DC-C77B-48AF-AFEF-67A42FEBCB06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0066f6bb1b9a4140349637faabc1fdfcd077e6fd","datavalue":{"value":"1398.68695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925208$1A62E4D5-4C16-4AE7-8376-61A54E8BDA34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"473ad80f91cf916af26228ef57424520d1aa9382","datavalue":{"value":{"entity-type":"item","numeric-id":413405,"id":"Q413405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$C08B4D31-A690-47E0-A567-8F25F121E873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c20788f5d22efc79731ef3231477fc9804d6281","datavalue":{"value":{"entity-type":"item","numeric-id":413406,"id":"Q413406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$C3565C6F-A99F-4F89-A44C-6FF1F04953D5","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":"Q5925208$3E9B53A4-1030-46E8-AACE-EF06F4D9A0F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9eb196c2166accd554e3b3a1b60e4e0fc3d3e23","datavalue":{"value":{"time":"+2016-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5925208$F3B409E2-440F-4A54-AFAD-B65CEAC10BC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925208$6CA4599D-ACE0-43AC-BDFA-FF3CB23B59FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925208$10F1D060-33E3-4A4A-B6FA-47111DE0671E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8ce7e2c3557c80233155fd106aebc5c2562100cc","datavalue":{"value":"6540944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925208$00B58D13-6D50-4A56-858F-03C5FB2EB4AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925208$E6446EF3-A267-4B69-839B-6E10344B32B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925208$98ACC475-FCD5-4523-BD3B-F523432F3A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d5ae3472d1ba794d723147541f877deb856974","datavalue":{"value":"regular chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925208$2CF0D3DE-CBC1-4A86-8504-A0E9F645C895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf8358b2df85a4ffd0e6967e70986501310f0ae","datavalue":{"value":"triangular decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5925208$8B03BDCE-6A45-4B26-93F2-3DA121E73018","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$79B14B63-FDAA-467D-B2FC-A9A2C60F0CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32aff951e31cb88fd9452eb9d816a1b0d2b9e644","datavalue":{"value":{"entity-type":"item","numeric-id":13544,"id":"Q13544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$FC6F52FD-B9BF-4873-B103-C16D206C6A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c417c230f73d20f5cf9c1a2e82b49a128a49f57","datavalue":{"value":{"entity-type":"item","numeric-id":44509,"id":"Q44509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$5FD24E83-267A-4D91-A4C5-20A9B1F589EC","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":"Q5925208$A59DA1A8-EE42-4ABC-BF8D-E178CEBD4A05","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04c08c26c87ff20b4b81137ce3694fc986f8a96c","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2015.11.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q5925208$FEC9E2A8-9198-4018-85DD-984181398910","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34726e6f8d3541429912557589a3cc046ee6d114","datavalue":{"value":"W1949239131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925208$B2EFB766-EA4F-4F21-BC02-24C718961A90","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e252b0603cec3a7f962e5b5f55184d47bfe852e","datavalue":{"value":{"entity-type":"item","numeric-id":3158549,"id":"Q3158549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$94EF1BDF-4D14-4942-A875-447105D66F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fb1e069c9e4331b31c569dc8e2183f4c63cb5ba","datavalue":{"value":{"entity-type":"item","numeric-id":5920628,"id":"Q5920628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$AE854C13-B708-4E91-8E31-D6879E770124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e059e9944405bcf4ade9e11a97864844b925a4d","datavalue":{"value":{"entity-type":"item","numeric-id":2879312,"id":"Q2879312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$49692926-441A-4BD0-84B7-F804B7EF129E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36e0dfe7830648d10613adfe68d8ebd26da3216d","datavalue":{"value":{"entity-type":"item","numeric-id":2963225,"id":"Q2963225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$1CDDC5DF-977E-419C-9F1C-AAA04618BEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f3232041383b43911a15ddaf2eecfdd6fd82dc","datavalue":{"value":{"entity-type":"item","numeric-id":5301651,"id":"Q5301651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$4BA614D7-E492-44EC-B0DC-8DEA54BF6313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2601a05a1e709fca09151d43fc2b61e821dace","datavalue":{"value":{"entity-type":"item","numeric-id":1355986,"id":"Q1355986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$CE5F0C73-48F5-4F44-89E6-2E9195FAA5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4e8c3158b3b8fa71cfb6770759d41efc8138230","datavalue":{"value":{"entity-type":"item","numeric-id":3508471,"id":"Q3508471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$4AD9D91C-D1EB-4CD7-AABC-DD8832EAB824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbeced255ac02b681c5f8327daccc0f699256f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2799562,"id":"Q2799562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$2E331996-5009-472A-BBEE-442FB3164B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98b5b6adb599ae53bd2e42b517de33bf3de0b74","datavalue":{"value":{"entity-type":"item","numeric-id":2879157,"id":"Q2879157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$BFDAD678-E2E7-45DB-92B0-D1FDBE63690C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a606c9a70bca98e42cbb44be36c832b7068650d","datavalue":{"value":{"entity-type":"item","numeric-id":5899515,"id":"Q5899515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$6A89E4D7-E354-4317-B160-11F25B7D3A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba8e27a48aa9a4257270368e036b12e2466bb2e","datavalue":{"value":{"entity-type":"item","numeric-id":2879136,"id":"Q2879136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$CA2DA1C7-B80E-429F-91DC-C3345B7746B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14da1debcaf0fdc3514c9f8f3b1698695d1c51b","datavalue":{"value":{"entity-type":"item","numeric-id":2883805,"id":"Q2883805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$4ED5CB10-B30E-4343-B97E-4E90B98DCA12","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":"Q5925208$412C9517-B0FA-4552-8439-D4986BA46DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eca70e9fd4c09ff1c02e284b336ffe7805fa5fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2457396,"id":"Q2457396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$DA365AC5-75A6-4FC6-B20C-021648F80A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcf672ba756e2fbda138475d985676db9dd4797","datavalue":{"value":{"entity-type":"item","numeric-id":4234240,"id":"Q4234240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$9D1C7BDA-249F-400F-A69F-6D257655F6F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88d462ac73a68882992b0e4c9e7e3b963fb251e8","datavalue":{"value":{"entity-type":"item","numeric-id":420753,"id":"Q420753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$6BA50DA5-2EAA-45E1-B9EA-E2DE6D0FC4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cefe3932ed0c4a409b2d7421befe372f484c03a8","datavalue":{"value":{"entity-type":"item","numeric-id":1185456,"id":"Q1185456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5925208$EA915D44-1408-4B65-9DD3-29D7C62FA052","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6300fe47d49c70a1481b5980a7f79cb5bf9fb85a","datavalue":{"value":"10.1016/J.JSC.2015.11.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5925208$EBDC510A-F7CC-4FD4-A7CB-BCB0C0CA7358","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1754944585052517f4b79f940a35c1ca372c0c42","datavalue":{"value":{"entity-type":"item","numeric-id":5899515,"id":"Q5899515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"033825039629d91f7ca8900a3c8c66161c66b510","datavalue":{"value":{"amount":"+0.9961689114570618","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":"Q5925208$65402A17-33D1-4B6E-99AE-81AA2987FBD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b108b6ae79eee7fb004b548e83c6e8e74b7859f","datavalue":{"value":{"entity-type":"item","numeric-id":2879136,"id":"Q2879136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72d5efee653d38cd113203d046b50ebf4822252","datavalue":{"value":{"amount":"+0.858628511428833","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":"Q5925208$94B4FCF0-F6BA-40A5-A8FB-A5D221AE5E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8566d2bbe734e0acda28c0b0024c7051d0c099de","datavalue":{"value":{"entity-type":"item","numeric-id":3345781,"id":"Q3345781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4fc65fc34ccaca982854cda31cb20424e7ccc8","datavalue":{"value":{"amount":"+0.8572474718093872","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":"Q5925208$12BFA971-311B-40F8-B733-A9B32578E925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52e8bc51ea1f4615e2392167acb0348fe7eda2d","datavalue":{"value":{"entity-type":"item","numeric-id":1186711,"id":"Q1186711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f069718f6336bee91485cf9d335f050dc9331025","datavalue":{"value":{"amount":"+0.8476077318191528","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":"Q5925208$20FE7A9C-9DA5-42AA-88D3-D58F86AF1D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9599fabc76c44506b389f95a6ca15a74540d2158","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d4a70ff52de61b4d82e5e1ee66a007fc81a1f8b","datavalue":{"value":{"amount":"+0.8467700481414795","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":"Q5925208$54C81FCE-6D0A-463D-9125-8CA139DC1094","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quantifier elimination by cylindrical algebraic decomposition based on regular chains","badges":[]}}}}}