{"entities":{"Q3543649":{"pageid":5573553,"ns":120,"title":"Item:Q3543649","lastrevid":50516477,"modified":"2026-01-14T06:34:58Z","type":"item","id":"Q3543649","labels":{"en":{"language":"en","value":"LCF-Style Propositional Simplification with BDDs and SAT Solvers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5378173"}},"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":"Q3543649$68D93979-5B02-4E82-B855-75D930D132E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33224cac3d4b5ba34d51a248e6fb19b8aabed2e6","datavalue":{"value":{"text":"LCF-Style Propositional Simplification with BDDs and SAT Solvers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3543649$55EA12E0-441D-4E63-9B5B-FEBF5FDEC3E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3606ca6aa7a6fc63b8afe178b57733a1bc08fd25","datavalue":{"value":"1165.68443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543649$C1EE7F9C-60DA-4C6E-8D90-1C30B3760D90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e71f4080271e55b577fb298156f2b1ba4c05409","datavalue":{"value":"10.1007/978-3-540-71067-7_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543649$461DC180-9242-4B49-8BC4-5CECC9A03991","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32584f5c482e29078ea6b6dcf1d1dfc11c06bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":469351,"id":"Q469351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$D5DD3EBD-ECCE-4967-949B-6B7F47AEB50C","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":"Q3543649$508442E6-9281-4A25-BCD6-C8F8DF3F7A82","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9390341f6bd0adb4a80933997da5182af87828a8","datavalue":{"value":{"time":"+2008-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3543649$BA6DF2B9-80FD-4062-A6B0-CB25725AEDCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543649$EA31F648-ED94-4D43-8587-73CDAB3B1FA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13629fb00f10a3ec9fc2472d273828679208057d","datavalue":{"value":"5378173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543649$0BE8049B-7431-4292-83F9-2D9E2E6CF27F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$4571100E-2C4A-40D0-BE0E-E12073C52634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$E04A6579-6717-4BBD-8398-DCFAF2BDCE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$71B934A3-0738-464B-8916-F6E2B56C5754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$28A1D825-BC82-4419-B43C-6AC29EC54572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$C14B6192-D8C3-4A50-862F-5F9E1B25B443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$D5471477-79F3-4411-A0D5-8C33D68165DC","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":"Q3543649$D0BC7C84-7077-40E2-9500-5B4D6E009F9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"380211f31a09ed449239677e85e0e57aeedf275e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71067-7_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3543649$02D03761-99DA-4D27-91D0-12CD742A1430","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01597b9981ec85880a22036bfaec19a6ed86bb55","datavalue":{"value":"W1549391871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3543649$7FDE35D9-BB0D-42EB-8D7E-42856BB2EA03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$697821C5-A559-481B-B606-36225D8826BC","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":"Q3543649$F1E6D623-F23C-4D25-9F53-C517FFD59F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b783d0052b7f250a9573410e9be2b4624ef11e","datavalue":{"value":{"entity-type":"item","numeric-id":5899057,"id":"Q5899057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$03C79A07-48DE-4CB7-963D-C24C799C240A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c714a7ce9338e0dc738398cae4dd66e54eec35","datavalue":{"value":{"entity-type":"item","numeric-id":4827596,"id":"Q4827596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$2FE353CF-013D-421E-9485-C67333E27CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$8EDD4573-F30E-4FE6-8F9F-F9FF90C6A7B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e0415d643c57f0a367c51d611891732f298610f","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$121CEE3C-D834-4CF9-9CBA-4DB10D5B9B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$10A0CBE6-9036-4ECE-B9FE-C14A3A61A5E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28463bf0bf1279da28a4651925c3b9d76c0ef25","datavalue":{"value":{"entity-type":"item","numeric-id":2766536,"id":"Q2766536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$AD2C9F6D-A72E-4B4F-8DCF-D6450BCA9ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271326b3f6ba4699b8b9534f6c64338c8ddd3a50","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$AA997469-62E7-44CE-B1D9-F96AC98ABD87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f8add1f616833f2166057014bb1642fdfc59fa","datavalue":{"value":{"entity-type":"item","numeric-id":5713747,"id":"Q5713747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3543649$04A15840-0108-4BCF-8387-A3BF63872A6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb55ad1cd98a30a2f48dd36ef20984803a6a1500","datavalue":{"value":{"entity-type":"item","numeric-id":3838815,"id":"Q3838815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9902fbc8a93d7d405fee2a6abbfc9fab55a094","datavalue":{"value":{"amount":"+0.7804274559020996","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":"Q3543649$F403A788-5066-42B9-9DB2-7A52B199B860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02c8b6c72f6725d976dca18e6f934175ea317db5","datavalue":{"value":{"entity-type":"item","numeric-id":1408378,"id":"Q1408378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9902fbc8a93d7d405fee2a6abbfc9fab55a094","datavalue":{"value":{"amount":"+0.7804274559020996","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":"Q3543649$9FD350F0-7ADF-4378-9A11-56735AD28707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47bff4177596f496992553de17323be78d2fd620","datavalue":{"value":{"entity-type":"item","numeric-id":4860656,"id":"Q4860656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"468c7124913192e1bee663b92d0c220ae6a4763e","datavalue":{"value":{"amount":"+0.777423620223999","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":"Q3543649$3354A1F8-0886-4F83-8FDE-C17AC26EF8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e365ce73970dec9572f6accc5dd73182ecbc9b0a","datavalue":{"value":{"entity-type":"item","numeric-id":4827596,"id":"Q4827596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fae2ce406ccb5109e20c3e51965218d08f0561c6","datavalue":{"value":{"amount":"+0.7729166150093079","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":"Q3543649$98C06EE2-163E-49A7-AE33-1AAB6049A297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"370f0983da9c9df9771b8365d64cfecb669ede7f","datavalue":{"value":{"entity-type":"item","numeric-id":4928444,"id":"Q4928444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9991cd6b2abc19e00cd165b904cfc641367a75de","datavalue":{"value":{"amount":"+0.7629548907279968","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":"Q3543649$E7D4A843-9A50-4791-8615-1FB132465853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3543649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3543649"}}}}}