{"entities":{"Q3628566":{"pageid":5658472,"ns":120,"title":"Item:Q3628566","lastrevid":50659712,"modified":"2026-01-14T17:28:13Z","type":"item","id":"Q3628566","labels":{"en":{"language":"en","value":"An Operator for Removal of Subsumed Clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5555572"}},"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":"Q3628566$4830D24F-1E3C-4077-9BAA-D64D2F03F351","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c29aa4e72ad3bf075305c7f9eb3a4fdf63856201","datavalue":{"value":{"text":"An Operator for Removal of Subsumed Clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3628566$1ED883DD-0F4B-4BAE-A2AF-5D4897F889CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"754104d9a597a7e2fb92a4f23b17d30557ef9a7a","datavalue":{"value":"1188.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628566$96B83D04-0BDB-4643-9BF1-494EB5A64E53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f440792757c2cf225561aec3005056139ee7f995","datavalue":{"value":"10.1007/978-3-540-89985-3_87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628566$E8C3D96E-4E68-43E4-9D8D-2DF91179106B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13ea00a535526f5942fd0390598ff73179490be","datavalue":{"value":{"entity-type":"item","numeric-id":3628565,"id":"Q3628565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628566$6FEABBEC-69CD-4E7E-989D-D65DB585126A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aad099f57a9ffbfe76501531fc67aa620054130c","datavalue":{"value":{"entity-type":"item","numeric-id":202501,"id":"Q202501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628566$F02A1083-2A03-4ADB-91C6-81E48A6DCC58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628566$C9955F12-1D34-420A-9614-989E048DE6A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156a3c6661c249635ccf68f02d9443cc24aebf14","datavalue":{"value":{"time":"+2009-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3628566$D64B25B2-B01C-47F3-AD83-A445E67D04EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628566$45625449-C84F-4E9D-AEDF-96EBCEC9E067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6b1f201821a6572d799b1746e2a400348d433c","datavalue":{"value":"5555572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628566$7A1A4A7F-AC08-44CA-8FD9-A6AD74F096C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd8d21ee6c608f4b6aaeeb36bab6256432ff4cde","datavalue":{"value":"subsumed clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628566$7069B167-B4FC-4B7B-90B8-20E150CA3618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628566$3392C1EB-EF44-4903-A110-86ADAD86D46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eafc734dbe72dfeb8d7b1ff5c00ac109635b683","datavalue":{"value":"zero-suppressed binary decision diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628566$B597BAEC-EAB6-4F8F-BB45-0359C487FCFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b5ba157f08e57fb7c0ecbe7638bd334592c200f","datavalue":{"value":"quantified Boolean formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628566$85326F27-81C6-4D6D-B260-37CE3C59015A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628566$776F4148-D03B-475E-B81D-4869DE574058","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1bc012cf10551bf42bb05efd85ce69678e698524","datavalue":{"value":{"entity-type":"item","numeric-id":16622,"id":"Q16622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628566$5A64DDF1-D5D9-4E93-B258-3807ADF42BE1","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":"Q3628566$FFAAFED6-481B-4239-AB94-EC27E8F5BF14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58ee9e81f4dfb99ee9c0e99eaa555ce7935dddf8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89985-3_87","type":"string"},"datatype":"url"},"type":"statement","id":"Q3628566$971298C0-72D3-404B-8360-2FC4B2868772","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"454480cc24d614aed1c1fca035c8483866d79d1e","datavalue":{"value":"W1480310558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628566$4A9FE58B-73BA-4374-A45D-A1E84207BDD9","rank":"normal"}],"P223":[{"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":"Q3628566$B9914BE4-3B1D-4ACF-AC50-A70583266C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9914395de143df926d2aecbb3bff4b2c2c78612","datavalue":{"value":{"entity-type":"item","numeric-id":4219538,"id":"Q4219538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628566$B70AA0A0-AEBF-4363-8BC7-7E16EC518DFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b17f94dd4c58b963ec2d2a22e962fa261f51ff","datavalue":{"value":{"amount":"+0.7646834254264832","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":"Q3628566$2220BD27-57BA-4B8C-8F12-1E6A13FE033C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc2df12ddadfa03eb4ae0e8b6eb9a3e1d43b9103","datavalue":{"value":{"amount":"+0.7174220085144043","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":"Q3628566$1ECC10B7-6DAF-4417-A783-75C9CBBEDF88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0363f5702609a66957473539e889793f151a891","datavalue":{"value":{"entity-type":"item","numeric-id":3612408,"id":"Q3612408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3321c9b064d90dad2f7c81547ec03cc8d9eb2998","datavalue":{"value":{"amount":"+0.7067102789878845","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":"Q3628566$435AFA4D-C373-4A60-BFB7-7BB30EAA08A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994e5f3e3e72ca81969fe53e5c106688e758e8b6","datavalue":{"value":{"entity-type":"item","numeric-id":5713747,"id":"Q5713747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b988527d9cafb307f8874775273edae2b224e0d","datavalue":{"value":{"amount":"+0.7066933512687683","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":"Q3628566$55E1936E-D9A6-4355-802C-909AB43A7797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4732629a4972652d98f4bc9874c86637a0c91c78","datavalue":{"value":{"entity-type":"item","numeric-id":4899301,"id":"Q4899301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"727e3bf711f5521d64924a6c710d9948aae137d8","datavalue":{"value":{"amount":"+0.7033970355987549","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":"Q3628566$22BC48B0-12ED-444F-80C7-3063B06F8B33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3628566","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3628566"}}}}}