{"entities":{"Q2996186":{"pageid":3006910,"ns":120,"title":"Item:Q2996186","lastrevid":85348283,"modified":"2026-06-03T07:15:05Z","type":"item","id":"Q2996186","labels":{"en":{"language":"en","value":"Efficient negation using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884922"}},"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":"Q2996186$46C09597-7D24-43BC-B12C-F2BFC0B69803","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95831b9dcb58c881b3ff514ae879409cab9f3721","datavalue":{"value":{"text":"Efficient Negation Using Abstract Interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996186$AA47BDE2-A4AD-4720-B89E-7193CFC6EFD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70c3a0d8d14db536a4d4581c79bef2be988f0d5a","datavalue":{"value":"1275.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996186$8E317F4E-5D7B-4212-A8A3-A1C8EF2DAAD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e306aae4ce45953cac3030ba611c81a82d8a8c7f","datavalue":{"value":"10.1007/3-540-45653-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996186$F47E5F2D-7FFD-4698-B540-32FFEF1850F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd56df72b3e71794bfa9d5fa0a3ad12dacf9d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":188748,"id":"Q188748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996186$575378E7-9BFC-4BA1-9FC0-06209AE0176A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a99bc836ee01ea768d06bbede6591f56ed36f8b0","datavalue":{"value":{"entity-type":"item","numeric-id":2996185,"id":"Q2996185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996186$CD3AE9BA-41A3-4DEE-BD8B-5581365C4BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fdc9da9080ec9c8e10fd6ecc20006e9734d7d9e","datavalue":{"value":{"entity-type":"item","numeric-id":488323,"id":"Q488323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996186$DF158764-9221-4D5F-98FC-D87B64747468","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996186$F9A5D12F-62DA-4B1F-B5C0-5F7B1988BB0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-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":"Q2996186$687EB3C4-D6DD-4CF3-8E45-7D745074F8E6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"897a6c84d897131f02fbf80a239474dabbfc0cac","datavalue":{"value":"http://oa.upm.es/14377/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996186$4845870E-E432-4F48-A7E9-9C795CB3FC2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996186$17652E57-3A1F-4BD3-BE3F-C9DD95A20F2E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c6c0616de6e879ade9ad9e47c629ed275a66b5b4","datavalue":{"value":"5884922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996186$8FB04186-6CB6-499D-A19C-CDE11AC18EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce920c8c1e1186b87ee7e406059f961e34749953","datavalue":{"value":"negation in logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996186$9107538D-CDFF-4639-BE7D-68B4C099A6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996186$07B09330-AAB7-443D-B550-57F8C8222583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996186$661E2EE1-4855-4CEB-A297-50B0DB792A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10a00222df2e2ed33091f523f0c117655b276f41","datavalue":{"value":"implementations of logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996186$1C07FCD9-F1AC-4725-AF8E-2A81D1CDA9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996186$44C4E39A-5551-4A95-8CF9-096C9A63C4E0","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":"Q2996186$4E0326CE-3F2A-4E03-A6EF-1D90E619C81D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bdf614b911600af46f8f95f6292d9f5268d484ef","datavalue":{"value":"W1605977342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996186$35F68B34-4B27-4039-BEDA-27D62A6B469D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1411340b54a08c3637074d7994b3050472babd","datavalue":{"value":{"entity-type":"item","numeric-id":5394131,"id":"Q5394131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebb576b8e7728cba8ef528e8f5c16feee37862ef","datavalue":{"value":{"amount":"+0.8142638206481934","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":"Q2996186$5E4200D3-0CE2-46F1-A6AC-2FB0995DE16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76dba1d78882a067afd99a9907571c78262758f","datavalue":{"value":{"entity-type":"item","numeric-id":839831,"id":"Q839831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f51ef3bee85c66eee91b6f464fbd5aafd4394a7","datavalue":{"value":{"amount":"+0.7797558903694153","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":"Q2996186$C43B652E-A6E4-42F4-9016-4EC8DB3B6C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aa18c8c1eca89fae46551d2c1a737f6912fcc10","datavalue":{"value":{"entity-type":"item","numeric-id":5308011,"id":"Q5308011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0dc8bf1a092af3d9101f2a68ec9ca5b0cf6a294","datavalue":{"value":{"amount":"+0.7677857279777527","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":"Q2996186$7ED0B370-3DE6-4F64-8888-6168CCAC6E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96303e15aad9a5c773466bec0e94d391e2abd575","datavalue":{"value":{"entity-type":"item","numeric-id":1082058,"id":"Q1082058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7816bf285fb6ba6badf055644b6baf9da35c1353","datavalue":{"value":{"amount":"+0.7590236067771912","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":"Q2996186$B9350A2B-4476-4787-ABFF-4E45E3A6DABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a30d431625be3de3e4fc06e7aa6395585118376","datavalue":{"value":{"entity-type":"item","numeric-id":5313191,"id":"Q5313191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"553833ad4d52c64f0b0970ff5e2971eb242f6455","datavalue":{"value":{"amount":"+0.7552264332771301","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":"Q2996186$C1D33939-A3B0-426B-B227-42A6B64DC929","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient negation using abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_negation_using_abstract_interpretation"}}}}}