{"entities":{"Q1853147":{"pageid":1863889,"ns":120,"title":"Item:Q1853147","lastrevid":71501334,"modified":"2026-04-13T22:40:56Z","type":"item","id":"Q1853147","labels":{"en":{"language":"en","value":"On the equivalence and range of applicability of graph-based representations of logic programs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1856483"}},"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":"Q1853147$D3524B8D-0149-41BE-9A38-14B98EBA796C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40e939974521b391940001e53df24c784cd5c29a","datavalue":{"value":{"text":"On the equivalence and range of applicability of graph-based representations of logic programs.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1853147$2BDB6E02-712C-47C1-979A-FD4D62650800","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce29cd436fe27fd0f51e584ee42fa37cb1f87c97","datavalue":{"value":"1042.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$3513697F-7CC0-4F97-B29A-C0C65A4E9149","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f690b8bb4f5b946dc408df3d5d098af2f947cdb8","datavalue":{"value":"10.1016/S0020-0190(02)00290-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$C213751D-2FC9-4F23-86C9-4AF1520497EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$A828B5A8-FB35-4516-9CB7-52DDDE1B7461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d5cb24d8cb35cdc4abd2e7a28bc5b4163204d11","datavalue":{"value":{"entity-type":"item","numeric-id":279325,"id":"Q279325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$F517D15E-4F33-438A-8710-FA5E7257B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7f0a21b1b5770a7e789b7db9b615d4b62c44755","datavalue":{"value":{"entity-type":"item","numeric-id":394991,"id":"Q394991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$4544D8EC-E709-420D-BAD3-74DC8B2A514D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$6D4703F9-D3BD-495A-9C30-58A5E5333AF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5b5e42af6f5e314fbfeffbcec47ae99c9eed44fd","datavalue":{"value":{"time":"+2003-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1853147$7A469B7F-2619-49D0-A5AE-59C7EF696E26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"23b8ad692a62f099611e038b501a8488eacedf77","datavalue":{"value":"Logic programs under Answer Sets semantics can be studied, and actual computation can be carried out, by means of representing them by directed graphs. Several reductions of logic programs to directed graphs are now available. We compare our proposed representation, called extended dependency graph, to the block graph representation recently defined by \\textit{Linke} [Proc. IJCAI-2001, 641--648 (2001)]. On the relevant fragment of well-founded irreducible programs, extended dependency and block graph turns out to be isomorphic. So, we argue that graph representation of general logic programs should be abandoned in favor of graph representation of well-founded irreducible programs, which are more concise, more uniform in structure while being equally expressive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853147$E108DCBC-2623-4B91-9484-F4AD47C1DC1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$45EBC946-B3D3-438E-8741-7BAF659B4857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$F9AF4940-2485-4819-9708-1DF143CCB4E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ff019eb49f0d5300aaa392298d9ab77bd21e3b","datavalue":{"value":"1856483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$6B2BEA9E-E400-44E7-AE35-6DB8F0C3A1F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed89ef274f4564cf53df5630125d11a8a341200","datavalue":{"value":"Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853147$E4A37A64-4E0A-4FCA-AD1C-96203ACE570D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0db59140853637909bf2a7eb91e85c978b5beb2a","datavalue":{"value":"Answer Set Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853147$AD060602-266D-4A10-B8AD-396DCD90EFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7df51d8ee958129fb1ac1802a0c454ccfc59ce1e","datavalue":{"value":"Graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1853147$D5BCC60D-C888-48B4-B6C8-3D592CA62CD8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74bd457267f86b576e7609a863dd8d6a99443554","datavalue":{"value":"Q58946663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$E5E74070-C483-43E4-948F-4F6FCC9C762D","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":"Q1853147$4647203F-5233-42F6-AB8A-3AC49F3DCFB5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d5410992220f4c4a34a7724b651a7c922af92b","datavalue":{"value":{"entity-type":"item","numeric-id":4452640,"id":"Q4452640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$7251E37A-1023-4D56-A547-20C2459BA547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33a5253da1c8cb6f128b4a720a75ddabcde52acc","datavalue":{"value":{"entity-type":"item","numeric-id":4245929,"id":"Q4245929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$65692854-48DB-4419-8835-B586060F8900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c639f80e8b9fc98891368a2511d334a7c0487d","datavalue":{"value":{"entity-type":"item","numeric-id":672705,"id":"Q672705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$A697D83B-8979-426E-B2BC-FF7800D580CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88642d0c0a2600c9852ba3fb6df13054313a4142","datavalue":{"value":{"entity-type":"item","numeric-id":5715451,"id":"Q5715451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$571328D3-BFD2-4FD2-9298-BFE5937516B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80e8abc45e12e01678f8f11b7eb8faef6a0480c","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$64B04DBB-E437-4E3C-BA01-1E6D06F4A1E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$53748E3E-400E-4B4F-8AE7-F6AB55F6D31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdb0a1eb6c4a1e518bf0a3744b39986d8c89a25a","datavalue":{"value":{"entity-type":"item","numeric-id":4798010,"id":"Q4798010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$51A26FFB-1800-405D-873B-1728B2344EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$3F91ED79-8584-491E-A9A4-BC793367475A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a55471fabfaad3b30cd00d3f2e1e84db0fe002","datavalue":{"value":{"entity-type":"item","numeric-id":4798003,"id":"Q4798003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$4DF44D63-C9E6-4CD6-B76B-37C81E5871A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"206b63a5c1d81f095779f242fd8ee8e20f738ec3","datavalue":{"value":{"entity-type":"item","numeric-id":1900917,"id":"Q1900917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$114AF038-E896-4D8E-9BFB-DAB5840ED73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8d6f3eb14281aa9811c325e47a64655f213d9bb","datavalue":{"value":{"entity-type":"item","numeric-id":4302849,"id":"Q4302849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1853147$CF66F615-2F24-4E1C-A141-13C6C92D2BD2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0048dfd3fbc838a7ad52afa1fa886fc0ef9dcef3","datavalue":{"value":"https://doi.org/10.1016/s0020-0190(02)00290-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1853147$FBFC5032-9483-4914-B3D1-E8AF87337CC6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0916f0179edaef67c8a8e3355b01baf2c5e6a524","datavalue":{"value":"W2070951159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1853147$E7EB3B41-A5C2-421C-94F4-87DA6ED68092","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b79a8878f77be511a16878e9419e35343f9373d","datavalue":{"value":{"entity-type":"item","numeric-id":5705919,"id":"Q5705919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fa2e4b2617e28fd718ccb40fa59b24b20a57bf6","datavalue":{"value":{"amount":"+0.7906163334846497","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":"Q1853147$D5BA116A-F949-4162-A21D-CE3C50B2DC38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e687553961f2121c52aedafb75ef04d6e47ed27b","datavalue":{"value":{"entity-type":"item","numeric-id":672050,"id":"Q672050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eef83a668c7cdd6f9ba6675a418ad6394341979e","datavalue":{"value":{"amount":"+0.7853862047195435","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":"Q1853147$3AA3E46D-EB8A-46E4-9E4B-9B61FCCEADEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cf67681e0f32eedeb6b49c09fce8612d504403c","datavalue":{"value":{"entity-type":"item","numeric-id":1208418,"id":"Q1208418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd3703560c4bb2714f0e579ac494f340f8c01d0","datavalue":{"value":{"amount":"+0.7511836886405945","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":"Q1853147$4C246C3C-D6EC-4CCF-A897-97A798CBC132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36e0ddf7ceffe1152a5d3bfb39be4dbcf395ce19","datavalue":{"value":{"entity-type":"item","numeric-id":4037311,"id":"Q4037311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0d20dfc7d540cd3a999be7945a2a876f6cbaa9","datavalue":{"value":{"amount":"+0.741353452205658","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":"Q1853147$FE5A2381-7ED5-4F40-A4E9-0F31C99329D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12d93bedac32f49ef29840872a51a1b74b8fc181","datavalue":{"value":{"entity-type":"item","numeric-id":5961490,"id":"Q5961490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d9be5f82386ba1341b099a64473ead7c1e89ac","datavalue":{"value":{"amount":"+0.7405903935432434","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":"Q1853147$551200DD-13B9-4B2D-9B8F-4219B82251E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the equivalence and range of applicability of graph-based representations of logic programs.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_equivalence_and_range_of_applicability_of_graph-based_representations_of_logic_programs."}}}}}