{"entities":{"Q3558346":{"pageid":5588250,"ns":120,"title":"Item:Q3558346","lastrevid":88382447,"modified":"2026-06-04T14:22:45Z","type":"item","id":"Q3558346","labels":{"en":{"language":"en","value":"Automatic parallelization of recursive functions using quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703527"}},"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":"Q3558346$A0FA3C8E-9E26-4166-92D1-63833DBF4187","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f38ab780e9d2e8b50df7a53e6a390bd2ac5ec4b","datavalue":{"value":{"text":"Automatic Parallelization of Recursive Functions Using Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558346$8D246390-08BE-4F87-A20A-DB0CBDC37DF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aecca1ad6cda8b6aef4f7fafd079125587a7643b","datavalue":{"value":"1284.68191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558346$03289BB4-8A7B-4C38-9815-96A8DA749891","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c76fc3425b74bed41b445bc9ed2860e046a3fc2","datavalue":{"value":"10.1007/978-3-642-12251-4_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558346$C17DBC97-4246-4285-9E14-74B6CA026035","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1879384f5799de15d5fd4ab3de2c1d1f78dd081","datavalue":{"value":{"entity-type":"item","numeric-id":1648880,"id":"Q1648880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558346$1A23FF44-AAD8-4636-AEA2-AA7F9F7028EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb38b934f7c944f8bd2e65157459076f251d502","datavalue":{"value":{"entity-type":"item","numeric-id":1648882,"id":"Q1648882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558346$A4FB05EC-402E-4219-9BD8-2F7C49BBDB0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558346$A20CC544-732A-44E9-889F-F5D913FE085A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-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":"Q3558346$EB58F0B6-9DCD-40C5-8F85-751D32B12F13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558346$570D0B93-8536-4480-92DC-7FBF47930FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558346$5572F697-41B7-4D1E-8EBC-35C55FEE4257","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e5104235537a0db200bef66926ff39315f27adc","datavalue":{"value":"5703527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558346$29F39760-CBC3-48D2-95E2-11C3B71CC03D","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":"Q3558346$3B69F8D7-4214-4917-865E-4A443B981939","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa187e21f32bc7610d958906e8b8b199ce8f3a8e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12251-4_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558346$69C1D3E1-5A7D-4C0D-95EA-4F2689A05DCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6fd16d7ea04d2aade655d9bf4eaafedc22ce4dad","datavalue":{"value":"W1520171143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558346$D4E5222A-4C4E-442C-8E10-0F23A150D845","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b770064e41ad25f907fab4819d7042d93e8e15c5","datavalue":{"value":{"entity-type":"item","numeric-id":4227008,"id":"Q4227008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92d7c5b5f309dc94f018c22ce30c0f72fab1609","datavalue":{"value":{"amount":"+0.7725635170936584","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":"Q3558346$B6D20ABC-4FFE-4563-9002-49389C679B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f105812766a4463b23531525faf9195f7ca22b29","datavalue":{"value":{"entity-type":"item","numeric-id":1375712,"id":"Q1375712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1cf0171a12b160ce08cc8155a43202675fdb3a","datavalue":{"value":{"amount":"+0.7725248336791992","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":"Q3558346$35B57B03-8AFE-450C-9A35-A1294C4C15C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e98e4c710a0332b320cad52423408903835de9c1","datavalue":{"value":{"entity-type":"item","numeric-id":2457396,"id":"Q2457396"},"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":"Q3558346$FE6ACF19-D397-4A4E-A7AB-3B7526457D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee42ee6ddfbf3a25e12aee9384119acdc426f8f","datavalue":{"value":{"entity-type":"item","numeric-id":2722049,"id":"Q2722049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ca9e68c33061e169b56bdfab970f106cf36c23","datavalue":{"value":{"amount":"+0.7367973327636719","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":"Q3558346$90FD5BDC-EA63-4283-B887-6801A8F5056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c19cd62c95a63e4acb7d44f3d0ec1c578b3a80d","datavalue":{"value":{"entity-type":"item","numeric-id":3692837,"id":"Q3692837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670058d5d48cddc4ed7ea9a966ef6094a7b90a0b","datavalue":{"value":{"amount":"+0.7347699403762817","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":"Q3558346$17AB01F2-C035-4774-BFB1-6F34639546A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic parallelization of recursive functions using quantifier elimination","badges":[]}}}}}