{"entities":{"Q5030191":{"pageid":7059768,"ns":120,"title":"Item:Q5030191","lastrevid":54225551,"modified":"2026-01-26T12:16:13Z","type":"item","id":"Q5030191","labels":{"en":{"language":"en","value":"A freeness and sharing analysis of logic programs based on a pre-interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7474228"}},"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":"Q5030191$61B89988-5A9F-4B44-BF22-D817E3B38C61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a07c5f2d7b77784590b2b86a90f118a4411d3ad4","datavalue":{"value":{"text":"A freeness and sharing analysis of logic programs based on a pre-interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5030191$A3C4F675-997E-4805-B9A1-1D3C19957C02","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a4c011abba7571c71af969cc26147d2bcc587f5","datavalue":{"value":"1482.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030191$652BEB38-97B5-47FF-8BD3-07A8008892AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4bd35dba3d75595e7ee3b2ca8685a7dae6c687e","datavalue":{"value":"10.1007/3-540-61739-6_38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030191$C321B443-E364-46C4-AE5B-BCF93C9D787F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fad0a696a48629b32209d6a33edd7328bb65d41f","datavalue":{"value":{"entity-type":"item","numeric-id":582148,"id":"Q582148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$A3F7A0DB-1386-448A-A14D-5E42394FED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"458785d7f3e4170335c904a0c752e6acc0818f75","datavalue":{"value":{"entity-type":"item","numeric-id":1140836,"id":"Q1140836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$8F32165C-49E0-46B1-BF77-89D144783684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4b744563f9e05ab7a36beb34c32b2aacae8ade34","datavalue":{"value":{"entity-type":"item","numeric-id":1322837,"id":"Q1322837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$5DE92D03-511E-43F4-8F94-70485781724D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83b218d9fa98ec7bd391365954ae9fba07e52dc","datavalue":{"value":{"entity-type":"item","numeric-id":598244,"id":"Q598244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$A4387774-254D-40B6-BE70-D37153373E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1790adcd36009a9ec447317c6624f8dbadeb67c1","datavalue":{"value":{"entity-type":"item","numeric-id":1308631,"id":"Q1308631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$444455B2-069D-4063-81BB-18BB2A6FC1A7","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":"Q5030191$337E40E1-9D2A-40B3-AAB2-DBA3E03CDC25","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":"Q5030191$90A3BCE7-3DE6-41BD-A8B1-F465ECFD6995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b904559e8a9a6551f05581a613d9d59480825e61","datavalue":{"value":"https://lirias.kuleuven.be/handle/123456789/167003","type":"string"},"datatype":"url"},"type":"statement","id":"Q5030191$B5254CC2-B73E-4D40-AF86-8B8254B01125","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030191$53C122FE-DBBC-4FD7-87EC-35EA017F1E65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42399211b73d82df0073380493a140f3d36a051f","datavalue":{"value":"7474228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030191$AF36B8B1-F9A2-4E0F-945A-C32C8620A2EA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030191$76E3DC89-7D71-4C80-87C3-CB64A54F803D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030191$915CB55F-6309-4AB7-BF38-117B6D5843AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c18436cf79f29d2c2f5cd2155b67e3dec20d7fd","datavalue":{"value":"domain relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030191$AB15B5FB-5F66-4FB9-8632-EDBE2833EAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89988273e8675456f6207245dcd8927cad6d657c","datavalue":{"value":"reference variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030191$E9E7F701-D61B-4D1D-B605-20F4BFA9A9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912b376560370ff10dddcb7739ed59342ba686a8","datavalue":{"value":"abstract domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5030191$A41BB768-B78E-4087-83A5-CA778AE8DC06","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":"Q5030191$9B5EC3E2-F44D-449E-B782-8125F8198601","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0d35c79144d181f4160c6d221a394f98fb7bf69b","datavalue":{"value":"W1492397127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5030191$CEBE0FCB-1C0B-432B-BD41-99C1453D0C54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef9d2d76846f715fb4c95dec15c3751b47b37a3","datavalue":{"value":{"entity-type":"item","numeric-id":1902700,"id":"Q1902700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$28EC5E2F-6649-470D-A5B4-4AB789D87B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b8793493983ef79387cdf9085bcee0c585bc4d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347338,"id":"Q3347338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$0435F440-9F53-49AB-8CA6-DB523FB067F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa8f0a85089001302b6d3210eb019646d099ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3742761,"id":"Q3742761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$B0FC1F54-BC66-4847-BF41-DCD97D725151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$EDE6F2BE-8C03-4E55-8C7A-9077751C2B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$E2E0AF2C-2793-4FE9-951F-1B46A2149573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06edc6e1e80f22819c4056e5a31dfa4de326fc09","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$A7AC8F83-1AD8-4D7F-96A5-81500EF0A8B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b6f2d2f1efa1751b23dc7f84c49c86028c1b843","datavalue":{"value":{"entity-type":"item","numeric-id":3128618,"id":"Q3128618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$EFB24E2C-3F14-4E90-95DA-38811AA1F761","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":"Q5030191$415F5F70-BCE0-4A20-B779-4380308D175E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5168a69757ddd9ac215dbfaba8ad4ea5029d0b7f","datavalue":{"value":{"entity-type":"item","numeric-id":3128619,"id":"Q3128619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5030191$FE423FBB-6741-431C-B63D-25C41A871D5C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490b36e8104d1b4367e1d7f2a35f43e0c7d4f241","datavalue":{"value":{"entity-type":"item","numeric-id":3129510,"id":"Q3129510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61304ecf1c49e1076f36525d6e1bac66ea066ed5","datavalue":{"value":{"amount":"+0.8023356199264526","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":"Q5030191$06090C0A-0B20-4289-9C6B-CF270DC3625C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094a0110cb5d47483681620b12c3a0b405285499","datavalue":{"value":{"entity-type":"item","numeric-id":3201751,"id":"Q3201751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7efc13302ca3b1691f270abebad29826b5f03e5","datavalue":{"value":{"amount":"+0.7480924725532532","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":"Q5030191$8A241523-0614-4FBB-802E-4C0AEBE63AE9","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":"c0353a466a976d32c4a11d8b85f33a390431a697","datavalue":{"value":{"amount":"+0.7437315583229065","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":"Q5030191$03AFF622-49E9-4C1E-8E9C-B5F1E1F05DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd39c23d333d50a85c9612566f870f4a9dee8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1318725,"id":"Q1318725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"685083de25bd890c5242f33f57c20c10cbbc4d7a","datavalue":{"value":{"amount":"+0.7426290512084961","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":"Q5030191$21BFB26C-5A2C-4926-ACC1-6AD3B914DCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc7dc76db7aa0aa0a3bcb10b369bd5f01e1bbbf6","datavalue":{"value":{"entity-type":"item","numeric-id":2763646,"id":"Q2763646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a977ad357c50e793acc627bc0a7caec6da12f7","datavalue":{"value":{"amount":"+0.7333447933197021","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":"Q5030191$0FDF7121-04C1-4682-BEFD-F3060F076A58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5030191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5030191"}}}}}