{"entities":{"Q5038462":{"pageid":7068039,"ns":120,"title":"Item:Q5038462","lastrevid":55421335,"modified":"2026-02-17T16:01:25Z","type":"item","id":"Q5038462","labels":{"en":{"language":"en","value":"Strong Equivalence of Logic Programs with Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7595326"}},"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":"Q5038462$4FD25535-37A1-4B50-A2E0-5B7ED55AF3F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"860f6e59803d3ea3d17e87dc1f0dc5f8e332170b","datavalue":{"value":{"text":"Strong Equivalence of Logic Programs with Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5038462$D587D4EA-8D50-4A50-820E-25DD37F3C482","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb12a1be167c4aedb58ecd9ef4e9c9e21e4c6c09","datavalue":{"value":"10.1017/S1471068422000278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038462$CF2D408A-2AE4-4952-BB34-99CA6D921B72","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264349f01f15aafc786d236704010273459ca31a","datavalue":{"value":{"entity-type":"item","numeric-id":234724,"id":"Q234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$A27F1E89-FC23-4FCF-A744-98D4505B35AA","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":"Q5038462$0A06809C-AE37-4E7E-A3A9-EC77E1D9C9C0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9283dd817d2ebf256bf865a5d69ed7b0c35a3bc5","datavalue":{"value":{"time":"+2022-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5038462$23D2925E-EB49-4768-B6CF-73C45A8B589F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f0261c60af39d17d993226e5f075e84ec2afe54","datavalue":{"value":"https://arxiv.org/abs/2205.07783","type":"string"},"datatype":"url"},"type":"statement","id":"Q5038462$1F8107F1-AE29-49AF-934C-0FDA7DC0D787","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038462$2324954A-80C4-4D14-8D41-9D13A6A9BF85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc160092173dca6f9b443431dc0face98dfd228f","datavalue":{"value":"7595326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5038462$AD26A69D-AEFD-4EC3-9AB0-3A3524071F01","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ed2bd5c1c1854c2af97502b62623aa3585d1f33","datavalue":{"value":"aggregates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038462$0ABC7C61-9C4F-41B9-A3FC-EEBB881331F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db950158dbf04962d46f58063f87afbd011015ef","datavalue":{"value":"answer set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038462$B0448BFE-D595-49AF-AEE3-D8B75A7056B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb17f38f322a6c605e1d6f9c9dbdce2bd6f8995a","datavalue":{"value":"strong equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5038462$FDAE170C-A5A9-453B-848A-85E4B025998A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f5d6e84e9c36b0c6a2477129394fe7ca01650b7f","datavalue":{"value":{"entity-type":"item","numeric-id":16800,"id":"Q16800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$4D58470F-5FA8-47BA-8528-574962B1B0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$4D6AC784-4DA0-4881-B6D6-F91F40CD6733","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":"Q5038462$FC2FE95A-9533-4BD5-A3ED-547E363C9062","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94cdfb9593809bdead9d9efe4fec09d19deada3","datavalue":{"value":{"entity-type":"item","numeric-id":543600,"id":"Q543600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$1E440484-7764-4360-B1C8-C080E5ACFB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b273b391188706ae47701c609a62531d91c6e90b","datavalue":{"value":{"entity-type":"item","numeric-id":4592989,"id":"Q4592989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$E9967207-A06A-4DD0-AD69-F79F56C99756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df92543ef492f1e7236feb9958e4cbef78f67860","datavalue":{"value":{"entity-type":"item","numeric-id":2321320,"id":"Q2321320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$3C737DA7-AD65-4BD2-84E3-8928E0A66325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ce38c25cc0bf997a7b3483d8074266502c62fd","datavalue":{"value":{"entity-type":"item","numeric-id":2407875,"id":"Q2407875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$174AC6C1-AE8F-437E-B250-7579BF87BEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$B400B70B-3F34-45EA-A393-FF90AB06025E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73cb48798ec55867b7755398fd1665da0f5d25b7","datavalue":{"value":{"entity-type":"item","numeric-id":2326735,"id":"Q2326735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$7C8AACD4-DBA1-4C5D-9B85-BA548CE2EDAC","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":"Q5038462$6934572C-D8DF-41F1-94A8-26912060DE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac9d46675d69da08688a08050917677153351448","datavalue":{"value":{"entity-type":"item","numeric-id":4702577,"id":"Q4702577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$91D724FB-41F5-4F1B-8D76-6B5717ECD4C8","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":"Q5038462$F49742BD-04CF-4C67-8733-019C82219896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9a002c27d4f40c42364ffbdf4cc7af05f9a626","datavalue":{"value":{"entity-type":"item","numeric-id":2900547,"id":"Q2900547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5038462$DBAEA338-838F-418F-BF49-290567AF700A","rank":"normal"}],"P1643":[{"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":"5dbb05869927fb1b0d3f765d48ea58d2848da39b","datavalue":{"value":{"amount":"+0.8408657312393188","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":"Q5038462$FB292F32-7BDB-47D9-B975-D21604FFE294","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":"5a3a4771f6a4531a6e8674c8aca8b7ae7c005d59","datavalue":{"value":{"amount":"+0.8366227746009827","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":"Q5038462$1F89BFF7-4990-4A89-B37C-BB4D79A8DFD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ede81a43702e50fe62a199b325d42722defb853","datavalue":{"value":{"entity-type":"item","numeric-id":6063863,"id":"Q6063863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d53adfa264888d9576a25e9b710c28c6c8f3daf2","datavalue":{"value":{"amount":"+0.8321501016616821","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":"Q5038462$65C8E68B-473F-4F91-9079-2D083336E0FB","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":"bbea3625c03c9b2e4c377e0603e85cfb2b6188e5","datavalue":{"value":{"amount":"+0.8258605599403381","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":"Q5038462$2817D926-20AE-4751-88AF-EAC326C87212","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":"c55cbf7f2098dd1d96f45cb4674ad58b09e01ff0","datavalue":{"value":{"amount":"+0.8243447542190552","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":"Q5038462$1A4190F6-8B63-4AC1-9CB7-99D4D775F822","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5038462","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5038462"}}}}}