{"entities":{"Q1949768":{"pageid":1960510,"ns":120,"title":"Item:Q1949768","lastrevid":82334498,"modified":"2026-05-06T20:39:27Z","type":"item","id":"Q1949768","labels":{"en":{"language":"en","value":"FEVS: a functional equivalence verification suite for high-performance scientific computing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6163704"}},"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":"Q1949768$E2227E36-1759-4CB6-8A30-63B8DC361CB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7130c5062e6579d9aaa277077374284568933d7b","datavalue":{"value":{"text":"FEVS: a functional equivalence verification suite for high-performance scientific computing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1949768$12B2DC47-DE5A-4A0F-A011-E51F62DF6156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ecc6e455355300d52c7e23123a95ade2d9a6e2a","datavalue":{"value":"1264.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$E14E4FA5-DE73-41F3-A99F-416E55989FC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b278df194368acdcf33f8ca3335a7df817f9688e","datavalue":{"value":{"entity-type":"item","numeric-id":453517,"id":"Q453517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$B72E90CE-1751-404D-8E31-406D797E3C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5f884dc992afc1f6be5476bff38b4bc860ac2a","datavalue":{"value":{"entity-type":"item","numeric-id":1949766,"id":"Q1949766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$80ABFC10-D3E3-4D0C-B60E-D469E1D53B97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e5cf57799e8c41ecba181c21bc95047b71cb3443","datavalue":{"value":{"entity-type":"item","numeric-id":294368,"id":"Q294368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$677720B2-BDC2-4718-943D-4031EC08D480","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"782fb32ad7c4d5443f931029802049ce97bd30bc","datavalue":{"value":{"time":"+2013-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1949768$23CD7CC8-C5B2-43C1-B341-0D776BE01B2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$950AC83F-0FD8-4297-A54F-718F34BB2CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$269F6A26-86BB-4C94-B51E-A9C8733B0C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea8d7fd647e9503babc529061be6b6d7b00c9e13","datavalue":{"value":"65D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$233A8FD2-F8F6-4B30-9EF1-45B321AC611E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d613f52ba28b5cfd2178e2bec9e8ee65227238c6","datavalue":{"value":"6163704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$93FB9117-6444-4439-AD8B-D7E04E8A1E99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949768$46624A9F-5A78-4D7C-8C50-3604A6674847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a3856f0f5f3d8506ff2d5fea6957010c25b70b7","datavalue":{"value":"parallel programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949768$33D71C78-DFFE-4983-89C3-A158F4FC4CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ac4cd934611b89a921227736d078b9b990e95","datavalue":{"value":"functional equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949768$4E1EDD03-6A50-4E8F-B47D-48A9DA353108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71c09e946233810b1fca92ac89457c740af81e41","datavalue":{"value":"benchmark","type":"string"},"datatype":"string"},"type":"statement","id":"Q1949768$6A0BF63D-9B64-4EEB-B732-67597D279DFE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"602b32d79a3dd12c7713e80fb0597b8ab4375f08","datavalue":{"value":{"entity-type":"item","numeric-id":16614,"id":"Q16614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$7D6936E2-E4C2-4295-ABDA-1AAAC11A1336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f4c17796e229e6e7e123ed82c1d390311f97bd3b","datavalue":{"value":{"entity-type":"item","numeric-id":17046,"id":"Q17046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$3D8B1FDB-CA83-4C49-8E55-FA42B8A3A7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5dcb486ea2ffc39531287854f4a7be9ffb011b4","datavalue":{"value":{"entity-type":"item","numeric-id":17045,"id":"Q17045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$6A157A9A-AD2D-4A1F-BE82-196622938848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3ae88363a4104fa33d8d470f7de8981994e5e440","datavalue":{"value":{"entity-type":"item","numeric-id":21390,"id":"Q21390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$2EDBBDB7-4705-4CF9-AC97-F4BDD97CC30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fe5077d712c4f7a91829b6a22ef0e0039cd600ea","datavalue":{"value":{"entity-type":"item","numeric-id":15691,"id":"Q15691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$6B5FE8CA-5E5C-4095-AFFB-FAF064C5D9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d560ad72fd288969b6a46f8ac77d54f6d297bf97","datavalue":{"value":{"entity-type":"item","numeric-id":16796,"id":"Q16796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$7077C825-9916-4B12-9D22-1BA7BD80F821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$940F745B-9466-40BC-986C-42D9B2DD000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce63d9106f2c1c934cab3902cda6a895f70e9488","datavalue":{"value":{"entity-type":"item","numeric-id":15060,"id":"Q15060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$8B6C1CBC-64BE-4D13-8B02-518BEFCAC8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28f560908fd8637ed84ec7b61f89df56d43e380","datavalue":{"value":{"entity-type":"item","numeric-id":18600,"id":"Q18600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$8AC5660C-F480-4FB5-B969-C38241C32B56","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":"Q1949768$64B34B46-5D8A-4422-959D-5ED1146D05CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b43cd51ff53438540bd2756c3daebe7736b8515","datavalue":{"value":"https://doi.org/10.1007/s11786-011-0101-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1949768$1E9126C5-C41C-4E8D-8D1B-41FE217210CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ecd4790530d9b2a9c83ce4659193a8fcfefecfd","datavalue":{"value":"W1978898818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$4DBD0EFC-BB12-4321-8649-3CB58D505AA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3b3a3f4b3f44b312014bf38e16d46d1bd8aea8c","datavalue":{"value":{"entity-type":"item","numeric-id":5716568,"id":"Q5716568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$0552F0E4-410C-4C3A-A817-390CB9DA3D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$B054E18A-B47C-4028-A246-93DC229F7C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"681769f62f1bdff8943148c499843c2eab2b1896","datavalue":{"value":{"entity-type":"item","numeric-id":5311266,"id":"Q5311266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$9896D9B7-8BF1-4A7F-B5DE-A98D4C7D9971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c4600dfadd07a24cd31f492d72709127901a51","datavalue":{"value":{"entity-type":"item","numeric-id":4738356,"id":"Q4738356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$CE7FC21B-4DA9-4AA9-B0E2-18CC4C528E41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf88b863390c55f20b48d9d9cf11f1e3b8797c5","datavalue":{"value":{"entity-type":"item","numeric-id":671443,"id":"Q671443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$A81B8ACC-8DD3-4471-9F00-A04857683C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20538ab31dbe4c0509fd81e10316a37d5a89639d","datavalue":{"value":{"entity-type":"item","numeric-id":5553606,"id":"Q5553606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$D96DF913-EEB0-418A-90C4-1503190D07DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b4e897f9890c1d9e8b2a8d0d23f831a7addfcc6","datavalue":{"value":{"entity-type":"item","numeric-id":4122801,"id":"Q4122801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$B49A5F08-4B10-4791-A20A-8FD9C2EE9816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22bae08be12cb606e270971180e8aa8c1d3843f0","datavalue":{"value":{"entity-type":"item","numeric-id":3075497,"id":"Q3075497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$37620AED-EF20-439E-B619-23AD26AA8AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa2ecb01d1000f707b2d4e9dd305373c58ecfc0c","datavalue":{"value":{"entity-type":"item","numeric-id":3636883,"id":"Q3636883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1949768$06CF5224-5249-4412-A05F-F73F3E835EDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef7d1e5db61cf6c6175b182f5d479b9fdd2b95ae","datavalue":{"value":"10.1007/S11786-011-0101-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1949768$4B1D0FBC-2D4C-4978-ABFE-2299E8F24476","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ad82efd591473a8164f3619743b545c65b5925f","datavalue":{"value":{"entity-type":"item","numeric-id":1949767,"id":"Q1949767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc4b33589682ab53b99383bb5b007f7d50168241","datavalue":{"value":{"amount":"+0.7864943742752075","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":"Q1949768$2B0F1F1B-1281-4614-9E3A-A5C0022C146B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24940faf9dc83cfffed21306c2b16f722462275","datavalue":{"value":{"entity-type":"item","numeric-id":6041173,"id":"Q6041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30d6821af3314b139812772875d2a3baac052890","datavalue":{"value":{"amount":"+0.7355438470840454","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":"Q1949768$5DAC88B1-A186-47F2-8FBF-5BA4C5BFCE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ecb97af607a1e2902d6b958e44cfcacdc2addd4","datavalue":{"value":{"entity-type":"item","numeric-id":3014314,"id":"Q3014314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef18975308b4bda17389ec0f74d78963d54a6d96","datavalue":{"value":{"amount":"+0.7014762163162231","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":"Q1949768$394BBDE3-6A1C-46A0-8D68-70B20A37429B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6322c3c77566a99e7f30ca69c19e43c8247031","datavalue":{"value":{"entity-type":"item","numeric-id":5308382,"id":"Q5308382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8da02af795781b8df6307336cd344bf0af5768","datavalue":{"value":{"amount":"+0.6976016759872437","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":"Q1949768$1E682A0C-99CB-47F3-BB6C-49AF1323506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0111cbd8f9259554d7f306bccbb47cb0a531f982","datavalue":{"value":{"entity-type":"item","numeric-id":2570078,"id":"Q2570078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88b0675f46eb7a47e31c272d388327b2423f551","datavalue":{"value":{"amount":"+0.6756237149238586","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":"Q1949768$B004B3D8-5C8A-4A06-97B3-47EB3CF710C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FEVS: a functional equivalence verification suite for high-performance scientific computing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FEVS:_a_functional_equivalence_verification_suite_for_high-performance_scientific_computing"}}}}}