{"entities":{"Q5020560":{"pageid":7050137,"ns":120,"title":"Item:Q5020560","lastrevid":55397185,"modified":"2026-02-17T15:29:58Z","type":"item","id":"Q5020560","labels":{"en":{"language":"en","value":"Extended magic for negation: efficient demand-driven evaluation of stratified Datalog with precise complexity guarantees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7453118"}},"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":"Q5020560$0E3AEB67-C197-4B2D-AA57-DB6E64366322","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6727ff6e206da3f19e3d0b03d35b4171d56e85b1","datavalue":{"value":{"entity-type":"item","numeric-id":4593067,"id":"Q4593067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$14EC2831-6E27-4B93-9B46-367FC1C092CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c37aa7b49232af847f60c0e647a97771f753e1c9","datavalue":{"value":{"entity-type":"item","numeric-id":216151,"id":"Q216151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$64328A89-2840-4248-BF9A-F95E25A76800","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5eeef85fccb3b9ec0f1e08769d6215b8e0218bd","datavalue":{"value":{"time":"+2022-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5020560$5C9E2D68-7CD9-40FA-BFDB-E0A4E5CC1599","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3694aa1c9b638ee02d7e1436928ee5e0fa2d892e","datavalue":{"value":"https://arxiv.org/abs/1909.08246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020560$27794B99-7554-4685-AA11-4DE9BD720D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1cf018b9e0c672725d2070f403a4490b40d229c","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.28","type":"string"},"datatype":"url"},"type":"statement","id":"Q5020560$E2BDF238-4DC4-4FB8-90E0-D14E97F388C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020560$38C04C82-D012-42AD-8C8C-157A60AB1676","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"109e5b1659ef29738c086f3c77d811f532456d0e","datavalue":{"value":"7453118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5020560$4AE0AE62-9629-4979-BC78-1E1B6962DDE4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2789c4180cb74657deb2517f82f92af150a6fa95","datavalue":{"value":{"entity-type":"item","numeric-id":44803,"id":"Q44803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$99C1C1DE-1D75-4FC6-ACB8-94C1B39FBE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91bca1c2a518a046e416057d3d71807670849859","datavalue":{"value":{"entity-type":"item","numeric-id":19059,"id":"Q19059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$977C0293-4ABA-4AFF-8346-19BBD9C5A077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$DEAA26B8-97E7-4B1B-896D-31108A1F4664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0722b682c655a36bdb24a42b09e0f9a3c4b58478","datavalue":{"value":{"entity-type":"item","numeric-id":38479,"id":"Q38479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$D382BF9C-8886-4949-8A07-35EF56FB857F","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":"Q5020560$A9C0A27C-ABE8-43CE-BAD2-5718E3D86719","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bee697674c7551e76a7d180d41bbbf246a48ead","datavalue":{"value":{"entity-type":"item","numeric-id":4301150,"id":"Q4301150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$7F837DF0-5E00-4318-86C6-6DD92AE9EF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78d51c47976dcda9c5a8e121ff9368920c64528","datavalue":{"value":{"entity-type":"item","numeric-id":2401936,"id":"Q2401936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$27329B31-A4DC-4D0F-A90B-A995ABDE6B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c71eded70cb335376c59c3addfb0bd87cf098b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761296,"id":"Q1761296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$3AF762B3-F377-4015-BFE5-ECC9A0093164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0334f4d5b8ea8419d8314765c7975806cdb54b55","datavalue":{"value":{"entity-type":"item","numeric-id":3988800,"id":"Q3988800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$B2A2C596-0D22-4E5E-A214-E1A809FD3414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d575f928e5b101835789d397612c043055704d29","datavalue":{"value":{"entity-type":"item","numeric-id":3210147,"id":"Q3210147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$FEBB666C-6560-4261-B364-CFA6A13B875C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d369178d0c50df42a0aa68467c5598f37b36fec","datavalue":{"value":{"entity-type":"item","numeric-id":5101445,"id":"Q5101445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$D65F4BD5-3FAE-4EBD-A909-E7F5AD0CBFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8d5410992220f4c4a34a7724b651a7c922af92b","datavalue":{"value":{"entity-type":"item","numeric-id":4452640,"id":"Q4452640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$3CAD155C-40E5-4522-AFC3-932A81C19DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$E47D3301-AAA3-44F0-AAD7-45B49233D94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e56cc0ad7baa7eff77c156e697973d717687501","datavalue":{"value":{"entity-type":"item","numeric-id":3011296,"id":"Q3011296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$9A938C74-0B7D-4EFA-8356-C1C2EDCCA432","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":"Q5020560$B10CD1EF-9E25-4C07-B84B-ABF49EEF9109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ebcdb28482a6de34302f607ee9d8f6008132c","datavalue":{"value":{"entity-type":"item","numeric-id":673130,"id":"Q673130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$B0A235C3-BAA9-4DE5-BFCF-748F79AF5742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1394e956024086b2f76135d38d2f4b4e833c089","datavalue":{"value":{"entity-type":"item","numeric-id":1709704,"id":"Q1709704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$94DF294B-16E4-4E7C-8E40-5498BB1FD296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56db7e110fdbe80852a488c05199a64427219f18","datavalue":{"value":{"entity-type":"item","numeric-id":685491,"id":"Q685491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$661169A8-C20C-4C76-9EB0-AB6BD1E3DE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9256baf8355c7cd767328f58d2c4b0b970b7ed","datavalue":{"value":{"entity-type":"item","numeric-id":2321273,"id":"Q2321273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$A81BE587-3A93-45C7-A564-9F698E93E65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7cb2218ddd61329267c83e431da09cb6ec9409","datavalue":{"value":{"entity-type":"item","numeric-id":1823724,"id":"Q1823724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$5A432088-E986-404F-AFE6-3125963E2B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7727791b011efe05898560876f04849bc9615d85","datavalue":{"value":{"entity-type":"item","numeric-id":4327632,"id":"Q4327632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$822EE23F-3698-4E61-A771-723F09835466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$85D1D518-AAC4-43FB-87FB-9C65055C450C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5020560$ACC5D47D-5D46-4E60-A138-C11109CDA25D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57285bdc8d8b28e79e8bd989ae4454da0f20ab9","datavalue":{"value":{"entity-type":"item","numeric-id":685491,"id":"Q685491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce5a77e17626530e2f61047a4e87a128212b9c6b","datavalue":{"value":{"amount":"+0.8128440976142883","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":"Q5020560$0FCC5DEE-4F4A-4BC2-8BEF-3F4D98F0B5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73a74aebc3ead384ee81496bdf6ca2113ebf8a9d","datavalue":{"value":{"entity-type":"item","numeric-id":4327632,"id":"Q4327632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15aaddb48580213def6fe5ed378f6387ec83994e","datavalue":{"value":{"amount":"+0.7941645383834839","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":"Q5020560$AAC9DF6E-63FF-4DA9-9982-41530A2FB61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6278e5634f72ab4fb180d83b9aa4d698e60b7d36","datavalue":{"value":{"entity-type":"item","numeric-id":6487687,"id":"Q6487687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b21c7564c12f3c2443ed84e98e840a89cfc70ea","datavalue":{"value":{"amount":"+0.7746286988258362","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":"Q5020560$F13A2857-D825-441F-A8FC-8E31E9ECD056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d437c2c93f44a35eac551ed8e551723b9758969","datavalue":{"value":{"entity-type":"item","numeric-id":3988800,"id":"Q3988800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d4671859db62eda040a042799052e521e14411e","datavalue":{"value":{"amount":"+0.7667032480239868","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":"Q5020560$5EB7F2FA-E972-4765-9370-64762A58BABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbea862b27987532fc8010bf2c8c40af6b45205d","datavalue":{"value":{"entity-type":"item","numeric-id":4208864,"id":"Q4208864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a59e449f0ef9174c9e79e418740a0e599716b8a","datavalue":{"value":{"amount":"+0.7496697306632996","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":"Q5020560$894CBA81-DF00-4839-8134-0143F038438B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5020560","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5020560"}}}}}