{"entities":{"Q5426003":{"pageid":7455577,"ns":120,"title":"Item:Q5426003","lastrevid":50214407,"modified":"2026-01-13T13:21:25Z","type":"item","id":"Q5426003","labels":{"en":{"language":"en","value":"Verification by Parallelization of Parametric Code"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5212126"}},"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":"Q5426003$86CB403C-213F-48AF-AA8E-82DB13CAC1F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b1b4d88ad7e757c89cbd1970d558916c1b2ca6b","datavalue":{"value":{"text":"Verification by Parallelization of Parametric Code","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5426003$42FF3314-96F8-4AE8-9F7D-2FD5416F4772","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f27be63ab79e1dcbbba7d3bc3e5a1f8e602c23c","datavalue":{"value":"1122.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$ACBE3596-9A81-491D-87C8-94CEFF2E7146","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8d214f03458ca142380cd6d9cb061682d853a7cb","datavalue":{"value":"10.1007/978-3-540-75939-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$C5D5F3AB-6EBB-4211-9318-B1C96A3F4CC2","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":"Q5426003$354E7132-7218-44E9-9040-3E54FA6F9C4B","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":"Q5426003$15B68CE6-5F32-4B5D-BDB2-6978CA33A1EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$BE22E43E-ABF6-488C-976D-24E10E758500","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"10a5b1b71dc88e8e4df61ab7ef0a14b44bff6f5f","datavalue":{"value":{"time":"+2007-11-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5426003$62FC6D5A-379D-47A2-B53A-33427BE41711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$CC4230F4-6339-4ACB-91F9-8D4D80700053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$85FAB9A7-2F43-4ABE-AB58-F894B146B64B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$2059835A-4DF0-4831-B2DE-A032C219FA12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08b341d3441227e4b7eb2e457ea00006f62ad14d","datavalue":{"value":"5212126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$6B8D1C61-C991-4E2D-BF35-723461B51F28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4e9ef6563cde3aee6dc1dd7aa791fb88368d377","datavalue":{"value":"formal software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426003$00601951-F425-4FFC-88B9-824619DF2804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a9c5927f3d29c94b1672f2ceb3db0b27b5445e","datavalue":{"value":"parallelizable loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426003$951DCDEB-F5EA-4213-978A-A5C025895B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e94b70e469d60b8d80f45600fccb145a42333c","datavalue":{"value":"symbolic dependence analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426003$CD3CD112-CC05-422B-9854-5BDC03522A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1944382a8781a1369224e4cd37ff9a2b0e16dc53","datavalue":{"value":"automated first-order reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5426003$A545BD7B-219B-4A28-B1CB-49543F9B5ED3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$4AEBEFDD-CD5C-4D92-8A54-D2F333D323D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$5A49E9FE-F328-42E0-B9F1-656650E8FF5A","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":"Q5426003$AC887937-4AE4-41FF-98F2-B4BDE7BA13DA","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":"Q5426003$5B4B7645-5308-41AC-8551-83721FB6E586","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4a77dfa1de0aee9f33169b655043af9b9411b8f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75939-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5426003$0B44192F-90DF-417F-9AA2-73CC7A24CF1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2025ec2a3d691febd92255f5ce07b2793b6514f9","datavalue":{"value":"W1513365661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5426003$EEDA7294-BE7B-4BC3-B250-61867EC93E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"400f7776c938762609b5739c4f556002816887d9","datavalue":{"value":{"entity-type":"item","numeric-id":3853105,"id":"Q3853105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$215E1639-0780-4B14-A814-9E287EC9D9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fee3a99fd03e027aac2c8350986d4fec7300642","datavalue":{"value":{"entity-type":"item","numeric-id":2771739,"id":"Q2771739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$43AF3ECB-2F7B-40F6-994F-CD67DAB17515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0057a0513b5d0f06b75558c205fc37b176769cd4","datavalue":{"value":{"entity-type":"item","numeric-id":5901611,"id":"Q5901611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$ECE2364E-8F3E-4981-8ECA-C5239BFCBBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$EED791D9-C233-4068-BE7C-3D91AEE6F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$67B664AA-02F4-401A-83A1-BDE0A463421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a9668b83a30963913287393bea216063034d308","datavalue":{"value":{"entity-type":"item","numeric-id":5387902,"id":"Q5387902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$F09A95F4-E7F4-4942-AD3D-64F7E81C89A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$C18A23F0-7B59-456D-B35A-7521800EA8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d31d1f52abf808cf7f80f08f8b7b7eeefb075c","datavalue":{"value":{"entity-type":"item","numeric-id":4806203,"id":"Q4806203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$7899D16D-EA43-44CE-B34C-42BE36C25E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80d0768b512a163bd313b44078a22fa3a6a64e00","datavalue":{"value":{"entity-type":"item","numeric-id":5312984,"id":"Q5312984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$4CDDD869-E779-4F86-98F0-A5B5EB7A0BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5ccf0b70a10206d3060a0ecdfcb0df27797b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$CC707641-7F11-46F4-A479-44A8FBD00D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79be7140dcbe0aa88396f1cd226352626f0471e4","datavalue":{"value":{"entity-type":"item","numeric-id":5477655,"id":"Q5477655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$1146F50A-DEAF-4850-801F-97FC6C89FF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edeb99abc2ef267bc55a087da9c1ab777ef3c216","datavalue":{"value":{"entity-type":"item","numeric-id":5316441,"id":"Q5316441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$1873DE55-7D99-407A-A2CD-9E53FD2BBC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661a35636a8584041bfbde882918d22d545430f2","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$F7EBF58A-85ED-4934-B471-C0E34B888E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9b6bedea1cffabec2896430aabcdd08d9b551a1","datavalue":{"value":{"entity-type":"item","numeric-id":5387908,"id":"Q5387908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$BD39FBEE-6CD4-450B-A091-B2D790490ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae911d51411b111ec6469cceea7af23c4237aeca","datavalue":{"value":{"entity-type":"item","numeric-id":4040908,"id":"Q4040908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5426003$F87DAAF9-0DD0-487D-91E4-093800A99A74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08347eef503ef7ac96f08b390b8462d50d19a875","datavalue":{"value":{"entity-type":"item","numeric-id":5387902,"id":"Q5387902"},"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":"Q5426003$9B3CD141-1865-4AF7-BEF1-68DAF3AD5455","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":"76d1b353742ad31809aac3d5d919934358e3dde8","datavalue":{"value":{"amount":"+0.7325851321220398","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":"Q5426003$E9BD2789-0196-4439-8C01-E2D61A2B5878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f284b16a2afee30940b5ef7c2361f8cb8e04521","datavalue":{"value":{"entity-type":"item","numeric-id":4551131,"id":"Q4551131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca0a49aa8d26e41e9b50564e859ae8e7f1e661c","datavalue":{"value":{"amount":"+0.7270203232765198","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":"Q5426003$F9CEC022-754B-44CA-82C4-C993C28B69BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf899ae168d3320f4b66d2b5a95f0af464f439d","datavalue":{"value":{"entity-type":"item","numeric-id":493122,"id":"Q493122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df3cc9645bda363342670ba2c2a30e7b6d467c7f","datavalue":{"value":{"amount":"+0.7203897833824158","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":"Q5426003$C2A793FC-B0C6-4DC9-891F-A40C472A411D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a5f40d8d1b0cbde67fb514d0002484b78c8336","datavalue":{"value":{"entity-type":"item","numeric-id":2942881,"id":"Q2942881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f67bff82e97378ccb6c2cc07da5583bd578902","datavalue":{"value":{"amount":"+0.712248682975769","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":"Q5426003$F37AF9EB-3E6B-48AD-9264-5BE1BA293171","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5426003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5426003"}}}}}