{"entities":{"Q3624060":{"pageid":5653966,"ns":120,"title":"Item:Q3624060","lastrevid":58221444,"modified":"2026-04-04T07:14:17Z","type":"item","id":"Q3624060","labels":{"en":{"language":"en","value":"Discovering classes of strongly equivalent logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5547878"}},"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":"Q3624060$9E2D6D4E-7B04-4680-BFC6-A3BDD2778908","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6277e0a4306a92136012a5df59c3341b36d3631","datavalue":{"value":"1182.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624060$44658D23-3C2A-488D-907A-6305FEFF804F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73208ac77eb6ceb840c3877e56c6921a6af9ca42","datavalue":{"value":{"entity-type":"item","numeric-id":197868,"id":"Q197868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624060$584493D4-60C8-4949-8484-2612214A19CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f7647fd93425cd039b467b3cef07a298dc93fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3624059,"id":"Q3624059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624060$45F8FF10-B4E9-42E2-A877-E8BA5E6A58E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"962aaad97593dfc1dafb90617b979127f52bb556","datavalue":{"value":{"time":"+2009-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3624060$8C25412A-AB54-4412-A1D4-11BEB1E47F27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fefdc2944f12f5c3ba1cda95493a41abe646aa44","datavalue":{"value":"https://arxiv.org/abs/1110.2738","type":"string"},"datatype":"url"},"type":"statement","id":"Q3624060$B61B76A6-0158-4540-8A37-1941C9457E92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624060$CF7EB8F2-45ED-4939-ABBE-6419AF137DF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3fd82cf87b7baed5821f4a1b5e0d6910915d783","datavalue":{"value":"5547878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3624060$6D70D7B6-62E1-4F5C-B6A9-26CEAD813DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fffee97ccc6359e8d7a8406ae9c0a7ac84547a0","datavalue":{"value":"computer-aided theorem discovery technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q3624060$31E29694-B33D-4F6F-8FC2-3411567F5F24","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":"Q3624060$08CB3A59-3006-42AE-A473-E710BBC844F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c2397af574e013d1cb2f59fb4483a52a833abee","datavalue":{"value":{"entity-type":"item","numeric-id":16611,"id":"Q16611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624060$9FBC72E8-43CC-439D-B101-EB559B101C72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79c66918880f31b09b4fbb0b19c8c8481c2203b2","datavalue":{"value":{"entity-type":"item","numeric-id":15063,"id":"Q15063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3624060$01A4358C-BAB3-4680-80AC-3A61F1DF42B3","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":"Q3624060$99A01022-F4E8-434B-99BA-4CF972E28A9B","rank":"normal"}],"P1643":[{"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":"db991d5ab439dbf45b950709834c9cc5710324b4","datavalue":{"value":{"amount":"+0.8074777126312256","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":"Q3624060$BA2B455F-B777-411A-BE52-A68784D8A4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d2ce7daac21b16d135be2141b0e29372898aa5","datavalue":{"value":{"entity-type":"item","numeric-id":5473996,"id":"Q5473996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55095617ad32c363be58b6d752370e27a8b50e7","datavalue":{"value":{"amount":"+0.7855029702186584","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":"Q3624060$42B20DED-2A23-4A25-902D-3208C3040AF3","rank":"normal"},{"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":"e3f41c9e2b618592222fa1f10d75fb6dd4bd8ce4","datavalue":{"value":{"amount":"+0.7827642560005188","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":"Q3624060$E8129785-EF67-483E-A0D0-7EFE2F0D6897","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":"a0c8fc835f89669e869d24bddbf4de1d63f36575","datavalue":{"value":{"amount":"+0.7749659419059753","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":"Q3624060$9652A17E-A08D-446F-A6EA-FC48CF9D4FA0","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":"ba16a5d08c0974e58b8181d4c07a435f68f864c3","datavalue":{"value":{"amount":"+0.769652247428894","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":"Q3624060$B3D3DB42-7132-4994-BA79-6859BCCDA186","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3624060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3624060"}}}}}