{"entities":{"Q3648358":{"pageid":5678264,"ns":120,"title":"Item:Q3648358","lastrevid":90440618,"modified":"2026-06-04T20:11:47Z","type":"item","id":"Q3648358","labels":{"en":{"language":"en","value":"Relativized hyperequivalence of logic programs for modular programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5638406"}},"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":"Q3648358$421CF662-2A7B-44E2-8656-689D9D1E1A0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"398c798825b0530d789fcbe8b0c748d6f9a35fb8","datavalue":{"value":{"text":"Relativized hyperequivalence of logic programs for modular programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648358$289E5EF9-1E16-439B-8390-CA0BD3B987AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0865908e26090f87033a0c766597d3815ec63431","datavalue":{"value":"1184.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648358$11417C5A-5D7F-4CEA-B289-63C347750E0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2696d9cf2b1014a458cd95ad6d6218db6e36630f","datavalue":{"value":"10.1017/S1471068409990159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648358$ACE4B832-8D01-4B02-8D77-C898F6180FEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca2007526997750f6621dbd8268e4738be04df24","datavalue":{"value":{"entity-type":"item","numeric-id":286082,"id":"Q286082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$70E37459-A50A-454B-9A6D-1947E66C4B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d60945846f47c381f94a775b3774656e226de61","datavalue":{"value":{"entity-type":"item","numeric-id":334819,"id":"Q334819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$D1F8BBD7-90B3-483F-8F43-59A5753AC24F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$61EFE8C5-27B8-4ACB-820C-70DC1AB672EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74360fd0e383eeb4108c100504aea295aab7ad39","datavalue":{"value":{"time":"+2009-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648358$210D6183-E789-40FE-8C48-FD69FB3029C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648358$748B7774-BFD0-4A5D-A432-6BE620314E3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f03cf2679593be6d204bf11cf902828dffa2c92","datavalue":{"value":"5638406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648358$84EB49DF-5147-4E7D-A7BC-C4F23BE9176A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$C4436180-FFB1-459E-80A7-43D82FAABABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$3F133236-6164-413B-8B92-D9B438582F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b030c2db3c695d87c42ce639374450db17b6ecd","datavalue":{"value":"uniform equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$5C2EB55E-EEF0-4C15-AA4B-0575AEE8DBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53aa8308deb44e49cd75033fcbe6ace56aab3a2","datavalue":{"value":"relativized equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$942D82D5-84FE-4CA0-AE05-EB2CB0C1E735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$5F788DFD-7C0F-4C6E-94C7-37A2BFAB030B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0c4f3545bbb78531ce4a96972a890c66521167","datavalue":{"value":"supported models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$5D5B2AFE-0B51-4D62-BAD9-789E9D387DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$4DD9EF02-5CFF-4A53-AC31-0E3264E966F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648358$899D4EDD-0888-44C2-BE0A-165C214DD04B","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":"Q3648358$13BA16AF-02C3-4FDB-8F8B-93A0F6BCDA3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50ec7e26714b2588a89599299802fbed0e409e1e","datavalue":{"value":{"entity-type":"item","numeric-id":5277782,"id":"Q5277782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$2C685EBE-861C-46EB-BE74-2C9557FD8E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"304326ed85915f183efa0eae24adaada24beb610","datavalue":{"value":{"entity-type":"item","numeric-id":4365082,"id":"Q4365082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$C0A360FF-6EFD-4479-BA12-C791B2FEB891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df57a8b6ea029c06d43a21a5342274199359600","datavalue":{"value":{"entity-type":"item","numeric-id":4428287,"id":"Q4428287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$60CD7C10-7D3F-44DE-B624-9ECCE5342B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7aa7f823732baef134ea790bcd0c07074553bf","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$B4C3C6F2-6F31-410E-8734-A5DDC8E1DD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06bb48a0f27e5f90ce3a54e2b86a95a19ca85de1","datavalue":{"value":{"entity-type":"item","numeric-id":1028652,"id":"Q1028652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$2A45964B-7257-4906-8F64-9887460F92F3","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":"Q3648358$6F746EC6-6F19-49EB-B06B-A2B32CA8AF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$0032C1B2-AC86-4878-A3A3-3DD9E21687EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a95bae7b20a2056e0cc10c2679a1f66b9a8c9bd","datavalue":{"value":{"entity-type":"item","numeric-id":4452594,"id":"Q4452594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$D821F062-79D9-4394-B622-A51BAF5E9033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"361a7b341d619ec73fc115f42df2d9f2bb8bf849","datavalue":{"value":{"entity-type":"item","numeric-id":5451973,"id":"Q5451973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$3C277DFC-3A73-46C4-812D-22CCF8E73630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6284e3aa61c09d97c89d43e58aba73ad8a6cb1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5425407,"id":"Q5425407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$0DC0CDDC-1031-4964-81B5-AB81EE7FD20C","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":"Q3648358$0AC99AA4-D51D-4D07-ADA7-67E21D8D35A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7d97350253df6485906c2b23a8d941473677b97","datavalue":{"value":{"entity-type":"item","numeric-id":4208854,"id":"Q4208854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$16DEA823-4E53-4302-9462-BDB0AC1EA3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92d155c7dcd0b41aa8d5369fa6a9b7a5ca42b115","datavalue":{"value":{"entity-type":"item","numeric-id":1603731,"id":"Q1603731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$DC2B1CF1-4831-41B9-88D0-D4720A432EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648358$02CDF141-B88D-4178-A10D-FED13A84505A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cef8e2d94e64fb5a47039f02c093aa65cbe53483","datavalue":{"value":"https://doi.org/10.1017/s1471068409990159","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648358$9D465F4D-74BB-4461-8841-9CC30CE88B02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"431e56fceef15defbcb0ed1469ace9fe1bcb8a2c","datavalue":{"value":"W2154392574","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648358$A2DA4079-5280-46EC-B04A-835AB5A3C0AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25357d515c7a96e2e18fdf334cf74e09281974fd","datavalue":{"value":{"entity-type":"item","numeric-id":5504681,"id":"Q5504681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c130a0863576be07b42d71b3c003e1384d82efd4","datavalue":{"value":{"amount":"+0.9999998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$55FD4436-17C6-4BAF-B6E1-32E4EB42959B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddaca5a3cff7c8241a58c411d2cfb2fe8104bef","datavalue":{"value":{"entity-type":"item","numeric-id":1274967,"id":"Q1274967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1373b02b8d432029d3e31c07b22536be76138cc","datavalue":{"value":{"amount":"+0.9071176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$6533DBCF-E402-4ADF-932A-F63203830105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8d39a62d641e8bb662d0f6f90caff158207d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1028652,"id":"Q1028652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6b36586fed85e1336d3f12d1bc73440fdb7d1b","datavalue":{"value":{"amount":"+0.9049562","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$8E76A145-B62B-4CAF-9D95-97D675CD8FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78f2fb5389cdd495da7eb747153d08d873fdc1e3","datavalue":{"value":{"entity-type":"item","numeric-id":6175111,"id":"Q6175111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15c1380beb5712c5e36d8d2391d1d9198f6bf95","datavalue":{"value":{"amount":"+0.90433216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$F6D96BAC-2983-4848-BD97-6CF7A678F1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e4539e786216550b7dffb649af2952059f863b","datavalue":{"value":{"entity-type":"item","numeric-id":4649729,"id":"Q4649729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d30ebe9ba15913e0bbf63327ce1bbeeecdd3e90","datavalue":{"value":{"amount":"+0.89246684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$B2044327-1C27-4177-B140-572AB704AB6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b61732bf87bf09eed939f59438ad1005aa3846","datavalue":{"value":{"entity-type":"item","numeric-id":2736348,"id":"Q2736348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26d21e18c5a4f022198b8f6f3be777df8896a15","datavalue":{"value":{"amount":"+0.8923804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$98868A04-E16E-4919-91E7-8926FDEA5F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63788981b7c866a3f5b42652f1cd9ec7cab3bcd8","datavalue":{"value":{"entity-type":"item","numeric-id":3204444,"id":"Q3204444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15ffca914205a97aac2d8be7d39a3b266f78ae9","datavalue":{"value":{"amount":"+0.89170516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$35BE803A-1E17-4E50-9E46-77ACD8ACC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71341020b9726328193b01d7725d977f2891642c","datavalue":{"value":{"entity-type":"item","numeric-id":5056429,"id":"Q5056429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4172105f937327df97581321352834d53fdb6ba1","datavalue":{"value":{"amount":"+0.89120275","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$5F026799-51AB-405F-9B24-AC25047103C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e6920fc052676052685294f244267a1b1f0172","datavalue":{"value":{"entity-type":"item","numeric-id":5428831,"id":"Q5428831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe992fba31617da9e7ad960de7d4f7a09943ec4b","datavalue":{"value":{"amount":"+0.8906698","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$126A6A2A-9CC7-4A38-B16A-491EC8C614DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b463cbd7ac8ae1ddd4ac9671d236ff348a81224","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b41d317d9fac4d62a9c9c5e5be5b23b517722ab","datavalue":{"value":{"amount":"+0.89061797","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3648358$195FF5A4-6F9D-4D21-9DF9-79C8223B73EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relativized hyperequivalence of logic programs for modular programming","badges":[]}}}}}