{"entities":{"Q5108525":{"pageid":7138101,"ns":120,"title":"Item:Q5108525","lastrevid":58451040,"modified":"2026-04-05T06:54:38Z","type":"item","id":"Q5108525","labels":{"en":{"language":"en","value":"Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7196164"}},"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":"Q5108525$0950F620-08D4-4EA7-ACC5-736AB9E7406B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fd848ab5e40d9147bb75f2c9343ff1c7b1cbaf3","datavalue":{"value":{"text":"Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5108525$2AC83E03-752B-47B0-9154-B4DF5700F94B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5352044e298ea620e9cc5c414ca02dbd73f01e7d","datavalue":{"value":"1434.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108525$700297FB-107F-4763-8029-4F52F78CF2BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8680e031b6319162c5585d342e0f4eb50d890f18","datavalue":{"value":"10.1017/S1471068419000383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108525$20E5077D-E889-4665-BCD3-089947DD051F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c805a7a749955a188e61b1f77a96cea4382c824e","datavalue":{"value":{"entity-type":"item","numeric-id":4559796,"id":"Q4559796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$10C08432-E80A-4508-BFA5-8E26948D18A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0b1d7461ce49bf38182fb4be83776f28f0614a6","datavalue":{"value":{"entity-type":"item","numeric-id":488322,"id":"Q488322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$C9E2F227-8D84-4D7D-B28A-54819F074D76","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$E68A364B-1AB0-497C-8A08-7E9DC5A11293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"266349113821a9568dc8e478c029e41016cf97fa","datavalue":{"value":{"time":"+2020-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5108525$EA68C7E9-B404-4F4A-A5DC-58B94FA2EA70","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7083b7d6668c1746a284e70ce5f478239ac068fc","datavalue":{"value":"https://arxiv.org/abs/1908.00104","type":"string"},"datatype":"url"},"type":"statement","id":"Q5108525$80737D4D-D448-48FE-A3AF-BD10219B7B69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108525$752BF2E9-0F79-40BF-94A8-665AB2D88D40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"893736fe0868fcb650b40d835eb2537d86d5db27","datavalue":{"value":"7196164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108525$EDBC4D26-CBD5-4463-B391-8BE06A90DCFC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108525$FECCC37A-BA14-41D0-8E46-BD88CB6A8A9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108525$B7EA8159-ADF5-4759-9C52-D6D43417BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9346bb56bb3794b0907906326af1b37fa16fde55","datavalue":{"value":"tabling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108525$9AA5F350-83EE-4D4F-B70B-3E068BA32125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108525$8A3609B9-A913-4D22-8DF6-40C626D2110F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98058038736748f04c222e1b661227a014b8098d","datavalue":{"value":"PLAI","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108525$65B7914C-A71A-4E53-B304-2360CA354E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56cd3035a2109ba7e6fff9b157850fc1e809cd0a","datavalue":{"value":"CiaoPP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5108525$1438A0B1-EDEE-476F-9A73-AAB499101E9A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cff6794623cf5d8528667b5f3c64c252856fc71","datavalue":{"value":{"entity-type":"item","numeric-id":24022,"id":"Q24022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$ABFEC0CB-438E-4059-A09A-42B7F7BE9093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b5421934a81fd085faaafd17d6d92bb54dcb71","datavalue":{"value":{"entity-type":"item","numeric-id":14085,"id":"Q14085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$82C48EE3-B211-4D17-A7C1-62386934F41B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4159e6648806f3f9d4482408c4e384586b151fd1","datavalue":{"value":{"entity-type":"item","numeric-id":19012,"id":"Q19012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$E37459B7-41DD-4E5C-B197-960540A88EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf05a0fe8c67d4d8f396d444a59573c809b42e38","datavalue":{"value":{"entity-type":"item","numeric-id":24023,"id":"Q24023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$9FE0BFF7-9332-4A1B-9E1A-BA88D7E23EEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80d010a65ed1160f52ca34357b3afb6783e2d2c9","datavalue":{"value":{"entity-type":"item","numeric-id":25792,"id":"Q25792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$289AFAA7-14EB-48B4-9BB2-4F29436364E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0cef52017e4e3abb65b54005e36080c4a777722e","datavalue":{"value":{"entity-type":"item","numeric-id":32763,"id":"Q32763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$3CC6B97F-3E4A-4A0F-B84A-B678FFF18A50","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":"Q5108525$47FB4C44-0E42-4D46-9FF6-24F48FBE54F4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d492b53a02d76f496f7fb1552d0167db43319f97","datavalue":{"value":{"entity-type":"item","numeric-id":4957184,"id":"Q4957184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$335E3FD7-43B3-45CF-AB05-5115B14A3350","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":"Q5108525$8C734519-1067-4900-B754-8F6920224C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1ea90f4b411036a8f63de40270fb5b0e5e9609","datavalue":{"value":{"entity-type":"item","numeric-id":5308016,"id":"Q5308016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$CF78FD8E-2C23-4FEF-9A92-B8A1B8E673D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c04378669ee50cd5760b8fcc3becafd25e2ad07","datavalue":{"value":{"entity-type":"item","numeric-id":2767081,"id":"Q2767081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$4032F459-DCA8-463B-98D8-874E439AE5CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59afb5c66f8b07963df39e74562274f3ef3ce558","datavalue":{"value":{"entity-type":"item","numeric-id":4259968,"id":"Q4259968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$7E01F913-CDB1-4D7B-9B6F-C6C6F28AE1BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f98bd793a49e000e46ad1f9cf0d42ede73815c3","datavalue":{"value":{"entity-type":"item","numeric-id":5398297,"id":"Q5398297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$F99935E7-13C1-4686-A31D-EDE6472FE7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"445ffe708f46664a7fb3c95abfc0aea70b84e1a2","datavalue":{"value":{"entity-type":"item","numeric-id":2893101,"id":"Q2893101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$4E66B504-81AA-4A16-91B4-A06BA9BA2046","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":"Q5108525$289C1E0C-BE6D-4862-A384-E1E54960C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4845322588cac6eb562d0660ffc26031e66a1b35","datavalue":{"value":{"entity-type":"item","numeric-id":4036279,"id":"Q4036279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$DE3EFF2C-C4FC-4F3A-A0EC-50A57FB3141B","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":"Q5108525$F36D35DB-D3F6-49A0-8AA7-2074F9BD51C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2330852f9741c9fbb417bb1549959d4c17bd87de","datavalue":{"value":{"entity-type":"item","numeric-id":4671219,"id":"Q4671219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$2C468F17-DCCA-4C66-9D07-D861751D01A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb1e976cb72dca5d0ac688931ffa503aa5bcd36e","datavalue":{"value":{"entity-type":"item","numeric-id":2893087,"id":"Q2893087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$D830EB87-8F37-4525-9964-BA368D004D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b968df68fecee23e6ece465858204a7a1c320700","datavalue":{"value":{"entity-type":"item","numeric-id":3514891,"id":"Q3514891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$9D777174-C46A-4A52-9AD6-9E8284C882DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9dd8248290f696e1b24404045c010f655ff5aa4","datavalue":{"value":{"entity-type":"item","numeric-id":4930773,"id":"Q4930773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$0F004D52-61EE-4DAA-B981-4FE20D119137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae36bf33f496e2b17194be0d1194b79483787f","datavalue":{"value":{"entity-type":"item","numeric-id":3746920,"id":"Q3746920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$D3C45D0E-67AE-4E39-9AC8-F8EA76436D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0877ba4aca119dec904804ed9ebcc5ae4702de24","datavalue":{"value":{"entity-type":"item","numeric-id":4411953,"id":"Q4411953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$8EAD65F4-AA71-462C-9064-94A540F2D917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68fff7cd23dc9fed5e2bdbe657efa6e902461ce6","datavalue":{"value":{"entity-type":"item","numeric-id":2893092,"id":"Q2893092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5108525$057FB286-36F6-4FED-82F8-3386C292BF0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34944b7a2bb0ed219ac04b115842def18bb76963","datavalue":{"value":"W2974707138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108525$6A2AF442-17DB-4185-A515-9CC84E7AF8D6","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f7c87723cd4ae35101140a0bbefc471e625c10c9","datavalue":{"value":"Q127225811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5108525$4CD77E53-2B1C-44E0-B694-A9B5DD3ADC3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c41f32b8d2f58472fc5ca90b7b9fd727b9fb1be3","datavalue":{"value":{"entity-type":"item","numeric-id":4957184,"id":"Q4957184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea9b744f68a0b735fb1522b696d4ba29528d9f02","datavalue":{"value":{"amount":"+0.7398295998573303","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":"Q5108525$C10F6C23-B777-4B70-B71C-864CD6BEDFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8be5da3e6f26618547990e63d66c95bc314e0c94","datavalue":{"value":{"entity-type":"item","numeric-id":4281588,"id":"Q4281588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74f36f49494ea5c44d9c70fbf991229e80d4d732","datavalue":{"value":{"amount":"+0.7397838830947876","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":"Q5108525$9C01B146-9C41-472A-8E3C-0B57858FDE77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60838d350036cfd4f4e4bf593a666dc1ab1dc48c","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9f3e08cc68d7db75a204877cf9eb093233eb0f","datavalue":{"value":{"amount":"+0.7395105957984924","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":"Q5108525$B4F35E30-A249-4996-91DD-1093B0DA01B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b02235fdc3ac4c446ceea6a457501e96a6a72a87","datavalue":{"value":{"entity-type":"item","numeric-id":3613381,"id":"Q3613381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b892700f04728620e320d748c9305166493cce","datavalue":{"value":{"amount":"+0.6996075510978699","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":"Q5108525$3F6304C9-7E76-4EC3-AFAD-220BCA7F6196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90f06214f1831b6095f2fb1e6001989cea672daf","datavalue":{"value":{"entity-type":"item","numeric-id":4452611,"id":"Q4452611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6145beeda911ce456127d8446228f6cbaafb640d","datavalue":{"value":{"amount":"+0.6982486844062805","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":"Q5108525$B4FD7809-0A89-40B0-8AD7-E119628CBA2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5108525","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5108525"}}}}}