{"entities":{"Q3452569":{"pageid":5231666,"ns":120,"title":"Item:Q3452569","lastrevid":88253381,"modified":"2026-06-04T14:02:24Z","type":"item","id":"Q3452569","labels":{"en":{"language":"en","value":"Approximate model counting via extension rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6508065"}},"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":"Q3452569$27A218A4-B32B-46C9-9F77-94CF35D13751","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ddfe81d570461c705def6880777187ea879b725","datavalue":{"value":{"text":"Approximate Model Counting via Extension Rule","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3452569$AA044152-0C65-48FF-9E73-55DA2F5E80FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a5d446d0de5ceb3cd523bf3cc2efeeeda3c1f52","datavalue":{"value":"1356.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$5C1FC170-D0AF-4FC1-8E4A-606FC30C0368","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1f2a615d8e9f9d1b1bbb83a3a1854905e56bba6","datavalue":{"value":"10.1007/978-3-319-19647-3_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$3A753C9D-10C3-4947-8C2E-22C8A8A7A5C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2618423e59ec8f316effd50d7c90f2d058682998","datavalue":{"value":{"entity-type":"item","numeric-id":356278,"id":"Q356278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$5B8C18CE-D669-462B-B066-F65AFDF27696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ee01e6e2557dd86cf6bf3cb9bb8e81c8401fd","datavalue":{"value":{"entity-type":"item","numeric-id":247886,"id":"Q247886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$D4249AD3-FE9D-4448-BAD8-BFB8E9B1EAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4b1bbf55d0781ccd84b8b77f8a83578a653bdb","datavalue":{"value":{"entity-type":"item","numeric-id":507432,"id":"Q507432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$3D07D80D-9EAD-4119-BFDB-734FB8C226B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"039449918372fd36372960c159b1f017e2991028","datavalue":{"value":{"entity-type":"item","numeric-id":3188827,"id":"Q3188827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$21519F7C-441C-4C33-BE40-FE572EE93BBD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71643381478db16842aca8a65809169d222f8d61","datavalue":{"value":{"time":"+2015-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3452569$F643E5E4-F267-4297-AFDF-7808832C2B31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$2610DAAD-ECE0-4318-8CD6-F4E1B47D6B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$734E7C21-FF3D-4F4B-A21C-21D975226C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$C7DF9C82-1AD0-44B0-898B-E2B5C7EFC76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$55677048-40C1-479B-AAA4-D6600322083A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ed49ad2d2c0be2d70ec30c86e2fb1a5bc58a566","datavalue":{"value":"6508065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$7B345D8F-7A2D-4AF0-8BEE-2E125C5F792D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0307adf3981e6daf4015e05d74e44424dc3084a","datavalue":{"value":"propositional satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452569$A4270452-8609-4158-96A2-47DC9F69EB72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452569$FD2960B9-E84D-4E2E-BB1E-41CE182F433D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452569$5FAE4E5E-FD3E-4934-8769-DCCE9E708195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c9c64d0b9070e32b1957f7e6f3c7e8f11356c9","datavalue":{"value":"extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3452569$C4134BDD-28E1-4C9C-8C01-DE924A455A57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$996F462C-291B-4299-892E-BF4C55113574","rank":"normal"},{"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":"Q3452569$7594893B-7D82-4391-8466-8EBAAA6ED067","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":"Q3452569$BE771338-ACD1-4F42-83FD-22E5272BCE83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e0a9d0346a74ed2e4fa2a112f53d076a1a005d2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-19647-3_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3452569$533144A2-DFE8-4C9E-B510-FC5B9E343AA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"884bde40b69202a2e8226b645f01339c2e78ed50","datavalue":{"value":"W2399637032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3452569$969028E3-11CC-4BD7-A9FB-FC7EDC8C673C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57971a1dc21b4998ecc5dbfd573eb38d79059318","datavalue":{"value":{"entity-type":"item","numeric-id":359984,"id":"Q359984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$E9B28AF5-EEB5-40E9-A772-0E3D1EB72E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb38a8d604e5ba09b4c704575cb111e34828399","datavalue":{"value":{"entity-type":"item","numeric-id":2811229,"id":"Q2811229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$537C1DDE-448A-46D0-BFC8-0973DF0AC8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38d47bdd928549cf9ed264bc62e482513269f06e","datavalue":{"value":{"entity-type":"item","numeric-id":2996915,"id":"Q2996915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$D1329A8D-1EDE-42CC-8BCF-D2EF6B26A8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31a45028d0ae40ce09efb186f2debfaaab20cd0b","datavalue":{"value":{"entity-type":"item","numeric-id":3624106,"id":"Q3624106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$0F61E68D-ABEE-462C-BA12-DA0DE3D4E0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$57199801-5201-4342-B9F5-4F27B13E48EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6515ec1f799ac720199fe647c6907436dd10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$B197869F-E8E3-4626-85D7-1BB4DDCD7854","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":"Q3452569$C8B4859B-3578-4D66-A5DD-F8F8EC053131","rank":"normal"},{"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":"Q3452569$0329106A-6A13-461D-AA7B-7CFFAEE9582E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4c2b11e5ab45502482841d0e632d5cd55723f3","datavalue":{"value":{"entity-type":"item","numeric-id":5713722,"id":"Q5713722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$52E4682D-3EC9-4F41-B892-45F72B4FA94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7678cadff422dc18fb5c6f9d2c4055e1ab7c4be8","datavalue":{"value":{"entity-type":"item","numeric-id":1079379,"id":"Q1079379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$14662DF0-ACA4-4DB4-B64C-003348B62589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaef32ae88ce69f525f3b92ddad9abf9a75b0ae5","datavalue":{"value":{"entity-type":"item","numeric-id":545553,"id":"Q545553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$980D450F-AA42-479A-90C6-B8A5346809AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c2b0918a665f7d6061a7d45596f3f5c26bdf8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431338,"id":"Q1431338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$2C5E1A4A-CC76-42C1-9E25-03AA527749B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37930b0e05a7c335cd484274c11b37ae7a7fbabe","datavalue":{"value":{"entity-type":"item","numeric-id":3829072,"id":"Q3829072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$19AE07C2-96FF-44A9-B5A9-16B786EE8EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c9a994728429e2deba675092212badd74472f2","datavalue":{"value":{"entity-type":"item","numeric-id":3054232,"id":"Q3054232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$06BCC90E-AAB6-490F-917B-879EAA59406C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb508d29d736eb2a84de8acffa5964c396269901","datavalue":{"value":{"entity-type":"item","numeric-id":1174115,"id":"Q1174115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$702486BE-9E02-43E8-8E86-CA9DA1F8A18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd7c217abccafcadc4755ff6c8107a9aae3039f3","datavalue":{"value":{"entity-type":"item","numeric-id":1375692,"id":"Q1375692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$F6FA997E-3CD2-4CA2-9293-E1785948DCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3452569$CB4E2225-FF6B-4C37-8908-79F6C7DDD50E","rank":"normal"}],"P1643":[{"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":"a42dc953b6f601759aa0833ed71091f8f92d4f7f","datavalue":{"value":{"amount":"+0.8956152200698853","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":"Q3452569$85E26AD1-37E0-4CC9-9541-0C36B8121BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2a21990c9204b0e7daadfca4330594fa69b0d","datavalue":{"value":{"entity-type":"item","numeric-id":3054232,"id":"Q3054232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b88ba912fe001d52cfbc7c2dc0ae44d4e646cf87","datavalue":{"value":{"amount":"+0.7935327887535095","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":"Q3452569$4ED51C75-BDA0-4519-B3D8-DF50F7BC33DD","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":"a2366cedfe877c5b21dd88cf8d3017da5574ce01","datavalue":{"value":{"amount":"+0.7883655428886414","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":"Q3452569$1649DAA8-D4B5-4073-9424-F67632A8CB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5199b12ab148bfc2821e03ec87a2fda69fd8ca","datavalue":{"value":{"entity-type":"item","numeric-id":1799093,"id":"Q1799093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"142c311db81926077719ddc43266f6bcc5ccad47","datavalue":{"value":{"amount":"+0.7566325664520264","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":"Q3452569$B738D5A5-A607-4EE3-B40F-AF58F3C41A5C","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":"f8df8344037e9c013b97ea3aadc430532f449635","datavalue":{"value":{"amount":"+0.7504774928092957","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":"Q3452569$764E4C86-E2A4-422B-8C43-547D1100A3A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Approximate model counting via extension rule","badges":[]}}}}}