{"entities":{"Q5119942":{"pageid":7149516,"ns":120,"title":"Item:Q5119942","lastrevid":41183289,"modified":"2025-04-18T19:44:03Z","type":"item","id":"Q5119942","labels":{"en":{"language":"en","value":"Formula Simplification for Real Quantifier Elimination Using Geometric Invariance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7245232"}},"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":"Q5119942$75C58B27-CB65-40AF-9979-8E14931447D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d46941a5032cdbf8c15d2bbf49037050b3384aca","datavalue":{"value":{"text":"Formula Simplification for Real Quantifier Elimination Using Geometric Invariance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5119942$D88634B3-1F14-407D-8802-49045E1F75A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f98d4601f5b48d55d690af807eeeb5f9a7804155","datavalue":{"value":"1457.68326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119942$C6FEAC55-24CE-45FD-8451-01F555D93468","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"278afa100937695d3273db4c9fc2bc346880ccb2","datavalue":{"value":"10.1145/3087604.3087627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119942$04C2F558-69C5-42E4-BD41-ACA40BB00478","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c97aea211cb349f71795a51921aba049d697d326","datavalue":{"value":{"entity-type":"item","numeric-id":359901,"id":"Q359901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119942$7062E217-CEE9-4681-B556-5663016087E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93d8e6fb359f7bb867c0bb78686e2cc79d110e63","datavalue":{"value":{"entity-type":"item","numeric-id":359817,"id":"Q359817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119942$78F5C005-16B1-441A-A9C1-0F1F142A681D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"32f492baaf7f659ab4c4364df0944bd63168f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":5119914,"id":"Q5119914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5119942$91D3A048-E963-4E21-8AD9-2FF88493C65C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2af50a8f38b9014baebb3050a8a71f7f232c1207","datavalue":{"value":{"time":"+2020-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5119942$57AC3954-9FEB-463D-9B7C-ECA204B38EED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119942$71101045-11D5-4299-A93E-E59190B2E941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119942$3D5FE366-E940-4AC7-B0F6-F333D575AB37","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"270410095446ae9a13baa8635bd6d6e049f22cde","datavalue":{"value":"7245232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119942$777A2406-7553-45F2-AEA7-52480890705C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2d469c8c7a792ec6cf57213fe8532ef9ac92227","datavalue":{"value":"formula simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119942$1B5DB9BE-88B8-4E4B-8526-4C952F889A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d516c07a091ee50482645e4eaa73b20e4395acde","datavalue":{"value":"non-prenex quantified formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119942$A7C517B4-D7BE-4243-92D3-003AC4323B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23887a832ee039a9aba456284682e0a67af1c849","datavalue":{"value":"real quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5119942$C7069A7F-DBF9-4D49-8168-5A023DEF7D70","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":"Q5119942$6A3744E0-411D-465F-BC74-84BE5C619489","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eae9318a0072d6ce5641c74102ce4fb564ed2dc5","datavalue":{"value":"https://doi.org/10.1145/3087604.3087627","type":"string"},"datatype":"url"},"type":"statement","id":"Q5119942$A46727B7-EE26-427F-BE81-659C76B3EC8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d210f6eeb2223663b0db66a53a42e54a5956ac0f","datavalue":{"value":"W2737488163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5119942$F95C1A62-794D-48F2-93AC-4C2E640D1558","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe9ead504edb99eae04938b9b803ac85c0d791e","datavalue":{"value":{"entity-type":"item","numeric-id":4946076,"id":"Q4946076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b4029c1ab789ec7d2882dc52ba95a7e2b5411a6","datavalue":{"value":{"amount":"+0.87723374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$CE72FAA1-EC3F-4307-8F5D-630F99971D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59dc23893b18c6201d466f4119ebd6da27a4adf3","datavalue":{"value":{"entity-type":"item","numeric-id":1102744,"id":"Q1102744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f244b7503fac06ed18247b2f6186aeb0f763645d","datavalue":{"value":{"amount":"+0.85915107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$3051420C-65DD-460F-834A-1A1EE6C743A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a2c13536b4fc97f8ca31f1fc0797e92c9dc170","datavalue":{"value":{"entity-type":"item","numeric-id":1680265,"id":"Q1680265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a8d0e2fa81a3cc42bc794d6bf6f7b4b252bf98","datavalue":{"value":{"amount":"+0.85873646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$AA8E90B5-A21E-4EEE-8559-4C0F8E96EC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9a0a1d8e01bf94b28794e98cb1e36c794abf72c","datavalue":{"value":{"entity-type":"item","numeric-id":3144868,"id":"Q3144868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ac54f9ce2f8a8e8ce66e61d2dcafd04b9295b25","datavalue":{"value":{"amount":"+0.8562417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$C1AF7A0E-D0C0-478E-884D-4BD5C8E07BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa73079258d345d0d9d3c31e100e3bea98bb65b","datavalue":{"value":{"entity-type":"item","numeric-id":2883815,"id":"Q2883815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee159b5692a4ebb9e1da60354242a06d2e0f4ce","datavalue":{"value":{"amount":"+0.8542451","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$A9C7A087-D375-480C-B4BA-3A92E3907BD4","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":"5a0cd40d6f2239c21cafbed1160424157aa5c93e","datavalue":{"value":{"amount":"+0.8519262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$CA07C6C4-CD08-4E3E-AEB9-BF55748C40A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a24cd27d7706dfe5a45a65adf24544da2e4ef2c8","datavalue":{"value":{"entity-type":"item","numeric-id":4221845,"id":"Q4221845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ca9bfb5704723c3b4198c9ccb69a52306a22fe","datavalue":{"value":{"amount":"+0.8512634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$EB2514AF-6542-44F0-8D58-4FA18C59AD1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50c1473c7aef6fcd25d3119fcff2cd5c94f239c2","datavalue":{"value":{"entity-type":"item","numeric-id":4234207,"id":"Q4234207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a0f1b51497d2d4aa384892c2c34aced9c87ba5","datavalue":{"value":{"amount":"+0.8486426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$705C4A12-1488-45C8-8BE8-89C8C69EBFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1488344e517f490998946113a8b27a39e41b9289","datavalue":{"value":{"entity-type":"item","numeric-id":5505558,"id":"Q5505558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abf6c8ab9f4c75433c00343cdf765be14abffb7","datavalue":{"value":{"amount":"+0.84733915","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$1108FA48-E960-41F8-8C0B-44EE19BA9A08","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":"b5b3bbd45919875be2e98f7ff79c7706455b03f0","datavalue":{"value":{"amount":"+0.847298","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5119942$8471E2CF-3EBA-4A2D-AABA-95403B882B38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5119942","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5119942"}}}}}