{"entities":{"Q5191095":{"pageid":7220667,"ns":120,"title":"Item:Q5191095","lastrevid":50728637,"modified":"2026-01-14T23:13:40Z","type":"item","id":"Q5191095","labels":{"en":{"language":"en","value":"On Deciding Satisfiability by DPLL( $\\Gamma+{\\mathcal T}$ ) and Unsound Theorem Proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5587926"}},"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":"Q5191095$F59757B9-4F9A-4D63-B939-54A389D2689E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"860f8a5fa9d8a8852376d5e42bc7deec92fcdb4a","datavalue":{"value":{"text":"On Deciding Satisfiability by DPLL( $\\Gamma+{\\mathcal T}$ ) and Unsound Theorem Proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5191095$2759839F-7CF2-4411-A255-4F4C111AC178","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0c6bef14489968794ad01e7359074b07682a6b4","datavalue":{"value":"1237.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$F01E036F-83B6-4548-AEB7-4837FEFAE6BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9679cdda818209cc0216ba4d4a8d7b58c5fd8a9","datavalue":{"value":"10.1007/978-3-642-02959-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$8CCFB07C-22BC-4C13-A779-8D915F556B8F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$2A879148-5B47-4F67-B4BC-B315925DD799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b74f2805d58a252b355491b4dc993b2648b5d8c","datavalue":{"value":{"entity-type":"item","numeric-id":437036,"id":"Q437036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$216312B4-342A-4974-A1AD-758BA5DBA0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$FFF401A9-D719-48D4-B482-CE0FBA883DB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cc7799424afce15eb24475c2c343f54bb5498c25","datavalue":{"value":{"entity-type":"item","numeric-id":5191093,"id":"Q5191093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$D5671BC8-9035-49E5-A197-5062EDD2B045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05720f4fd46426bc3a53a0e61b7abc572638b1a6","datavalue":{"value":{"time":"+2009-07-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5191095$EF617D33-558C-4596-8564-0AA774CAB54A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$BFAD8077-9CF1-4FB7-8575-BD21216566DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$A90482B3-B996-42CA-AA53-A7738FECC02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$DF64BDAE-4356-424A-B34D-1247390BAE79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6392e5eda29f792f1383f06afe7ba5316cad7cee","datavalue":{"value":"5587926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$B76F516C-75F7-48E6-8494-02691C147F00","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6cb634625cdb5482d3b6a70d0e49a0d21d30f989","datavalue":{"value":"Q118190441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$92E41C9C-1A39-4807-A0E8-23791D208B87","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$68F80720-458D-43DA-BFA9-68C487BDC6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$AA6BC7C0-D037-4941-8E4A-E3DF1A2BCBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$2905A983-3C48-4E88-80F1-8E76E456E8ED","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":"Q5191095$278E2F24-59D8-44FA-A58A-703B62B1E93E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f830a1579ab27faefa4efaf35570bb35ce60f47c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02959-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5191095$49597A27-A852-4912-8AB7-508C1E93A773","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c22a84e82580ade195275531ce7d173147020ce6","datavalue":{"value":"W124433265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5191095$EF16AD30-7659-4D8C-BBB0-BC31B671E419","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d76e46128bb0e55696f95b3bb5f826ee9e8fcdc","datavalue":{"value":{"entity-type":"item","numeric-id":5277822,"id":"Q5277822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$68F3FE52-D26A-401A-9B16-76AF7C9FDD46","rank":"normal"},{"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":"Q5191095$8C8D0270-CDC7-4BCA-81B5-D491BC2A0215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47d7f807ff440d37ec1151957e0741b3996e143","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$70E5174F-EDCC-407F-96E4-A02B22B4112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe638b8906f8f43ecb88c7284ff6ff2706007295","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$54651913-C5FF-4C32-9B9A-2D6E796F5FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6386f9d9d555cce966644dfe59274fe1062f77ec","datavalue":{"value":{"entity-type":"item","numeric-id":5450569,"id":"Q5450569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$1FF556FD-73C8-4C9F-8AB7-6408BEC2BC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b18a75aad9c9a7a5a4368c62a0e4bea68bf145","datavalue":{"value":{"entity-type":"item","numeric-id":1041591,"id":"Q1041591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$D9810FBE-67CA-4ADA-A536-8AB9902BDCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfc74a420b6b7ea54906573084cfacb776d08039","datavalue":{"value":{"entity-type":"item","numeric-id":3613431,"id":"Q3613431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$9ECC04DA-5875-4F9B-B353-055CF0B80DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0b555d657cb1f5a17dad4f6c65786062114626","datavalue":{"value":{"entity-type":"item","numeric-id":2487870,"id":"Q2487870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$B78E26B0-3D12-4555-BE64-1F0F8452E681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d89f37ed0731c9210dbbb14b6045bcdc804d583","datavalue":{"value":{"entity-type":"item","numeric-id":5302032,"id":"Q5302032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$E00ECE67-A3BD-4E41-A348-42EEABE83988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f27245772c2159d3ccf93c502a4163695153f","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$9FC8FC11-879E-4C67-B369-923302678E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$96917E72-ADBC-49B3-AE5F-5307659AC050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9741e06ce9f548b05466c57084eff41a74813bc1","datavalue":{"value":{"entity-type":"item","numeric-id":4033833,"id":"Q4033833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$BE6F2352-B56C-4900-8ADD-9F03C8B4722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db983e8102f84f2e9c46ae125c2043290b8a63d3","datavalue":{"value":{"entity-type":"item","numeric-id":3984438,"id":"Q3984438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$F3803287-B091-4B8E-A4A9-4976D9D1A97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e698712dd6e8e21f17295141995a984511c4cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5311278,"id":"Q5311278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$F6E878A0-088D-44FB-A6DC-3EEC7B314BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$6045A01A-315A-41AB-B1D1-3CA4E5FC0076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e5ac5e87b7bb20051a97cb3e5d95d9b6576112f","datavalue":{"value":{"entity-type":"item","numeric-id":689111,"id":"Q689111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$ADC286F1-0CAD-4C1D-A53D-544B46E94CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97410c5f75f024969fa496104e5d0f6c8e839095","datavalue":{"value":{"entity-type":"item","numeric-id":5394615,"id":"Q5394615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5191095$B65B6805-0DEB-4C72-AAC1-F9DFD828F17B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8adb964dd76c81be4df7304580592613ba081918","datavalue":{"value":{"entity-type":"item","numeric-id":438533,"id":"Q438533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712e22a79d6315642598fa964effed7cf7deb5dd","datavalue":{"value":{"amount":"+0.8771726489067078","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":"Q5191095$9CBFDB08-BE3D-4067-89FC-6AECD59436B3","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":"375a96224c915549471c249bc46405aa6e2b394e","datavalue":{"value":{"amount":"+0.8336422443389893","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":"Q5191095$A66CAA06-EAA4-4648-8B1E-622EBB096808","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":"0d005911a82fecf0d5dd32d6190baefba7ec42e5","datavalue":{"value":{"amount":"+0.7914831042289734","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":"Q5191095$09264A90-2F36-4A55-B0C1-3CCAB51D315F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47fa51543127b144699ea47ffbe93caf3f9b06a","datavalue":{"value":{"entity-type":"item","numeric-id":4708927,"id":"Q4708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9ce0cfb4180295b7ac5535cf462c7beb096dbeb","datavalue":{"value":{"amount":"+0.7868766188621521","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":"Q5191095$5322F88C-E9B3-4643-B6F1-AA03400D714A","rank":"normal"},{"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":"381bb91134498cd60cf8ae6e4118ed2cd06ce89b","datavalue":{"value":{"amount":"+0.7835151553153992","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":"Q5191095$D456A744-A8B1-43CF-940A-44C86BFE3F26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5191095","badges":[]}}}}}