{"entities":{"Q4994112":{"pageid":7023689,"ns":120,"title":"Item:Q4994112","lastrevid":58382703,"modified":"2026-04-04T23:43:28Z","type":"item","id":"Q4994112","labels":{"en":{"language":"en","value":"Proceedings of the eighth international workshop on verification and program transformation and the seventh workshop on Horn clauses for verification and synthesis, VPT/HCVS 2020, Dublin, Ireland, April 25--26, 2020"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7360143"}},"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":"Q4994112$E6BDD3FA-0A92-4B1E-8D9A-4C3B20A3310D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1d62e8111b15501325a717c1981a92ee3663052","datavalue":{"value":"1466.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$1332CBEE-1016-4D1A-815D-0BD38B27371A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b0e314ef7a1de203858325d95d31c0796c41f0d9","datavalue":{"value":"10.4204/EPTCS.320","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$DD271D44-3A99-4131-96FF-C3248708B950","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4994112$99AAF48E-D518-4A6B-AA24-4977D28BC8E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"161dc6404af7e2740517c7a23186f316718cd847","datavalue":{"value":{"time":"+2021-06-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":"Q4994112$CE91A084-CBA3-4484-9DFE-0503F708AE5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a7c507b4d9e2a95113351e29d0619a55ebf4d5e","datavalue":{"value":"https://arxiv.org/abs/2008.02483","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994112$34993B8B-9F5D-4ABA-855E-182513BC0802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a313b5704522d9dd6741162b2fee87fdabe225da","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?VPTHCVS2020","type":"string"},"datatype":"url"},"type":"statement","id":"Q4994112$46992333-E52F-4854-A1F3-348E37B047CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$BC153B07-6188-4052-AA8A-C2D2CF14D6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$AE4F4F7C-0AB0-4D4E-8373-CBAB4EA1D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$7F61DFE2-2632-447C-93E7-7203D2596316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$B5CD710F-C49B-40B4-8FDE-E3200FCCC897","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10e090faa8dab631a423a1c8043a4791512d815b","datavalue":{"value":"7360143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$A765EF43-F177-42ED-9897-5248C24851BB","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":"Q4994112$82A768E3-937B-4E31-AFFE-6A09D303392B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f790a9ef17972fd10bf57304104a25ce011fe81e","datavalue":{"value":"W3047420299","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4994112$B860759E-CBD8-4BD4-BEE6-2BAF22B7B0D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdea7beedcd45986feb228e66dca520cd3615390","datavalue":{"value":{"text":"Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4994112$A9D5C1C4-5A40-4C31-BDAF-85735DA85D24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43902adb401182aca723e6526864a577b90e011a","datavalue":{"value":{"entity-type":"item","numeric-id":5082012,"id":"Q5082012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01c3e4906c47f885f97b0cbbab67cd85dd7354f5","datavalue":{"value":{"amount":"+0.8385043144226074","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":"Q4994112$5D6C64E7-79B8-4017-8F0B-45C4DB3F62B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43f96b8f594fc97f0b44f09d036fd07ca627a30","datavalue":{"value":{"entity-type":"item","numeric-id":5082014,"id":"Q5082014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d315244ca25fc8010cfcc2f0afec2d98bf20294f","datavalue":{"value":{"amount":"+0.79376620054245","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":"Q4994112$8CC0E07D-6677-491F-92C2-5A4CAA23DC9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dfa2cf720edf9564047b09c92c509a077b5720d","datavalue":{"value":{"entity-type":"item","numeric-id":5114416,"id":"Q5114416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed765c704a72b481ecb1bdd71551a29871466d0c","datavalue":{"value":{"amount":"+0.7849588990211487","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":"Q4994112$970A471C-6C36-4247-86E8-19CCE8D566D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077cd40867fb83b4a3872db5eabb1e8267a7ea43","datavalue":{"value":{"entity-type":"item","numeric-id":5114415,"id":"Q5114415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"177b1f921e386ef6b7cc8f4249235f047cf0d6f4","datavalue":{"value":{"amount":"+0.7835760116577148","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":"Q4994112$7B173FC3-F493-486A-A705-D180A9612B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e537ffebdb01f3751565ae819db3b64b767019c4","datavalue":{"value":{"entity-type":"item","numeric-id":5114417,"id":"Q5114417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8221833dc5f3ab136e6e5a27d387eb4591927e66","datavalue":{"value":{"amount":"+0.7834863066673279","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":"Q4994112$99D93914-6D4E-4189-A775-26087A306560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4994112","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4994112"}}}}}