{"entities":{"Q5387902":{"pageid":7417476,"ns":120,"title":"Item:Q5387902","lastrevid":50366507,"modified":"2026-01-13T21:58:35Z","type":"item","id":"Q5387902","labels":{"en":{"language":"en","value":"Automating Verification of Loops by Parallelization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5279584"}},"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":"Q5387902$E9F1E50F-89BF-4E25-AF6E-9C97FF7EF1FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"102490ee955f4aa10921de6f7f26f527fbc53b07","datavalue":{"value":{"text":"Automating Verification of Loops by Parallelization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5387902$AE236DD9-ECD4-4A0B-83F5-D6572749615D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c09b9c8346fe5c5eca108c13311d96a89acbe365","datavalue":{"value":"1165.68405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$BC39C08B-8EA6-4771-A9E5-F01B5F229A88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64c1b150e684fc205a3322facedb5090bc49d528","datavalue":{"value":"10.1007/11916277_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$FF051A39-5277-4A88-9A9C-EF04ACE96B60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f8532118b5f8833a3126aaaff176a673a5ae213","datavalue":{"value":{"entity-type":"item","numeric-id":5385596,"id":"Q5385596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387902$C7253B99-483B-46A7-8B7D-FEF821D0EF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387902$2391D4FD-4D7D-45A6-B64F-24CC21B79A84","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387902$515BB3C7-E696-486B-95A4-C7330CC4E01F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6183386ae8366a240584c653ce5ca2494433aedb","datavalue":{"value":{"time":"+2008-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5387902$B1A17236-2668-4EA8-994A-9CEB5239D410","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$BB0F9A9B-B708-481C-B57F-DDB91A4EEB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$3285C409-1437-4656-84AF-398CCEDC5A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$0FB77329-6116-4546-95E8-92CFDBD5EE8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15ede26b59ea15294fae707a1b1f2d99b314fd62","datavalue":{"value":"5279584","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$9FF442FD-0AAA-487B-8E32-89D6E0A18191","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387902$E4B7EC93-8810-4733-A849-D56E1A84C5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5387902$7B3D9302-CA6D-4E76-A662-8B8E9F2C3A42","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":"Q5387902$DD5338A1-B198-4E5B-B244-CC360E070E79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1e097b8f820b83f4f8903a3ec1fdc9891a0166b3","datavalue":{"value":"https://doi.org/10.1007/11916277_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5387902$40F3B72E-37AF-4710-B560-5208D5CBF720","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"521c2d70dbc5115de1c455ce8f9e354cb7849b9c","datavalue":{"value":"W1557508031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5387902$60B3BB2C-C763-459F-932D-E92999A10F12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432e4f0b2ae62c4c97f048e8e2782f2d8550052e","datavalue":{"value":{"entity-type":"item","numeric-id":5426003,"id":"Q5426003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5fd7db74b29132f0c342bb003bb8a383feb992","datavalue":{"value":{"amount":"+0.92377907037735","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":"Q5387902$2AA1BEB5-1F22-48DA-8B67-F4E0E5AC3E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d861b3c3d9879bc547785c7d76c3c43a050a5565","datavalue":{"value":{"entity-type":"item","numeric-id":3460073,"id":"Q3460073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d731412b151224c5f9bf0a5ec1f10600564702f","datavalue":{"value":{"amount":"+0.7336447834968567","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":"Q5387902$5787779B-1B23-40E3-BD53-BB003320DAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0c8f44423e3386fa6afed8e66a29e354eb1f07b","datavalue":{"value":{"amount":"+0.7275944948196411","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":"Q5387902$9813CF46-0BCF-4E1F-ACC8-2B8C39025FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f464b64c5ce744bcc9e044bb866ec7efefd38317","datavalue":{"value":{"entity-type":"item","numeric-id":604381,"id":"Q604381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f463aa9f4795d5eae6534cbac1b1af23e96cbe","datavalue":{"value":{"amount":"+0.7152868509292603","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":"Q5387902$56D8AC52-3754-44CB-90EA-AAEF7641B63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce38ee1ed9aadbe0e0427d9ce6fb345fba2fc4cd","datavalue":{"value":{"entity-type":"item","numeric-id":2819827,"id":"Q2819827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f325ebe944d088eb9185b09fca859ddc712171","datavalue":{"value":{"amount":"+0.7117056250572205","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":"Q5387902$E304DF23-5E5F-4629-A62E-873B7DA28128","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5387902","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5387902"}}}}}