{"entities":{"Q280198":{"pageid":281965,"ns":120,"title":"Item:Q280198","lastrevid":56760435,"modified":"2026-03-23T12:32:11Z","type":"item","id":"Q280198","labels":{"en":{"language":"en","value":"Exploiting parallelism in coalgebraic logic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6577990"}},"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":"Q280198$C8CF8525-8762-4F9F-9D08-4368E9082B8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fe859a80a77216744ab1b1ebc14d94753e80186","datavalue":{"value":{"text":"Exploiting parallelism in coalgebraic logic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q280198$A8F436AB-A0B3-4E45-A17D-DFF90C09D9BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7c68655a7704006d2d90c04f2762ea40d36fa0e","datavalue":{"value":"1337.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280198$36928F7B-9990-41A4-AA4B-A3C3F3F84F54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"170e56a44d87084edf1707672598135a08e36b5f","datavalue":{"value":{"entity-type":"item","numeric-id":280195,"id":"Q280195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$79B276F9-2FF6-4058-A16E-D7A7C9CFFCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6a2fb3ca1797da087bea60a7ba04868a16e10df","datavalue":{"value":{"entity-type":"item","numeric-id":280196,"id":"Q280196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$F5E4CD8D-90D4-4503-BD1F-4CFBAEFE28A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9df023cae9b25ea4b60776547a8efc95e2e421","datavalue":{"value":{"entity-type":"item","numeric-id":280197,"id":"Q280197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$2C181C79-87F8-4880-8200-BE61D781A4C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9bec7039bb894a69d5c465abb49f44746eabaea","datavalue":{"value":{"time":"+2016-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q280198$B35BEB2F-9AD9-46CC-8EAA-5E61509A06B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d0b3cdd35afd7acde594231069509614a9c15e3","datavalue":{"value":"https://arxiv.org/abs/1312.4454","type":"string"},"datatype":"url"},"type":"statement","id":"Q280198$060100C6-5A94-4B8E-BE4E-3112321E2661","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280198$0D4D9BC5-771D-43A0-A806-3C56325CA12C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f45bcca8787d0b87fc0fa1b77d2b315ea05bb914","datavalue":{"value":"6577990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280198$0A4B683D-BC04-480C-A884-29AFB77D2140","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q280198$D0DBA2D1-0ADD-4971-AC8E-2C504B0E2969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02570c54f45776c7ff3fb2c16c58b2196f93e51","datavalue":{"value":"corecursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q280198$414D9F85-45F7-4AC0-8FD5-A3B1863DFF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0eec30d4438aa9c178e8b310d81741e807631a6","datavalue":{"value":"guardedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q280198$F46CF97A-ED2E-4893-90D7-56681AD010F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q280198$E307C378-4A33-4186-80C4-5A486FBE4E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e120487df85f007f917550deb3962b0b49e5b37","datavalue":{"value":"GoLang","type":"string"},"datatype":"string"},"type":"statement","id":"Q280198$AC34B63A-4D1A-4127-A6F0-E105816526EF","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e69cbcf21d589d5a07f1faf5317380874095d9fe","datavalue":{"value":"Q113317889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280198$17ABCD95-1D63-42EF-863B-F96014981688","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d06ab5629e6c8be6abf4aeb15fe2fe8af69eb74","datavalue":{"value":{"entity-type":"item","numeric-id":27968,"id":"Q27968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$D7214833-1CDC-4F26-BBD0-C3B4FAE8429C","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":"Q280198$F42D74AC-2DA9-4C0B-9808-37776373934B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"581bf8e9db5714d2246e43eadadad686edad321a","datavalue":{"value":"W2051432956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280198$30E10367-D1B2-4357-BF37-C688ABEE3CCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aee9d69cd99d332b9e08dbab7c5776cc25e1dcc","datavalue":{"value":{"entity-type":"item","numeric-id":1035699,"id":"Q1035699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$63A072C9-BE21-4A85-83D1-9A428D61CD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50b78a66138e6672ed0097f233af16b4675072a","datavalue":{"value":{"entity-type":"item","numeric-id":3638242,"id":"Q3638242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$C42E06DE-6491-485E-BBA5-CCE64FE07F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbdff9530eddb43d746e3fe993c133d184560843","datavalue":{"value":{"entity-type":"item","numeric-id":843097,"id":"Q843097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$557B94D4-0A2F-4C08-97AD-86E69405F70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5da439f17d7e507ceb9157f985a1ba44df5fef74","datavalue":{"value":{"entity-type":"item","numeric-id":2848941,"id":"Q2848941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$F88A1282-9D8C-4F3F-A9EA-0E5EEBE504B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcf958679cc5d1d0aefbb9c7f05aeac8b7ffeba6","datavalue":{"value":{"entity-type":"item","numeric-id":4452646,"id":"Q4452646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$F3E22D19-B5B6-43BD-BA17-3252A68DC1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93ed0b34c0c7c39cf52c2b57b3122913e565beda","datavalue":{"value":{"entity-type":"item","numeric-id":1854446,"id":"Q1854446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$32246C55-948B-4B94-935A-3A60EDC37F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81d57b58abc3a82b100d072439fecb147f7ea86","datavalue":{"value":{"entity-type":"item","numeric-id":3716320,"id":"Q3716320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$27034DAC-2758-4609-AA39-5B8944DD9CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf26eb6ef0a2cb5ec8accba41f732c223856278","datavalue":{"value":{"entity-type":"item","numeric-id":1900312,"id":"Q1900312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$E1B9F951-9EC6-41A9-82C2-8E696A8AA6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$D4661133-FCC4-4E40-AE70-91F41715971C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84632367f0bc821d70fbb205d283f9db1d7e726","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$F1523728-3772-4088-9D24-FC6A6CB168B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6ddc3048ca9b0d59f5ac2d8947832396faa644","datavalue":{"value":{"entity-type":"item","numeric-id":2915694,"id":"Q2915694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$399A861F-73C1-49BC-8C31-D2C5A813B27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ada61c14aee50389693cc08b998bd5592a48d66","datavalue":{"value":{"entity-type":"item","numeric-id":3090874,"id":"Q3090874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$44204AC1-80F1-4EFB-866B-D82F591F124E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$29BDCAAB-2981-4460-AD7D-AAA0385E6B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12ea32d3564501ddd74ef94d6b05e5727de3a8dd","datavalue":{"value":{"entity-type":"item","numeric-id":1104095,"id":"Q1104095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q280198$1D53594B-76EE-4137-921E-AA534391C4A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6d428e5d503eb58c937f0890c6014a45e34aa5b","datavalue":{"value":"10.1016/J.ENTCS.2014.02.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q280198$C04BD392-2B69-4693-B7DE-0BFB80314071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0853115477b595f9b6a6660623b60e1af9db680","datavalue":{"value":{"entity-type":"item","numeric-id":3067470,"id":"Q3067470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47ac6b2b318146213d5b67926da8ed59e359160","datavalue":{"value":{"amount":"+0.95629513","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":"Q280198$3EA3D7E6-00D5-4B9D-8BCA-142542FDEDD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"428f9249614179310b3d2f86cf529bb84b59ce7d","datavalue":{"value":{"entity-type":"item","numeric-id":4207562,"id":"Q4207562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8544378741a02fc7cfff1151bc86dc29d5dd8a","datavalue":{"value":{"amount":"+0.91886216","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":"Q280198$52646B5F-A0B4-42E9-A8CA-3CD8B223A512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1190f1d5dfc606c0f86e094b60449d755715ea22","datavalue":{"value":{"entity-type":"item","numeric-id":3786037,"id":"Q3786037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db1abc6a8aab8d33afa985377dd5f537c8cde066","datavalue":{"value":{"amount":"+0.9170497","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":"Q280198$F1D90884-C424-426A-94EC-5BA3289380B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1845376d4c8e5f42669d8d57b7ee2c2bf28ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"682bfb1f9f28e6c4035d30b6e79d01cc9d189975","datavalue":{"value":{"amount":"+0.91356885","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":"Q280198$D678193D-7F45-4CA0-9B22-21A21338EEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6369ebf1e74b24da316c783e821502f58b45543e","datavalue":{"value":{"entity-type":"item","numeric-id":6063892,"id":"Q6063892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05f2384c3a8999272dadfe09a9eb3e3629b0001","datavalue":{"value":{"amount":"+0.9104486","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":"Q280198$392D4A53-43EC-4988-9DFF-89EC90746734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"766de4bbe63c9300fd7e4efa267a5b83ba48fce8","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82267b328a2e360a3c5a1aacfa7deda4963af94e","datavalue":{"value":{"amount":"+0.9041782","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":"Q280198$BBBE49B8-3D4E-4A4A-9225-A6980C84771D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8988139e8229b26ef42b8ccfbc11a95bcac201ee","datavalue":{"value":{"entity-type":"item","numeric-id":4791653,"id":"Q4791653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb2b117caf983a0f8cfb8fe6553b3dc50cc0970","datavalue":{"value":{"amount":"+0.898615","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":"Q280198$3DC16169-02DC-493D-9315-C1721E9415AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:280198","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:280198"}}}}}