{"entities":{"Q2305409":{"pageid":2316152,"ns":120,"title":"Item:Q2305409","lastrevid":55373908,"modified":"2026-02-17T14:43:48Z","type":"item","id":"Q2305409","labels":{"en":{"language":"en","value":"SPASS-SATT. A CDCL(LA) solver"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178972"}},"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":"Q2305409$C66F733F-E4AB-499A-9F26-9F31A0F307ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af43834f779b5b4f3d1ead49291453cc636cd81b","datavalue":{"value":{"text":"SPASS-SATT. A CDCL(LA) solver","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2305409$DE0BB4B9-5C08-4FAE-9BEC-C5F3057805AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35c6a2aac22bb4bc6f29e3de25cf35d9433efad2","datavalue":{"value":"10.1007/978-3-030-29436-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305409$B912BE23-CE95-455F-9DEC-D363DFA3B1C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7d05503577a5b9fd70ce583a8b9f4a6bc04b14","datavalue":{"value":{"entity-type":"item","numeric-id":831910,"id":"Q831910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$1EEDAD1F-3B8A-43F8-ADBE-F69B6C68735F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$AA94C76D-4572-4044-8EFB-182755A94362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c80d2df31b8ddc491af58f3d13f51f715163a04","datavalue":{"value":{"entity-type":"item","numeric-id":842492,"id":"Q842492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$9312228F-5746-4967-9A6D-DEA1E8B4A520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$48D68FF4-BA46-4FDF-A297-E539BB575F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf314df552e26dc257d6d24b288f7144e19fa20","datavalue":{"value":{"time":"+2020-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2305409$B7C68714-166F-4CE1-AC8E-090223AABB7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305409$43A7310C-9E39-4D29-A277-3FD76921E46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305409$19C6469D-222C-4383-9BD3-AAADD74A598B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26ee4e4d6aa801c4dddc71da6f22afedda7162ce","datavalue":{"value":"7178972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305409$26DFEB55-9720-43A8-BC8F-7674AF03398C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312ed6497197fe722552104318fb5c842ebebed4","datavalue":{"value":"linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305409$8DF99082-F032-4716-8AF1-92334CA32C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97e440dbdf4e2e0e7ed379f5b792b2776387d3b7","datavalue":{"value":"integer arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305409$64C6218E-FB07-4FC5-B9DF-956B911D74C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc37cf6bf1a4fd159f089028e999146e64828fa8","datavalue":{"value":"SMT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305409$0117AF27-EA48-4BC8-A0BA-4E8A1A126A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305409$3D138FC6-4273-457B-B443-AB445E99F9A5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$9B5FA55D-9680-4857-B85B-853DD82C6928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee0f1d67b465999b24119d0fa38254ab1c520111","datavalue":{"value":{"entity-type":"item","numeric-id":13059,"id":"Q13059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$558DBC02-815D-4281-9E04-ED298D4C411B","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":"Q2305409$CE933775-D1D3-488D-B2A5-9387578ACDC0","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":"Q2305409$5FB86416-1DB8-4BA1-9DB2-53D9A18098D8","rank":"normal"},{"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":"Q2305409$4EAA49D2-EB62-4491-B688-C230EAAD79E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$4010FF21-586A-422A-9ED1-3A6C2D89F280","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":"Q2305409$9CFB228B-15F4-474F-BB33-9A6F933A39E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34a4e1fe080fe26fdddad830e77b94ed58b927f6","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29436-6_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2305409$9E73F30E-EF7B-4C27-9763-5D204E76A3E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c604c6ff265501ce7f1bfe1a8293e24972b0ba10","datavalue":{"value":"W2969721123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305409$69806286-E198-4654-BD29-B48D2C985FCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$A0A03DBB-F0AF-419C-8A30-60ACD6BD6CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da70c8262a7dbb8399a1f91d732a7b61c9fd3d32","datavalue":{"value":{"entity-type":"item","numeric-id":1799094,"id":"Q1799094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$93B0EEB7-B725-4FF6-8560-C7688D622B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c10120b6d63d2d79d3e3d7f48a799e97be65acdc","datavalue":{"value":{"entity-type":"item","numeric-id":3454126,"id":"Q3454126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$3A501464-EE30-4432-87A8-72D30958BE82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55415cac38e348523c355018b37d03e511f2ca11","datavalue":{"value":{"entity-type":"item","numeric-id":2817914,"id":"Q2817914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$4034EF69-75E4-4487-AFA0-EEB4E4BEE811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc040c5ddf5393721821c4a7c6b2f0c37070528f","datavalue":{"value":{"entity-type":"item","numeric-id":1688532,"id":"Q1688532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$63801059-8ED0-4FA6-9DB2-0F5FEE5C8A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$DEACDB34-EC6D-4E32-A086-13391648C542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f80d22f373544a605b742cae6bd9cc4acd51c3de","datavalue":{"value":{"entity-type":"item","numeric-id":3636864,"id":"Q3636864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$8C8CCCF6-228E-416E-BDC7-F39B74345642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$DA47350D-8019-49AA-86B2-AA93E8D53279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3014ed8593967d1b0f8f5a23078b1e5b72049db5","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$4044FCB2-10C1-4B43-BD5B-960CB0D63FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ec5477ed81b4bd9beebf6ad8b16c4546d8f0c7","datavalue":{"value":{"entity-type":"item","numeric-id":5538300,"id":"Q5538300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$1F1F41D0-8344-4F63-95E4-432977111E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6ef9008a9fa143fe20e12a5c9881d6597928911","datavalue":{"value":{"entity-type":"item","numeric-id":5200035,"id":"Q5200035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$9CA2D34F-0A4D-4F7C-B74E-A85D2F56160E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$40B38368-42C4-4DB3-8D4E-C12C7A9757EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93c57bc902dee84bf9b46cfbf5e45f8216b6bd9c","datavalue":{"value":{"entity-type":"item","numeric-id":3637169,"id":"Q3637169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$348CBD23-02C3-48A2-8642-4B8B507B6CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6730ba05bbf0433a1a497a7552c55d2bc239d0bd","datavalue":{"value":{"entity-type":"item","numeric-id":5716574,"id":"Q5716574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$F15A41DD-D59F-4B3C-9A90-D34B5D5CD15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$69CBCE80-9519-439D-8A80-B54C3E922B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28deebb9f03725888e2cb415bbaa29688963935e","datavalue":{"value":{"entity-type":"item","numeric-id":2751358,"id":"Q2751358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$80314641-D82B-4EA3-8D93-0A2D12C20828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$4B236A62-9ACB-4E68-976A-A736B971018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1ef4c8566673a8a5c94d00ea3fc5ee04078d8e","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305409$AC76875B-A43C-431C-B944-DB00BA8100DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ee1543602a49b70abf79c4f9e2688587d1cc15","datavalue":{"value":{"entity-type":"item","numeric-id":862395,"id":"Q862395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ab1ce66b10b41cda96c6eeca911234738b6d83e","datavalue":{"value":{"amount":"+0.776328444480896","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":"Q2305409$C0DE2AE0-C314-47E4-9604-292F9A84B13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81902c7e3b10892a3d4d50dd99785140e273d0c3","datavalue":{"value":{"entity-type":"item","numeric-id":2786906,"id":"Q2786906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87e067419643b213018ffecff1787b07e2efa067","datavalue":{"value":{"amount":"+0.7696968913078308","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":"Q2305409$D51637BF-5F7F-4F30-8D7D-9A196A3FEA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff398daa810e103a4cd1e0b35ba7a69419d933d0","datavalue":{"value":{"entity-type":"item","numeric-id":5703769,"id":"Q5703769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a0b5914aa7c227909782c885caf49e573f967d","datavalue":{"value":{"amount":"+0.7539306282997131","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":"Q2305409$8B117C16-62FD-4675-BFB3-5E795C66096E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd1f875057910272dc1f6cefa7437b5d6cd54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96ff107c181cbb19d56d68c8d1ad8e140121435","datavalue":{"value":{"amount":"+0.7365701794624329","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":"Q2305409$0CA2C5F5-ECB5-4C0D-8F32-0CCAA1695797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fdbeca85c48f00d46601cdbb6aaea3bf23527c7","datavalue":{"value":{"amount":"+0.7354806065559387","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":"Q2305409$2BDB7151-B97C-4967-8BD5-DC64453E3C3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2305409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2305409"}}}}}