{"entities":{"Q1857277":{"pageid":1868019,"ns":120,"title":"Item:Q1857277","lastrevid":73572078,"modified":"2026-04-14T16:30:17Z","type":"item","id":"Q1857277","labels":{"en":{"language":"en","value":"Kima: An automated error correction system for concurrent logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870085"}},"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":"Q1857277$5C947693-569C-495D-A8C2-26BCED607519","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64d61ff4797f08714683152895d97c367d11dec1","datavalue":{"value":{"text":"Kima: An automated error correction system for concurrent logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1857277$E48A6D35-E44E-4B40-89AA-4846D9D35154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d75a82374cd45d4055fdb46211bf377330132f7","datavalue":{"value":"1034.68569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$6ED52DDB-61A3-4C5E-9715-2123CB7A803B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21c97dd4171577b776f15c91860aa14b466a1564","datavalue":{"value":"10.1023/A:1013232219911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$7D733DCC-BF8E-45D5-AF32-551A49A22FC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5a57f5a70b4100907304bd0e0b0b88c3ffd5294","datavalue":{"value":{"entity-type":"item","numeric-id":1857276,"id":"Q1857276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857277$109EF9E2-C7C9-4F88-B0CC-5C13805049DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc51552130a4c491b753d6ca2f96fd2f1adc967","datavalue":{"value":{"entity-type":"item","numeric-id":1035708,"id":"Q1035708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857277$99372673-7977-4F8C-B97B-86CC57C09289","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcbe10a5fdb94bc84c83e33679ac5fc8287e6a8e","datavalue":{"value":{"entity-type":"item","numeric-id":185909,"id":"Q185909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857277$951F7B49-6A8D-4574-A35E-416924FE9F5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1857277$AFFD50DD-BC42-4500-84EE-1E635C5BC479","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2ff503c9a69e1c97ecc55058f3e0de6beab57ec","datavalue":{"value":"https://arxiv.org/abs/cs/0012007","type":"string"},"datatype":"url"},"type":"statement","id":"Q1857277$CF42E4DF-FB6A-4396-9882-9107EE632B2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$8C335F15-32AB-41BB-814B-44BAE50ED112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$6760024A-DA58-4D9B-A44A-83A7D0F1067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$E255FE1C-9CAB-4701-8AFD-18E5DE712B64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea36134e5a4a32053e2fed9cbd0294a2784382d7","datavalue":{"value":"1870085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$37E427A0-2A75-4573-BB8E-38B277AF31C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1308554ad3460b711fad75984ba405cfa4693683","datavalue":{"value":"concurrent logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857277$C06C8722-421C-4410-92A3-BCB94F1BC116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"485447b25ea9ae3ba0e28b66b16f57c15b7c1fe1","datavalue":{"value":"types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857277$D9785A92-AE7E-48EE-AB85-B261CC1718B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857277$EDCFE923-533B-4312-94D9-B652D95216F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e209e27ecbb3fc4e2dfd619db86ffda1231648d6","datavalue":{"value":"debugging","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857277$C992DB2F-8C34-4209-8FAF-D875B8383F10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1857277$0E857FAD-61E0-4FD8-9F2D-520FEC692D8A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c13aa3d18a74e7730f02e609145ff1f8dbad78","datavalue":{"value":{"entity-type":"item","numeric-id":20974,"id":"Q20974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857277$E2D86D3B-D71F-40B4-B7A1-57996D33B548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1857277$71B6758E-6149-4121-A4A4-E568B66F591E","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":"Q1857277$B858616B-05A1-4BD0-B29D-7B9ECC70D717","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d5685f5c54c4d8877902b348012abc0a995de45","datavalue":{"value":"W1810358210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1857277$78DB1D92-CD09-40AF-A13E-4EA9EFEEE6B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea5cf83a7b0d1bb9b74d84888bbd75c3b4f6f8ba","datavalue":{"value":{"entity-type":"item","numeric-id":2702600,"id":"Q2702600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664938ca3ae6b74c1ec06d3be00ebc1e6d06c7ff","datavalue":{"value":{"amount":"+0.83580387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$2FDDCB4F-080B-4423-A3DE-229BBC5701A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42021b997c68bc862f1509efa3b66de45dd7291f","datavalue":{"value":{"entity-type":"item","numeric-id":1373300,"id":"Q1373300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0325f910ea6b5ec4c325a9f6717f0d7af01833","datavalue":{"value":{"amount":"+0.8351038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$FBB1E3CB-B076-4A15-AC06-51B2E56A947C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7994390e24b401e1cb1860a5e663a05ddee2ea91","datavalue":{"value":{"entity-type":"item","numeric-id":3608666,"id":"Q3608666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e77279c01de211da3bb5d4c0a6ddc1bad789fa","datavalue":{"value":{"amount":"+0.8312632","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$9CECC81E-4250-4811-8E98-079C95796F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15a74d5dc931861c56717727f338cd6beebbfa2","datavalue":{"value":{"entity-type":"item","numeric-id":3745322,"id":"Q3745322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3426141cc059ea4ab4a3fb468d18d2be0d287a37","datavalue":{"value":{"amount":"+0.82589245","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$FCA1F8FB-0CCF-4672-BEA1-E0A05E79B55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"628374b6c98a60216e4dc977d50d100288fd83bc","datavalue":{"value":{"entity-type":"item","numeric-id":3608667,"id":"Q3608667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5aba4579481865af54d5c6f6c119d27d881544","datavalue":{"value":{"amount":"+0.81506586","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$A393E40E-2E80-48D5-B466-5D1923DA685D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2774a3ca196ccddeb23f5a1832890dd92b4783","datavalue":{"value":{"entity-type":"item","numeric-id":4424850,"id":"Q4424850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6cd7d3435a5f2819a78a487b02435e98f62857","datavalue":{"value":{"amount":"+0.81203914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$7BCD97A1-DAB6-4F07-B3DE-5E03417B71C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b57f29777deeb40d08c3789c82c6a3522d2b6aa6","datavalue":{"value":{"amount":"+0.81200194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$E6D8E502-B7A0-4FE0-8487-6E49A9511062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618efea89b8ac42f420f233d84c1b7796adac0c","datavalue":{"value":{"entity-type":"item","numeric-id":2281640,"id":"Q2281640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec5f147be39771e3547d761a1b9470a7211ff29","datavalue":{"value":{"amount":"+0.81154776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$1D92C656-A89D-436E-8227-493FEA089DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f4a4198aa867d02c3d5d0f50d44e8c9771862cd","datavalue":{"value":{"entity-type":"item","numeric-id":4994693,"id":"Q4994693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0601303a93822424f665531ae480780e027034a","datavalue":{"value":{"amount":"+0.80749124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1857277$32ADF407-5C80-4FEC-AFB9-06A7006E05CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kima: An automated error correction system for concurrent logic programs","badges":[]}}}}}