{"entities":{"Q5114416":{"pageid":7143990,"ns":120,"title":"Item:Q5114416","lastrevid":58450122,"modified":"2026-04-05T06:49:17Z","type":"item","id":"Q5114416","labels":{"en":{"language":"en","value":"Proceedings of the third workshop on Horn clauses for verification and synthesis, HCVS 2016, Eindhoven, The Netherlands, April 3, 2016"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7214002"}},"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":"Q5114416$92C2A967-FC92-4FA6-86BE-12A3903ECB2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51a00eec53408682c6175e9960629bbdd5187eba","datavalue":{"value":"1441.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$B7D495FB-CCA5-41A7-A6E1-1FCC3D9C20D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de317f690422fd99d3e5e9c0e8415bdf473faec0","datavalue":{"value":"10.4204/EPTCS.219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$D4BFD279-9B01-4ECA-BD68-8DF38A6B2474","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":"Q5114416$DE64F22A-EA58-402A-B7C9-51A586E9776C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"559e3d7a7d1578fc578356e06c652b513f9e1cd6","datavalue":{"value":{"time":"+2020-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5114416$6D3608B2-ADBC-4CDE-8782-55EC409CC1C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b1ad3cc68ce33bf428f6145488db928be120f71","datavalue":{"value":"https://arxiv.org/abs/1607.04033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114416$57BE710C-7C5A-470A-ABB4-42D4032B68D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c0b53326639d9786303189b4b760cfe8d9cbb5e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?HCVS2016","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114416$43487A45-C7CD-424C-8CB1-C68601651AAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$2F47EBFE-C4A5-4F6C-8077-B4492C95B372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$09E3A8FF-2DA0-46E8-939E-EBC69E514335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$8ED98F02-9F63-4778-A644-7D92A7D7DC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$A5D6AECB-69C4-4B92-937F-7006230C68E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a193e4394c1a0513ef5c0c360c51aa48bdd5057","datavalue":{"value":"7214002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114416$0B1B3352-8BDF-4B56-9042-399FD7778611","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":"Q5114416$AE219F3D-09AE-49E3-B3D8-BFEFAE4C6596","rank":"normal"}],"P1643":[{"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":"e759cd89eb47d9355d9b195f574cf30f26d31767","datavalue":{"value":{"amount":"+0.9315694570541382","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":"Q5114416$56953758-9AEE-4AAB-B193-29241C1BD26A","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":"bea438dcc2e8b2fcf668a942710aaa3fcb29062c","datavalue":{"value":{"amount":"+0.9298190474510192","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":"Q5114416$AD6A8E3B-037E-40DA-8B46-FC67A75FD1CB","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":"55b1bcde448e8a680a0c9d9026f6eb95642391c4","datavalue":{"value":{"amount":"+0.904032289981842","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":"Q5114416$7E4A3AD7-A4B4-405A-910B-EF08DDE3E8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b1d344ad3047edb375ae5eddfea1a3361983277","datavalue":{"value":{"entity-type":"item","numeric-id":5114418,"id":"Q5114418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7370f55cc774def53f9843a43808ca35e5d012b6","datavalue":{"value":{"amount":"+0.8501663208007812","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":"Q5114416$710FA10D-A60A-4068-B4D5-F614187DD639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86601bff425608763543d50bb14aca2136f1c4e6","datavalue":{"value":{"entity-type":"item","numeric-id":4994112,"id":"Q4994112"},"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":"Q5114416$0E69BEB5-0B8A-47E2-9CC1-49E779A687B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5114416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5114416"}}}}}