{"entities":{"Q2946522":{"pageid":2957242,"ns":120,"title":"Item:Q2946522","lastrevid":52346948,"modified":"2026-01-22T10:10:05Z","type":"item","id":"Q2946522","labels":{"en":{"language":"en","value":"Black-box/white-box simplification and applications to quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483036"}},"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":"Q2946522$F6C631CB-7D9F-44D4-9B03-1DAFD5BED842","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3d41f8f82f4d3e6ab5259a078c65546b2afee76","datavalue":{"value":{"text":"Black-box/white-box simplification and applications to quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946522$6A8A3475-8766-4FEB-991C-CB4A8AFB3B1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83bae257e4064e1aed10bd1404a01667d14f5d7a","datavalue":{"value":"1321.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946522$16E09B70-B13A-4785-921E-ABE723C89EF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67707326626b36cf1a98c67dadf82cb2e3447f63","datavalue":{"value":"10.1145/1837934.1837953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946522$DA6B276D-A78E-45C2-ABB1-A7B7C95B8E3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7989f3c7163192933aa635efac5513ead9a9c0c2","datavalue":{"value":{"entity-type":"item","numeric-id":191937,"id":"Q191937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$04C74B4C-0000-48B9-94DA-C022DE8DA0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"839da8fb2ad5262719b48f39d6c370f918d5d4d2","datavalue":{"value":{"entity-type":"item","numeric-id":1382035,"id":"Q1382035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$E80DA785-6047-4715-819C-8FB98B7F132B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0627918a820712b57fc003a6279552c2901b3984","datavalue":{"value":{"entity-type":"item","numeric-id":2946514,"id":"Q2946514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$1346CF83-D073-49F5-91CF-5C25E7427F52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946522$96C0AF2E-228D-4429-AC20-FA4001CEB6DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946522$295A1409-5B0A-4407-BAC5-D90EA372BA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946522$19B136A2-E197-41A3-8512-818F0CA57073","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b733a519a64b8791341530b0143a303df4db125","datavalue":{"value":"6483036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946522$057CC8DE-9091-4D2C-8EBC-637318FFB83D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"234a1f74ca1a7cf0e4493bbe6ea006d2697d780d","datavalue":{"value":"Tarski formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946522$9D845F7C-6F16-48D2-A0C4-2DC3D39730FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946522$7F19DA19-E3AE-45D5-9B01-FE11A1B24FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde94ab0ead7c7158cc624a23e8bc3a792dd5926","datavalue":{"value":"simplification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946522$93CB3790-0D07-4081-A1A5-8A47D952677C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6a137fb25e74da1b07aa816482b8818e8333262c","datavalue":{"value":{"entity-type":"item","numeric-id":20619,"id":"Q20619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$0958DC60-26E5-4378-A53C-B64E5117B920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"640fa00ce25bdfedb72161b7b45e926df2f54846","datavalue":{"value":{"entity-type":"item","numeric-id":23476,"id":"Q23476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$8412508B-B3B0-4BD1-808F-C9FB0CB663ED","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":"Q2946522$40A624AB-E269-4D7C-A0CF-B7775208B99C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7b5ad8a2a7f8421c152ea37337be5785196e04f","datavalue":{"value":"https://doi.org/10.1145/1837934.1837953","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946522$3C23E76D-2DD6-4B76-8EE8-E7F43E2C76EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"147e6ac38b248606d198bd1d958bc665251829ee","datavalue":{"value":"W1969185522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946522$DDFE993F-3396-4AF8-B6D6-79F159A998F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c1db053fe92570c971b1ba481545db2482a8b8","datavalue":{"value":{"entity-type":"item","numeric-id":4760223,"id":"Q4760223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$7C66C6DB-BA2A-4A04-A377-EFA3728EA1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba9bfd9f55676e99385d37f2efc0d80711a7725","datavalue":{"value":{"entity-type":"item","numeric-id":1287626,"id":"Q1287626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$62EB0A71-CA76-4AC2-B392-E892F84B3F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb1f7d31248d39e9e76a8c6540245eea0766829","datavalue":{"value":{"entity-type":"item","numeric-id":3995740,"id":"Q3995740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$29136B79-DBC8-4D13-8E8D-814591743924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcc2c892447701e92f3db7fece41578e4eb92784","datavalue":{"value":{"entity-type":"item","numeric-id":557066,"id":"Q557066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$4AAC80F7-04E6-4503-BA4D-8ED26DE6983B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22852c5bec0bd3c31e06bd491db084732a50d443","datavalue":{"value":{"entity-type":"item","numeric-id":1008571,"id":"Q1008571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$D5775F04-B98D-4689-A431-6C7BB8DCB70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87aab659949f093ebd4b56fa2b785a2b15d51b43","datavalue":{"value":{"entity-type":"item","numeric-id":2457418,"id":"Q2457418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$24A3662E-14C1-46F8-938E-15000A415E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1e0ddf62bf709318a786ae490c1eba55c1af1cc","datavalue":{"value":{"entity-type":"item","numeric-id":941787,"id":"Q941787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$5B5209F2-E026-4942-8AEB-5EF59C2BD1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13edf0fb0c4dd0ad2d7e6f5cb55d20f5e6a37e1","datavalue":{"value":{"entity-type":"item","numeric-id":2473502,"id":"Q2473502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$DA7921D9-33AC-4810-A4BC-9696EDF59812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0b2f0741d9357cfbc31c08db3d98f49460848a","datavalue":{"value":{"entity-type":"item","numeric-id":4449111,"id":"Q4449111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$7A7E0774-0527-4EB3-8BBF-82821EC23DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a33819bd972a831c49be8519bb9dd1b56d0e97","datavalue":{"value":{"entity-type":"item","numeric-id":1237959,"id":"Q1237959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$13953862-C533-4234-B9E2-5D77118D26B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0b4bec51dcef0d907e9db2d5bf046499d0c2ce","datavalue":{"value":{"entity-type":"item","numeric-id":4072558,"id":"Q4072558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$878675B6-3089-48AD-85A9-E17DEAB5991D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d2251b8aa0f74fdf25630e513a15b8d41377061","datavalue":{"value":{"entity-type":"item","numeric-id":1222909,"id":"Q1222909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$BF2CD423-BEDB-4AAA-93DD-0F6D78AD5256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91224e248bd571bf5162caf8423e2aec81e7091e","datavalue":{"value":{"entity-type":"item","numeric-id":1233674,"id":"Q1233674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$B191FDEB-6091-4D8E-A633-98113A2BA43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d85bf330191b011c1ffe194bd1939561d2f547c","datavalue":{"value":{"entity-type":"item","numeric-id":933636,"id":"Q933636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$5BA7ACFB-D226-4BBE-8968-1944866E59A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e07c65b918b25cf8171680f63e51ff33861cfa2","datavalue":{"value":{"entity-type":"item","numeric-id":4849745,"id":"Q4849745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$FC6A2C07-150C-4464-A6DE-791212E1761E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e26296110a0aa0b87499623cc5ee10c1d2fc86c","datavalue":{"value":{"entity-type":"item","numeric-id":4656084,"id":"Q4656084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$C3018F27-49B1-4ED6-8C99-24C43AB2EDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ae04e054cbda55e208e7d05d4b084fcfb04a8b","datavalue":{"value":{"entity-type":"item","numeric-id":886192,"id":"Q886192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$8FDCF31F-9945-4BDB-860F-D7EFC245C4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83731ebce248859c838c00eb3af7e8dc57394c1","datavalue":{"value":{"entity-type":"item","numeric-id":3945260,"id":"Q3945260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946522$20752668-A474-48D5-BE0E-9A0D1AA414F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8502bf9252c8e32a24a3919eb7dd5a42abcc31d","datavalue":{"value":{"entity-type":"item","numeric-id":420752,"id":"Q420752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f42eab839d4a1ee985e1ba32a0172f8b011fdc94","datavalue":{"value":{"amount":"+0.8288463950157166","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":"Q2946522$970ABA5E-841E-40C7-867F-BA0B746EA92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"165663c32b08245184141384d3beecf87d8fc773","datavalue":{"value":{"entity-type":"item","numeric-id":2883801,"id":"Q2883801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88591369ee985adb73a10b2a327b7fff0256acf7","datavalue":{"value":{"amount":"+0.8204700350761414","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":"Q2946522$F2391C94-2078-48F1-A2BB-4CFBE2711EB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7135882e640389f0b1d270ebae0d2162510a4107","datavalue":{"value":{"entity-type":"item","numeric-id":5119942,"id":"Q5119942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cea06802f78c9c8b4307940cb709f17882c103b9","datavalue":{"value":{"amount":"+0.7785751223564148","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":"Q2946522$1CC8C97D-0429-47A0-BE65-B8DE477B71C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb11c85a4e06de2c02af7796d7ab2932b2eb5a57","datavalue":{"value":{"entity-type":"item","numeric-id":4232513,"id":"Q4232513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2608582ed071fe962e7049473b65fce0f03066","datavalue":{"value":{"amount":"+0.7731713652610779","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":"Q2946522$54CB1E0F-D399-497F-A41A-A60B1A7EEB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6004dff7e6556c36d6ac3e919cf37873b9b94adf","datavalue":{"value":{"entity-type":"item","numeric-id":5938543,"id":"Q5938543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"526ee0cfd0297543b124ba77a6f04f008657e721","datavalue":{"value":{"amount":"+0.7646560072898865","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":"Q2946522$3E08748B-D106-474A-9749-C1504A404EE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946522"}}}}}