{"entities":{"Q4982113":{"pageid":7011691,"ns":120,"title":"Item:Q4982113","lastrevid":52231532,"modified":"2026-01-21T05:20:12Z","type":"item","id":"Q4982113","labels":{"en":{"language":"en","value":"CoLoSS: the coalgebraic logic satisfiability solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418733"}},"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":"Q4982113$6743F9A3-5B32-40CA-8594-2AE6F387E778","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5b009b821d5845cb5ef741a826d81c782806fb5","datavalue":{"value":{"text":"CoLoSS: The Coalgebraic Logic Satisfiability Solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982113$71DCD985-0F7A-4CF6-ADDC-FDAD7FD03E53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c8b696d1634e4a713a3e178ff0de66a195f0107","datavalue":{"value":"1347.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$8C02E978-D488-4CDE-A194-D6D0CAE6C8C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a1f420cc895bc2283f68fe00a9551fc95fb812b","datavalue":{"value":{"entity-type":"item","numeric-id":2963903,"id":"Q2963903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$4820D915-3CBA-40A4-B84C-8E5401A1244D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$8A1EC19F-D0C3-4792-8A98-8A48975E45E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982113$E5D59499-12D9-444A-A005-AFEBEC5C55B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$8479C898-F3CD-4F7B-B53B-FF2B7665D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$98AE4F21-1950-4B89-9F43-03E4F6C0EC89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$F40F40F5-2C41-4DA6-821E-3F78130784EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$8558F991-B651-4CFF-9DA0-257C2FDEA72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$F99BE440-C868-4F19-97FB-51168E490683","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"298c0a8a3520a3d90c6e95340833883f8abdf20f","datavalue":{"value":"6418733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$658AFF8B-1AE5-4286-849A-876CE5122B4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982113$0D6B70A0-CFC4-43B3-B9C6-5446330382CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001bcc4003e82b518e8db70a781511a363a83e24","datavalue":{"value":"automatic proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982113$6F2C7C38-12E7-4894-B905-8953EA538DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982113$EB4DAA5C-64FB-4846-84CA-E7FE3CF5BBB2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e9de48e5ed16a4f1b19ddac063d5ea05707ecb87","datavalue":{"value":{"entity-type":"item","numeric-id":19082,"id":"Q19082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$50928FB5-A688-459F-B4DC-1628B567CA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$993B900E-D5F5-47D6-B4D9-D36C771458B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$200048AA-59DB-460F-BAEF-E27AA04EA6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e84835cee70052100cf7d55693b196f9688daf28","datavalue":{"value":{"entity-type":"item","numeric-id":19079,"id":"Q19079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$5F008A37-D714-4D4C-9169-DABE89CFD0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9dc96d31725a42b8712b814e265dc136a76d4196","datavalue":{"value":{"entity-type":"item","numeric-id":21815,"id":"Q21815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$622A1B0A-BFF7-4171-8CC9-296C9562F84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6c3fd6f8b6db5b611a467144e548e7f33d1ee53","datavalue":{"value":{"entity-type":"item","numeric-id":33989,"id":"Q33989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$6BDA1C04-1CAA-4E86-A5BF-84AECC3242ED","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":"Q4982113$7EFE78B4-A751-43BE-9C04-6BCF6FA8DC4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8d5627056f38efcf98a4ef1ce3a37bd43d52e93","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.02.028","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982113$1709BB1F-E400-4149-8150-3350F5F97BE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad7926f3f4289829dba92310d4312795b583fe37","datavalue":{"value":"W2039834595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$D0574975-208B-45C5-994C-49CE5C854616","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ddadb34f3f01f83c600aa6e78ae526fd26cd68c","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$7C7DD270-03BA-44AA-81CF-56A976EFD214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b2ea493cd34a03987220cc25dc5650028bb979c","datavalue":{"value":{"entity-type":"item","numeric-id":3613433,"id":"Q3613433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$2BBA8B1F-48FA-4FEC-9AF5-00D4E64B3B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d14b1ecbe3662398f81bd2a0e0822e0e1177ec","datavalue":{"value":{"entity-type":"item","numeric-id":4539653,"id":"Q4539653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$8672FDFA-1594-49E8-A824-346559B49F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5944af26ee3b4bfdaa06cea7dcc79aa4a0536c29","datavalue":{"value":{"entity-type":"item","numeric-id":5938620,"id":"Q5938620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$B01851A6-2609-4B32-A67F-7E0CB95CA505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"888cd95d66a558d3523482665852ecce7912cb81","datavalue":{"value":{"entity-type":"item","numeric-id":4260083,"id":"Q4260083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$6A6DF558-AB99-4F45-9D2C-CB095CA4EADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb3504a1e04bfb244f7d9b2a0bf855789ff659f","datavalue":{"value":{"entity-type":"item","numeric-id":2729056,"id":"Q2729056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$70AAA246-09D1-4559-BA9C-8DCDA1C13145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$812B577B-9377-44E2-8DE4-E13872D46876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$8F526BFF-1DD2-49AC-A80C-2BFE2FD4121E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6d7cb7e6c56f5c2c87c88ee55784af24696aa0e","datavalue":{"value":{"entity-type":"item","numeric-id":5466584,"id":"Q5466584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$28A27E0F-05F6-4067-AAA7-F0064969A8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a66793a779bdb77ad812ba39694810ebdcc5574c","datavalue":{"value":{"entity-type":"item","numeric-id":5187875,"id":"Q5187875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$4C66541D-6D35-4A55-BF06-F938613684CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"554dd80b26f1471d0a2efb82a159b112585c78b4","datavalue":{"value":{"entity-type":"item","numeric-id":4329525,"id":"Q4329525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$3DD83E9E-5BBA-4A3C-A522-E35953F745D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f08d6a93b5519fe40946b3c81233b0a486a55307","datavalue":{"value":{"entity-type":"item","numeric-id":4414308,"id":"Q4414308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$CBFDB2F2-1961-4802-BBD7-871B5495375E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeea2c1aa53a8e6f4e6d84856c703b47df09d024","datavalue":{"value":{"entity-type":"item","numeric-id":5428831,"id":"Q5428831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$B201ACCF-DAE2-42F2-AF49-AD88A68F55CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"076100eee5d25782e29f49609d41790dc5c67318","datavalue":{"value":{"entity-type":"item","numeric-id":4847023,"id":"Q4847023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982113$110F0C44-1C7E-43B0-8339-D6266D525476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fe4ed21ca5666bc177bbc276c51f3220a59b3069","datavalue":{"value":"10.1016/J.ENTCS.2009.02.028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982113$2FE006C6-CC62-4C37-BC72-DBE89CEE8665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d912c8ff41f37c9732862522f06fb1a162f224","datavalue":{"value":{"entity-type":"item","numeric-id":3005988,"id":"Q3005988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b503cc3b797829b49cd5a9246a2868f0580a79","datavalue":{"value":{"amount":"+0.7555788159370422","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":"Q4982113$4BC2CB1A-EF14-43BF-B9D8-2B6C0840B067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57e6920fc052676052685294f244267a1b1f0172","datavalue":{"value":{"entity-type":"item","numeric-id":5428831,"id":"Q5428831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d066f0f373894767001ac6cc244fcb2acc32fa6d","datavalue":{"value":{"amount":"+0.7420092821121216","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":"Q4982113$D9A55084-98CE-4D91-8B43-33453FA4EF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382400d65866ee7a0a0f26985c34ad219f3a7c70","datavalue":{"value":{"entity-type":"item","numeric-id":3557073,"id":"Q3557073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abe949a5e2eb14f3dfe7b7b2bcea7d959e920e1","datavalue":{"value":{"amount":"+0.739867091178894","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":"Q4982113$D93D0284-7FD5-4F29-B8F4-916D2A2582DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4478a093e10f60e69f80b663a105fca8d5bafdc","datavalue":{"value":{"amount":"+0.7393230199813843","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":"Q4982113$C7A980DF-4EC7-4655-ABDB-3A217B2C067B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7e3ce2b29770d433476af7b8a7c2e3824f06ec","datavalue":{"value":{"entity-type":"item","numeric-id":2643335,"id":"Q2643335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1694421fafc48b5a3ffd495a159c4657e65ba3e7","datavalue":{"value":{"amount":"+0.7374195456504822","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":"Q4982113$AD2A8880-320F-4ACE-AA8D-E44D9CB99630","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982113"}}}}}