{"entities":{"Q4302797":{"pageid":6332398,"ns":120,"title":"Item:Q4302797","lastrevid":96654824,"modified":"2026-06-05T11:54:21Z","type":"item","id":"Q4302797","labels":{"en":{"language":"en","value":"Efficient dataflow analysis of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622280"}},"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":"Q4302797$D9A14238-9C21-49BF-B622-1C30900C925A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f8d0cd7192adc5251b5c7ce8e2c2ae4c7567dc1","datavalue":{"value":{"text":"Efficient dataflow analysis of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302797$8A704E63-E8B8-4BEC-9CE9-481A5919AAC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef68f30aba79e93cf237959730dbc97199abb6de","datavalue":{"value":"0799.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302797$587ED4F5-AFBA-4CA3-889D-4576BA1DD48F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fab2a4a272ed23e699e27e920203f17180dbbea5","datavalue":{"value":"10.1145/146585.146624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302797$EEE1CDBA-2A4E-4C13-965E-9DEACD5FA05D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9f91512d0b27503ca900c6174d7c9baec34bef","datavalue":{"value":{"entity-type":"item","numeric-id":2339469,"id":"Q2339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302797$B445CED9-4200-4C75-9216-1E73D0D3E195","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302797$7EA754B3-6382-46E9-B9AD-42EDC44B2EDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa19c9ba2bfb06d6b3228b43c9df9a36396a6316","datavalue":{"value":{"time":"+1994-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302797$E57D184F-827E-4C72-918D-55443E7AE727","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302797$5CE76C31-A04D-4B49-8158-0606F2E9A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302797$17109A9F-C5D5-4614-B79C-1A19A765D5F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fa7d3a11b634bdb900bb02cffb0fe4907eeff7e","datavalue":{"value":"622280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302797$F6DC5321-1214-496F-B3DC-191E544DE620","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302797$50AF474E-F366-40F0-988E-98E51467AF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302797$22BF091F-59F3-40D4-8E94-30C908DF27CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64948c256539169c3287884c92d4937e25d86839","datavalue":{"value":"dataflow analyses","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302797$A1BE6282-CED5-4AFA-AB32-4FFD3CCC7656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302797$E0543049-079C-4DF7-A81A-3A2B15E9C61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14afbd4a9d4be09eba285c0869b654c75b726cbc","datavalue":{"value":"parallel logic programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302797$A53750C5-D974-4564-885C-31BBF86FAD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302797$9F7D156A-21F1-427D-8070-9C6109189EC7","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":"Q4302797$B2446BF7-51F5-4CA9-8B3C-23401F245D47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ecfba4fb68ae83f746371497d9149f8009c37d","datavalue":{"value":"https://doi.org/10.1145/146585.146624","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302797$9EEA17D8-DD84-4F0E-BF67-9443576499F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dd0bb31c3f5dc35bcaf3184a562a28127a71080","datavalue":{"value":"W2005247052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302797$AFED29F6-7185-4C0E-BF12-083063A07E4B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964d1d0a54eacc4ec7dff582b822d7110dcd62a8","datavalue":{"value":{"entity-type":"item","numeric-id":5204343,"id":"Q5204343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73bacc59e731a415f3370f1db8efa0afb3675c67","datavalue":{"value":{"amount":"+0.957048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$3E24E041-C7C0-40F6-9C09-8C6306C19431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123a90d73e4c88d5d3a40bb810c77607909a1ac7","datavalue":{"value":{"entity-type":"item","numeric-id":4878773,"id":"Q4878773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4176940f12d1f82249b8b465775b612f34c325","datavalue":{"value":{"amount":"+0.93541604","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$63326C92-E175-4DF4-9417-92BF916F9533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b21bb8c5606398afd4cfbaa07a665aa0e2b382","datavalue":{"value":{"entity-type":"item","numeric-id":4951669,"id":"Q4951669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df113bb848460793dd95688b916d4d7d6f18fa82","datavalue":{"value":{"amount":"+0.9322423","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$F9D1FC7D-A33A-49AB-9979-021EF44AF47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd07b60064c7d8c36eed6e8315d4ff44f875106","datavalue":{"value":{"entity-type":"item","numeric-id":4012707,"id":"Q4012707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325e3f1718a88bed9cd0ecf1e27f0861388b7ee8","datavalue":{"value":{"amount":"+0.9270427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$816A0931-C8B5-4F95-A1EB-FEACB24D99D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be91474f19bc4ae16cc3b5f6ecb1594f0b6fced3","datavalue":{"value":{"entity-type":"item","numeric-id":1818409,"id":"Q1818409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6891d5d4ddb11929ecc49af582413829a1f557d","datavalue":{"value":{"amount":"+0.9142139","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$55FA0657-B4CF-426E-96D1-BBF3AD1A7F2F","rank":"normal"},{"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":"ea17f9915a322b43b75861124db0bd18bbe779c1","datavalue":{"value":{"amount":"+0.9033083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$4FB1680A-46E1-41D6-BAB2-ECF08B910733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c218ea89001957501dba944509999b39fa234d5c","datavalue":{"value":{"entity-type":"item","numeric-id":1318723,"id":"Q1318723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b992510e27d48f14df765ee38edc08d60aaca0b","datavalue":{"value":{"amount":"+0.9010305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$32109452-568F-478B-B3B5-A618DEECD65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4981b044a6fd71ad160d315a2558080805c789c3","datavalue":{"value":{"entity-type":"item","numeric-id":1130162,"id":"Q1130162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e294d8882e18f7b6785666e5d61e8a2e45ab3d14","datavalue":{"value":{"amount":"+0.8983465","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$F8BFD5F0-A06B-4EB8-A578-7BDF12DBFD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4d3ca7e10019e3c0b5bea30089cd17a7cd6243b","datavalue":{"value":{"entity-type":"item","numeric-id":3745277,"id":"Q3745277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21208ed57ac34a4326afdba7e1f864950d2d22f2","datavalue":{"value":{"amount":"+0.8967643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302797$1B011F59-A071-4E81-AA6D-FF637B023653","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient dataflow analysis of logic programs","badges":[]}}}}}