{"entities":{"Q3129510":{"pageid":3140226,"ns":120,"title":"Item:Q3129510","lastrevid":85878116,"modified":"2026-06-03T12:19:31Z","type":"item","id":"Q3129510","labels":{"en":{"language":"en","value":"On the design of a correct freeness analysis for logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004630"}},"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":"Q3129510$B6D9E755-523D-47BA-A704-68E60A7435FE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e2d7a1367918e258e19c53d34c1a894b2e878e0","datavalue":{"value":{"text":"On the design of a correct freeness analysis for logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3129510$B7A68CFF-FA8B-4C56-AFD4-822FC0EB18BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77262b7255ce91cd77da13883e633e7bef9f0724","datavalue":{"value":"0874.68057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129510$02E81893-AF34-4AFB-8FA5-381BE5AB6571","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25bb088110c235bfa98381899dc992665dbe01e2","datavalue":{"value":"10.1016/0743-1066(95)00120-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129510$F03DA680-A31C-4B26-8404-E5562E0B355F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97931dbd51a6e915b5cab2b02cecf55ce08aab9c","datavalue":{"value":{"entity-type":"item","numeric-id":340572,"id":"Q340572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129510$F093C724-5190-4604-9409-9F7E49A93E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1daf35fe51d80771c6da53504ab2329f1222dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":1125426,"id":"Q1125426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129510$F968DDD4-9CDC-4F2E-B8F0-19D2F9FE4F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33eb5c8b0f3c3997961a1ddf125cc072182be129","datavalue":{"value":{"entity-type":"item","numeric-id":584933,"id":"Q584933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129510$FCB804D1-10D6-4104-AAD6-B997AC7BC674","rank":"normal"},{"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":"Q3129510$EF3E828E-2598-44A5-8C9A-2CE89C9E29C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129510$D24F343E-112B-41D1-9636-4C36FB9A8537","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa5805ba62cdf66e74525c70566954d2cf6212fb","datavalue":{"value":{"time":"+1997-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3129510$20B4CE19-763C-491A-961E-5561B2FC9078","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f8e2f148ae3cb8977c9ca612535cccac508808e","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/26679","type":"string"},"datatype":"url"},"type":"statement","id":"Q3129510$F8AC9B4A-E931-4675-BCAC-CD21684E59BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129510$A92E4A21-5C40-408B-AB1F-4BB68A36F56B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52c9f59b6f14e581e61b3f9b7448bea1fb55571c","datavalue":{"value":"1004630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129510$1F50C209-4FB5-4184-8CC4-C8D74D14D87D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba4ae9b462ef1a144c27900276b91708e0e2c600","datavalue":{"value":"Prolog compilers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129510$18B2907B-9E94-413D-AAC3-B507F59975CD","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":"Q3129510$7836F463-CC0B-4447-B392-9765D226D27E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54ab47a67fbca3b2ba45cdfae632b95656c13f12","datavalue":{"value":"W2044969589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129510$6FFFEFD7-E154-4BE2-AF9C-652DA785A8A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b10e9e2e7b8b4d36cc43187e8cba053cac7951","datavalue":{"value":{"entity-type":"item","numeric-id":4939543,"id":"Q4939543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9432bdd5647a0c88bb571a4ac5aa90d58a220e54","datavalue":{"value":{"amount":"+0.8054132461547852","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":"Q3129510$E2C30524-DDE2-4DC7-A80D-1EE65970E064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fbd1496f3a49c31878c75303451494bce503190","datavalue":{"value":{"entity-type":"item","numeric-id":5030191,"id":"Q5030191"},"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":"Q3129510$EA4D0AC4-A62F-48BB-A857-855E8AFC8B23","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":"b65cfa48e153b17de35b3c3cbaa76bef2d8e2a9d","datavalue":{"value":{"amount":"+0.8010556697845459","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":"Q3129510$406D8413-8660-4C75-80DA-5F4C6AE35429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9620107d258e57182878dec6a8d2636b102a6f23","datavalue":{"value":{"entity-type":"item","numeric-id":4669646,"id":"Q4669646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e05ebf9cc5a46120c9daad6d758eac0da927a6c","datavalue":{"value":{"amount":"+0.7965021729469299","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":"Q3129510$8D62C321-0E8B-4628-A63C-BD54D7D85690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618f868eb94fe0f9f95b405ed1d94473e8072366","datavalue":{"value":{"entity-type":"item","numeric-id":3181746,"id":"Q3181746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c6d8a14abd68bd572192497bfd73d80ff27cbe","datavalue":{"value":{"amount":"+0.7693621516227722","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":"Q3129510$4863890C-D01A-471E-88F7-62E4A36F070E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the design of a correct freeness analysis for logic programs","badges":[]}}}}}