{"entities":{"Q3511099":{"pageid":5541003,"ns":120,"title":"Item:Q3511099","lastrevid":50400776,"modified":"2026-01-13T23:36:52Z","type":"item","id":"Q3511099","labels":{"en":{"language":"en","value":"Efficient Preprocessing Methods for Quantifier Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5298386"}},"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":"Q3511099$F02B2F53-D017-4278-A685-3AA268D3A703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2527383edc1cf723801f8ee7f3074b6ae9d6aec","datavalue":{"value":{"text":"Efficient Preprocessing Methods for Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3511099$4ADD8967-1937-4702-9366-DBD1B19F967F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a04ead44577b6e357a7b1aabbf3b0de7ca10ed4e","datavalue":{"value":"1141.68675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511099$9A0AC641-9D9A-4BB2-9BCE-81DF2A70C90B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62252e76a9fc93fcabe7d4154d6aa78feb6cb1d8","datavalue":{"value":"10.1007/11870814_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511099$1F2AE1C3-07F2-460A-BC97-8C294A841205","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":"Q3511099$B6853B2D-7FE7-4CC0-8D01-807873F1D4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b453b5c62bd740c1599cb220637be2d7898b3b54","datavalue":{"value":{"entity-type":"item","numeric-id":677517,"id":"Q677517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511099$30EC7C4F-00A3-4994-973A-48ED555858B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3457386823daa10db7f266a7a58ead5c5ae2053b","datavalue":{"value":{"entity-type":"item","numeric-id":2829986,"id":"Q2829986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511099$492A8A0A-FC32-472D-9974-F22C227980A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009139fe2eae5f3265e6a1f5b7f09fba6b23c2de","datavalue":{"value":{"time":"+2008-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3511099$18EBBBBE-B609-4BB1-9B02-1222DCAA246B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511099$92ECC31A-37F3-45B0-9402-063CF76BB265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511099$78370D8B-FD69-492F-8330-83AEC897067D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"266418706f4ced840214378ac7e2e9fe2ec673ea","datavalue":{"value":"5298386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511099$F3CFA845-5824-43BA-8BBB-63ED93D37F19","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511099$41DB0517-79FC-433A-9630-8F766B7C0AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3511099$7ABAC999-89E3-4F97-AA03-EE526237473A","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":"Q3511099$4F9AB8A9-DF4F-464E-BAE5-A60D7A4E9C9B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ebb431699feb2c07d29c079412dcc60cd38c80b7","datavalue":{"value":"https://doi.org/10.1007/11870814_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3511099$96E22490-CA90-4A21-B31F-C1F78357C64E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee6d77a0574192ed8a73b477c10814b8f0e4eaf4","datavalue":{"value":"W1597600813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3511099$BB1B9EDE-3E1A-4981-9019-76731DCE5606","rank":"normal"}],"P1643":[{"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":"fbe535120fb0cf82cc7c53b703486fe5790d03b7","datavalue":{"value":{"amount":"+0.7799633741378784","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":"Q3511099$3888CC58-A047-4D70-8367-9D165F64402D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a63f50b561e6d34f61769072f911652b7f63ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":3140555,"id":"Q3140555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe535120fb0cf82cc7c53b703486fe5790d03b7","datavalue":{"value":{"amount":"+0.7799633741378784","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":"Q3511099$9D78163C-9510-4E0B-A334-B76201818AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517499cfc1ea30481237409d0afaec81d24ccd5c","datavalue":{"value":{"entity-type":"item","numeric-id":2807841,"id":"Q2807841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6106bd22e104388b7c284fb750accb1f3a224fe","datavalue":{"value":{"amount":"+0.7759446501731873","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":"Q3511099$BDE4B489-F580-4CD7-8811-DCEC34C2D743","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":"9ca61ca6f0d45895f771595ab5806ea489477ecd","datavalue":{"value":{"amount":"+0.767356812953949","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":"Q3511099$2232AF9D-FC71-47E1-A01A-D293E89AD73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed55aa69c1542e26183b39d20550e6f620970d0d","datavalue":{"value":{"entity-type":"item","numeric-id":480651,"id":"Q480651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c744b93a3063fcd42869d86892a3a679c7f19d","datavalue":{"value":{"amount":"+0.7635145783424377","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":"Q3511099$56D03437-4487-4840-8582-AA04C8D7DDAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3511099","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3511099"}}}}}