{"entities":{"Q4982077":{"pageid":7011655,"ns":120,"title":"Item:Q4982077","lastrevid":52231322,"modified":"2026-01-21T05:20:06Z","type":"item","id":"Q4982077","labels":{"en":{"language":"en","value":"EufDPLL -- a tool to check satisfiability of equality logic formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418449"}},"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":"Q4982077$84D71AF6-8E3E-4EBF-9CCE-75B85A4C4CE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee8a3daa574b3a4921e0bf5a8518dd211202e0f6","datavalue":{"value":{"text":"EufDpll - A Tool to Check Satisfiability of Equality Logic Formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982077$AA1CEE22-6763-4360-ABB8-9E0282CA8590","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58b6a7f04a13a8cd92e5af98df9f92272d2db0b5","datavalue":{"value":"1336.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$A38B5E03-75A7-4BB7-B03F-79FD16122BE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9c7302084d6061bb6f189473ae8492ed0c79a92","datavalue":{"value":{"entity-type":"item","numeric-id":823763,"id":"Q823763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$C1ABED71-49DF-40B8-93AA-DFE47676E53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5e84fe9e7bf533d1ab33d10a27c52dad4dc5f45","datavalue":{"value":{"entity-type":"item","numeric-id":672480,"id":"Q672480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$EFA70F4E-E24C-4751-A32F-AC8371D6A53D","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":"Q4982077$E8DC36EB-33CA-4FF8-B7A6-6156B3DD2C7F","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":"Q4982077$3B60C346-CDDE-4128-954C-DD8ED86E9E0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$A361D8B0-57CB-45D6-87DB-82B3F4D9FF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$B5678DB9-7F06-4518-82A1-382C26F2505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$EF8286D2-4A04-4517-88C9-C0E0031C886E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63829fab6bb593685b3bb519d2b5248b8e25fcc9","datavalue":{"value":"6418449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$897CFDAC-32D2-4F2E-89BF-D458CB4B3403","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f389c0dd616f49d69260199262c6e872bb9a41","datavalue":{"value":"equality logic with uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982077$2707CE9D-1B05-43A5-9F2B-DF36084F3A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982077$F74139BA-4508-4D15-B1DF-4C0DB5623E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebcdf1765afe1aa29d302e3c021519c61f81717","datavalue":{"value":"DPLL procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982077$78ECF012-6ED1-48FB-8068-B5E1D8992154","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819c8fdec8960a60c30a6c613cc27585bc3ab535","datavalue":{"value":{"entity-type":"item","numeric-id":14549,"id":"Q14549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$853D3261-6C30-4AD3-881C-DF64A57356EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd04686736bf6ba8b9ed99666881790f28821c88","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$A389ABA1-AEAC-42DC-811A-E4C353FF67FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee7a448615dd903294b3e9bf055d54020098b7dc","datavalue":{"value":{"entity-type":"item","numeric-id":23491,"id":"Q23491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$A53F5ABA-4DEB-415F-82E3-6B2589442BC8","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":"Q4982077$1C4D8360-4516-4C3D-8436-60552CB5B6D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"027ca2faf9c201d654212704c5aa0265f5d15e53","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.089","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982077$4B7B6EE4-5898-407A-8B8A-BF99D3ACC0A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2318f17fe8a8b863871e7c15c26ebbfcda23fa57","datavalue":{"value":"W2101655454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$45BAB88D-E361-4849-B4CC-D72A49A5AC0B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$5BB23D87-2A16-4EA1-9B21-B572086CC7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a37a8944fbf9376964ff5a76c4d0b4c01d3e590","datavalue":{"value":{"entity-type":"item","numeric-id":2643080,"id":"Q2643080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$DE11705A-BC5E-40D1-A889-F62AFCCBF8A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6d0e3013ab16c89d201f2faed7831e304ca5ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5738967,"id":"Q5738967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$3E5140A0-681B-4EB5-9BF4-DBBBA11FABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$F41DC126-8B15-44E6-A616-46D09B6E26F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22782ecfc7a60281469e4273f383d2c24b35aa50","datavalue":{"value":{"entity-type":"item","numeric-id":2767014,"id":"Q2767014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$9C0A4091-D833-4B9E-B0DD-5D84F34F99ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b989bba6cd8fbc41aa7bf6fe0537ed3e72818db","datavalue":{"value":{"entity-type":"item","numeric-id":5716573,"id":"Q5716573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$D5D0D184-BE71-4FE8-AC52-46AC30046EB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b88b9579e3dd7e64581dac4678367ab8dcc04183","datavalue":{"value":{"entity-type":"item","numeric-id":3408132,"id":"Q3408132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$C5AC88B5-2EDB-4478-B4C9-A9F52055DC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0352fdaf2e7604ce04724dceb5c49cfd3fd66886","datavalue":{"value":{"entity-type":"item","numeric-id":5387828,"id":"Q5387828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$116F8EFD-5667-44E3-802B-187D88AE7FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ed520730ccf1ef4b3d8fb0eaf81f9d95514b93","datavalue":{"value":{"entity-type":"item","numeric-id":4474229,"id":"Q4474229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$63D623BA-3AD2-45E7-896D-09A69D9770B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c630f243330e480767be66088a5b4e2ed5e6c","datavalue":{"value":{"entity-type":"item","numeric-id":4818813,"id":"Q4818813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$4784A29A-5061-4390-835E-0E3404CB7EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$D3258FE9-A1CB-4886-9AA1-057CA74795BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dddaa035eaea71f6f5775f7cf4d681b2ff556d38","datavalue":{"value":{"entity-type":"item","numeric-id":4551144,"id":"Q4551144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$37A7CCBA-92A9-4C5C-9F06-42FCDB181476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09db88e7db8de8a699f35dd014c509760be4233","datavalue":{"value":{"entity-type":"item","numeric-id":4157961,"id":"Q4157961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982077$5D8FF6A6-15BF-4DA9-BD34-27B3267E03D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7467937ab8140e4ba17d3ff3cded270f536f25bf","datavalue":{"value":"10.1016/J.ENTCS.2008.12.089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982077$7C48C5BD-37A0-403B-8D93-74348B98FF89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9312d1d91979e51c8615bb0c6f972074bc9256ff","datavalue":{"value":{"entity-type":"item","numeric-id":5464719,"id":"Q5464719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fdb9bcb5dbb35e8886593668096fc3b51e494b1","datavalue":{"value":{"amount":"+0.8790200352668762","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":"Q4982077$C44F3CFE-EE0D-4438-9F06-0B26356837FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47227c3ededf306d0bae5b081c3c2eaf0e20bdbf","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2fef7b0841a15eeacfe23dc5535938b7621764","datavalue":{"value":{"amount":"+0.8552861213684082","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":"Q4982077$BE93F260-CD68-4156-94FF-440DDD2D20B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc3f0ebd77aba29d31cbb6faa01e9a0f6a77d2a","datavalue":{"value":{"amount":"+0.8072277307510376","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":"Q4982077$8ED93456-0E1D-41CC-8F3A-511E4D961546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dd79333bdbcecc3d3f1b731c98ddfc3f5e0f97","datavalue":{"value":{"entity-type":"item","numeric-id":5492907,"id":"Q5492907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14df5e0b257b2a4b741e654871cf36b090600322","datavalue":{"value":{"amount":"+0.78743577003479","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":"Q4982077$3DC2A939-A633-4E21-B162-1245D1835E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35f42e1e6814427281a6456b4cf35094d80750f","datavalue":{"value":{"entity-type":"item","numeric-id":1870209,"id":"Q1870209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"494eb2dd0577c3ea84c9c191fd6495af6d78092a","datavalue":{"value":{"amount":"+0.7834166288375854","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":"Q4982077$CE224CA0-AFD7-4338-97EA-675C35F8F6F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982077","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4982077"}}}}}