{"entities":{"Q5030198":{"pageid":7059775,"ns":120,"title":"Item:Q5030198","lastrevid":54225572,"modified":"2026-01-26T12:16:14Z","type":"item","id":"Q5030198","labels":{"en":{"language":"en","value":"Optimized algorithms for incremental analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474237"}},"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":"Q5030198$2C95CCA2-780E-4981-9BD6-580A7205F358","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fa4bbaa3c4b53db39edf80b87bcad6f07ca655b","datavalue":{"value":{"text":"Optimized algorithms for incremental analysis of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030198$EBC405A6-B9F9-4D92-9DE3-31DDB5B00163","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7039ac386cff84b9d897d72e3e05c63cd08e3955","datavalue":{"value":"1482.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030198$59CD5C7E-9F72-491E-94BB-107DAF7125C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"172fbc95fdf9fdf75ea93c6bafe79eead1b82ced","datavalue":{"value":"10.1007/3-540-61739-6_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030198$229A4FD4-CA67-4D91-BEBF-3E65582CB408","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08713bd984f0db2e5b63dc9c1aaebc82280c11b","datavalue":{"value":{"entity-type":"item","numeric-id":493523,"id":"Q493523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$525E7E0D-EF5E-42E8-8126-81CF65298E82","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":"Q5030198$629F41AC-8F32-4139-A805-4D03B4ED6A09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$C9B3BE44-3AFA-46B6-92FF-C281246033A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89ff05e6058196d79b1d3d881c249dcdb95e15a7","datavalue":{"value":{"time":"+2022-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5030198$6C5C8848-3BCE-4C27-A460-AC3D4A9421DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5fbf9dc521bc2a464355fac53c9aa2b9445c23e","datavalue":{"value":"http://oa.upm.es/14409/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030198$62EAD349-D592-4A2F-B242-CC93B56197F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030198$F9C675E5-A783-4BA8-826E-D11D147EF90C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b273336020de2e488453a134dd367bf3b788a452","datavalue":{"value":"7474237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030198$34FD85D6-6D49-4DB3-B1DA-0D91B3AA0829","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030198$F70D6049-AD3A-4CE2-86B3-C94FE3C19AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170f891b3a6d35c28ebb72165af585c2d5326a35","datavalue":{"value":"priority queue","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030198$B9A610CB-84BC-4948-9960-EC04A1D128CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030198$0925F6F2-676A-4CA0-841E-C0D930B5609A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7247492abbed8d671aedad2ad1ffe44eec84687","datavalue":{"value":"incremental analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030198$8FAB05C9-BCDE-48B1-AB35-1C3966B92054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bab7c0e0a7c1d72ab1baba3bd22e9ca1be67f","datavalue":{"value":"answer pattern","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030198$E4CB40DC-3645-4229-9AE7-A6348A6F3F11","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":"Q5030198$985C599B-08CD-4DB4-A733-4BCB135A6BCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb6ed256dbfbaefda982267b7b6550415e509b05","datavalue":{"value":"W1572167572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030198$8A08C4DC-3D35-4848-9625-CAFF91720145","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"046f20e9dee13f4b7d9008c7ee545d3174c427a3","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$43601D9D-A909-4352-A1F8-FE9F19E77BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d791289d0df2ab2560537820a7ad6c428db8117","datavalue":{"value":{"entity-type":"item","numeric-id":4499250,"id":"Q4499250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$81CB9E8E-088A-43B9-985D-32156499B01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e078bc054dd2f0127f472b04229eee817bcda4","datavalue":{"value":{"entity-type":"item","numeric-id":4012713,"id":"Q4012713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$A9CF7C44-5024-45F6-93B5-B18B364A8EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$E04FA50F-B5F2-4F56-A120-39C4728927B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feccb3c5400245c95f52ccbdc01d37348d2ee730","datavalue":{"value":{"entity-type":"item","numeric-id":5748872,"id":"Q5748872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030198$26405C19-B29C-4E53-9742-7E4CB1A5A446","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140c580da99ef5cd9368876d4ad1c19298ee0a89","datavalue":{"value":{"entity-type":"item","numeric-id":4495072,"id":"Q4495072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148feb9425a2a3a1ccb294949f8719454cb918e5","datavalue":{"value":{"amount":"+0.8084288239479065","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":"Q5030198$39DCF0C3-8D85-4DFB-9B97-8F415F357309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"767bc48bd53a0b15eebad055bb776ed5fe75b0b5","datavalue":{"value":{"entity-type":"item","numeric-id":5449592,"id":"Q5449592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db52ee391c4c82dc63ab62cb1b78be209960b0a","datavalue":{"value":{"amount":"+0.7811628580093384","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":"Q5030198$8978087F-B5C6-4EB9-958E-3639A0FA05B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d99be377c05e65005aed0b3a8485029f1260229","datavalue":{"value":{"entity-type":"item","numeric-id":5716588,"id":"Q5716588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"117203a34fcec67f3cd206f60da3cdd055be4155","datavalue":{"value":{"amount":"+0.7743611335754395","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":"Q5030198$75A7979D-4C29-40D1-8083-387391D04BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8912b6d9538b2958e941d3486e26288886f3741","datavalue":{"value":{"entity-type":"item","numeric-id":4302797,"id":"Q4302797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be24d4cf6d8f98cb06dc0a00dfbf0565d21f42f2","datavalue":{"value":{"amount":"+0.7595398426055908","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":"Q5030198$DB506A14-D214-46C4-9477-92C3C9956165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564e1489a415ea1a268d39b47824769ff0ad398f","datavalue":{"value":{"entity-type":"item","numeric-id":4957220,"id":"Q4957220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c418b87de8722ebc7c0853ef8dca805581e9e1be","datavalue":{"value":{"amount":"+0.7562845349311829","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":"Q5030198$C9E978DB-CDE5-422B-98E3-9122098BBE47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030198"}}}}}