{"entities":{"Q2457396":{"pageid":2468139,"ns":120,"title":"Item:Q2457396","lastrevid":50191970,"modified":"2026-01-13T11:33:24Z","type":"item","id":"Q2457396","labels":{"en":{"language":"en","value":"Quantifier elimination in automatic loop parallelization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5203501"}},"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":"Q2457396$B3E6A48A-4B65-40E3-9B84-734F22A0D5D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1276bea3eeb17348d520b52b8f33e9deec2fbf7f","datavalue":{"value":{"text":"Quantifier elimination in automatic loop parallelization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2457396$F3C44368-4CF3-449A-8370-76806A2D960E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0d65a6b4c5b10e46b31a7b7c67acb81a1cb0ac9","datavalue":{"value":"1124.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$277715FF-8E3A-4DE8-B375-74A356F18EF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"218788bd666c0a9bef618b56d588e88cfab765c8","datavalue":{"value":{"entity-type":"item","numeric-id":2457395,"id":"Q2457395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$46F6EE64-1F5D-4AFB-9FC3-07C26FA318B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e48a3890bcf58e0cbd425dca383c9167d70ad6a","datavalue":{"value":{"entity-type":"item","numeric-id":1978396,"id":"Q1978396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$ABC7D02F-F74C-4973-97F7-8EE93A6B5DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb70dca4df364772ba1a8a49fd3075ccc08e3e3a","datavalue":{"value":{"entity-type":"item","numeric-id":582034,"id":"Q582034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$125BCC4C-37F4-4934-B70D-10379C382464","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":"Q2457396$207950E2-8992-442D-8891-D06C931E9ECA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b92f17929f5a72155ae3100d6d6310726eec0e95","datavalue":{"value":{"time":"+2007-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2457396$688E84F2-7FC8-48B4-B4E4-968D49C1B299","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$7697B431-5AD7-4E5F-8A9E-7C349FF59399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$510A9E32-F5A3-4C01-9E5D-534FE68DC375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$F588BF92-85B4-4597-8055-B59792B6CE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$7BCE649E-5F80-4E5F-86D9-D9E24D5A6BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43b00b9b29728e385a6c82b44f2a689636f7a172","datavalue":{"value":"5203501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$48B06A72-36A8-4392-B882-B44F105C6B7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa91261d790b1418ca8f6633da7d91faeb3bed64","datavalue":{"value":"Loop parallelization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457396$31EF4346-388A-433E-93B7-8F3494533938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2457396$C049CB58-9110-40D8-9C5A-14C30D4FD7FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"860c2e3f732d4cc66c89647ed6b9a47917b47117","datavalue":{"value":{"entity-type":"item","numeric-id":35530,"id":"Q35530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$D0DE5B6A-B2E3-4C33-8A1A-654A3A0F7836","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":"Q2457396$77BE9941-5680-4D1B-A14B-BA9B6D1CB422","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":"Q2457396$5991752D-6AC7-4A68-B1A2-E83AD174E31B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"430fb0711d0104415193a54cda79d42dc08165a5","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2005.09.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q2457396$C1F1FD0D-013D-45A7-85E1-DF473F778AF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67d713e911a675d05678123e4430bcd6a408be3e","datavalue":{"value":"W2080706210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$BE7FFB76-D8D0-4203-A781-1FFC821BD8D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dd9e3e5e34b674a9a7642609edc7f991553711c","datavalue":{"value":{"entity-type":"item","numeric-id":4196237,"id":"Q4196237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$F197F9C4-65B4-4A85-9942-413AD92CD659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e71414912062461b63dcc6abf685164d11957ab","datavalue":{"value":{"entity-type":"item","numeric-id":5623505,"id":"Q5623505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$7302A3F7-BF90-4762-93D1-DBDDBEE97C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"113d7d6babf9a54924ebc1b1358e1b92c502c973","datavalue":{"value":{"entity-type":"item","numeric-id":1350129,"id":"Q1350129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$F9A0DF21-A17E-43B7-84C4-3D1D01C368EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d186f3d2a569486e01364738055a971670e318e6","datavalue":{"value":{"entity-type":"item","numeric-id":1186095,"id":"Q1186095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$4F047DBF-B815-4A5B-A7CA-52142D674045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5923a3dc2ee7327cf0d364c482d62566fb52c1","datavalue":{"value":{"entity-type":"item","numeric-id":687632,"id":"Q687632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$479A7446-2BA6-40C4-B591-2822E29EFC5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3faafba5b91d958f85703d9a773aa1740a5a97c2","datavalue":{"value":{"entity-type":"item","numeric-id":1322507,"id":"Q1322507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$B902E780-FF9A-442C-837A-4751A309DD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$C1FAD0BE-1C1D-4DD3-AEDD-B0C88349C575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$FF9CB6A7-DB50-406E-A59F-9CC3AE2F5342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aad725a38a91dce8d1e5ffa3046d8f060b52b68","datavalue":{"value":{"entity-type":"item","numeric-id":4234321,"id":"Q4234321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$229F5D3F-CDE3-4DB9-8301-D6DD5067325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2457396$237FA857-B751-4F0A-AE31-8E46E9073C2E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"736b9260a2dd81e668b4583357c7dad931b3eb1f","datavalue":{"value":"10.1016/J.JSC.2005.09.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2457396$B6B4E0B9-2005-4EC6-8A18-8063D7AD7862","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9b28dc28639af347bd9fe259407cf2dca7f4761","datavalue":{"value":{"entity-type":"item","numeric-id":4232480,"id":"Q4232480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1ff40bb444aef19a9929d8e968acd9b26e2643","datavalue":{"value":{"amount":"+0.7983326315879822","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":"Q2457396$F9A3E2EA-395B-43B1-B7A7-F0AC4F6DF79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c06ba8733644d9d5f5dfc9094b9e5f9adb4de8","datavalue":{"value":{"entity-type":"item","numeric-id":3511123,"id":"Q3511123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5c34d51fd3d598e026eab6fb96d5fc07465106","datavalue":{"value":{"amount":"+0.778016984462738","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":"Q2457396$676454C0-833F-4C62-8080-03718D099E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53b7720cfb251d524a2edb596c3120111b5bd948","datavalue":{"value":{"entity-type":"item","numeric-id":3558346,"id":"Q3558346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21bdb79a811b04f5a0affbc0d1e764082e061fc","datavalue":{"value":{"amount":"+0.7668022513389587","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":"Q2457396$39F4625F-E447-4BCF-879E-44A4573FFB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e64d5c4746a237214fe675dc039e62af72aed733","datavalue":{"value":{"entity-type":"item","numeric-id":4279515,"id":"Q4279515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d13cd5c905645f83eb609b38c5b4da6d2415c3","datavalue":{"value":{"amount":"+0.755083441734314","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":"Q2457396$8484AD63-849C-43EA-86CA-19FDD75CBEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efbe6d3b11f79ab5f19f8261c6d2346eae66c8ec","datavalue":{"value":{"entity-type":"item","numeric-id":4247095,"id":"Q4247095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ad68d6fad4d6e3c77f8da1e3cc7b64a0ac20dd","datavalue":{"value":{"amount":"+0.7547892928123474","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":"Q2457396$7C5CF03F-81C9-4CF1-B180-12035D0C11FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2457396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2457396"}}}}}