{"entities":{"Q6545575":{"pageid":14156729,"ns":120,"title":"Item:Q6545575","lastrevid":55669501,"modified":"2026-02-17T20:44:22Z","type":"item","id":"Q6545575","labels":{"en":{"language":"en","value":"Boosting definability bipartition computation using SAT witnesses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7855154"}},"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":"Q6545575$65A5EDD3-DEE5-4984-8137-777797615286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44d1f62bf8f1fb9a8147a87c882903b70651ced4","datavalue":{"value":{"text":"Boosting definability bipartition computation using SAT witnesses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6545575$B06B1AE7-B0EC-4409-B4FD-B55455B1985D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7af313530f11fb7e717ae7030134a84fe126a88","datavalue":{"value":"10.1007/978-3-031-43619-2_47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545575$8D333311-F4C7-467F-AEA1-B0CF32A47D7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f335e0753e4bcae4c0a643b4d38d7559ab0411b7","datavalue":{"value":{"entity-type":"item","numeric-id":903911,"id":"Q903911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$355C0EF4-2A71-4C49-BE55-CE6956F03990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c04afaef6a546b4a8238a79a8a3a0d3a9f25b8e","datavalue":{"value":{"entity-type":"item","numeric-id":201919,"id":"Q201919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$E3CC3461-50D6-47DA-A5B9-BAEB3183F982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c775b7be76488bf652b31b8283b5e517156ef32","datavalue":{"value":{"time":"+2024-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6545575$17E6DE0C-682C-4D0B-93E8-457AC79D89C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545575$A5791686-DF9F-4742-9B6B-7D27940177A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"105e1954b983d6784ac93b666a112b673fec8c0a","datavalue":{"value":"7855154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6545575$506FBCC7-2E24-4331-A38A-E8BCD785EAEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8787630740900c9d968d9c0db848e4a32b597ddc","datavalue":{"value":"automated reasoning including satisfiability checking and its extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545575$42054826-2208-493E-8CFC-539C13CA35E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545575$3291E060-A7BD-4FE0-9E1C-9AD92415C360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6545575$B49195C0-C515-4B93-8C6E-C22E96215D0B","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":"Q6545575$5B5B2137-3E16-405D-BA61-8E1DB33E093B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16df9ec1825759a58b697f194e42d197a411b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5326472,"id":"Q5326472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$B3D0B7BF-61EB-4608-B41B-CBB40F305A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b7e200623c0db8babd002504b2488a3561c7266","datavalue":{"value":{"entity-type":"item","numeric-id":5824680,"id":"Q5824680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$E8C6D9BB-BA5F-4BA1-9D70-81F24C95DEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$48FE60C3-0388-4C0A-AE42-6E680D4C63BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e356f4cefeec4885e9783fc6beaee96a65f3af","datavalue":{"value":{"entity-type":"item","numeric-id":265701,"id":"Q265701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$D1DC7781-D2B2-4AA2-B14F-6EE4EF0A3CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309ffe40932830fc17e309873b56df01dfb51be9","datavalue":{"value":{"entity-type":"item","numeric-id":5038457,"id":"Q5038457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$E0BEA9A7-53AE-4EA9-B93D-E4FB241A283A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05327bb30271766b13227bccef51f014e8bdc4f1","datavalue":{"value":{"entity-type":"item","numeric-id":2303508,"id":"Q2303508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$E993D082-0C29-439D-B55A-A8CD7206369A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a50d2155c8b08321a54b3ac0bc39757a6121cf5","datavalue":{"value":{"entity-type":"item","numeric-id":2362107,"id":"Q2362107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$9EF5390D-E985-4A1A-84CD-EEB1D8E523C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047b17067c912d1734fcb42ec5f8a770f216eba8","datavalue":{"value":{"entity-type":"item","numeric-id":4411161,"id":"Q4411161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$9F8551EC-63E2-43DA-A314-2CF1EB1203CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc5fa7cc385cc7bf335bb85daaadcc8cd47fe32b","datavalue":{"value":{"entity-type":"item","numeric-id":2389643,"id":"Q2389643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6545575$EA551215-5F9A-417C-8B2E-D4A22AE04C52","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e6cfde227febc1d3a7139337cc5f044bc2fc298","datavalue":{"value":{"entity-type":"item","numeric-id":2303508,"id":"Q2303508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9cc10df9fc713149bd01431a4e7481ed75ad92","datavalue":{"value":{"amount":"+0.809410035610199","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":"Q6545575$5D841A5F-B252-47D8-ABEF-7B8C2C842787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b695b185e452e074e203b9cfdcfa0c066d69e77b","datavalue":{"value":{"entity-type":"item","numeric-id":1677431,"id":"Q1677431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbe8eea62729f0b90de8e81abfd202d7cd489d9","datavalue":{"value":{"amount":"+0.6891144514083862","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":"Q6545575$75F7C21B-FA5B-4942-95A0-1174DA38B5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ca7070ee27625a2139a9cd47fdcddf167143a27","datavalue":{"value":{"entity-type":"item","numeric-id":4647562,"id":"Q4647562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"287807332e479570b01cc990f2a255f850c430bc","datavalue":{"value":{"amount":"+0.6749743819236755","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":"Q6545575$9EDCD136-C79E-4043-9A9B-75A9E9BF4BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83746d7f26cb3de2bc2f04f4281c7b358e86264","datavalue":{"value":{"entity-type":"item","numeric-id":6056639,"id":"Q6056639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b9d8646ba7d4b49dd42005d92afe0b323575162","datavalue":{"value":{"amount":"+0.6737298369407654","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":"Q6545575$40C87E8B-78AF-471C-8EB5-72DF022B904E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abeb855fc535c5dd8864d68f29ba885eeeb7c620","datavalue":{"value":{"entity-type":"item","numeric-id":253999,"id":"Q253999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa9585c0c6c8a6c627d51a7d2b72fc6a4b9fd499","datavalue":{"value":{"amount":"+0.6706597208976746","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":"Q6545575$1FBA89F1-992C-4334-9DD4-3A1834D757A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6545575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6545575"}}}}}