{"entities":{"Q3384902":{"pageid":3395605,"ns":120,"title":"Item:Q3384902","lastrevid":88077395,"modified":"2026-06-04T13:34:56Z","type":"item","id":"Q3384902","labels":{"en":{"language":"en","value":"Solving constrained Horn clauses using dependence-disjoint expansions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7447757"}},"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":"Q3384902$EE42E1EF-5F90-4C3A-A0E6-669B9F056E22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34b299fdbfa6203a276028105b394bb6d77f2b95","datavalue":{"value":{"time":"+2021-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3384902$F2C27834-BEAA-4F8A-8A4A-6A3BC1D98B96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da5bdc7ea187dc66dd87de5706f309c8a5fbe07c","datavalue":{"value":"https://arxiv.org/abs/1705.03167","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384902$D25423DE-8C5E-4C80-B108-8290D8651A25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4c93819af4022f519def33864e4414ba1e9d06b","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?HCVS2018.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3384902$9EBFF288-CBF4-4ACB-9E7B-A5BF352428DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384902$E876D97D-A0AC-4029-8C19-2D473CD75E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384902$93C29F02-A728-4FAD-9A32-F7FBB58CFFCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2de8373bd9f0418d27f0d60e425e705a53f20538","datavalue":{"value":"7447757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3384902$85BA15AE-DF51-4D12-9BBE-1106D86F8B6B","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":"Q3384902$0E85EE7A-206A-4188-86FB-96C47F8B4A16","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7554eba9ee36bec68eba2e82a0628d8617cc50ca","datavalue":{"value":{"entity-type":"item","numeric-id":2891400,"id":"Q2891400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$F635BDA1-24CA-402A-AE0E-026D114B783E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fe5958e174e8a6a849169517f7599ddc2a4716","datavalue":{"value":{"entity-type":"item","numeric-id":4417894,"id":"Q4417894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$245B687E-BA96-45B2-8F09-76D2CA3FB194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddd21cfa4660583e538baf1b412d409c55765821","datavalue":{"value":{"entity-type":"item","numeric-id":5178883,"id":"Q5178883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$55C0A8A5-4A23-4A47-BDFF-B4A673BC58DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$27BFD25F-A4B8-48A9-A8BE-980516BF04CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$9D81AD7B-6517-4809-B33E-A34BF41EF1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37326b82e3e7387c042d3b074a67a783e09a0271","datavalue":{"value":{"entity-type":"item","numeric-id":5898607,"id":"Q5898607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$B4B7107B-E10B-4F8E-85B0-BEC34B65651A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$A4014058-EB35-4D4B-AACF-4343924D56B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e20c6a4d9a59d6daa1e306d432388d8ed8fb5a","datavalue":{"value":{"entity-type":"item","numeric-id":5168511,"id":"Q5168511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$0DA2B63D-1126-47A5-83BC-531531C884F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$3082EEEC-E87D-4AF4-85C2-46F09D200092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$C031B7DD-F947-4F32-9607-8F883B41FC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe3c720aed0327b731658d3d109eaa2ad9e5ef","datavalue":{"value":{"entity-type":"item","numeric-id":746767,"id":"Q746767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3384902$2DE582A7-D172-4017-91E2-5B87E2766ABD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac2b11eb8aa1c9544371daad7e011f416c926c84","datavalue":{"value":{"entity-type":"item","numeric-id":4645746,"id":"Q4645746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad803185a45f8c87b1a034c1eb1505656286463","datavalue":{"value":{"amount":"+0.782562255859375","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":"Q3384902$0817E05A-EA92-4C6A-A5BC-6D3AC76529EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"802b0d11e10a35c0034a9cc107935f78e296a76e","datavalue":{"value":{"entity-type":"item","numeric-id":6174408,"id":"Q6174408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdc5666b130dd190bb63e7b063dc403de2b0194","datavalue":{"value":{"amount":"+0.7808566689491272","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":"Q3384902$054F6122-1EEA-4985-91D7-02C2FC0C5EDD","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":"89089d61b962328e9158be077f15bc71cda9b636","datavalue":{"value":{"amount":"+0.755134105682373","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":"Q3384902$6B2EB03E-ED6A-4464-9E42-D0DA468D2843","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving constrained Horn clauses using dependence-disjoint expansions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_constrained_Horn_clauses_using_dependence-disjoint_expansions"}}}}}