{"entities":{"Q6535573":{"pageid":14146716,"ns":120,"title":"Item:Q6535573","lastrevid":57576048,"modified":"2026-03-31T11:26:22Z","type":"item","id":"Q6535573","labels":{"en":{"language":"en","value":"Clausal proofs for pseudo-Boolean reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793110"}},"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":"Q6535573$CDCD1B5B-1A0D-44BF-A29F-087058D724DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e23d97598d8dad8896f3ef497a0ab651033cb98","datavalue":{"value":{"text":"Clausal proofs for pseudo-Boolean reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535573$A3B0D435-099B-4F7B-8A6C-6BCEE3C4E1A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"160f786948b9cbe3a7c558d577065f99f1e8d142","datavalue":{"value":"1547.68704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535573$FE6A0465-0CA0-4985-A38C-128BDB9FCC1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0986831bfb0cd719619e320c087e0df6956b79f","datavalue":{"value":"10.1007/978-3-030-99524-9_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535573$0C4FB16C-6F2D-4119-9FFD-C0A25B285338","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2c27d3e0e0b5520ffb8ac40111c3ffad759a39f","datavalue":{"value":{"entity-type":"item","numeric-id":1426129,"id":"Q1426129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$A2D43F4C-D334-456D-BEA0-BDE7ABE83C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$4712A3AB-DA93-4F36-B017-D77134AA21EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4545114e473836bad71ebea0181e527108d9e5ea","datavalue":{"value":{"entity-type":"item","numeric-id":352966,"id":"Q352966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$49EC4EED-7F8B-4490-B71C-3E2EDB68C275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-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":"Q6535573$8BC5D0FF-4B19-4864-86A3-890FEDD36FAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535573$C96C981B-A59F-4956-8D9F-DD070B13C03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535573$2F4651F7-CB55-4A8D-8F11-2F7D00D18179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"609bb20579e15190c1e06f19d0561fe5362f5053","datavalue":{"value":"7793110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535573$F7C72999-6816-4D44-9175-6C5C9D4FBB0D","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":"Q6535573$82D8F8BB-1141-4611-BF84-AC1CC4E9325E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c205dabe4d2ea3c84f1f47dc03f57ce5a6c866","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$5E0F6581-17F4-461A-8D8E-A79A11A223AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969f22c2e1fcc10b1a49b07f05e049c2339de4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1884991,"id":"Q1884991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$B8EEF508-5701-4621-9906-9E8A0A55659C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a969d4ac0387643f87e037e42dffd6e635bc6c86","datavalue":{"value":{"entity-type":"item","numeric-id":5578437,"id":"Q5578437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$B2FF7CF0-785C-480C-9882-CB831B061020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcaf9a109252c690478e046574633aa2b21c97be","datavalue":{"value":{"entity-type":"item","numeric-id":2055860,"id":"Q2055860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$0E9CFA19-57DD-4204-8C4B-A75E3C341CAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b8b51b41f97fa8300db9218b45b43a54aee686","datavalue":{"value":{"entity-type":"item","numeric-id":3192077,"id":"Q3192077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$8969FBB9-076F-49DD-953F-E487B68D4604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$417C7DF7-630D-415D-9AC3-7E9F51349040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2460d834fdbd5dfc5763b880e0a3eed5bed6624c","datavalue":{"value":{"entity-type":"item","numeric-id":2044191,"id":"Q2044191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$2959933A-D0D1-4A74-B57F-3F827A120029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c9398475f7fa9379872481d74552458b55195f","datavalue":{"value":{"entity-type":"item","numeric-id":2723442,"id":"Q2723442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$994141AC-AB17-47D9-9C6A-6B7230CC4B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6e71078c0a1e40a18b75403dca73c6030ff790c","datavalue":{"value":{"entity-type":"item","numeric-id":2661327,"id":"Q2661327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$0C049148-8D2F-4018-9608-5A3B85461DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$D175BA46-FEB6-41CC-998D-C87B64679554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8178bba670a534c5965fb30cc4956696c98aaec","datavalue":{"value":{"entity-type":"item","numeric-id":4066850,"id":"Q4066850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$BBEAE424-710B-41DF-8DD8-38CB7F36FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e67fcddb24060125029173cfd968ce530b38d6ab","datavalue":{"value":{"entity-type":"item","numeric-id":1978379,"id":"Q1978379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$BFBDEDBB-16DF-4FBD-B7AA-F44EBA879A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574667bc62387120d3c8037205755cb30150b300","datavalue":{"value":{"entity-type":"item","numeric-id":4066491,"id":"Q4066491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$7A7B2C28-D8AD-4D89-B6E8-355088C64DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8828146480c327d9a17971b5fa330d92b4921c90","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$385AA813-25A8-412D-9EF0-C11AB3B15DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c3fb0ef3c7cbeb1b19e8a3632e3bd5fcfcda10","datavalue":{"value":{"entity-type":"item","numeric-id":1165257,"id":"Q1165257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$644BD7A2-34CB-479A-9990-14CBA55844E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4960d97c11c0cd0f282650fb582b7cd310577033","datavalue":{"value":{"entity-type":"item","numeric-id":3256638,"id":"Q3256638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$45BD58FF-DD2A-4BC9-8E1A-468A92FD5DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$6DEE7E5F-F8DA-4A78-B313-7FFB73462A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1ae1eae0bbb3048cc59d85f34aded019099780","datavalue":{"value":{"entity-type":"item","numeric-id":4928451,"id":"Q4928451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$F1F30B77-170E-4D43-A8A9-D19983CB18BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e912fb88f76046fad79fd63ef41218483f8cfc9","datavalue":{"value":{"entity-type":"item","numeric-id":1390857,"id":"Q1390857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$E84C9976-81D5-46AD-BD35-0A970080D84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87be12daaa9049d37eba12568fd639bb8a1c86c9","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$A0655A33-0D05-4EA1-A0B2-76A433804A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd73ca6e418060dc9aa1dc7053b40ae99fececfa","datavalue":{"value":{"entity-type":"item","numeric-id":5756562,"id":"Q5756562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$917A0977-98D2-47B3-A0FF-D9887F84893D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d86cee9ee8c2feff133b0547bd52231d10d788","datavalue":{"value":{"entity-type":"item","numeric-id":2999100,"id":"Q2999100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$F1D2CAE5-50B3-475B-9319-E29D263A7F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d04d3c5c4061c168377e8b976e916ba7fa84989","datavalue":{"value":{"entity-type":"item","numeric-id":1408382,"id":"Q1408382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$9272AC63-F92F-4AE9-9DEA-96D1AB413EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbebee9b3fc070c9b73e7dd9a4fe191a6564e2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4071451,"id":"Q4071451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$874548F8-8640-414B-ADEF-849E85AB904B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$473D0FC0-B6B7-4A04-A889-9CFA7D7873F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$2342CDE0-D371-4265-A326-9386266F5101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75db9bdf4ecf4e316a158af7db19da7d850d73","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$94779C1B-BC69-4A42-98D0-D8352D3596CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acddcbbc7bbb65cd6789ce6d861571f4cbd168d8","datavalue":{"value":{"entity-type":"item","numeric-id":4873893,"id":"Q4873893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$80D03F1B-1B60-495E-9C73-20DBC2B2E351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb081c24d3f308759ffc5be25d93bb06a52b464f","datavalue":{"value":{"entity-type":"item","numeric-id":3192088,"id":"Q3192088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$D61F2D8E-402C-4AC2-9D5F-6078D088256E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8711c2b28352beac1aad0f557cced8bd8116ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":1226035,"id":"Q1226035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$3DE8BEFE-061F-495E-93A8-4AA0BF1C9179","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ea15bfdda2dddb41eb73544c4bb00e60e8037f8","datavalue":{"value":{"entity-type":"item","numeric-id":1656587,"id":"Q1656587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c884ffe3abcd1fa56608dde6cd381f225b12a59a","datavalue":{"value":{"amount":"+0.7927897572517395","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":"Q6535573$B6FD2EE6-0DAF-4BC2-B9FB-9D0018C36C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"152a5588c52d6d6c721f8c32677649b12ecd0541","datavalue":{"value":{"entity-type":"item","numeric-id":1656563,"id":"Q1656563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de673df206e19e7dbcb7da15afc99def9724b320","datavalue":{"value":{"amount":"+0.7860227823257446","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":"Q6535573$5CA430DD-20D5-427A-9846-DF365F748A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78566365a37fce84290891d5df3a0fbe226c394f","datavalue":{"value":{"entity-type":"item","numeric-id":3429154,"id":"Q3429154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e6d640937bdc6c6890ef0202ecba6876dcf1d0c","datavalue":{"value":{"amount":"+0.783918023109436","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":"Q6535573$ABA310DE-18BB-4353-B150-1227C7D6AC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e628192e1fd84f9e3278a662d27304b474e50b6","datavalue":{"value":{"entity-type":"item","numeric-id":3429161,"id":"Q3429161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aeea697514c04db358fc8394b97b836486fc039","datavalue":{"value":{"amount":"+0.7727429270744324","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":"Q6535573$2DB78D8C-AF01-41A0-8FD3-52CFEA69AD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5acb1edd21c23a4caa49967f778b3c1ff2122d0","datavalue":{"value":{"entity-type":"item","numeric-id":3429162,"id":"Q3429162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178cbbcdc64ee9b7c6cfdd8183f7f94c52023462","datavalue":{"value":{"amount":"+0.7575712203979492","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":"Q6535573$D3C96A7F-A182-4C37-BE6F-964483AA62EB","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535573$E0D145CC-651B-425C-803A-B30661AE5272","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535573"}}}}}