{"entities":{"Q4997236":{"pageid":7026813,"ns":120,"title":"Item:Q4997236","lastrevid":58384008,"modified":"2026-04-04T23:51:24Z","type":"item","id":"Q4997236","labels":{"en":{"language":"en","value":"Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7364141"}},"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":"Q4997236$4F33DE6B-68C9-4D88-9B4B-C25E58ED66E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"925e04491be07e86ee0d452a3827b2f08035df67","datavalue":{"value":"1464.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997236$F2C1798E-66EF-47A3-9494-26EB5C42A77F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f60cc7b23bdd947bfabaeff972c6281f9d07b25a","datavalue":{"value":{"entity-type":"item","numeric-id":681334,"id":"Q681334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997236$C688B715-8233-4507-8F8A-5CCAA4D2B311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4997236$90C19134-35C8-4BA1-9F94-959CCD73D3C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"639e84e23e0a5811ef2a4d1e54fb7902eb942539","datavalue":{"value":{"time":"+2021-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4997236$2FC467C0-DE67-4F0E-9615-194D2F4EA209","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a1c53bb160259ac40e865178c128639d8b267b5","datavalue":{"value":"https://arxiv.org/abs/1412.1154","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997236$ED76A9FD-2CA2-4F69-9CC2-3AC80468225E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d8158b9d01958f11afc0929f66275ca4cabe0bf","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2014.7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4997236$2C3168DD-FD71-4D5B-AD2D-7CA6EBEB74DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997236$415B9EBF-1DCB-4DD2-AB80-641AFF9C867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997236$19FE04C0-65B8-4858-83C3-AF03108D6E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997236$68A46927-12A1-4A68-9715-5BD372A2A501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ef4a557a3a03cf292b5da14ad5df9c1638908ce","datavalue":{"value":"7364141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4997236$7D35C9C4-4FDB-4E9A-AEB7-FE096C1A56E3","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":"Q4997236$EA7F4B22-853C-467E-B11B-12D6BC31CA1F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a2829ee7f5621f0f381ec164ab8665b84e3adc5","datavalue":{"value":{"entity-type":"item","numeric-id":681335,"id":"Q681335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa1fafda960350b15744a4564cb48e9113dcbb0","datavalue":{"value":{"amount":"+0.8456056118011475","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":"Q4997236$90B5586F-7258-4BCB-828E-9442A2C6F19F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0710bcb54d08efe82099eceeab9ddba784fcf2f","datavalue":{"value":{"entity-type":"item","numeric-id":5172644,"id":"Q5172644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a160ee9a04c583abc36960b7e065cf098c88bd5d","datavalue":{"value":{"amount":"+0.7591434717178345","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":"Q4997236$C442EAB3-A5B6-4F7E-A10C-A19E5214A95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b80afa825b2bc173894cd2c7f94e8dcc45fdac06","datavalue":{"value":{"entity-type":"item","numeric-id":3079923,"id":"Q3079923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9dcc7366196db5c05b2d18c46cdc583dc10d815","datavalue":{"value":{"amount":"+0.7514996528625488","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":"Q4997236$DDACA3C5-5A0A-412A-8602-B2414FABACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0115479f78da3ec2407693b324926474cb63ec","datavalue":{"value":{"entity-type":"item","numeric-id":1671163,"id":"Q1671163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20f20d1ed66af1981aca092e1a913fa999cb64d4","datavalue":{"value":{"amount":"+0.731416642665863","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":"Q4997236$CD97ABEC-1A21-4226-BFBF-F7DDF6504413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a93afbaf8a0a7b9bdf7dad57bc67b31f0ea1a02","datavalue":{"value":{"entity-type":"item","numeric-id":4644353,"id":"Q4644353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604af149d3bdd3522f14acfcb528650e2652f70b","datavalue":{"value":{"amount":"+0.7292911410331726","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":"Q4997236$DF7B3E3F-DEA0-45AF-9E3D-C8874DD5A296","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4997236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4997236"}}}}}