{"entities":{"Q3086788":{"pageid":3097503,"ns":120,"title":"Item:Q3086788","lastrevid":51217379,"modified":"2026-01-17T07:18:32Z","type":"item","id":"Q3086788","labels":{"en":{"language":"en","value":"A proof-theoretic approach to the static analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872268"}},"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":"Q3086788$26B2D21F-E7DF-45EE-8937-65C5F03CA983","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc369828a52e63499d760fbec9385a562f9e4e86","datavalue":{"value":"1226.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086788$9AA4158F-D895-493A-B5E9-50D88C74E320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-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":"Q3086788$7AE6F1BB-B7EA-480A-ADA7-00D9B243F753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086788$AC6DDDF5-D098-477B-AFE5-92CF43EABFCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086788$118D1494-8399-4A09-B8E0-F23ED8A21DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086788$4A79F125-34CE-4C50-9C4D-84E2F6838483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086788$65C2B9ED-08DE-4FF1-9E29-F67D1058C604","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43449d37791c3d73f420e1f4ccb3b46450b93851","datavalue":{"value":"5872268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086788$4CBC6DE7-7F01-4A99-BAB1-0EE979034BB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086788$8CD2ECBF-C621-4543-872E-C8BB77F983DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086788$55B6E08A-C4E2-4F70-99E0-01FECECACE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06c9f5d0460bc47faea2e7d3074219f90792644","datavalue":{"value":"approximation of data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086788$338976B3-D3F7-4421-8ACA-A7E0D4F7210F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086788$29789DB8-48D6-4B19-AF60-EC1C2074951A","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":"Q3086788$557505D5-9F46-4FF7-A075-ECA71E824064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a1ae26bef53a62d949bdbef2a69802c6011f488","datavalue":{"value":{"amount":"+0.7672544121742249","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":"Q3086788$5E4B1721-016A-4497-BEC2-0B3B9389F6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c87ec311a15d8827e2fadb0daf39bcac965bfa22","datavalue":{"value":{"entity-type":"item","numeric-id":3455540,"id":"Q3455540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf8b2f0d7f1e1702db129dd29fae944a9f86a096","datavalue":{"value":{"amount":"+0.765656590461731","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":"Q3086788$41CEAD81-E560-49FE-BE82-07200694D953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbc3a3bd250d70911a393ec7a6bcbf0cbc47bb6a","datavalue":{"value":{"entity-type":"item","numeric-id":1929363,"id":"Q1929363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f4494b0c3a70c7691ea5679eb24c488a832aca","datavalue":{"value":{"amount":"+0.7619063854217529","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":"Q3086788$028BA553-0C62-421D-8AF7-69060D58D065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b6d56566321adca77f28726083b293374f4088","datavalue":{"value":{"entity-type":"item","numeric-id":3578394,"id":"Q3578394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf2b2d7f63ce3530eb1ac5e1a8c36d18b3c9d23","datavalue":{"value":{"amount":"+0.7601326107978821","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":"Q3086788$514BE17E-BF45-46B6-B751-9D536C3838C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65c5a4d57286f1e01cc7ebe26764b62b5dbc8597","datavalue":{"value":{"entity-type":"item","numeric-id":4414732,"id":"Q4414732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b406b6d4f7068914aed257d61703fc4fbe53f7","datavalue":{"value":{"amount":"+0.7541709542274475","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":"Q3086788$6D224611-1A46-47B3-895E-8F13690A2B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086788","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086788"}}}}}