{"entities":{"Q4631192":{"pageid":6660774,"ns":120,"title":"Item:Q4631192","lastrevid":53406674,"modified":"2026-01-24T22:08:51Z","type":"item","id":"Q4631192","labels":{"en":{"language":"en","value":"On structural analysis of non-ground answer-set programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7047284"}},"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":"Q4631192$0CD4DCEA-EBC7-42AC-8429-755E53AC9A35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dca412affe327fa42de60524bb58c454c2b9085b","datavalue":{"value":"1407.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631192$14BA5012-FE41-4964-B612-2057DEF8B3C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f58cb4392b797c6a9cd32772df8b3616c15ce","datavalue":{"value":{"entity-type":"item","numeric-id":1680259,"id":"Q1680259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631192$46FEBBD6-9E11-4E66-90F0-14995B2A0AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5841eac5cc3c2145e87f90594190380e6166e816","datavalue":{"value":{"entity-type":"item","numeric-id":460630,"id":"Q460630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631192$8A9C1E21-5501-4C16-8656-BFBFAD9AE9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b4c9a3b60ce1a7957f6ef922f2b322f43dfc45","datavalue":{"value":{"entity-type":"item","numeric-id":1868243,"id":"Q1868243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4631192$39542FE9-E12C-42D6-8BF1-BB49D8B85DEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a5935bb4f070aa8014d987a25d24fc56c18ba30a","datavalue":{"value":{"time":"+2019-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4631192$0CDB0DF0-CB6A-40C0-B615-AEA5E7D5B067","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da3e7a2a15535be2e48563bc99460aa38d91f760","datavalue":{"value":"http://ceur-ws.org/Vol-1433/tc_65.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4631192$F0C43984-E51C-4083-802D-4D2B15460DC5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631192$498B1AD5-3A9D-4FD8-A807-D47CA513B056","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30993fe5861b6b9ff1731c95a9e1f020e6f00730","datavalue":{"value":"7047284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4631192$822F0D8D-9E30-4025-98AA-CB617892A3DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631192$98064044-0339-4F63-B57C-64A3E03D6062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f64593ff565a20a12ec3301961fed5e9a5dd7441","datavalue":{"value":"generate-define-test paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631192$549CDAFF-7A77-4ADD-B56C-1AE6B7E54BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4631192$AC92127B-C042-4E9F-82C3-4F55B8A241FB","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":"Q4631192$3C3F2B96-C147-4337-BC0E-EBBD1ECB1CEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d583e807d56238215e02a70bdaca1991c6c187","datavalue":{"value":{"entity-type":"item","numeric-id":5398066,"id":"Q5398066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c9685f794b6f4db0d5a45e98e312cdc92a8e277","datavalue":{"value":{"amount":"+0.7197063565254211","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":"Q4631192$ED4F8501-000A-460C-AFFE-05C578ADA336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ed79296efe2b98607756b902ef1bfabe028dd9","datavalue":{"value":{"entity-type":"item","numeric-id":2999229,"id":"Q2999229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b729525f4198c82a69c3ea54c9779c56489e03da","datavalue":{"value":{"amount":"+0.7063687443733215","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":"Q4631192$55944766-3AA2-4942-8767-C93E0EE14B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d498c0b3be680e3131463f2a5288c627537900b","datavalue":{"value":{"entity-type":"item","numeric-id":4559823,"id":"Q4559823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2293488824a433454f556e5c17cc92845ab17e34","datavalue":{"value":{"amount":"+0.6988705992698669","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":"Q4631192$94FCA835-8D08-4B3E-A529-2FB6B141B1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d68d90be614dbf18cab0c6a0e4ca8413d7136ee9","datavalue":{"value":{"entity-type":"item","numeric-id":3585165,"id":"Q3585165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc0ed7fa8d0ad19a4538cc0b40b55f6ea6c53e5","datavalue":{"value":{"amount":"+0.6897557973861694","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":"Q4631192$4F5B7799-3233-4BDA-BC4A-BDFC4F5A1754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9b0249abf567f9e4abefb60bfc7916a8573e34","datavalue":{"value":{"entity-type":"item","numeric-id":4592711,"id":"Q4592711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6117da2024701ed5a7749769c9387778e2cc1907","datavalue":{"value":{"amount":"+0.6834900379180908","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":"Q4631192$61E8B8A1-0F3C-44AE-8A6F-F4DA197CF75F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4631192","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4631192"}}}}}