{"entities":{"Q5145295":{"pageid":7174866,"ns":120,"title":"Item:Q5145295","lastrevid":53911574,"modified":"2026-01-25T22:23:24Z","type":"item","id":"Q5145295","labels":{"en":{"language":"en","value":"Tree-depth, quantifier elimination, and quantifier rank"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298747"}},"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":"Q5145295$68B2F73A-36F3-4D29-AECA-2F1C29F1668B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0d55d25c9a191260bb365853418aab56da87477","datavalue":{"value":{"text":"Tree-depth, quantifier elimination, and quantifier rank","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145295$1B2CA4C4-1D10-4D82-A2CC-226F5B316F13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f94fa8dd43a674919e91eab17a0b04db1ae3fbf9","datavalue":{"value":"1452.03086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$38564670-7620-41F1-9C1B-19AD264A8E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9428be015af1e37a2f485c5d1fa04613d2c0b25c","datavalue":{"value":"10.1145/3209108.3209160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$D0B7BD01-75FF-4B45-B780-D8F418DF0A2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8704f55b81438dec9b36ef863240a213d13e9a33","datavalue":{"value":{"entity-type":"item","numeric-id":490657,"id":"Q490657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145295$98B64AED-858E-42D2-8511-FDAEFD6952C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"533e6a2f2483a32398b8daadaa250165970e45d9","datavalue":{"value":{"entity-type":"item","numeric-id":490658,"id":"Q490658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145295$C3524B3F-9BDA-4931-9B0A-15ADFACCD36D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145295$9F04EAEE-44A1-4671-BE0F-9AA6F7FC2575","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145295$37524364-85CF-4EB8-8DA0-F670E6294B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$A5601964-57F1-4FAE-8B9C-CA88FDDB73A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$8130183D-FAF9-4582-A2F8-771AE9D75977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$EA477E0C-0582-415F-8FB2-6BAFCC070DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$1FE9EE4A-9BA2-4DB8-8C9F-98A36BBD2270","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1d08e9ed74954c4546944e20f16666c7e9b0fa3","datavalue":{"value":"7298747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$DF652E39-C0AB-4A32-BED0-7DFDE278E8FF","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":"Q5145295$C3222CD2-23C0-4033-9111-55FD315A252C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8110a3e7ea41a188bcb01f7ab0381bad1ca749e","datavalue":{"value":"https://doi.org/10.1145/3209108.3209160","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145295$5F9F73CB-B236-4064-8EA0-C9AF1F232CC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"795daafa116378a8bcadc990b1974e844d2d07e5","datavalue":{"value":"W2798639752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145295$CF37DFB7-0B05-4B34-9E7D-695CF15C4C86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0efd1026c75cf82d20d47966cea0a45c26f3edc1","datavalue":{"value":{"entity-type":"item","numeric-id":2957485,"id":"Q2957485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470dab4d2441df6e75a6cf6cbe64af43c3e1bf17","datavalue":{"value":{"amount":"+0.776515007019043","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":"Q5145295$3F3003E5-ADC4-4243-BB7D-7382B35FCED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2960a02bdcf415160933b0d39d7ed62b2be787","datavalue":{"value":{"entity-type":"item","numeric-id":2912741,"id":"Q2912741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdbb3f6cdb74e0c3098a7413f7869c1263c41f6","datavalue":{"value":{"amount":"+0.7733603119850159","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":"Q5145295$2CBB2811-FE54-4AD7-A652-8F2099A87498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e586ad3ef96f5f30478357ec3f01107e53215607","datavalue":{"value":{"entity-type":"item","numeric-id":5145659,"id":"Q5145659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a67b40b6be378f91e57171dd2ef9f7866b20fcb","datavalue":{"value":{"amount":"+0.7714611887931824","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":"Q5145295$A118107D-AB5C-4812-A8EA-BD7C1278111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ab9e31e6787334dc75e8f243d4ce38bcd7c275","datavalue":{"value":{"entity-type":"item","numeric-id":3644741,"id":"Q3644741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d25bfa5b954cd1b4aa83672019145ce55cdaa5e6","datavalue":{"value":{"amount":"+0.7678042054176331","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":"Q5145295$CC66DBFC-5419-4D77-925E-FED2D8472EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b265a94fadff15b585c221c60c9ba5062b59e36a","datavalue":{"value":{"entity-type":"item","numeric-id":2986803,"id":"Q2986803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5020b7dfc61b32d128e08885b59b25980c2ad5","datavalue":{"value":{"amount":"+0.7647546529769897","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":"Q5145295$C7DCA938-C6F3-4565-BFE9-2132E50D454D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145295","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145295"}}}}}