{"entities":{"Q5277782":{"pageid":7307357,"ns":120,"title":"Item:Q5277782","lastrevid":94658828,"modified":"2026-06-05T07:23:07Z","type":"item","id":"Q5277782","labels":{"en":{"language":"en","value":"Semantical characterizations and complexity of equivalences in answer set programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744025"}},"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":"Q5277782$FB1EF876-3801-4D18-95A8-CC8F9720F510","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae01223f92154199da19b8f42ec916a5da905947","datavalue":{"value":{"text":"Semantical characterizations and complexity of equivalences in answer set programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277782$341101B3-E3B4-4F80-B4C3-B84775DC72D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b10d1806205171037066839702c4c1ab98eb4f32","datavalue":{"value":"1367.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$35AA03AE-97C2-4EDA-8123-81E329DE4872","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88f87041c9bc64b07908a7eac210a83d8cd68a9d","datavalue":{"value":"10.1145/1243996.1244000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$83B9F4C9-12DF-4C5A-8294-FC300F1D6572","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277782$3B5C22C2-B490-45DA-AF3C-0E7759A74D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277782$7407AE77-67DA-4A87-9249-BCFC2D1DB7E2","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":"Q5277782$745BC9BB-1137-4466-ADEE-CE701AC7D236","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277782$6EFB31CD-FD36-4426-85B7-47BD19EF2439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277782$4DCEBBE6-B2CE-473E-B444-F49721C5A368","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ff83e7cfb67b5ddf661704dc0d6f98747b3638b","datavalue":{"value":"https://arxiv.org/abs/cs/0502078","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277782$446A4D0D-BA01-4C9F-B89E-2C6E7A0BB475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$C810EE2E-A8B8-4A46-9257-B14F43DF011E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$83880FC6-6916-4627-A84F-13356216B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$64B8C810-29F6-4DA4-9AE4-EC066AE6494C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26a5c030835c071af3974e14e311d8824834c10a","datavalue":{"value":"6744025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$C4BD4E7D-B3D1-4B02-A303-96C744848FBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f7f2e0d651cbe2372ff7e59a3d6cfdd993a4037","datavalue":{"value":"answer set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277782$E0E9B4D7-E6BF-4DDF-BC54-D651E32FB8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277782$5B9CC318-9B4F-4577-B36C-807D8AC91C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4171ea3452ad77694350646997bc347c9ac7adee","datavalue":{"value":"program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277782$9A3D2B9E-2D51-4FE9-8472-819303E5A899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6cf68b700896c255a0bd6c82529e8b253e1f9d4f","datavalue":{"value":"stable models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277782$5193799B-B089-4CDE-839C-FD63C18AC99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277782$2FCD3E7D-027B-46C4-99B6-BEE91621D4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b030c2db3c695d87c42ce639374450db17b6ecd","datavalue":{"value":"uniform equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277782$75486394-8483-4223-A809-136E48496C81","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":"Q5277782$C0E4633F-1F10-4FB9-BB7E-71589D87F483","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75ce4ceab721070dac1d88d8e7dd586c42e3e01f","datavalue":{"value":"W1971626643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277782$0DBC1641-C029-4A03-A33E-1ADF35F73725","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f812925c8d67723c8b1e2e6ab99b4964a6885c","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9cffa88bb10897e4259aaf86512cea5214e729","datavalue":{"value":{"amount":"+0.93953705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$DBF4E253-74B7-445C-A1F6-DF603DA02078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874e584e3d8d03702e1bac3b705fb764b3b7143","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a44939db2ef17e4edb7ecf98a9f732283dcf8f","datavalue":{"value":{"amount":"+0.91762054","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$8A1D4979-E3F9-401C-BF85-D943129776EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e65fd1489d2775ce28012b571ce1e2ca73942b","datavalue":{"value":{"entity-type":"item","numeric-id":2644415,"id":"Q2644415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec856da327aeb8d53957cf6c1f4d731291e27a56","datavalue":{"value":{"amount":"+0.91172737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$3DDA212D-EB81-4D50-B6B9-D19144E7A936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba4b6d5edce8931976f5539b8f1f26f054d41e75","datavalue":{"value":{"entity-type":"item","numeric-id":2807074,"id":"Q2807074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8754b208ec3d642e19bf1d4d03e4d200ebe5e3fd","datavalue":{"value":{"amount":"+0.9073893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$F96BF3C7-3480-46B9-8C79-793E42BEFBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35fca7596c779a9e2e5b79af7642f3cd380f30eb","datavalue":{"value":{"entity-type":"item","numeric-id":1783736,"id":"Q1783736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8754b208ec3d642e19bf1d4d03e4d200ebe5e3fd","datavalue":{"value":{"amount":"+0.9073893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$07B94A91-A308-4936-B11E-E0062C64BC97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5a789569f5e6934a3f6b788d824a20447a9c05f","datavalue":{"value":{"entity-type":"item","numeric-id":5475778,"id":"Q5475778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58437d399626d2b2ddd9aa82b748fb294785d8c9","datavalue":{"value":{"amount":"+0.90544254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$D20E62B3-8AE0-4399-B345-999C0D37B994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17107ddbdf51e4ecc6c38d64c4ceab8d51eeabb4","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b308a4f275213b8b91f488412fbd668225ef420","datavalue":{"value":{"amount":"+0.90472704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$661FF370-CAB5-44CD-92A8-FAD43F72C5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672c54e37cbebbda8a6cde179406fa5d4f921c63","datavalue":{"value":{"entity-type":"item","numeric-id":5445291,"id":"Q5445291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e755eb5d33f5304bd69617f24389bdc078554cc5","datavalue":{"value":{"amount":"+0.8985474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$8189A8A9-1947-4C10-BBFE-65EB7A73F4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0dd66a1a870c9f8b613a2bb3a940bb0b0e8560f","datavalue":{"value":{"entity-type":"item","numeric-id":2426101,"id":"Q2426101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a459685a9db89d1ef5bcf4cbeef367fb41e6bfc","datavalue":{"value":{"amount":"+0.89758676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$99C5DB00-783A-4240-9BDF-F782D2BCD398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87629de4359287996da652e0418c9ee9d901e54c","datavalue":{"value":{"entity-type":"item","numeric-id":4797424,"id":"Q4797424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de563ac86196d4213aa115259771caf80440d0e4","datavalue":{"value":{"amount":"+0.89701223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277782$E3C1A23E-8F95-4D0E-9EB8-2C6B9A55B6DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semantical characterizations and complexity of equivalences in answer set programming","badges":[]}}}}}