{"entities":{"Q5097623":{"pageid":7127199,"ns":120,"title":"Item:Q5097623","lastrevid":58413762,"modified":"2026-04-05T02:53:59Z","type":"item","id":"Q5097623","labels":{"en":{"language":"en","value":"A general framework for static cost analysis of parallel logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576118"}},"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":"Q5097623$EA6AA847-F6E9-4DD1-95F5-D95E6C824128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3150566ad3846df7143d0c0722bc384369284c1e","datavalue":{"value":{"text":"A General Framework for Static Cost Analysis of Parallel Logic Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5097623$13AE6B4F-30F7-4FA7-8478-33064977AE50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fad8328afa8f974224cb086edd650fbc61f0716","datavalue":{"value":"1502.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097623$203314B5-22B8-4198-9F44-6966194C261D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a5e44bd8b6391a5a92133e5b9dc2bddd60c2df2","datavalue":{"value":"10.1007/978-3-030-45260-5_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097623$96D3F294-4F6E-44F1-8B63-594B8B043D92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a25fabbd1ea80026c17c8484792a8f44b3cc69","datavalue":{"value":{"entity-type":"item","numeric-id":2798273,"id":"Q2798273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$E41A388B-FA13-45F1-AECA-DD6EA8F526DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99814c61bccc39874951144e5bdc5c470edc619b","datavalue":{"value":{"entity-type":"item","numeric-id":980468,"id":"Q980468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$75F5BFB7-F178-4D0F-A6C6-137BFC69894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2c13ddb28c279be9eed2b39004f69512bab7c50","datavalue":{"value":{"entity-type":"item","numeric-id":238502,"id":"Q238502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$FEB24930-F351-4CDE-A128-814ACF97847F","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":"Q5097623$77F9132A-B03C-4613-BF51-4F5F0A2C1A8B","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":"Q5097623$E7108F7F-E658-471E-961E-C161F9C97280","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":"Q5097623$C700E196-4035-414A-B703-FE458B91B702","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":"Q5097623$568CAFC2-0F65-4D5F-8D0D-666998190A0B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04a90810b0b7087d68f716c3054efc2ad15dea2b","datavalue":{"value":"https://arxiv.org/abs/1907.13272","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097623$D0645F07-85E3-4284-B055-DEC732E12384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"f4634e9a2e6fb486644e4f4ec094f37a95f44429","datavalue":{"value":"http://oa.upm.es/62514/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5097623$987B81B3-D66F-4C94-955F-57C8AEDC3C46","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097623$96DC9965-BA51-442B-8459-9C31F6E0B4CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097623$7C2D64DF-12F7-45A3-8D7E-3E561E461537","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45770b41324cde9a8d0e0336803265ea3c2f4671","datavalue":{"value":"7576118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097623$69A2272D-3AE3-40F5-8856-239F05E80A71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12c75529e00221a7f3bd73426ca1f29586a169c6","datavalue":{"value":"resource usage analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097623$0055E23A-4D45-4ABD-A8BB-A8BF4013EE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097623$6B5218F7-C06A-484A-9FF8-44DFD19BD879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097623$AA603A76-B800-44AA-9BB7-01FBF4D76DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4780b02cfc7bc35a586062e3271a9f52fa94f067","datavalue":{"value":"complexity analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097623$F17ACFF3-4371-4AE3-826B-E3705E80DA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49748bb13ba195dda2f89b300af8304f18c0a338","datavalue":{"value":"(constraint) logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097623$491084D7-1AC7-47B7-B4DF-CE063931E887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q5097623$A5413D34-3470-45AB-B050-059CCD2CCF88","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":"Q5097623$EF4CECD3-8273-499C-B983-2BC565E3BB20","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6957b978ebc136272b29e698e9be8177684175d1","datavalue":{"value":"W3020739689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5097623$935F5C14-E359-47C2-A598-F2F35BE57CAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63bf60cbca006242b39eb1e5d0017a27cf08d803","datavalue":{"value":{"entity-type":"item","numeric-id":2429987,"id":"Q2429987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$EBDFC540-0C71-4F99-BD1A-15F7D0D62B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98322f61c6603b6f336d02b9f0b16a8198403913","datavalue":{"value":{"entity-type":"item","numeric-id":4617976,"id":"Q4617976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$3735C806-C4D3-487F-A38D-BAD3B13A6F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3000912411715a7e289a6a2479f598916abf2198","datavalue":{"value":{"entity-type":"item","numeric-id":4847365,"id":"Q4847365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$677AA4B9-ACC1-4C55-AF6D-5320694018AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb13c04a9da978abd7932ce4144a8e1f010c5db4","datavalue":{"value":{"entity-type":"item","numeric-id":2817700,"id":"Q2817700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$46257EE6-AE2D-4168-A3A5-200ED9E76409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5427695757073bf36fb680a5c5e0c12f2098562d","datavalue":{"value":{"entity-type":"item","numeric-id":2798274,"id":"Q2798274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$F69A1A9B-8A5C-49D2-BC77-6DCFEA28C323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb2d6548fcfb1d287a3dddab7844907119f1fd1","datavalue":{"value":{"entity-type":"item","numeric-id":2805272,"id":"Q2805272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$70EA5743-8CF2-4240-A88B-ECCC7F1213AE","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":"Q5097623$69D0C5D9-8F32-44DA-ADA4-4A8FB9B5FA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"913dd22989dceba9382b6f67d31dec69bfeb0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4327411,"id":"Q4327411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$45A95D5B-B0D8-45F8-8522-585316D1819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b939ee2939c4ccffc90391a2e5d00c8574b57e1","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$AEE4E2DA-A423-4E3C-8E77-6E9C1BD6D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c3248b6cbb94133b2f687e0475d8ce4bb6a0e48","datavalue":{"value":{"entity-type":"item","numeric-id":1401173,"id":"Q1401173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$F1D1B56E-B710-4AD8-97EE-558A59EB3722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97fc190831dfd8e10639e783818f630beb88ce39","datavalue":{"value":{"entity-type":"item","numeric-id":2883083,"id":"Q2883083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$72A0CE4E-C38D-4387-81C9-392CE06C6E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"934755cb9abf11cef18f5657a60e0f1206464914","datavalue":{"value":{"entity-type":"item","numeric-id":4644354,"id":"Q4644354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$CB418397-28A1-4B7B-B036-5E236DCC68CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83604fa961150d49b94d581187ca57b06faf13ac","datavalue":{"value":{"entity-type":"item","numeric-id":4593063,"id":"Q4593063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$0E8E8F1F-BA2D-4257-95A5-B64A13341C44","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":"Q5097623$DF6FDBF6-A888-40F2-BF2D-634179140D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd4091d7ec35b20d706fd3149220a7a0ef1eed2","datavalue":{"value":{"entity-type":"item","numeric-id":2931277,"id":"Q2931277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$6C7D1AEE-1F22-4A96-898A-A925C148721F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86480abd57da707761a7fe1d72d7b1ff3fede11e","datavalue":{"value":{"entity-type":"item","numeric-id":1575559,"id":"Q1575559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$D6C16617-4BB2-4E31-94AD-79EEDB13C423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1991f4b547e2ff1c1f581afcf8dbd3668dd60d9","datavalue":{"value":{"entity-type":"item","numeric-id":4062612,"id":"Q4062612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5097623$1AE2C140-02C4-4B19-8581-5AB189E59892","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6e8990deabb0e7ffcf6ec082019013db4e1157","datavalue":{"value":{"entity-type":"item","numeric-id":2802433,"id":"Q2802433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd6b93fde0969373cd42afdd63b9b93e969f58e","datavalue":{"value":{"amount":"+0.8171386122703552","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":"Q5097623$B3A33026-361B-4ED6-9BE0-337BD71E3E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04f6bd4141bdacc891575ea55f34dc92a923ab90","datavalue":{"value":{"entity-type":"item","numeric-id":4617976,"id":"Q4617976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1164e9ffe58689706bf92e0c7050f3af2f7a91f8","datavalue":{"value":{"amount":"+0.7997201681137085","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":"Q5097623$D4AC69AA-87AD-4289-AE5B-DD3FEF6EB02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd0316295f80b42ec6d1f527b39b58f2d5159cd","datavalue":{"value":{"entity-type":"item","numeric-id":5309549,"id":"Q5309549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b124cb256246451c2585bbe4cff607284684755","datavalue":{"value":{"amount":"+0.7754666805267334","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":"Q5097623$5A8461B4-CCBD-4DF5-8B9B-50DE02B52FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49560e678746cdbc1942229d874668d2229e0a40","datavalue":{"value":{"entity-type":"item","numeric-id":5449623,"id":"Q5449623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83540aa422a09830a2e02d3c069ba7b80cbcb5b","datavalue":{"value":{"amount":"+0.7717627286911011","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":"Q5097623$98CA621F-9363-499E-8F0E-1294B5A653B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ebfd2f24b30bfff8b4e4203bd0e845e310e19a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012712,"id":"Q4012712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3639da20d300014c6ce06318b0f1a54325a3dd4d","datavalue":{"value":{"amount":"+0.7624609470367432","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":"Q5097623$57A68C65-A584-4DBB-88DC-35471E385D44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5097623","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5097623"}}}}}