{"entities":{"Q3540073":{"pageid":5569977,"ns":120,"title":"Item:Q3540073","lastrevid":50499038,"modified":"2026-01-14T05:22:24Z","type":"item","id":"Q3540073","labels":{"en":{"language":"en","value":"SMELS: Satisfiability Modulo Equality with Lazy Superposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369270"}},"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":"Q3540073$0D7051F0-0704-4A0A-8AB0-F482620F4901","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"067a037cdcf2373edba8364d5babec00e48b9fa4","datavalue":{"value":{"text":"SMELS: Satisfiability Modulo Equality with Lazy Superposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540073$781A1FF6-2939-40A4-BD18-9761C975737E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d89fb5dc4c2c66fdb5ee1e42fcda5f1796bc5b6f","datavalue":{"value":"1183.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540073$28B5DF8D-AF40-4690-8A1E-39FD0FD8C66B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b5f38642722295e0cc0b8046c95035d4f915691","datavalue":{"value":"10.1007/978-3-540-88387-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540073$5B760A2A-C3F0-4BB0-AB51-B0986BB85726","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$E0A4BEF8-DB81-4A41-A613-4195F206242F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540073$4A9CC0B7-4CD4-4810-A3BB-A5584BB08733","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540073$F47C3C4A-E412-4EB7-9680-6CDFD08DEDE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1fd2b0b4cca07febc77606d590aabb8734234ad","datavalue":{"value":"5369270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540073$D7328ACF-07A0-4F9E-9FB2-7C38FACEBE3E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$BE181C8B-2D3E-425D-BE9A-5B302DA13C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$2D5F2232-A58A-46E6-830D-5BCFA3AB3605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d1b503d7c8f19634e207574177819c306621855","datavalue":{"value":{"entity-type":"item","numeric-id":17038,"id":"Q17038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$0E272A1D-1D6B-47F1-9F91-CECF9173195D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$4B95B0B1-746F-40AF-B303-1EFBE5B99997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$A3BC8402-3C67-4321-8CE3-C81F849B7E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$37E73A2A-7420-4251-BB30-E9AB77BFAA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$8D2C379E-FFC7-4719-8E0B-C3D250E701CE","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":"Q3540073$69EAE651-C737-4901-9D4A-F88C294F8DA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4cf8283d1fc040663221ba471ea96cf2d235f6bc","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540073$1E619922-CDA4-4FE3-9441-6D452B9A71CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b22dd17406c584cd82d5739a7b2b13201ff9a3a9","datavalue":{"value":"W1860739477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540073$D41DB26F-D6C9-4894-835F-E82B39ECCC92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"103360585a9bffb1c1cc70bf60b5d74438ed3255","datavalue":{"value":{"entity-type":"item","numeric-id":1401930,"id":"Q1401930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$D7D257BD-CA7C-48D7-A194-A79F2E27D682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$E9E9CC87-5156-42AC-B3B4-2957C048EAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e38c2f2e2ea48fd30061f5b3a3a8d0dacb950761","datavalue":{"value":{"entity-type":"item","numeric-id":4264723,"id":"Q4264723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$C182A0BD-0B8C-4E1E-96FB-A338CB50669B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1293c449a4ec199dbf2381bd6d081ce1eb4f43","datavalue":{"value":{"entity-type":"item","numeric-id":2389629,"id":"Q2389629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$9F9788E1-BF0C-46FD-8E17-37B5A920B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"601ec2c706ddf45de31ee679a12674e1ca489252","datavalue":{"value":{"entity-type":"item","numeric-id":4916225,"id":"Q4916225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$98373B69-DC38-44A7-A198-79AA8F030C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$AE950F2B-E954-4A04-95E5-C1DBC9A97311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817ee4f5358d83048f7143c1c798ef96590ad2ef","datavalue":{"value":{"entity-type":"item","numeric-id":3608415,"id":"Q3608415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$39CCB942-6F2C-44AD-9ED9-3C5B5DC2F385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$B6DE1DFD-94DC-451C-88E7-ACE1CA642D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cb051a6b1eb9b88364c46513701492fc0e99189","datavalue":{"value":{"entity-type":"item","numeric-id":3150300,"id":"Q3150300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540073$0EE2D747-FDD2-408A-8BAB-BD6DA49611DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8049f86ea2c26568ba10a8d60118f299b0d2eb7","datavalue":{"value":{"entity-type":"item","numeric-id":2351265,"id":"Q2351265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889f9d013baba2327e1521e7c3790b0f84e195c6","datavalue":{"value":{"amount":"+0.9332616329193116","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":"Q3540073$36E9A347-13F5-4A62-A30A-2DA2F48BBBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dd61cba86890edd358c5484ba6493b7d0ae6fc","datavalue":{"value":{"entity-type":"item","numeric-id":5900726,"id":"Q5900726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cb3c505f6c24fc5ca9d8220458e0e857c95b4a","datavalue":{"value":{"amount":"+0.7821365594863892","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":"Q3540073$B000FC93-B9CE-47C6-840E-C0CABBA1C97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abae2632032a03fe360c1a3290fc2dc2b9b0dcb1","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3487997f19660613e6d0136b20af44000a1e59c8","datavalue":{"value":{"amount":"+0.7793576717376709","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":"Q3540073$DC88D013-5A5E-4485-B5B3-5A4D1E3138B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16d61b4c27c1607e9ae2ffb9e23530d3edb050c","datavalue":{"value":{"entity-type":"item","numeric-id":2486577,"id":"Q2486577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8316c0d11f8112d6681e031ab769455aefcfbd","datavalue":{"value":{"amount":"+0.7745569348335266","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":"Q3540073$51C46C21-9278-438D-9B2E-9C16C6A46A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be640bd51e2586ca3b20a0e4d806fcaf3893ad","datavalue":{"value":{"entity-type":"item","numeric-id":5395131,"id":"Q5395131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8a7c26d3371c323df85eedb98350d6110f9587","datavalue":{"value":{"amount":"+0.7621700167655945","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":"Q3540073$D9064A11-925F-4183-AB74-CDEDB801B569","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540073","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540073"}}}}}