{"entities":{"Q1197995":{"pageid":1208744,"ns":120,"title":"Item:Q1197995","lastrevid":66846750,"modified":"2026-04-12T13:15:17Z","type":"item","id":"Q1197995","labels":{"en":{"language":"en","value":"Counting propositional models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 92072"}},"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":"Q1197995$8CD2F1D1-6485-458D-A6D3-85A16B8A371E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31ef7df6dbda359a561f0dab50f8bd857af7d6d7","datavalue":{"value":{"text":"Counting propositional models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1197995$71B1CE74-BFA9-48F8-AB21-268EDF1D0DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9dd843afa0c55626759d1e08db69afd92970b1b","datavalue":{"value":"0780.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$03054EEB-B2E9-4B0D-834A-B6286100B1B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70de5b0a1924a0d9c0b85ec21fe7257b999db729","datavalue":{"value":"10.1016/0020-0190(92)90160-W","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$F81AFCC5-AC55-44FC-B33D-8F431849E1ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1b386cb15465c96138c789d08a0a2f482c7b3ba","datavalue":{"value":{"entity-type":"item","numeric-id":688557,"id":"Q688557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$F8C09E7A-18F6-471C-9CB1-685DEB5DD61C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$86EFB846-DBB7-4B0B-83E3-5FCF83FDBA0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1197995$35B6A09B-DA94-4415-BD2F-9B82E04D8233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$9CB61D19-E0D7-4AFF-9FC9-7634F668E54E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$B149649C-D482-41DD-A199-CB5AA90F79C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$34ADE0B2-C9C5-4971-8354-2DCE1CD10B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$D54468F7-7AA7-4D51-B867-BC4BF0374FCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23577e9426b8981f4d2f85594227515efed3d9de","datavalue":{"value":"92072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$0FF66327-D5CB-4413-9ECF-3143E96DCBB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197995$F0A92722-15E8-40C5-AC41-34C1FF2546BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197995$EBD6BFC6-DCE4-47A8-B147-54DEC91B2D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff7086c700c06e99880c04f2de1ecb5f045714e","datavalue":{"value":"counting models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197995$7D02F4EF-59D1-436E-AC82-D7DE44CE99DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f3f2522bb94bbed98f56b746d9fad353dd9582c","datavalue":{"value":"number of models of a propositional formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q1197995$C81EB8A1-7C99-4F49-BD47-44846C62AB69","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":"Q1197995$A8F19ACF-C293-4919-BD4F-B407E16A3751","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0d47402a18255121e8b4c37559d3eb99d007b27","datavalue":{"value":{"entity-type":"item","numeric-id":1170883,"id":"Q1170883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$0CEB06F4-EC2E-4CE5-BED5-D7D33C997F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"789c9b261b79882661741dd01add5c380b8a4ed3","datavalue":{"value":{"entity-type":"item","numeric-id":787685,"id":"Q787685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$E728EBB6-B4ED-435B-8346-B5D754FA8E3A","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":"Q1197995$87D65C5C-9DA4-4A8E-8EE4-24E70EDC7549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$A149247B-A27A-4D54-9331-80A6D589FFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0bc4b832201c700939eb37e845f780089b7cbab","datavalue":{"value":{"entity-type":"item","numeric-id":3486861,"id":"Q3486861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$08D2C209-705F-4F0B-A19E-2E5E130F94C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865f082c2e39aa822f8117990360da77ecfea3aa","datavalue":{"value":{"entity-type":"item","numeric-id":3694704,"id":"Q3694704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1197995$B1E2B3A1-0D8A-4A5F-BF69-B5092E9D033B","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":"Q1197995$C92C2548-2978-4812-921C-8FDE482BC5CA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1f22b4f6d03fd8a4b1f6d56e1563a54432401f4d","datavalue":{"value":"Q127704372","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$FBBC2C2E-0A85-4A3B-B787-022D4B1D1A7C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d131d920544c0f2f9b057e48d604b7d1ae2340cc","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90160-w","type":"string"},"datatype":"url"},"type":"statement","id":"Q1197995$E799E195-169A-4347-8B2B-5878D5FF5BC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d294bb4e2a71594c66697150e48daca1c7c973f","datavalue":{"value":"W2081311719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1197995$DD48EAFA-1EE3-4C7B-8241-3696B7A8582B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"335563a3b9c4efc8bb5e5aacf2f176428c5db3a2","datavalue":{"value":{"entity-type":"item","numeric-id":4256519,"id":"Q4256519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86d22c18797bf761f6752d46f24f7140e99fb453","datavalue":{"value":{"amount":"+0.8687140345573425","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":"Q1197995$E375317A-E4EB-4E4E-A24A-CAAF11B124EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96fb051308fb50b95b0bf9456983cabaedb5d9c5","datavalue":{"value":{"entity-type":"item","numeric-id":3498488,"id":"Q3498488"},"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":"Q1197995$7862049E-89D7-47FF-BE30-2533544402A0","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":"255a8229c924166efc074d86e2674eff41f55f69","datavalue":{"value":{"amount":"+0.8218263387680054","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":"Q1197995$1F6E1CAE-19FB-4BBF-BF21-24D279FABE78","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":"9e9acdebb70a8e3768ed60053aa3f060248c4229","datavalue":{"value":{"amount":"+0.7974332571029663","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":"Q1197995$87884396-A5E8-4D92-A18A-2A9B21799EEE","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":"80e76ceaedd49aeef6cf33ae888e48e4b2fe369b","datavalue":{"value":{"amount":"+0.7954879999160767","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":"Q1197995$4B8DE585-0E52-4F75-8202-6896F96FC431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counting propositional models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counting_propositional_models"}}}}}