{"entities":{"Q3637178":{"pageid":5667084,"ns":120,"title":"Item:Q3637178","lastrevid":50704196,"modified":"2026-01-14T21:02:03Z","type":"item","id":"Q3637178","labels":{"en":{"language":"en","value":"Solving (Weighted) Partial MaxSAT through Satisfiability Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576305"}},"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":"Q3637178$7BBBF8CC-1F99-42AA-B3FF-F7FB3EF537C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4b9e3d3cfa27388e9ecbc8fbb7ccf6fd477476b","datavalue":{"value":{"text":"Solving (Weighted) Partial MaxSAT through Satisfiability Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637178$774E28D8-73B1-42F9-BB18-0246A5241570","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44fb576fe5d2c6cb85c80a15080d88e6b5911ea0","datavalue":{"value":"1247.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$F8570B4F-AC6A-4CCD-A67B-59181A5C7C05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c5da13d668207e5541c6fc9af0b0e5ef2436c47","datavalue":{"value":"10.1007/978-3-642-02777-2_39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$DF3E1E95-9654-43E2-982F-4925D5DBBD7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f7d4fe21e22bb47f8af2be9af5b124c53cf779","datavalue":{"value":{"entity-type":"item","numeric-id":274401,"id":"Q274401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$5C7FC660-911A-408A-B184-0DB55A4ECC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$A8479E50-CD9D-4CF1-AB75-ECB38D5A47B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f19d6bb88e6317a65ec423b9507831cfb57ff946","datavalue":{"value":{"entity-type":"item","numeric-id":309918,"id":"Q309918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$63C84F72-2BB7-42F0-812D-6A8F7950D7CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$B39C6821-E320-45AE-BB0A-49F42197771A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-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":"Q3637178$77D72FF9-0142-4B2F-AF46-8021AAC41C0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$0861B819-AAFB-4EDA-8E64-E5D7DFC46F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$31207330-AA11-4EDF-8693-C17C3A23DE87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f5a2005bf69bbe59cd55972ed0c118c60c9da05","datavalue":{"value":"5576305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$D373436A-133D-4323-AB96-15C4B13431D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b26b779cc09e21207a69b2ce242c136f84aa5db","datavalue":{"value":{"entity-type":"item","numeric-id":19328,"id":"Q19328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$DE22EFCE-CDC5-431D-B648-9EC08545ECE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"46bcd62f451878e06535242e19e6d27106dd0716","datavalue":{"value":{"entity-type":"item","numeric-id":21711,"id":"Q21711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$A2F733EE-58D3-4C78-922A-F8311CD90E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$5DDF32B7-0CC0-4B78-9F24-02DF37D38470","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":"Q3637178$5E93EAC3-1375-4A8B-8A57-17494678AF2A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"725edf20b5621b391d6237ac6f902abde8abdf10","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_39","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637178$E56F256D-9AFA-49AD-B68A-4F47AAC3BEE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"27d5cc8f4fdbe81144e6a5c78d7c0c2bc2de036f","datavalue":{"value":"W2118943303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$EDDB77FB-A16B-403E-97BE-653C8F1A20E0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5ed59c3b39502d6a21df508d9a9f3d8122c2bae4","datavalue":{"value":"Q60512148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637178$024185F8-B7BD-4E2F-AFDC-B8DE02E2DBC3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0adeb29a3573574ba548f8517de3f6ea3da4d2bc","datavalue":{"value":{"entity-type":"item","numeric-id":5714742,"id":"Q5714742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$48F5D5A7-059F-4F86-B4BF-0DCCD6904175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15e19170183c8774cb38196705806ca7e842e18e","datavalue":{"value":{"entity-type":"item","numeric-id":3604010,"id":"Q3604010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$59465B7C-116C-479F-A182-E8035F686B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9370899dedc1d653d16f1f5aaa8b6c6be96f529c","datavalue":{"value":{"entity-type":"item","numeric-id":3604000,"id":"Q3604000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$09A1DB86-8B2C-4BA8-8A0D-66B31C8CCD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdff66a949bf878c168f94d05d31187fd6209bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3523061,"id":"Q3523061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$D18DF4DC-2682-458B-897D-03D9E93C2A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e648849759be406c9eb52fea228820e1c04a6864","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$F5C1F29F-E70B-4B43-A686-94BDDAACC704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eee9603877ee270ab2f53b2de882181d8007df72","datavalue":{"value":{"entity-type":"item","numeric-id":2506238,"id":"Q2506238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$3CF7470F-1EFA-4B57-91E4-0111FFB246BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6aaa89ed985707f250206a8821c212cd2e6e5dd","datavalue":{"value":{"entity-type":"item","numeric-id":3624095,"id":"Q3624095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$170F6216-05DD-4D3C-B1BB-88631346E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d0a89606ff47e4c6b9d8d3811a5203f7347f11c","datavalue":{"value":{"entity-type":"item","numeric-id":3502710,"id":"Q3502710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637178$E36FE25E-6ABB-4895-8F55-D097872D2082","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":"Q3637178$0FA4421F-F7FC-481C-876E-3BD8AE176E39","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab6b9734cc3d42c614089db151b583c27a3a712","datavalue":{"value":{"entity-type":"item","numeric-id":3624109,"id":"Q3624109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e04948d379332be68231f7f3e62ddac5942ebd7","datavalue":{"value":{"amount":"+0.8483880758285522","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":"Q3637178$BCC2C4B1-4F70-4905-A9AB-D81A152DF89E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2084749d0a6826dbbf256f652e959344d3aad6a","datavalue":{"value":{"entity-type":"item","numeric-id":933784,"id":"Q933784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba082ec558310514ab949d8db206a22496502b5","datavalue":{"value":{"amount":"+0.8349660038948059","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":"Q3637178$D6B73708-94D0-430C-A8FA-9053DB0BFF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd7fa545b72419781ceb4cb8ad39d7522fde786","datavalue":{"value":{"entity-type":"item","numeric-id":5756559,"id":"Q5756559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ac56905d57454a7c19796931102612760ab335","datavalue":{"value":{"amount":"+0.834062397480011","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":"Q3637178$6E4F4ECD-6D0C-4C29-9FE6-534F5A516220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7385fe6d7cf1e95d81c9779e41148f51b625018a","datavalue":{"value":{"entity-type":"item","numeric-id":2389619,"id":"Q2389619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8a08702ad517213893e81cb1ba79f9f534f2eb","datavalue":{"value":{"amount":"+0.8336887359619141","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":"Q3637178$FD7692E1-D130-415A-9843-53A6F12A89FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aba2ab3119bb58452c460bfdecd60db831e1c7c","datavalue":{"value":{"entity-type":"item","numeric-id":5900327,"id":"Q5900327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3f82211ede9edd5a182d35884c32e72a2aa6a46","datavalue":{"value":{"amount":"+0.8306436538696289","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":"Q3637178$1FCABA84-C10F-4583-AF76-39AA0CFE86D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637178"}}}}}