{"entities":{"Q3498488":{"pageid":5528391,"ns":120,"title":"Item:Q3498488","lastrevid":55951402,"modified":"2026-02-21T11:11:59Z","type":"item","id":"Q3498488","labels":{"en":{"language":"en","value":"Algorithms for Propositional Model Counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275863"}},"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":"Q3498488$D52CFFF8-857B-4D0D-A596-AB8131B877DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bab05f7e56c07233fe44b9c712b48f32dcc61854","datavalue":{"value":{"text":"Algorithms for Propositional Model Counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498488$CEFDF101-21EE-4405-A808-689E3292A738","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82b710d3180c84f364af7ec600172e4df7e01592","datavalue":{"value":"1137.68623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$76301692-D46C-41D8-91FE-F6EB337F3A66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac9271fa22edc91bb799e4028739e115e700609d","datavalue":{"value":"10.1007/978-3-540-75560-9_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$140B0C75-B46A-445B-8A39-465815832F95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e255ef244e1fa5f91cdde68347c08d5a61e015d5","datavalue":{"value":{"entity-type":"item","numeric-id":847261,"id":"Q847261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$C2046DEE-5D66-42BB-8FA2-C3DAE424B0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df479fb7dd60e36689e004e930ca5d750cdea886","datavalue":{"value":{"entity-type":"item","numeric-id":261393,"id":"Q261393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$9B6BD9F3-C7A8-4925-81F3-1D3B04B8E1F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$D798FCE9-4B54-4A9B-A6FF-EDB63CC760E3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498488$19CCEADB-8430-47E0-975D-524458533C82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$5557FC96-DA1B-4366-827B-94738732E569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$D10622F8-4649-4C04-87D2-8BDE7F925B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$F01151FA-D635-4754-9E69-5BF3AAF8D77E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23c9a58dfb92adba6e1b262872be7f7ae9bc1ff2","datavalue":{"value":"5275863","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$2FAA51C0-7B56-43C4-B6C0-1FD10E56AAEC","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":"Q3498488$12E58D82-4844-42AF-8BE0-FD5DC6CE73EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58e16bc04d9a025c313988968dd3fdd2379327b9","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498488$8C7EA374-D5EC-479B-A568-2B13C6FAD630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93e1ec59b41ce7aabb2c831a1f4fe83735523799","datavalue":{"value":"W2069680070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498488$BE7AF42C-C32E-4E6E-81F9-97B375CE243C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$88384278-801C-429D-BB23-D03A64149F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c01f016ceeb036b4b93b6e9f610721c8661be0f","datavalue":{"value":{"entity-type":"item","numeric-id":1578422,"id":"Q1578422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$8E8D011D-15AC-47F1-BD5E-01F60E4D5035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93084df5751505b3c6a721eac731896a3039b3fc","datavalue":{"value":{"entity-type":"item","numeric-id":4291429,"id":"Q4291429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$35B4A0F8-6382-4D00-8731-17125083BAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$B9C69D2D-D3EF-4320-B812-2252023DCBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdc1515d44020b1debe70a59f43f85399130fb1c","datavalue":{"value":{"entity-type":"item","numeric-id":5711519,"id":"Q5711519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$B1C9FF1D-5904-4D48-9013-8FE880D67310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8fe56184955dbba620e4cb94dc309dfe37fcc19","datavalue":{"value":{"entity-type":"item","numeric-id":1974445,"id":"Q1974445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$E1B45807-06A3-45FD-B4ED-1D92AFAE58FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daf3e133365d57dfbd2c07919f3093669a42c66e","datavalue":{"value":{"entity-type":"item","numeric-id":5928867,"id":"Q5928867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$D3AAF2DC-3535-4E65-A566-BF0BD7B66EF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befbfe541247817710e22716675e0c030f7b1dfc","datavalue":{"value":{"entity-type":"item","numeric-id":4503944,"id":"Q4503944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$8263AD07-763B-4171-8CD9-5C863E249444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b1a3469bcf85c5bdc034429e87442cc51f8c4e","datavalue":{"value":{"entity-type":"item","numeric-id":2473047,"id":"Q2473047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$20CE67B7-8B44-4CD5-9589-0DB5497AD4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$DB07EDBD-36E0-4A48-B2F1-4895111770D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ee6e6a2ab1fbaa1f8d6432c50db632c0f09537d","datavalue":{"value":{"entity-type":"item","numeric-id":3549597,"id":"Q3549597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$D71BAEBA-39BD-4FD9-A381-CB257132A641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$98F9B6B0-C114-4E1F-BBD6-4E41925F1E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56a6603d29a77f8174c8e6fc2316564ae080fbde","datavalue":{"value":{"entity-type":"item","numeric-id":1603733,"id":"Q1603733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$65B3D61F-3A6D-4FBE-BE92-23EC0A3DFF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a0d4c2b83e2d1c052c87c581c72cdba8da38e3","datavalue":{"value":{"entity-type":"item","numeric-id":1338451,"id":"Q1338451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$0F43E5C4-E3AD-4A74-A096-E273123088B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0252db8f91fc184001751f0eeb3107ef96bd911b","datavalue":{"value":{"entity-type":"item","numeric-id":4349924,"id":"Q4349924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$67F86ED4-3B80-4888-B02F-2987D760C22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$96D54604-1323-4B94-96C5-3E424B325916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13fd5b12609ec9cc071d46aa225544a4b115063e","datavalue":{"value":{"entity-type":"item","numeric-id":2816028,"id":"Q2816028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$C84996C4-78CF-4C43-B7F9-4B91D3505EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e1357b15aa0895d858d392a7ff419092326aafa","datavalue":{"value":{"entity-type":"item","numeric-id":5710169,"id":"Q5710169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$62063718-EE75-4374-854F-0A7380FE3BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd5db73f5a1f26913f730dadd5131027ff2d4628","datavalue":{"value":{"entity-type":"item","numeric-id":5756553,"id":"Q5756553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$6EB81854-24F7-4B65-9837-C0AD5CEF7177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea587c95b7231ee2f30c675a05e440be741861c2","datavalue":{"value":{"entity-type":"item","numeric-id":2496203,"id":"Q2496203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$BC89405D-3AEA-46D3-9ECC-2C6F08A803C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e62926166610e171255ba7600cdacbb982331e7","datavalue":{"value":{"entity-type":"item","numeric-id":1179473,"id":"Q1179473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$FD7E0F26-2C53-49CA-9C9A-583D729F9527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52aa670414d4f6fec55d4a91be050421f173db46","datavalue":{"value":{"entity-type":"item","numeric-id":2674206,"id":"Q2674206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$DF5F1B5C-83FE-471F-ABA0-6B9F8584FFAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdce0ec559ff09266887ff88222ddf5e00daee3","datavalue":{"value":{"entity-type":"item","numeric-id":3524254,"id":"Q3524254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$14822146-8F66-446E-B48B-4AD8345A2BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d864ecf0887e3285d5a657ecba76076407dae52","datavalue":{"value":{"entity-type":"item","numeric-id":2548172,"id":"Q2548172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$30E28B42-ADE5-429A-8C5C-1E946F19DC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c516460706e34bfacf776c096f40a576fd2116","datavalue":{"value":{"entity-type":"item","numeric-id":600247,"id":"Q600247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498488$740C69D1-449C-49FC-A0F2-C53335AA8FA7","rank":"normal"}],"P1643":[{"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":"6078cd131b70097af7c49d13c23d6594a9fc4211","datavalue":{"value":{"amount":"+0.995502471923828","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":"Q3498488$0F935035-7F68-4639-92CE-B8765C4BE1A5","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":"43ae2921311dd95e5b06017ed69d939949c10056","datavalue":{"value":{"amount":"+0.8384341597557068","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":"Q3498488$D40844BF-FEF5-41B0-98B4-1B22DC76ED95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddacf8f0efd5fbb32f8c0003a5e58990093c7c71","datavalue":{"value":{"entity-type":"item","numeric-id":1197995,"id":"Q1197995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd9f23566270ab5841f614ea82d97aa3abd7cc9","datavalue":{"value":{"amount":"+0.824012815952301","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":"Q3498488$470EE0D8-FA26-4D58-AE1E-99BAEED78729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98d9ffc88a8dad6ea153eb2ff73486aab21dae3","datavalue":{"value":{"entity-type":"item","numeric-id":3196312,"id":"Q3196312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6fe80e43e0e4df2c7e499cab2fde51d9edf45b","datavalue":{"value":{"amount":"+0.8231038451194763","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":"Q3498488$5C1108DC-CCE1-4E80-B41F-CBA2C931B135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e538b655714f5962a68723c41859f66c7436fa9","datavalue":{"value":{"entity-type":"item","numeric-id":1770390,"id":"Q1770390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"461e1bc27fa8520ceb044b5f5439cd8a3193c712","datavalue":{"value":{"amount":"+0.8212969303131104","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":"Q3498488$95A55AE3-E98B-4EFB-B064-1AC082BD2046","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498488"}}}}}