{"entities":{"Q5015370":{"pageid":7044947,"ns":120,"title":"Item:Q5015370","lastrevid":58391694,"modified":"2026-04-05T00:37:11Z","type":"item","id":"Q5015370","labels":{"en":{"language":"en","value":"Removing unnecessary variables from Horn clause verification conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440193"}},"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":"Q5015370$4E55434A-392F-4C17-B297-4907C2AA7E8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab98ba993190536282ec18f961a7de2389267c3","datavalue":{"value":"1482.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015370$5E25C468-4590-4CBF-A571-5977AF8D642E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"848f825b7d044d82deceb7cfe1f0d1c0ec5247c6","datavalue":{"value":{"entity-type":"item","numeric-id":1664381,"id":"Q1664381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$465CCE93-EF74-4C90-85F7-62481F130814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$CFB94A35-A8C4-4AF8-8841-BC4C3339A6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$A30F18F6-F9B4-44CB-9F8E-3E4B55A41DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$68A4A81D-1AD6-425A-99BD-7945B4078BE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015370$2AAE71E6-CFBF-4A9A-A392-320F6716504A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f34c5c3d3c40afa4a4f22eaa1d12439e529155c3","datavalue":{"value":"https://arxiv.org/abs/1607.04460","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015370$3A27419B-1651-4B18-8298-EB29A2B28F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5736508deb615f24449d2cd581f82690d5b3d552","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2016.5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015370$C75F9854-9051-4343-A522-5701F87472E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015370$3360C467-428A-43C5-B03D-D551B06FD7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015370$CF1FD6AD-4EA9-4309-8E37-890AB777F25D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1dbb6def02b7c47f1166120781b919ece353867","datavalue":{"value":"7440193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015370$CD29ABEB-B71D-4C48-B2F7-767CBD995E8E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$DE7178DA-ABF1-4BBF-B6A7-54924EE35AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"69f362165978cbf04e5b5460992bc38f4ae05985","datavalue":{"value":{"entity-type":"item","numeric-id":30117,"id":"Q30117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$0EA41AC0-A81C-44EB-912B-4EE6255AFF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7edebecfea0d1be076050d73b49d0bc3b1453ace","datavalue":{"value":{"entity-type":"item","numeric-id":34655,"id":"Q34655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$3C94450A-54D4-4572-A865-E9FF6B0A6FC1","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":"Q5015370$A994A704-DA2B-4355-A70B-B9E88BFB8F32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64b95fb93857a7fee214f8d1058a95819db0427","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$D5CD7D6F-75FF-4A40-BF9D-8396521195FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e357561b24d9113100e0759ecfadf0c69ade7ba0","datavalue":{"value":{"entity-type":"item","numeric-id":673496,"id":"Q673496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015370$88D0EFC0-6CDE-4AE9-B103-797BDE99BFEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a5bb51e3095387c40d880ae273a0fce71d2c1c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14cdeec7b83b5d76d43fb6b59a3e65e3008f9210","datavalue":{"value":{"amount":"+0.731680154800415","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":"Q5015370$E88E9CD2-61CA-4D37-8048-8C4BC1114853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d029eaa256dcadd504eff29734e46b2e1f7a941","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d217da1311cc9a3d1655c06b1d6965f41a42419a","datavalue":{"value":{"amount":"+0.7253978848457336","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":"Q5015370$1B76CD84-3662-40C9-915C-42D0887E9A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1ababec7ad08320487551d5fd7dcd8e4e6cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":5233234,"id":"Q5233234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d365e129445999d86aed5f630d48a46467e6ea73","datavalue":{"value":{"amount":"+0.723051905632019","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":"Q5015370$5C92E480-984B-4496-BF37-4679A2991EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75868a3bf204a6bf4c593cce4cab82fe98820348","datavalue":{"value":{"entity-type":"item","numeric-id":4559806,"id":"Q4559806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a662984c66b20dffaa9fe1e0cf181f47f798a322","datavalue":{"value":{"amount":"+0.7132811546325684","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":"Q5015370$B82389AF-06E9-409B-8A21-2DDE3778ED07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e410a22aa42a04ba3966858f89a4b8e65bd18138","datavalue":{"value":{"entity-type":"item","numeric-id":4593003,"id":"Q4593003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423a83e78bc10890a26d9008a432c4f5f93c539d","datavalue":{"value":{"amount":"+0.7078254222869873","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":"Q5015370$03F41D23-1BBA-4A7E-B4A3-35DEEAA54BE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5015370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5015370"}}}}}