{"entities":{"Q2694569":{"pageid":2705313,"ns":120,"title":"Item:Q2694569","lastrevid":56991834,"modified":"2026-03-25T13:40:35Z","type":"item","id":"Q2694569","labels":{"en":{"language":"en","value":"Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7671889"}},"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":"Q2694569$903C1906-8D8C-4A07-98C7-4D7E61600A68","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bca3facaa8dd794445249be32cae49febc1eedc","datavalue":{"value":{"text":"Efficient computation of answer sets via SAT modulo acyclicity and vertex elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2694569$EB97AA7C-818C-4826-AE11-D587BF40D59A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf39bfcaa08bae37fc246ef565cef61b22c020cf","datavalue":{"value":"10.1007/978-3-031-15707-3_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694569$ECFCBFED-7FEA-4E7A-B1CF-FEC8CB9A79EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11185b8bebb3ad5cd7a34deb8a919a95d60c41e1","datavalue":{"value":{"entity-type":"item","numeric-id":2694568,"id":"Q2694568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$99D8A5D8-A4DF-4DEB-9AD7-490ED4F4AE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b796059b3d44a405a8af15eeb705b77a871ac3","datavalue":{"value":{"entity-type":"item","numeric-id":517385,"id":"Q517385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$26391771-C272-4450-B5E6-B837634678AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3231911715c88eeda68ab5624fcc2c3ec367b8db","datavalue":{"value":{"time":"+2023-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2694569$794C3091-0B99-416A-B59D-1E069E7C975B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8ad18899f7daee4ed2b96373381fb2ababe12b4","datavalue":{"value":"68Q80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694569$F8E8AB2C-9B76-403B-BBBD-3645A9FDE80C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9f373500137d450f1ce0b5188ad40a0def24cbf","datavalue":{"value":"7671889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694569$71F14F2C-F45E-4525-A312-5244AE657F59","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"135537fb2cc7ae7d8917eaeb53646025eb373b13","datavalue":{"value":{"entity-type":"item","numeric-id":21546,"id":"Q21546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$99403F96-FD02-4D68-8DDD-6A6B876C7D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c1ef313e426f71f5dcd127dfe1b9fad8b07d119","datavalue":{"value":{"entity-type":"item","numeric-id":19153,"id":"Q19153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$60068541-4A01-4F39-B1BA-916612A8B4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$18524B63-F8F7-4D36-9E85-A9BAAA6315C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b45e8ef27e2f4db203b2cf173d68d4015d27685","datavalue":{"value":{"entity-type":"item","numeric-id":44798,"id":"Q44798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$BAE010F3-8610-401F-AEC0-8A9F948696B9","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":"Q2694569$E8950681-C79A-4460-BF12-4C7C8BD5AFA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ec09dd8abc994c520e2abb82309b9d9a6ea52043","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15707-3_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2694569$50A28DF4-F247-4BE1-B9A5-9D01768D6B04","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ba4cee6ebc05216d51722c0d6bcb4a3c8888998b","datavalue":{"value":"W4293179553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2694569$E853085A-1648-4F78-81E3-77198ED2BBBC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c8d5197dd8fd9d2228af5f121dc5ebad4f6142","datavalue":{"value":{"entity-type":"item","numeric-id":3449189,"id":"Q3449189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$5BE3F222-3F15-4606-AA9A-E5B2E6D2B0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a85ecf7b9e9e1bfbfafd10c5384ae5e6f3abbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":2938492,"id":"Q2938492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$4BEEAE5E-2AD0-431F-B62B-521FF31C54C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194a67bbfce31308afedd0b91054034afcbcfc4a","datavalue":{"value":{"entity-type":"item","numeric-id":4589188,"id":"Q4589188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$D6DB65A2-99E8-4AFD-BA66-8BAEF2A3EB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1819a7951bf270bc9aed8945f7572cd3ed4098ae","datavalue":{"value":{"entity-type":"item","numeric-id":5034221,"id":"Q5034221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$B3C19B92-A348-47FC-A5C1-B95AC3DBA368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95128ddf49a4bb5e5e07dad11c9a363647975f5a","datavalue":{"value":{"entity-type":"item","numeric-id":2938490,"id":"Q2938490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$7A2F5A01-DBD9-47E6-AD81-110A684CAA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d936a9ef007ca610abdc321abacc508a550cd442","datavalue":{"value":{"entity-type":"item","numeric-id":3304093,"id":"Q3304093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$B5D22B80-E050-4FBC-AEBD-AB18E96C8C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95b826e2da2298db17497778f5d0398edec5b26","datavalue":{"value":{"entity-type":"item","numeric-id":3449220,"id":"Q3449220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$077FC5C3-028D-422D-8434-00C7908B47BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0eb7ae62d1faa7a835e5e1d90db3945c20651f0","datavalue":{"value":{"entity-type":"item","numeric-id":4957192,"id":"Q4957192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$2A544F4F-57A3-4DC6-B207-0FEC9293FA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05deb1ccde75ab053138014416c29fa9ac44d758","datavalue":{"value":{"entity-type":"item","numeric-id":3647255,"id":"Q3647255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$89D08248-0725-4611-97A3-75B96932DFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23f448535440866f4f8fde19aacb4d268082cff2","datavalue":{"value":{"entity-type":"item","numeric-id":1978008,"id":"Q1978008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$6DA93297-3DAE-4DC6-854B-EF2056A33053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$8C0C86FB-4CB9-434E-BAED-5DAD63EDAEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ef51195b3edf67b066b08e5d6fb9aa36802fdd","datavalue":{"value":{"entity-type":"item","numeric-id":4161356,"id":"Q4161356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$68CED308-5F95-48E2-B778-70761AC41C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23ff4fd15aa6734e12066f575f2700abc354f037","datavalue":{"value":{"entity-type":"item","numeric-id":1603743,"id":"Q1603743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$D08ADBDE-6596-4A0B-A05D-12D9E1A4B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e98bea2faf0f1e7139247049b725eb54de257627","datavalue":{"value":{"entity-type":"item","numeric-id":5593816,"id":"Q5593816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$FAA62F87-5DF7-43AB-B3B8-3D19D63BD7E1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2694569$6BAB48F4-BD17-4C87-9D2D-AECDFEA6CB8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2694569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2694569"}}}}}