{"entities":{"Q6063866":{"pageid":13198022,"ns":120,"title":"Item:Q6063866","lastrevid":58666317,"modified":"2026-04-06T06:07:39Z","type":"item","id":"Q6063866","labels":{"en":{"language":"en","value":"VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i>"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7776326"}},"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":"Q6063866$B78C0B44-2107-4BE7-BEDD-F56D176BE7A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6347491fd5a44d117eec53bf026e8b0ec11e39c8","datavalue":{"value":{"text":"VeriFly: <i>On-the-fly Assertion Checking via Incrementality</i>","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6063866$04422A43-BCE6-4C1D-86C7-943AFF0A152A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6b3d05bf0b1509968140b2e95924add12c512c0","datavalue":{"value":"1530.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$A92C3FF2-D99E-453A-BC2F-C9F240C9E2EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$327E4215-8AF1-4C53-BEF4-D08EA96A19F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"066d1477c8c2dc8167e035c2af02788021afe714","datavalue":{"value":{"time":"+2023-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6063866$54629EE5-5A5F-48C0-8CEF-F726E9506994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74f060d25b3e664c9d51c7d460c40ab2d6605a53","datavalue":{"value":"https://arxiv.org/abs/2106.07045","type":"string"},"datatype":"url"},"type":"statement","id":"Q6063866$6A936D8F-B6B3-4F18-9ABE-F30EC0421AE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$2549A4AE-8A9D-4BAD-9E23-FF6F3D2245D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$6833EAD0-4233-44A7-BD5B-00EB3D7C80C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$9679C713-B954-4425-87D9-BB10F0EC6399","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecbf12bd93d45329974a522377f7e07fcf3a3de0","datavalue":{"value":"7776326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$86D946FE-EABD-4B85-A4EB-C5F0E144333F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7376c2d46154173f75475724d0c479a25abe8e","datavalue":{"value":"on-the-fly assertion checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$4AD45C3C-A2E5-4B8D-A49B-B24891DA663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2238ddca87af4376810e06d658955030c3e8e5","datavalue":{"value":"program development environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$40634F2D-9018-41D3-AB4C-3110E3766A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$A9028A3D-DE80-432A-BAE2-8090FB3F9622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$C06D23DE-72BA-4D12-8616-33C2E4D19745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7247492abbed8d671aedad2ad1ffe44eec84687","datavalue":{"value":"incremental analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$16894C11-19CE-4482-A42D-97ED72EA618A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$7D0425A7-1EC3-40CC-903F-F09395507C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86d4fb8ba2dc31bd4fef7b1a4f177458544ccfaf","datavalue":{"value":"constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6063866$4FF1FEDF-A202-4774-B679-5EC3D701E151","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":"Q6063866$98B3D7FA-90A4-4EBB-8675-03F3670112BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffa3482b9421e1e9f648f34db41bc136385ad066","datavalue":{"value":"W3208361496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$A188B0AB-A33D-4153-966C-0BF4D7E0A619","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$7FFAD1CC-5540-4E35-9F6A-754D8D27564E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"942c0b17fee427ab83631e8d39e0c7d4c3b74b8b","datavalue":{"value":{"entity-type":"item","numeric-id":5020649,"id":"Q5020649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$87441B1B-8AB2-460F-9A1C-3DB8B84841E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f68a46f2cd4bd5ca6df8604037dd8f54f4c8685","datavalue":{"value":{"entity-type":"item","numeric-id":5097624,"id":"Q5097624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$C390D214-6640-40BD-B1D6-840BF0019E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9918cfe3b596305e7d2801918d774f6985cb5f","datavalue":{"value":{"entity-type":"item","numeric-id":4957220,"id":"Q4957220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$65AC3624-D6C3-445E-94A2-05D4BC679F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$15FFD992-A9FA-4E5F-B47F-A6EC1F55FB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$79D79416-C534-443D-9696-3DAF6A4D41ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8567e612fefba6e9cf7726613fab44bab80fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$9257A8E2-52E9-44B5-9A51-D3996729F9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0500b1f20fcdf72f00e1b86949bf6be01ecf3384","datavalue":{"value":{"entity-type":"item","numeric-id":4844168,"id":"Q4844168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$7B98D715-DCB7-4574-94D1-647327FF8402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934755cb9abf11cef18f5657a60e0f1206464914","datavalue":{"value":{"entity-type":"item","numeric-id":4644354,"id":"Q4644354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$C66EE357-3C89-4438-9769-D0A76E97AABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c120477600e4a3e024367c50c323ebc9777dbc5a","datavalue":{"value":{"entity-type":"item","numeric-id":685124,"id":"Q685124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$35E6F86B-7DD3-4D28-ACF1-99ECF0D07E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c75790c9dd4ffc2c395fdf76c21f0ca40efe2d","datavalue":{"value":{"entity-type":"item","numeric-id":5504599,"id":"Q5504599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$18DE3DB5-2F18-43DF-B078-D1C130682920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15073390dd1260ee5e167563f0e9c459c4436960","datavalue":{"value":{"entity-type":"item","numeric-id":796313,"id":"Q796313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$CD4A9AA5-4E66-4EB7-A7A8-6CFDD706C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefd64dba1d3d3fc11091bb96eae524f68a2bfac","datavalue":{"value":{"entity-type":"item","numeric-id":5387906,"id":"Q5387906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$C8615EF8-E2FA-4C3A-9A8B-1CECBAA34A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$6A66D678-F403-4AD0-9AE6-2CD7DFFBC1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"046f20e9dee13f4b7d9008c7ee545d3174c427a3","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$046D86C9-D91A-4B9B-923E-12679687DDF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae31cbd107a3fff045ec3ec6d0a2471856019d7","datavalue":{"value":{"entity-type":"item","numeric-id":2819802,"id":"Q2819802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$AE7EF5F1-A830-416F-A7BB-9CBF0C2F1619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc38e0f12dc12bf9a3a54e9bb80ff6e58fd43788","datavalue":{"value":{"entity-type":"item","numeric-id":5504693,"id":"Q5504693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$ED6A9776-B7F5-4260-912C-1DFE9D4F00BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cec6c49db5f12e0ec3e401cc0c8955db1ee6c9","datavalue":{"value":{"entity-type":"item","numeric-id":4339846,"id":"Q4339846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6063866$3B927CFF-A549-4527-B332-B4F32EB52BE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0024af4d90328b28dc5ce8c992a661356a12c123","datavalue":{"value":"10.1017/S1471068421000430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6063866$5739590C-2715-49B6-B820-870AA077FFE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e75fd6a7a667c878559547437708d6953acf8","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982652a100ac1a925e50cd931b6894c3310d92a0","datavalue":{"value":{"amount":"+0.7396612167358398","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":"Q6063866$9BCC8284-9862-450D-98DB-F6249984C808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fbe7ce758dee5db32ee750644842cf5b4283ef","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58cea5df86de410784651c202766df56e07e5b32","datavalue":{"value":{"amount":"+0.7311019897460938","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":"Q6063866$B50ED5CB-0AA4-4379-AC84-49F9A049C6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"173ea42de9c3d1d7a700bda05f56631e4abbf156","datavalue":{"value":{"entity-type":"item","numeric-id":4873987,"id":"Q4873987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb99d0598f73f7be54d798b63cf541444660834b","datavalue":{"value":{"amount":"+0.7240380048751831","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":"Q6063866$EBC83F31-EAF9-47A2-89E3-A81E07CB0749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ceb98e9f1f7b87ac262b76da86297b305c0477b","datavalue":{"value":{"entity-type":"item","numeric-id":5387906,"id":"Q5387906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f9c1dee380fdc4dd55085765b6e3e941b40b16c","datavalue":{"value":{"amount":"+0.7150753140449524","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":"Q6063866$587A48ED-0943-4BED-9A45-C6508EA61F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06aee9b0ee0b9e1f6ad2cfaa09c83b5665b60942","datavalue":{"value":{"entity-type":"item","numeric-id":5178839,"id":"Q5178839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3657c7e97723fc6303b0f77e43133609c8a3d96c","datavalue":{"value":{"amount":"+0.706928014755249","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":"Q6063866$9A9C05DC-C7AD-49CF-BC2E-DECF2083997F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6063866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6063866"}}}}}