{"entities":{"Q5114415":{"pageid":7143989,"ns":120,"title":"Item:Q5114415","lastrevid":91377860,"modified":"2026-06-04T23:01:10Z","type":"item","id":"Q5114415","labels":{"en":{"language":"en","value":"Proceedings of the first workshop on Horn clauses for verification and synthesis, HCVS 2014, Vienna, Austria, July 17, 2014"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7214001"}},"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":"Q5114415$B0F6004A-B0AA-4905-ADDF-4F3E26751E0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73a7eb1ec55d74f729a01d0aae13a0ab4996a0af","datavalue":{"value":"1441.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$EB11C042-7E6C-4EF5-9AAC-5C7EC3FF6466","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7525ef228609f1e9e901c5146f9f128f98c62c08","datavalue":{"value":"10.4204/EPTCS.169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$44A65CAB-93CE-4629-A363-742BFB9A1187","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":"Q5114415$0B397607-2DD5-417F-8CFE-58CBDA99BD3C","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":"Q5114415$4675C0C5-6D30-4AFB-95CC-051357CF29B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62ff9669960e88e2a11a66cf33fb736c3443d86a","datavalue":{"value":"https://arxiv.org/abs/1412.0825","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114415$BD5BBE88-D733-4945-A8B8-067CE749125A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d239d12a220235169f7408639dc280c2a564f43","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?HCVS2014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114415$8DD5AA4A-F4B6-4668-8793-F991FE1F6BAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$F29B4B06-218E-4E31-961F-FB6B3C94B9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$CAEBD06F-EEBF-4247-B95D-711CB0C985EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$F4A27C03-274F-4BDB-BBDF-DAC690CD7D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$A66A0070-0218-462E-8D2D-907DD2AFC875","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c01ca5114e6ae6414dd002040850f118cb44e1b","datavalue":{"value":"7214001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$47AB0613-92BE-441B-80D9-41BD882B2644","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":"Q5114415$D12878FF-08CE-4DD9-9031-832BCEF5CFA2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a8534f04eb3cf080b8b7244701b6df2580826ea","datavalue":{"value":"W1966355412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114415$023F9856-DF8E-418A-ACAA-7A8A79B126BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccf234c531415f9bae6fce7e005827319950f707","datavalue":{"value":{"text":"Proceedings First Workshop on Horn Clauses for Verification and Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5114415$16705C01-F132-41E0-BDE9-951D00BB34FB","rank":"normal"}],"P1643":[{"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":"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":"Q5114415$0F4AC981-D994-4678-A746-8DD3C4F89992","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":"470e2f339e6b965d1157a93dfb8c38b06e73bb1c","datavalue":{"value":{"amount":"+0.918923020362854","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":"Q5114415$99FEA859-DE5C-484D-A9E7-CB201169A227","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":"58d9ad8c637c79c7bbc40b476b0aecee1931dfe4","datavalue":{"value":{"amount":"+0.8962138891220093","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":"Q5114415$417E9B9B-19D9-40C5-91DB-AB29731A9CA2","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":"663d106b740deb3d42790caa75f5024829afabb4","datavalue":{"value":{"amount":"+0.8281360268592834","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":"Q5114415$53EA0E69-D5FD-4991-9CD3-ABFD9EA22EC4","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":"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":"Q5114415$B113DEDC-67D2-46CC-97F0-9FC96ED055FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the first workshop on Horn clauses for verification and synthesis, HCVS 2014, Vienna, Austria, July 17, 2014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_the_first_workshop_on_Horn_clauses_for_verification_and_synthesis,_HCVS_2014,_Vienna,_Austria,_July_17,_2014"}}}}}