{"entities":{"Q782497":{"pageid":784346,"ns":120,"title":"Item:Q782497","lastrevid":53780042,"modified":"2026-01-25T17:20:16Z","type":"item","id":"Q782497","labels":{"en":{"language":"en","value":"Using formal verification to evaluate the execution time of Spark applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225038"}},"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":"Q782497$9409CFA9-869F-433A-B44A-6287EC8546C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fab392c01fa8ceaddf6f1c365fa45110b6192305","datavalue":{"value":{"text":"Using formal verification to evaluate the execution time of Spark applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782497$034A8CB7-177A-499A-A503-920A70685411","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e534a4e8a6fce43c48f4c082bec90c850294fe3d","datavalue":{"value":"1451.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782497$F6D198FA-2980-4802-8245-C09B0475F025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"35a0e27373663474dfb6f73cfa90e55043359faa","datavalue":{"value":{"entity-type":"item","numeric-id":262134,"id":"Q262134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$BFB796B5-29F9-4164-9A4E-219AA10081B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bea23a71056d1346bddb5a7a6a630c9085bb2ea2","datavalue":{"value":{"entity-type":"item","numeric-id":782496,"id":"Q782496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$FA8E1B03-F901-487F-B549-980F82E59B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c3cb5b95c346da7b7b9b05b491410311dbd105b","datavalue":{"value":{"entity-type":"item","numeric-id":182294,"id":"Q182294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$699896C8-E8A9-492D-B6A0-71105B610905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"461bf1f4461967ef415175b84a0cc2e94943940b","datavalue":{"value":{"entity-type":"item","numeric-id":262135,"id":"Q262135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$8581B0AE-4AA4-4676-887D-6A288C8C7051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bb47a44df48bf82ac121b8bdfa01d7a1b0c7d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2637307,"id":"Q2637307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$9D20DF2E-1216-4656-BE8C-285CC575367B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$5C2A5540-E350-4A3B-A8E7-39B059706290","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-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":"Q782497$A60247C5-DCC6-426C-9764-23877E2F6E2E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24d155b02b913bda42acba4ea4e74ec7a2f7c096","datavalue":{"value":"http://hdl.handle.net/11311/1135498","type":"string"},"datatype":"url"},"type":"statement","id":"Q782497$83167957-BB24-42BE-B4B8-9F87B9F9B527","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782497$5973E6DD-9E5D-4DDF-B387-7BDEA681B21A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c41b2557a2d1032a93dda49456535264ff5163d","datavalue":{"value":"7225038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782497$2AAE2FC3-0729-4AF4-A40A-A033F13229A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q782497$8AD09A54-CDB2-495D-9A33-3B5E4B190A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c877658bc25bd0943265f77a039db62b5315341","datavalue":{"value":"big data","type":"string"},"datatype":"string"},"type":"statement","id":"Q782497$B4CE2043-F2F4-4D52-9084-889C7A3703D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cef2b34eddcd7a186f07c29943c7d850b90a976","datavalue":{"value":"metric temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q782497$2D157307-461A-4D05-8FEA-94BEA7B10E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q782497$E8CC7B2C-BC11-4B20-91AC-0384DFF19E60","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$C449B0E8-6C50-4897-8ADB-373BC3E172B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$F108DF4F-E3C0-4AF5-9CB9-1C01942965BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$E494FBF3-4FEA-4F5B-9D3B-13962A120766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$86ECE294-1336-426B-AAEA-21C70110FF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$6E8EA40F-3796-438A-A135-686ADD2ACD2A","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":"Q782497$AAE57098-79BA-47D6-8D51-1C1F808AA105","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d92da06c00e0f117b9d5a1e097961c9ffed02dc","datavalue":{"value":"W3009390554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782497$9E43B345-7113-41A2-8D8C-B27E4DA9F796","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$762B274B-CC8A-49E3-8A74-8A9EA56CCAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$7B814126-894D-49D6-8833-078AD1D18844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff032a9d76426de9e43307362d62cd3ad90a111","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$55ECFDB3-644D-4D06-84C6-19A28BF69C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8ddf98942aaab531dc2cec46baee628437be0f","datavalue":{"value":{"entity-type":"item","numeric-id":728264,"id":"Q728264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$E4273C15-3AE2-40A1-B929-CFEC398D2A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90e9188d4743f7b3c6e6c5952fc4df813e99619","datavalue":{"value":{"entity-type":"item","numeric-id":262137,"id":"Q262137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$9DE44C3B-95AD-423C-B8FC-E1A5111E6821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f541623726371fa1e6609e8c2eef0b9f81a4c6c","datavalue":{"value":{"entity-type":"item","numeric-id":4804909,"id":"Q4804909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$71B17662-970D-4826-97EC-FA68360910A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$E6BA6707-B9D9-4D04-9324-07DCA9FD1B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007c64cb1e51e420a82b1528582743678952b922","datavalue":{"value":{"entity-type":"item","numeric-id":2648578,"id":"Q2648578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$9369C72B-E13F-42B7-99D0-EB3E85D556A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$13CBD36E-EEC6-4804-8B9F-10D277D6C5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$0308ABB6-B066-4A61-9FE5-41E09D6751B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fd9d6b53cbc7055e2c96531a8c4310d7a20fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4309295,"id":"Q4309295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$61CCD1A4-3B58-4DC5-8AC6-6A5757645715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043b92649e7ff029c15ec8b6960da0e04c1ae254","datavalue":{"value":{"entity-type":"item","numeric-id":4503930,"id":"Q4503930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$6278138D-C44B-4092-A554-0157E4D4173E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12374fd48df592c4be9d57628a281abf855bba56","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$3DB45B67-0205-469B-9515-406212C90A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5385304cb5795793e8e75c6cb55faec40cdb40","datavalue":{"value":{"entity-type":"item","numeric-id":5617409,"id":"Q5617409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$E57B5EEB-B195-4A50-8F30-B2C5F618DE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13450ca2e2efa7ec19b5d047680ebf07a4c8bf9","datavalue":{"value":{"entity-type":"item","numeric-id":394966,"id":"Q394966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$C1D42A29-330F-4C2D-B6C7-308E92415512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767748581495151d2f33bff227c72e47614d02e1","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782497$C894FBC2-CC8A-4439-9D59-150291E56AAA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e2ceb2b829fdda59f3c9b93150d73ff42c1140e2","datavalue":{"value":"Q131112945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782497$E353D124-967D-4588-BC38-34B2220874DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63bb259441faba8870b9b4c69ef17e40d30a1708","datavalue":{"value":"10.1007/S00165-020-00505-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782497$E9A32064-854B-4EFC-8FD1-C44F29A3572B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19888373ee606b060607832740a18f7c4269cd73","datavalue":{"value":{"entity-type":"item","numeric-id":2164230,"id":"Q2164230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bb7f93e2a933269523c034180c9cc91519b2bf","datavalue":{"value":{"amount":"+0.7082934975624084","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":"Q782497$5024648A-67DD-4948-9EE2-34AB7D47C79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9154a84791be3a1b9084a1cee316b5473a335eda","datavalue":{"value":{"entity-type":"item","numeric-id":1798142,"id":"Q1798142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f659ed9c34ceb6d50d299785649c84929a456402","datavalue":{"value":{"amount":"+0.6587567329406738","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":"Q782497$FC3FC765-D848-452B-9D91-052E862CF753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4404a717aada0506be83bf269d2f142a9b10f0","datavalue":{"value":{"entity-type":"item","numeric-id":2038027,"id":"Q2038027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e4f2c7adf14e77c91532434c2066dfb5060c5e8","datavalue":{"value":{"amount":"+0.6579750180244446","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":"Q782497$4CDDB6FB-8D7E-4857-91F4-D53474FFEE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1cc234776aac273813baa8f30371adfc9a7a335","datavalue":{"value":{"entity-type":"item","numeric-id":4957189,"id":"Q4957189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bf95006464ed4d052b8ddd1afb2dba47656b872","datavalue":{"value":{"amount":"+0.6561259031295776","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":"Q782497$C0A368BD-641B-4C6D-BA63-17D642296D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2400af40844a5e6989a61a485f3b1add449bf9cc","datavalue":{"value":{"entity-type":"item","numeric-id":2632511,"id":"Q2632511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12285ec122fe34fc7694005540c024fd01e16df0","datavalue":{"value":{"amount":"+0.6358665823936462","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":"Q782497$419E5E7C-11C3-47A7-9E31-C285EA68A4B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:782497","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:782497"}}}}}