{"entities":{"Q5114417":{"pageid":7143991,"ns":120,"title":"Item:Q5114417","lastrevid":58432098,"modified":"2026-04-05T04:56:46Z","type":"item","id":"Q5114417","labels":{"en":{"language":"en","value":"Proceedings of the fifth workshop on Horn clauses for verification and synthesis, HCVS 2018, Oxford, UK, July 13, 2018"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7214003"}},"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":"Q5114417$11446E44-73FF-4F90-9395-93A95762718B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98ff77c02b4449eafb8178da507969ecd504700f","datavalue":{"value":"1441.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$20910E2D-A4E5-4AB8-974F-90012BD3AF48","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29a5e7de5176188ea9a3223bc180bd2ab6cecd0c","datavalue":{"value":"10.4204/EPTCS.278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$5F22D71E-8059-4FC0-BA92-22EEF23E83A4","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":"Q5114417$C488AC93-1220-4A5B-80AD-A82B3CE0598E","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":"Q5114417$AB2932A2-E4DB-4915-953E-E03D812D867D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c7df5d7145c74ce76a85e602e8fdceaae268704","datavalue":{"value":"https://arxiv.org/abs/1809.04554","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114417$63040D2C-DA7E-4B56-B38D-EE451E94C9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2d4d07cf9e57cc584bae1eb5f28061019ce2ea9c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?HCVS2018","type":"string"},"datatype":"url"},"type":"statement","id":"Q5114417$87D724D1-EFB9-4A5A-A45C-711D399F04B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$0D66BFC0-E7F7-45D9-A57E-33F463A5C73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$041DF1EF-D964-4A68-AC7C-FA6147614BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$E8C19E0F-764E-41F4-AE7F-F1907735EC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$6A984BA0-D7FF-4B17-898C-CFCC88FDDD02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c2d12abb7740924635d973f43a9ac0170de9715","datavalue":{"value":"7214003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5114417$AB01F4AF-E414-41E9-929E-CDA8FEFF3EC6","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":"Q5114417$6F2B5475-F69F-4518-AB60-7E7AED303060","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":"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":"Q5114417$545E0DA1-91A7-4D09-8635-490F2623D965","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":"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":"Q5114417$BF6289AB-DDA3-488B-B40D-1165F42FDB72","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":"450a79ff613444cd50f1b7748252fed7d5e76a05","datavalue":{"value":{"amount":"+0.9168154001235962","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":"Q5114417$D67D96F5-4BFE-454C-9FE9-AA0C6EDE1670","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":"04aa5d91b576960d1050d206c623953f55606b3b","datavalue":{"value":{"amount":"+0.8198290467262268","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":"Q5114417$82C7444F-D56C-44EC-B4B3-1D2AB2C9AAC4","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":"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":"Q5114417$315D63A3-DD7A-43E2-9A96-B9E2B49C0848","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5114417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5114417"}}}}}