{"entities":{"Q987828":{"pageid":989676,"ns":120,"title":"Item:Q987828","lastrevid":51057674,"modified":"2026-01-16T10:36:13Z","type":"item","id":"Q987828","labels":{"en":{"language":"en","value":"Strong equivalence of logic programs under the infinite-valued semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5771264"}},"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":"Q987828$7F5FDC17-14DF-4336-8F4E-3873CD78D756","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96a27bf872e5648e7f0065c0a73542c4e5ec72c3","datavalue":{"value":{"text":"Strong equivalence of logic programs under the infinite-valued semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987828$9DFF74CD-F182-4A06-A4EE-293423E35008","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77d8869232709648c32028acbcaa8c3d28aa86eb","datavalue":{"value":"1213.68181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987828$A93E73E6-C054-4809-9678-97675876239A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabe44788d95d3eeb614879e9f2cbd05912d1c01","datavalue":{"value":{"entity-type":"item","numeric-id":345701,"id":"Q345701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987828$AE1BF1F7-1A99-433E-AF85-6DE7A40A2ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987828$899E52FD-9067-42F5-8835-6BCDE9CC6E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f75b0974d4d5c1a2893e608fd0ac428b68651de","datavalue":{"value":{"entity-type":"item","numeric-id":987827,"id":"Q987827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987828$82C07BC0-4E6C-4DB0-9A85-6B75525575D2","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":"Q987828$BDB086DE-C8CB-45CA-9137-C321F7C944DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ab1a23b33b6c3db0ddd484ed90ac34e13f69d9a","datavalue":{"value":{"time":"+2010-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987828$0F97E5F4-0775-4EB5-83D8-7287EE2FFB50","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987828$8583944F-BFCD-43D4-9448-6813C27AD3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987828$FB5DF50D-2195-466F-BC53-CB25FCA6F689","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70668ac35c66acf0f07254a3008ddd3aae31ad33","datavalue":{"value":"5771264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987828$F8E4B6EB-9B16-475D-BAFD-26C28B4C1296","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q987828$F41A2B0E-D7A0-4D93-8CB4-BB27F7796B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q987828$EB45E9AC-D2A6-4467-9DF5-A3E1D03341E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q987828$8BB7C6BC-B117-41D1-B1F9-80145CBB593A","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":"Q987828$F21B0FFC-5509-4805-84C6-B259A88AD374","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad21c6bb8e410388d322f49fd4334174762091ad","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q987828$5B703A4B-7A01-4594-84C8-312E5F31C970","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5327cc1493d072c273c629601a4047c5086a759b","datavalue":{"value":"W2047574806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987828$99F9C20C-C941-4907-B0DD-20720CE5EAD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fecc1cae86af7527d2bf5f4519470c4a693e30f","datavalue":{"value":{"entity-type":"item","numeric-id":2474440,"id":"Q2474440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987828$0C874CB7-519E-4254-97AD-9647D856447E","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":"Q987828$30EADA09-ADF7-47B3-9A5E-6B1B7A506A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d52eeedac1654ebebab6d949058e28292dc9b72e","datavalue":{"value":{"entity-type":"item","numeric-id":5475797,"id":"Q5475797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987828$AADD0510-43F1-4031-8FE1-4A6E19BFA7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb7e593dc711413de13eb5341cee7b5af247a9fa","datavalue":{"value":{"entity-type":"item","numeric-id":5277727,"id":"Q5277727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987828$4A0D4448-8D2B-45B6-BF18-9F016658D8DA","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":"Q987828$3FAF0A88-BD6E-4D76-9F06-5E997297017B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b45dbf7ec85cb3d24cd79d925ec567c1e1350d3a","datavalue":{"value":"10.1016/J.IPL.2009.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987828$B150271D-ADC0-4DE1-8A9C-411FB051C69F","rank":"normal"}],"P1643":[{"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":"d64104484748218f1031d48d86c51192122b9824","datavalue":{"value":{"amount":"+0.8762438297271729","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":"Q987828$874060E6-3E9C-4EE0-A840-D6AECEF506FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacdb0a177fd3fce5410d6abad8a8f0cbf33f2d7","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f11887ac23117b7f1097144e84997a8f5e8f1eb","datavalue":{"value":{"amount":"+0.8474560976028442","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":"Q987828$D88CD83A-606E-4ACF-962F-F3A25D5D011C","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":"498688dc1a221328955a1baa968b8afff88e737f","datavalue":{"value":{"amount":"+0.8459284901618958","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":"Q987828$C293D3C8-3DBB-4D01-82C2-B1224F904BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3c824456697eaca6052b9678c04bec6f1a4e61d","datavalue":{"value":{"entity-type":"item","numeric-id":5431419,"id":"Q5431419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b47e048baae01c082424b21f3d486c0ec8b485","datavalue":{"value":{"amount":"+0.8182541131973267","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":"Q987828$45792AC9-1AD0-4E1C-8560-78D9A02CE2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be5379bcf6eb57dbd7dc1e8cddf64eec2297960c","datavalue":{"value":{"entity-type":"item","numeric-id":4799292,"id":"Q4799292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f8c6ad3f2f555d9f9f2e9b29e2a585f843a8a5","datavalue":{"value":{"amount":"+0.8142582774162292","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":"Q987828$E2D7B506-67A5-4479-81AE-B198ECB31355","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987828","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987828"}}}}}