{"entities":{"Q2104499":{"pageid":2115242,"ns":120,"title":"Item:Q2104499","lastrevid":56991810,"modified":"2026-03-25T13:40:30Z","type":"item","id":"Q2104499","labels":{"en":{"language":"en","value":"Clause redundancy and preprocessing in maximum satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628182"}},"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":"Q2104499$263637FD-386C-4F6A-9113-713260EE8B10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e64ac9532308a71630b9d4d446ae3cff9c4fe45f","datavalue":{"value":{"text":"Clause redundancy and preprocessing in maximum satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104499$F6953A86-5A63-4E53-B7B0-2DAD896E114F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2aa581a6986c9d602e65c252d868c2bb5fcdeccb","datavalue":{"value":"10.1007/978-3-031-10769-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104499$0FED2D97-EA04-496F-8096-B8D50067ACA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb49e9c92e5b83b9777ce822467a2e87a7dc639","datavalue":{"value":{"entity-type":"item","numeric-id":2104498,"id":"Q2104498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$1E3DCB69-44C7-4228-A209-87D96AEDE913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ec291fc5099378f73627d6e17cd33de333e7876","datavalue":{"value":{"entity-type":"item","numeric-id":511771,"id":"Q511771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$DF4A12E1-1A56-494A-9134-1A9D5D0FF110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$5AEF87FC-E7C6-4E4A-9E74-4930CB9A25F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104499$6E08A4F5-F88E-4AF5-8ED9-D9166AF0B253","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104499$C71FF566-1667-4D16-99C0-2542A2FBCD34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"224e55f0be68443989da6323a9e5a291511ae243","datavalue":{"value":"7628182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104499$147DF688-794A-4DFF-AFDB-5FFB65D6F184","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7266802113187a96c78397ed692b735dee12e876","datavalue":{"value":"maximum satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104499$2751A7DB-AB85-47BE-A06B-9C10C47D4122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c29d6537321368339ddb4874f70e62a4da1231f","datavalue":{"value":"clause redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104499$A0C51567-0FDB-4455-B997-B46A3D459619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4cac46cc93f9e8736d6ce00bd0a5a8ce5c3e69c","datavalue":{"value":"propagation redundancy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104499$4EEFDDD1-8833-44EE-B9F5-BEAF049FED2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36957d7e632ee938df3990fd3662ec253f74cca5","datavalue":{"value":"preprocessing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104499$FB927A99-28B3-44C2-B8AD-D4B26B58F2B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e24672fd2b7383bea2d8e146b0851e7ba67dce1d","datavalue":{"value":{"entity-type":"item","numeric-id":51750,"id":"Q51750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$CF747050-B396-4AD5-A9CD-5F52919FA97D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"40a0f65b841fa77ca5ecf504d5379f5bd7d7e3fa","datavalue":{"value":{"entity-type":"item","numeric-id":33751,"id":"Q33751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$EF0FD20D-8985-4E23-A45B-04556DC06E56","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":"Q2104499$C8801370-0D84-4781-9361-124851205FBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4ebf54a8495e16f03a8d1719bf1bcca0b665208","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104499$9D108653-42AA-4673-80E7-BB9201EA191F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9f5562c9358765fa0bf7f2f5d20fb314edd687a","datavalue":{"value":"W4289104008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104499$5661BD81-0B17-457A-8E4C-B0EFB7E30642","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b9cccfc903cada9d8349f0c04cc790bf17473","datavalue":{"value":{"entity-type":"item","numeric-id":360042,"id":"Q360042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$8E584692-852F-4AC6-B3F9-43E8010AF956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bc7f5722febfc46378708c5308d47dc3e9fd15","datavalue":{"value":{"entity-type":"item","numeric-id":2044190,"id":"Q2044190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$63B070F5-2D9B-4A74-9C41-FD2F88F5A975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691b394a5b37a8bf2a0e1add6593687068411f4b","datavalue":{"value":{"entity-type":"item","numeric-id":2870118,"id":"Q2870118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$CD693DC4-94F0-4C61-ADBD-92FD586C5320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d240e7f279af4bf5520428ba53256fc49d74c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2327238,"id":"Q2327238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$41E9E1B0-8B6F-4EF9-AC06-68E7878EBFCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70df1ba35ac2e3f2eef3303a33decb6e0f8fa2ed","datavalue":{"value":{"entity-type":"item","numeric-id":2296713,"id":"Q2296713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$52BAFF3B-5501-4DCA-9F86-D7E066838609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8e7411467efcdeceb837629926e93a392c40a9","datavalue":{"value":{"entity-type":"item","numeric-id":4576195,"id":"Q4576195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$6742DA7D-07FE-487C-A69A-764E7DE88F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7395ff073ce0a5d59ad52fefa006d23dd820a823","datavalue":{"value":{"entity-type":"item","numeric-id":5191554,"id":"Q5191554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$D3003EE9-105B-42AB-B25D-DD6C74D3A5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b011ab831949ce741780553369025dd5b73c2d","datavalue":{"value":{"entity-type":"item","numeric-id":5148371,"id":"Q5148371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$C42EE2AD-7258-437C-8683-F2BD11B03F9C","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":"Q2104499$198C8DC9-B538-4071-B4FF-945F68B20348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6621af1112e146c4efd7765447f3c25a8765a85d","datavalue":{"value":{"entity-type":"item","numeric-id":5326460,"id":"Q5326460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$B008595B-A98F-43F4-B28D-649D8F6E5FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$573C305B-1C4C-4D2C-AB37-DED677B945DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f89527defb7821d91c51c15ad00dbe2e1b3d605","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$94CB9A2F-CB52-41CC-A224-85B6A4A98D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7f4338d79de40b34fd30046415813d87c344b6","datavalue":{"value":{"entity-type":"item","numeric-id":2405245,"id":"Q2405245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$1CCDFE73-00A6-4B34-B569-E3D28E681FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf772690cf31a35a32c2f2f4f39692662f8aa11","datavalue":{"value":{"entity-type":"item","numeric-id":2303251,"id":"Q2303251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$28355E66-7EE1-4594-B374-3EA7817368E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b58a49b061045da260f55882550e1cfe3d409f1","datavalue":{"value":{"entity-type":"item","numeric-id":1321062,"id":"Q1321062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$B26FD964-3005-411D-AB5A-93D1CE3701D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fced662d092146739767f429e22d65ae5d6cdd","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$8824791B-2208-4062-9220-5C0EF8DA9412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5f0ba4fa613091c33ce7c9e43254ce322915c1","datavalue":{"value":{"entity-type":"item","numeric-id":352967,"id":"Q352967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$48E9038E-02A9-4F75-A835-1714594894C1","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":"Q2104499$25669430-7A0F-4329-AD36-03B5FFE74EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"331578685064147483f62e1f5cbd12a3ff60ed65","datavalue":{"value":{"entity-type":"item","numeric-id":2209554,"id":"Q2209554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$4832EA62-5B0E-4168-B86C-635F26B96BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab7e8358f58e1397be654c43936d21c1d809ce15","datavalue":{"value":{"entity-type":"item","numeric-id":2817910,"id":"Q2817910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$B336E3ED-5D03-48BA-9F62-7752DEC455A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d245f3c0b85b302079758b109327aaaa8bd5fb","datavalue":{"value":{"entity-type":"item","numeric-id":4553279,"id":"Q4553279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$F94BAA24-52AE-47F0-A846-D4A6F1A11124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef6d2427f49c9b63113649bc54ab909f5f1166a","datavalue":{"value":{"entity-type":"item","numeric-id":2348540,"id":"Q2348540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$FE4E9CA7-60D2-4F35-BDC7-CB1E1F655258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"814a68f4c3111bc2494c824273e681e5199f2847","datavalue":{"value":{"entity-type":"item","numeric-id":2234104,"id":"Q2234104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$8D6945C7-0928-4461-B72B-B1473679EDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d48738d1586389300da381482fb72ad8f6da807","datavalue":{"value":{"entity-type":"item","numeric-id":1656559,"id":"Q1656559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$ECCF685E-48D7-4442-BF44-6F47BE0DD31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e83bf2e4d5ac8e3c997a7547f2bb07aa12fc3c4c","datavalue":{"value":{"entity-type":"item","numeric-id":2661347,"id":"Q2661347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104499$FB2D5054-F616-41AC-888A-B4525C3D8B9C","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":"Q2104499$B7194C09-A0D6-4991-999D-9CC1D019514B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104499","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104499"}}}}}