{"entities":{"Q5082014":{"pageid":7111590,"ns":120,"title":"Item:Q5082014","lastrevid":54343952,"modified":"2026-01-26T16:24:23Z","type":"item","id":"Q5082014","labels":{"en":{"language":"en","value":"Proceedings of the 8th workshop on Horn clauses for verification and synthesis, HCVS, virtual, March 28, 2021"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7544353"}},"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":"Q5082014$739B4917-20A7-4475-89A1-6479A29FCFE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09802c38c603514e1308f3f54bcfd750e383a5c3","datavalue":{"value":"1489.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082014$AFD2FCE1-84E3-41F3-9399-C0DC8AE8F2E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41ae09e90f38211db190f5c616c4d9dabf1a2c2d","datavalue":{"value":"10.4204/EPTCS.344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082014$4CFFA8DD-3B24-4EDF-A873-790FA6F115ED","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":"Q5082014$80851471-7142-4398-A792-8210E1A5C383","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6df8bb997ed465694b85f78238450aa4f23a254b","datavalue":{"value":{"time":"+2022-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082014$7E351B55-6ABE-4456-B956-5AD75FBCC1B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"120d81fd663404912366bff6ef4e1ff2b7a65b2b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?HCVS2021","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082014$F7463D21-284C-4F9B-A2EC-000D918CDE9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082014$6F040606-B988-451E-B446-455BCFAEC058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082014$F6D728FA-943A-4065-948E-5101949D5DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082014$4FC6D44D-55C5-4708-AF4A-A276AB91C120","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ebef1adab784990fd439ab5106aacfb7c79fc19d","datavalue":{"value":"7544353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082014$D262544F-74D4-4256-B630-037E4F47F455","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":"Q5082014$9317E58A-4CF7-4B95-A8EC-E9D99E53D28C","rank":"normal"}],"P1643":[{"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":"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":"Q5082014$3E590DDC-D42E-4474-90B0-14833D76B7C0","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":"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":"Q5082014$1CDFC922-4A35-4C29-AF5C-A1C8588073C4","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":"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":"Q5082014$2E266109-91CD-4013-80EA-29B1CEF63D24","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":"f33f350623e783f81a098d36a4e82070ef9889cc","datavalue":{"value":{"amount":"+0.8156995177268982","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":"Q5082014$B7DD8749-6CA6-4B60-9798-8F6C76085F64","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":"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":"Q5082014$0A5FED86-DFDB-4CD8-ADC1-67D1225D0FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5082014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5082014"}}}}}