{"entities":{"Q5097624":{"pageid":7127200,"ns":120,"title":"Item:Q5097624","lastrevid":54387797,"modified":"2026-01-26T18:04:30Z","type":"item","id":"Q5097624","labels":{"en":{"language":"en","value":"Incremental analysis of logic programs with assertions and open predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576119"}},"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":"Q5097624$17B916FC-421E-479C-B22F-F091B0F412E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61a1f9b5e1e312a17ae0ad529aa658a8256bd443","datavalue":{"value":{"text":"Incremental Analysis of Logic Programs with Assertions and Open Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097624$A052B5B0-13BD-409D-90EE-E76FC6ACE60A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf82200a6f21c7babf37484235d8bc7c38e02902","datavalue":{"value":"1502.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097624$588FE795-3891-4005-AA50-B1BCD6DA07E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91d4072d3be51f595b046c856fe8b07806f1c9fa","datavalue":{"value":"10.1007/978-3-030-45260-5_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097624$BAFEF204-A594-46E7-B000-C7C2F1BC1F4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91ad0640b381063880ef2051bf9aeeeb65f0aad0","datavalue":{"value":{"entity-type":"item","numeric-id":4593053,"id":"Q4593053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$599BD6E3-38CC-4CDF-BC7A-2001D797FABF","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":"Q5097624$D2F53E3D-660F-443D-A469-B6870304840A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379177518bf56ec7a1b993b30de89b6a25bfe955","datavalue":{"value":{"entity-type":"item","numeric-id":737625,"id":"Q737625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$B8829694-7A16-42EF-ADB8-C1C25E4A2162","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$0C0999D0-F917-4E96-B513-65BA51F5705A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1671f4d77625f9c3fb2d471bd3f2c3e84e79d65e","datavalue":{"value":{"time":"+2022-08-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5097624$58ECEBA8-75D0-442B-91A6-5F908E4E8609","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"685246cfbd38df3f5860d41f79fbfacc3f243b88","datavalue":{"value":"http://oa.upm.es/63681/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097624$525D4F95-33FB-494F-9B14-A7AFD163B8C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097624$100ED80D-C6B8-4151-8F54-6328705575E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097624$74BA982B-364B-413F-B3D9-DE6627E70F0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a87dde815209138e4765edfdf298fa18732a0c72","datavalue":{"value":"7576119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097624$6922CDAA-65CE-41E0-AD90-D9D6879177CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f0dea187ecf082f9fbef0516d9feb8f1708042","datavalue":{"value":"incremental static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$09E083F8-8E8C-4CE6-815F-7E542AF07CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$15C5CE7F-CFD5-4457-8FCD-9EE8DEC8D786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929e026e26211c638e0e626dd465559c0f18106c","datavalue":{"value":"assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$351D6BC1-EE39-47F6-A8A2-DF2968D28F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab06ae20f9236ed99b7f0404802f3b79c7ce4e42","datavalue":{"value":"generic code","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$D67D6CA6-07C4-44EE-A88E-A0AA63661E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$47DB3047-6FEC-4DFE-B4B8-D0D359ED3C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$A34AF622-6094-499E-822B-564F0A3B86BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$4357B758-C8F4-444D-9E04-5A66FA24578D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097624$2A97CFAD-48B0-4AC0-9903-138432980A97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d06ab5629e6c8be6abf4aeb15fe2fe8af69eb74","datavalue":{"value":{"entity-type":"item","numeric-id":27968,"id":"Q27968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$297EEA88-A195-4D01-A176-AABB4DE5A515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1be4724e41b4a10f49f34fa589ba4323fa200aed","datavalue":{"value":{"entity-type":"item","numeric-id":1349920,"id":"Q1349920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$7272ADED-79F6-4B42-8742-349EA4C8621D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$7FB5E923-2BE1-46F3-88CE-DE348BB21A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$57A8E3C1-CAEF-448E-8E5F-D49F4346D9AA","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":"Q5097624$6668F8BB-1EB5-4F36-9EC3-CE83BF9509E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d22a408a76d12a92f8f520b98ec33a9a328ff0f8","datavalue":{"value":"W3019340178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097624$C9557D4A-B345-49EE-9886-530E17993C15","rank":"normal"}],"P223":[{"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":"Q5097624$43942806-CE28-4410-9089-020799185470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443a0b4a957dc939400dc29c94a169a52a38b510","datavalue":{"value":{"entity-type":"item","numeric-id":2767050,"id":"Q2767050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$E9AD801A-E7A6-4B9E-92A0-E21E16A12A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af25c1afcb0304276ab23b3647d0be676759ab65","datavalue":{"value":{"entity-type":"item","numeric-id":5348927,"id":"Q5348927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$7DE5ECFB-1DAB-4ADF-B686-56526FDB0EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019356e9f10ec1dfb2a554f9ae7ad0988b82ab4b","datavalue":{"value":{"entity-type":"item","numeric-id":6085982,"id":"Q6085982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$144D947C-F621-4EC8-96FC-B4C316C422B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fa0f50f9e079e80672ae8d0c1e92d01238bcc7e","datavalue":{"value":{"entity-type":"item","numeric-id":2568449,"id":"Q2568449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$BABF38CE-D5D7-4B48-8C11-C177CF1F769A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bb78431949669bb674d6fe8cfc72c8ad22ab35","datavalue":{"value":{"entity-type":"item","numeric-id":2767152,"id":"Q2767152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$9565D307-9848-46C4-8875-1C3398AACA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8567e612fefba6e9cf7726613fab44bab80fdfa","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$A4467596-C152-4AD5-9A9D-62FCE02BAD6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03c75790c9dd4ffc2c395fdf76c21f0ca40efe2d","datavalue":{"value":{"entity-type":"item","numeric-id":5504599,"id":"Q5504599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$69C57B7C-A22E-4F11-B09F-44AC1729107B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa3d3be3ec5b2236a70027245a7bc4b849ec1795","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$D4BABF56-1554-48DC-BD1D-3512214DABF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eef435db185a1a8a8686ac2c0b46ac5df2578467","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$9889993A-B4C7-4534-908A-2DEE3C439704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7107bf70a37ed3bdd9161ef8c909e6889509c96c","datavalue":{"value":{"entity-type":"item","numeric-id":2893097,"id":"Q2893097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097624$65EBAB88-BF11-4E57-9933-9C4ACFA0EF60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737af5fba131f53c1e13c5c1fa7b1f2a8e01758e","datavalue":{"value":{"entity-type":"item","numeric-id":5030198,"id":"Q5030198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be33c736f0abe4b1663e8fc3fe24830b2b5c882","datavalue":{"value":{"amount":"+0.7392402291297913","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":"Q5097624$84B7039A-3D01-4ED4-B024-307D005C29AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08816a471cebb41338e13307a9b4e832850c8524","datavalue":{"value":{"entity-type":"item","numeric-id":3297840,"id":"Q3297840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf4b4dfa19bd65d44d102201e09900836f5d9326","datavalue":{"value":{"amount":"+0.725166380405426","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":"Q5097624$76537215-7622-4D8E-8900-C91BD8AAD886","rank":"normal"},{"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":"e0ae7f881317bceba398f944cd72a6bb1dcfd0c2","datavalue":{"value":{"amount":"+0.7220439314842224","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":"Q5097624$5F03777B-3A9B-47F1-81B3-EDCB65991837","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":"0345bc3b4dd611c40059a752a09a9e4f3cdc95b2","datavalue":{"value":{"amount":"+0.7135486006736755","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":"Q5097624$D52D9F6C-10FE-4C6D-802A-6478218D633C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239fc52d21a99126b9a1af4d9ebe6e88f82f23f9","datavalue":{"value":{"entity-type":"item","numeric-id":3605467,"id":"Q3605467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b5b6c6f058abe3bab62d4e2fc75c6cf64e1a734","datavalue":{"value":{"amount":"+0.6874433755874634","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":"Q5097624$8E321FEC-9843-4BD1-A70E-A6B640593BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097624","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097624"}}}}}