{"entities":{"Q5140011":{"pageid":7169582,"ns":120,"title":"Item:Q5140011","lastrevid":58450530,"modified":"2026-04-05T06:51:36Z","type":"item","id":"Q5140011","labels":{"en":{"language":"en","value":"Verifying Tight Logic Programs with anthem and vampire"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7284967"}},"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":"Q5140011$E80E7CF1-C9B3-442C-913F-21732DD190D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c632ea260e1be86a410f99402f6daad8222a0819","datavalue":{"value":{"text":"Verifying Tight Logic Programs with anthem and vampire","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5140011$B143D137-A8C0-4BCB-B2D3-5CAF26205064","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4279c8cc7f462a613540b84f81c4d70d52e0fbc","datavalue":{"value":"1468.68127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140011$647D0D64-9CB2-4A9A-B517-9A392D4210E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6f7f7e2045f1390e64e6e61f42524810b3716012","datavalue":{"value":"10.1017/S1471068420000344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140011$50640AB4-4894-4C35-AEF2-F3E5BE0E31D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dacaca5cad7883409446c214a642c9ac040d88b","datavalue":{"value":{"entity-type":"item","numeric-id":1647483,"id":"Q1647483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$5DB955F2-C5B4-41A8-B887-EA119870316D","rank":"normal"},{"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":"Q5140011$44CBC0C5-D888-4CC8-9CA9-1E4229FF2005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf8255103459cec9e4a7a50693e37eb252f850e7","datavalue":{"value":{"entity-type":"item","numeric-id":2326734,"id":"Q2326734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$82050A8B-5213-4423-AD4C-2D3EC523DE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1b02b9e7e03e44c0aa9ad28c14a665e922cd412","datavalue":{"value":{"entity-type":"item","numeric-id":421457,"id":"Q421457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$13B4DF7B-5663-4B5D-9C24-907ECC655B59","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":"Q5140011$358498CB-CC53-4FF3-B612-8A7C96860F05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c22e955df7a052abb3ce5a1a5d7a826979ac81b","datavalue":{"value":{"time":"+2020-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5140011$CBB5313E-DC1E-4379-A3A5-5DB340C2EF51","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b040ed2447907b49ddc70c005e1146232694d725","datavalue":{"value":"https://arxiv.org/abs/2008.02025","type":"string"},"datatype":"url"},"type":"statement","id":"Q5140011$73DC2BD5-8F1F-4CE8-939D-772E15CAEA33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140011$C7F07622-0CF9-40C5-855F-3E6C03FB1C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140011$C66D126A-399D-4210-A016-B11AE2AFD161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140011$BCACE1DA-7F7A-41FA-9420-520353409E36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04f20303364af67cc628efc27450f312315fac8e","datavalue":{"value":"7284967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5140011$0E550D06-B75A-4459-91FD-2EB71D08852A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$3E5972E6-F11C-40F9-BB38-E9F14533AB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42980b6b269d46d6dffc89e1fefab8681fc78a94","datavalue":{"value":{"entity-type":"item","numeric-id":42137,"id":"Q42137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$DDC719A9-873E-475E-A2E0-32D320CA0004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$230B2177-1572-44F2-8A79-B89BF1981FA6","rank":"normal"},{"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":"Q5140011$8AF1A287-00DD-4A78-9969-1D6580EADA25","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":"Q5140011$AD0BA614-4C55-48AC-ADA8-2F4A71879B64","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"971827659a9b787383fcb93f2ce4a88c28fa1753","datavalue":{"value":{"entity-type":"item","numeric-id":4815031,"id":"Q4815031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$0885E4F4-D607-4909-B635-38574FF6058F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a381368a6e530fd9cfaf75684cdafb86ba06def9","datavalue":{"value":{"entity-type":"item","numeric-id":5473965,"id":"Q5473965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$5159DD81-CE72-4875-A203-6A543656EE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b75ee8f8a18238539664bf2738ea8a8583ca1625","datavalue":{"value":{"entity-type":"item","numeric-id":543596,"id":"Q543596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$4CD9CBBF-209F-46BD-9654-E000EEB11673","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":"Q5140011$1DAB05BF-0876-4BE1-8D76-07485D0529FD","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":"Q5140011$93E47990-62DD-4AA4-81B9-646FBC6E20E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f997e4c1de813a7125f45655f84a441aa838b7","datavalue":{"value":{"entity-type":"item","numeric-id":4592711,"id":"Q4592711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$475D923A-E79B-4D9A-A02B-5033D01D8499","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":"Q5140011$2165DC5B-130C-471C-ADFF-4804F29FC8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de6ebd1d7c658064a357bfc61a90398e30af93e","datavalue":{"value":{"entity-type":"item","numeric-id":5049051,"id":"Q5049051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$4D3C1F7E-C0DF-43EF-A0D9-75705D6B7E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f91ddf9af8926b185282362ed278218850f90e3","datavalue":{"value":{"entity-type":"item","numeric-id":3395261,"id":"Q3395261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$08D1A9E0-A02C-4A82-BE91-C7AEA527635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f82f0f40ab66cf033c5a229880b34de6b2284f9c","datavalue":{"value":{"entity-type":"item","numeric-id":1694574,"id":"Q1694574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5140011$6844E06B-6F8C-4F94-A217-1E36791E4082","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":"Q5140011$CC5A328D-7305-45D2-B78C-B1076999FB70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ed9ef38619504fc72a0bdb64ce00eb6bea3a3d","datavalue":{"value":{"entity-type":"item","numeric-id":4700388,"id":"Q4700388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fe001f861687bb3ee5082bec15adf5194dd2bd5","datavalue":{"value":{"amount":"+0.88796234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$0D6B1F10-E338-4867-AA8E-F62CC43D29B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ec963e1d58d40b3254d006f050734330f37984","datavalue":{"value":{"amount":"+0.8826882","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$673D1A0A-86C1-4611-935C-703A86A35B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42021b997c68bc862f1509efa3b66de45dd7291f","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0dd498befe3af97cf262fe0e823c555f46e77e","datavalue":{"value":{"amount":"+0.88227755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$24F0FE5D-47D1-4828-AE0E-75E2FB023520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7223ea97d0680b121a1433900756e5c525b5f769","datavalue":{"value":{"entity-type":"item","numeric-id":4421867,"id":"Q4421867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3798c35c4d5f00919b18b89dedd0b37ffe0fa448","datavalue":{"value":{"amount":"+0.8811078","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$80F2E65F-F39C-494A-8DCB-EBE246FA4204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b7ce3ca016bd441b560ad74e4a00443b784ee3b","datavalue":{"value":{"entity-type":"item","numeric-id":3086788,"id":"Q3086788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d18c74c88f95ec07fb460e6c040e573a4abd3a73","datavalue":{"value":{"amount":"+0.8781629","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$33F933AD-FECA-4F7B-800C-26167D17A951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8266f2c8ef040bdae8a8d17dbab7410a4f0f3244","datavalue":{"value":{"entity-type":"item","numeric-id":4923368,"id":"Q4923368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d1c88004640af003aaad16fd6f4587d8639120","datavalue":{"value":{"amount":"+0.87737495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$EAF1143E-4701-4FE4-AEA9-C7C2E3A75D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50f6264312a1027b1b5e1080ad2d88147897e010","datavalue":{"value":{"entity-type":"item","numeric-id":4499243,"id":"Q4499243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced6ddf264640b02359366e31a889b8bba52bc43","datavalue":{"value":{"amount":"+0.8747967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$0D01D9FB-7108-42A7-8247-DC5D5BC7504E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75e0beb13f2a57e18bd945bb12f766a141166fef","datavalue":{"value":{"entity-type":"item","numeric-id":1887175,"id":"Q1887175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ced6ddf264640b02359366e31a889b8bba52bc43","datavalue":{"value":{"amount":"+0.8747967","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$BFD7BD9B-535E-4B25-ACE9-3AFBEFD03E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4168c1fa5c1771efcb4008c2d86753fb4f943278","datavalue":{"value":{"entity-type":"item","numeric-id":5049051,"id":"Q5049051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70dd89bb0ced655b90acd7b8ba86b363dfc089a7","datavalue":{"value":{"amount":"+0.87439036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5140011$830245E9-C5A8-4C6B-9044-3F54508F96E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5140011","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5140011"}}}}}