{"entities":{"Q3003252":{"pageid":3013976,"ns":120,"title":"Item:Q3003252","lastrevid":51254036,"modified":"2026-01-17T11:29:32Z","type":"item","id":"Q3003252","labels":{"en":{"language":"en","value":"Strong equivalence of logic programs with abstract constraint atoms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899992"}},"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":"Q3003252$15A1F0EF-5DBD-49F8-ABCB-CF60F0AD7DA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f946b38b8c00c7e0f385ba9b36f9c952e0a10de7","datavalue":{"value":{"text":"Strong Equivalence of Logic Programs with Abstract Constraint Atoms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003252$2312B699-58CE-4977-9286-33C3B1814520","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d77c973cb7b3995f47dd488d06371e2028da2568","datavalue":{"value":"1327.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003252$D1C95DD4-0824-4FF7-A709-7A868F943730","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f650c53639f23413ab90218ef4ade71d5410167e","datavalue":{"value":"10.1007/978-3-642-20895-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003252$CA9FBFB3-28A0-4177-8911-593566205903","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bacf5847130dc014c6b834dba539acff3ce3d716","datavalue":{"value":{"entity-type":"item","numeric-id":300232,"id":"Q300232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$6698D1A8-1D97-4566-B5EE-FAF5C2394F50","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":"Q3003252$7A15189D-91F7-42E0-8CC1-3FF760FB288E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebbe34775ef1d216531e6f0566e565f5ff1b1656","datavalue":{"value":{"entity-type":"item","numeric-id":645081,"id":"Q645081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$EF284F90-5394-4993-BD77-8DA1936B2AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720ec455f5362686a09584171387b4ef996f50","datavalue":{"value":{"entity-type":"item","numeric-id":943126,"id":"Q943126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$5F74291E-75D4-462A-ADA1-FBD4EB13A98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$B7CC59E7-64BA-4FB7-BDFE-E7CD472680E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$B06BF6CB-E7ED-466C-991D-4EC9AA9F96D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003252$876D95EA-7033-4ECF-A27C-9896A4EC511E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003252$C3E71278-C340-4C3D-8A23-55FC2BED5BFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed94bf8eccab33c022b001f3804522585eb5184c","datavalue":{"value":"5899992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003252$0A5184BC-74E7-4C76-BB00-D7238E8C48AB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5521ee0488b50dc9e8c273fcd2679ed13d8e39f","datavalue":{"value":{"entity-type":"item","numeric-id":16801,"id":"Q16801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$7D6B8EC6-F854-4E1B-8EA1-5304D4FBCAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003252$4709C314-C13E-472A-B04E-F999466C96F4","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":"Q3003252$002C0A0C-F396-4DCB-9A68-04399DFEE82E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f1c83ac2020fb485d59d4a90ade5aa1ba616d57d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20895-9_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003252$0E922488-6050-408C-BFC7-38382DA1067F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f6fa1e1fe67b3cf362fdcf68a8820370c36af98","datavalue":{"value":"W2163716430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003252$368D44EB-44DA-4ADF-BB6A-CEB6CEBCE071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea33aa3d446a4a35599d608bc7a3833997fb16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5425408,"id":"Q5425408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33844732d3852019c381f4ba7aa3a1dc64f00aa9","datavalue":{"value":{"amount":"+0.811623752117157","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":"Q3003252$7274EC70-D7D9-4C0F-9D00-B90A6CA4AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7b5d4843d7eff526f2fd382b05084a60fb13714","datavalue":{"value":{"entity-type":"item","numeric-id":4815035,"id":"Q4815035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d3d570924e1f147222543de377e717dcd11895","datavalue":{"value":{"amount":"+0.8116047382354736","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":"Q3003252$BF7CFEFA-A0AB-45C3-84DD-4C30113AA89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19e000ad49afd82833cb64d9dd071c10fe20bb66","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9749dbcaa65eb22b53ec160e8a3c15c4de4ebd64","datavalue":{"value":{"amount":"+0.8089308142662048","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":"Q3003252$D7027E25-B414-4239-9FE5-0A02B5C9DB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8337863b8b0f352799f900a9f9ba6c7094ac8d40","datavalue":{"value":{"entity-type":"item","numeric-id":5191482,"id":"Q5191482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf3ea0df30c95ecb972ddc579946c1d3e817b36","datavalue":{"value":{"amount":"+0.7937477827072144","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":"Q3003252$D204D062-9D29-48B3-95C2-E4F17F646F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e97016efd4ddd6da251c66ef051e3ee4988182","datavalue":{"value":{"entity-type":"item","numeric-id":3449222,"id":"Q3449222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755b7a629252741143c0c21d690e0b7b23fe669d","datavalue":{"value":{"amount":"+0.793234646320343","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":"Q3003252$2FDEBB98-B890-4A91-A1E3-2330A335789F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003252"}}}}}