{"entities":{"Q3453218":{"pageid":5232618,"ns":120,"title":"Item:Q3453218","lastrevid":58183890,"modified":"2026-04-04T03:43:46Z","type":"item","id":"Q3453218","labels":{"en":{"language":"en","value":"\\(\\#{\\exists}\\mathrm{SAT}\\): projected model counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512569"}},"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":"Q3453218$A9EDC374-3F2B-4B5A-BD93-C21F3FABC711","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60fc263098e2be71daa6839772313654079bdeed","datavalue":{"value":{"text":"$$\\#\\exists $$ SAT: Projected Model Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453218$A5C4842E-7016-46E7-9224-9D66A5FF75E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6626cd62fe86792c64c218e11c1b78e097eafbcb","datavalue":{"value":"1471.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453218$E8CAB5FA-1B7D-440D-9AB2-000567D3254D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4445b9369a281bebf9efbd3a1f66216216845f84","datavalue":{"value":"10.1007/978-3-319-24318-4_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453218$1C3B94B3-A66D-4EE9-8539-B07D5993FF76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eafbcad44a0ea94c158558f96520ccbca0962924","datavalue":{"value":{"entity-type":"item","numeric-id":3453217,"id":"Q3453217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$886B2A4F-E2E6-4F47-8F3C-EC4EF2867F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df50ca75f2959199b89c9827263384851d48d1d1","datavalue":{"value":{"entity-type":"item","numeric-id":453590,"id":"Q453590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$972F8710-E0EF-4A50-8BE7-96EC32DC8AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2b7392aa9217860e60c716e71c8f4dddacb8c7f","datavalue":{"value":{"entity-type":"item","numeric-id":2060736,"id":"Q2060736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$371BC54A-6133-4D5A-8B5E-DC0969D33D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$73F6C15B-A80E-4D2F-8FAF-4A501A86A237","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":"Q3453218$C5DE711E-4973-493B-A18C-CBDA35D4BC05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-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":"Q3453218$D9664BD3-FE27-470B-AD46-361CB030466C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80c0e21f87331176ebc524736f3f7b81726e16d3","datavalue":{"value":"https://arxiv.org/abs/1507.07648","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453218$6EDBE54B-BA7D-4100-9923-521982B0DB1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453218$3863C947-25D5-4CE9-8E3F-0D007998E33E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"705ef87ba1f826ab9344e1df90ee13fd0caf1ccc","datavalue":{"value":"6512569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453218$3A2FDD94-E35F-4F7B-9D3F-C10892F5597F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$F8F05846-7D35-47FB-A194-13C5F8B50684","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":"Q3453218$4327DFEE-66B5-441D-9542-B97C91E1BB3B","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":"Q3453218$F42BC05B-2839-41B2-9868-B5F384C5D5EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f8a9420bb9fcd567246bc39bf1a023c757dfd6d","datavalue":{"value":"W2232112468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453218$49A3183B-9061-4768-A28E-6EE868638CBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d889df2923f181d6ce0923a425cbb78c6fb0ac","datavalue":{"value":{"entity-type":"item","numeric-id":3624187,"id":"Q3624187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$DB5520DD-940D-492E-8590-DC04B31E62CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6058e41538d30b2785f508777500d056457628f","datavalue":{"value":{"entity-type":"item","numeric-id":5441353,"id":"Q5441353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$032F4AE2-BE43-4628-9F11-DE4532EEC5DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74710e9d2e1ae04d62da8162f48ee143c6479921","datavalue":{"value":{"entity-type":"item","numeric-id":4411139,"id":"Q4411139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$8E10C796-59BC-4458-989E-F01347DAB42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$66BB8E30-723D-4C6D-B7AC-EF5C9EDADA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fd3a18a97e376c807cc3666c7857f971355d8a9","datavalue":{"value":{"entity-type":"item","numeric-id":5425404,"id":"Q5425404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$8AABA5AA-DAD0-4010-A7FF-2005087EB298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd8a4dc93b016ae90d166400ff8f558de540e1","datavalue":{"value":{"entity-type":"item","numeric-id":3630153,"id":"Q3630153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$7C0B6607-A345-48CF-951B-78551024C258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d65be6b84798d28cf87a0d7ae277068dab641b7","datavalue":{"value":{"entity-type":"item","numeric-id":1761291,"id":"Q1761291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$0CB2770F-2098-44B0-87B7-5C0B39240A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77beaedc72798d49ca7ed56b4b6fcd6971c86e9e","datavalue":{"value":{"entity-type":"item","numeric-id":479823,"id":"Q479823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$CEBFB1D4-D6F0-4863-893B-93569E1ABEC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d75d3a49bdccbda045af07abb7b72f3249deadc","datavalue":{"value":{"entity-type":"item","numeric-id":5713713,"id":"Q5713713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453218$9A2F5C52-AAE4-4ACF-B157-9FD38CAC1B73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ad462de872057a4420511df9b02070c7fe496ef","datavalue":{"value":{"entity-type":"item","numeric-id":6160911,"id":"Q6160911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58a52143544dda828437c99d81b7ce63b03e0544","datavalue":{"value":{"amount":"+0.8393752574920654","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":"Q3453218$389FE03E-D7E4-4326-B0FE-47B7D0F85146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8933811b8c1ade656838414e184b39137ff0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb6b8ff45a818fb88b713fb01c7e3d4a4af74ab","datavalue":{"value":{"amount":"+0.7849206924438477","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":"Q3453218$EDA3CA62-40DE-49EC-A903-5E85DE44AF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6baf0208fb19be50755992aa9aed2e31c050a9","datavalue":{"value":{"entity-type":"item","numeric-id":507433,"id":"Q507433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1730b7e6132e8f8cfb8fa415762cb4aa346d0ecc","datavalue":{"value":{"amount":"+0.780944287776947","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":"Q3453218$79489B3E-227F-4E85-81A3-139B30EAC2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e21852165bf53c530db96628a42399eaa0c525f","datavalue":{"value":{"entity-type":"item","numeric-id":5740444,"id":"Q5740444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f882df55c88dc1ebadf7516047e601c97e5f7de7","datavalue":{"value":{"amount":"+0.7796313762664795","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":"Q3453218$D19368F8-FED8-4715-B4AE-1920A14DAC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f8d03f5f20b65b49aab0c9b93fca13933d9b7cb","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e196e57f8c94bb839949f69073ec9db0756b70f1","datavalue":{"value":{"amount":"+0.7681490778923035","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":"Q3453218$80135FDF-8C3D-422F-BC78-F0045CE34CD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453218","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453218"}}}}}