{"entities":{"Q1102744":{"pageid":1113496,"ns":120,"title":"Item:Q1102744","lastrevid":49167370,"modified":"2026-01-06T17:01:24Z","type":"item","id":"Q1102744","labels":{"en":{"language":"en","value":"On mechanical quantifier elimination for elementary algebra and geometry"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4050981"}},"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":"Q1102744$319F650B-0CE0-4890-9578-5389522A9194","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca8965fe0b547122b0a2fca5b04b6c7229d72135","datavalue":{"value":{"text":"On mechanical quantifier elimination for elementary algebra and geometry","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102744$2C700FD6-63D6-40BD-84B9-F429C519B944","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a5a3701c8968bde206b5f2c230b5fc48a306765","datavalue":{"value":"0644.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$C05BB2FC-88CA-4E43-AB57-E5B179BA2255","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4e3097fd86745cd79d44d067eca264564dfbf2d","datavalue":{"value":"10.1016/S0747-7171(88)80014-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$3C6F3DC2-1FE9-4ED7-B107-DE8BB99494E1","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":"Q1102744$2DD889FB-076F-4376-8849-5EC5478177E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f43bf0f0ed97f42721f18513be8f4e02ef8d8c","datavalue":{"value":{"entity-type":"item","numeric-id":168882,"id":"Q168882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102744$2B278CBB-085C-44D1-A979-24480CC7B9D3","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":"Q1102744$2E06021C-F94B-4855-A1B3-CF24C7A5BEC7","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":"Q1102744$C6B906B1-88D3-47A5-935F-6F3B45B7A024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$49D6685B-1356-4927-9397-5E0E4D8AA921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$EE83B4A1-C070-4521-853B-E97327AF1E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$307A6200-6F3E-4A11-8976-67AA497F99DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$940514E7-4B68-4F02-9245-9A46274EE80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$0785B098-FDA4-46AD-A011-1DD2F681E630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80619583a343f6ab8e0090f36b890511a86ef408","datavalue":{"value":"14Pxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$CA58107E-855C-45BE-BE40-0A30F28C0F4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af49cd310c5c6b6ac3225805bcd1c43eeeded246","datavalue":{"value":"4050981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102744$BF65B24B-636B-4EE7-9433-FA8C5FC20F05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102744$FC5D31C8-ACC1-4532-8663-D2C3A670FD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102744$5A1857E7-EEA4-4986-B633-BCEF5C10611A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4745188b06a45ea92afbaa6fca938154845aeebf","datavalue":{"value":"elementary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102744$8957E2C5-DD5B-4D10-BEBB-1DEF9A69309E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4477c9598ae4965364daa3ce025ec46065fff35c","datavalue":{"value":"geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102744$D5064920-5AB5-4A3A-98DE-EF59A4EC777C","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":"Q1102744$B0F0F68A-F1E5-4331-B808-61DC76C39E6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"859853ee18d8d053bec0a89850b1911602074ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3216141,"id":"Q3216141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102744$962AD737-F864-45A2-A3B6-E3CD73F4EBD2","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":"Q1102744$096F5E91-7E82-4251-87E8-4B5343D4D27D","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":"Q1102744$D169F488-F56E-4B53-946E-D267628AE674","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":"Q1102744$B6F18BB0-E489-4D59-BEBA-BDA16CDD2644","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":"Q1102744$D09A0F3E-BEE4-48CB-923F-DD5FE0ABFC34","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":"Q1102744$2CEC6127-5993-4539-A1FF-664D225C870D","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":"Q1102744$307E00C2-B263-4BF6-BC26-F9FAEABC6962","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":"Q1102744$E7078285-F196-46BE-98F3-FD8947D5897F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c83d6b89375009d9893382530a22ee13eb937499","datavalue":{"value":{"entity-type":"item","numeric-id":4185425,"id":"Q4185425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102744$50A5EF26-01CF-4C53-B0D6-D1929F158DDB","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":"Q1102744$72D59FCE-A9E9-40F9-BC7D-1FF3C8E7B083","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":"Q1102744$17073914-7FA4-402C-95E5-9F852DDAE83E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"300e87ff432e73a75e3ca559775964c584210710","datavalue":{"value":{"entity-type":"item","numeric-id":1104314,"id":"Q1104314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a2230ba0750837de61ca7daf9fc8f9855155120","datavalue":{"value":{"amount":"+0.8464019298553467","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":"Q1102744$E87601A7-D1DE-43FE-8775-92C54D126B65","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":"aa76e75a7d6589f75665eb13b5f13486579fcfc4","datavalue":{"value":{"amount":"+0.8006381392478943","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":"Q1102744$C6DD1059-0D03-4DD0-9C27-AD4E61A9DB71","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":"0c91a00af813229ec15d2e0dbbb2e8e986643ece","datavalue":{"value":{"amount":"+0.797394871711731","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":"Q1102744$753387C5-EBC5-4E05-B56D-E8CF220C651D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5441b3ffa4253d9247da58b4195e190f533168f4","datavalue":{"value":{"entity-type":"item","numeric-id":3479523,"id":"Q3479523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c91a00af813229ec15d2e0dbbb2e8e986643ece","datavalue":{"value":{"amount":"+0.797394871711731","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":"Q1102744$DDB7EFAE-FFCF-46F4-82B7-227FE1208611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16adcd137bf5c2cd4e8289d9c68c2f4e37db7505","datavalue":{"value":{"entity-type":"item","numeric-id":4234321,"id":"Q4234321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b77883e8d32728666b1ff8b74dab7e260f39f1","datavalue":{"value":{"amount":"+0.7820398211479187","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":"Q1102744$16421950-119C-453A-AACD-549DF05DF3A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1102744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1102744"}}}}}