{"entities":{"Q5504680":{"pageid":7534240,"ns":120,"title":"Item:Q5504680","lastrevid":50547443,"modified":"2026-01-14T08:55:28Z","type":"item","id":"Q5504680","labels":{"en":{"language":"en","value":"Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5496717"}},"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":"Q5504680$F66C619B-F17C-4458-AEB7-3F29126E9EFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7bf0b61e8e70b2cc17d536d591423bfd0a9ccf58","datavalue":{"value":{"text":"Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5504680$6BFBDFBC-05BC-4C06-BE40-E3D0E1CE31B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42aa48304397238aa8013f916c030728a2f3886a","datavalue":{"value":"1185.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504680$E5939759-A4B8-4ECD-B733-BE8B7206FC37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"229c77533e92d1a0b1b3bfad1b272eb733df8fe0","datavalue":{"value":"10.1007/978-3-540-89982-2_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504680$333CA5BC-DF39-430A-AAE1-EDA947119127","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1594aa9f98b4649e176f08ac80a733ad89e27147","datavalue":{"value":{"entity-type":"item","numeric-id":1748466,"id":"Q1748466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$100A4E79-80F1-41DD-8465-06BFCB32BD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$6453CAF6-E93F-48F0-9F3B-8BCB154C59B9","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":"Q5504680$1C21D6DF-1FC5-4A7B-95CE-DFE21F229667","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$5C1BA92D-59BF-4FCB-A176-195DA4464555","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2844be9af34a276fa39e2e4031f3513bcfe525d4","datavalue":{"value":{"time":"+2009-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5504680$6B4236F5-A757-422E-AB8E-74E7C5C7C924","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504680$3800968B-10A9-4DC6-B792-134D4F230818","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"927c16228744c985fcccdd04b67cd323342813df","datavalue":{"value":"5496717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504680$E1425A9E-62AC-4B21-9E9C-72CB68F2532D","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":"Q5504680$07709D5F-8C98-4DF5-8615-F788C7D42580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b117d1289fd4775b9943e39d4ed1f5ba52abad7b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89982-2_47","type":"string"},"datatype":"url"},"type":"statement","id":"Q5504680$A2E9FB1B-BDB1-4EEE-B8BA-1E27400006EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23a5b2d4dbd9564c36d6fe0dd347ada6aec1a796","datavalue":{"value":"W1562378881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5504680$1D8F18D3-DF74-4174-B6F9-5EA37C991730","rank":"normal"}],"P223":[{"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":"Q5504680$07681A9C-DDFC-450E-A601-9D4252F3AA65","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":"Q5504680$319E8CDB-8C63-4005-A8F5-76EA9FE80B01","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":"Q5504680$6088C4C9-A174-4CED-9B28-6BCB451F15FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3eb31d1f35138bbf0149d57bdfea62403193c96","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$5FF328DB-7B58-4A24-8460-78E60A0DF13B","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":"Q5504680$76B9E3BD-9BC2-49D5-B03F-A79D3B4D62A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78605c7a4a2148bf37f691ed31eac4b554d25300","datavalue":{"value":{"entity-type":"item","numeric-id":5504681,"id":"Q5504681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$8430FC66-7234-49A8-B56C-A9F9762C0784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7446bed6881fc83121d6738a8d42804f2baabe98","datavalue":{"value":{"entity-type":"item","numeric-id":5424867,"id":"Q5424867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$770168DC-CD4E-4A02-A1C8-B934741B29DF","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":"Q5504680$F994D348-F177-4BD0-B16F-E47949A6B87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8254f1a57bdf07f50aac86da290c24388690bc61","datavalue":{"value":{"entity-type":"item","numeric-id":5394122,"id":"Q5394122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5504680$84EC2EEB-7323-4464-86AE-04E7AEC9D8D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"952cbb3ba2275e3b7dece25677006998761b591c","datavalue":{"value":{"entity-type":"item","numeric-id":3643124,"id":"Q3643124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e35dc549e1a6372d520e39ce5616161fbad861","datavalue":{"value":{"amount":"+0.882090151309967","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":"Q5504680$0408FB0B-6DF2-4BC9-9E13-809E45D1A0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35db74a9ee30eba7328fd946db767286e2cb8124","datavalue":{"value":{"entity-type":"item","numeric-id":4583308,"id":"Q4583308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40104145b66cd3abcf86ff34e93cb7b7f5588d3d","datavalue":{"value":{"amount":"+0.8086239695549011","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":"Q5504680$467D412B-31BE-4E0B-820D-A185547504BA","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":"ab80c62c68920919370fa600065866de4119f34b","datavalue":{"value":{"amount":"+0.805976390838623","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":"Q5504680$D22841AD-9F8A-4207-A40E-87C6A6978E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3f08fa5816453bb55e30d40f6f56efde7df865e","datavalue":{"value":{"entity-type":"item","numeric-id":5424867,"id":"Q5424867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a920ab464d37eb84fdb2e6770d6e6b457d16ef","datavalue":{"value":{"amount":"+0.7936094403266907","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":"Q5504680$1BEEB360-CADA-4286-B428-ACED83BA670E","rank":"normal"},{"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":"693a374c1f124e4dadba72ee516e51c402ed6cf3","datavalue":{"value":{"amount":"+0.7737715244293213","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":"Q5504680$989C03BA-A719-4186-B76C-DD5AE5446321","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5504680","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5504680"}}}}}