{"entities":{"Q1045885":{"pageid":1047733,"ns":120,"title":"Item:Q1045885","lastrevid":66679341,"modified":"2026-04-12T11:50:51Z","type":"item","id":"Q1045885","labels":{"en":{"language":"en","value":"An algorithm for exact satisfiability analysed with the number of clauses as parameter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650166"}},"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":"Q1045885$36202D13-8818-475E-B149-C8F6E8CFDBCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37bfc5d39b97f70d96fd374749de4499881b7446","datavalue":{"value":{"text":"An algorithm for exact satisfiability analysed with the number of clauses as parameter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1045885$3402460F-F2EA-4AF0-86BF-4EEF530427D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0458b97ae40a821b3779f73c352da6926f282e2d","datavalue":{"value":"1185.68647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045885$8A0E12BE-8BA1-49EE-AF2A-AFD45D968ABC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"13badb61d457e55fc25043d8ef12d50b9916d699","datavalue":{"value":{"entity-type":"item","numeric-id":1045884,"id":"Q1045884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$80AD7E9D-C811-4A5F-A550-4B940F7EC6CC","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":"Q1045885$1A19F1CF-F6E6-48B2-8D7C-7211759543E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f6fcb376ebdd62ff7d154537da52d56e95e1f2f","datavalue":{"value":{"time":"+2009-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1045885$DD680DD4-DB27-464C-AA27-113C59B1E65F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045885$20D36CF2-38F3-4FF6-A5A8-E24571EEFB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045885$1BAC7FC5-0F8C-4929-BEB8-D8C5D47245E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afbdfec60281af91ef1877bfc094684127a08fce","datavalue":{"value":"5650166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045885$DB7C5BD7-8095-46E8-B352-48832EFC5597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26d6437e70c0f6668cc0637d82ae9f51a58b6e7a","datavalue":{"value":"exact satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045885$12BF60C1-3687-4D1D-A83A-C10965A9DCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90bc349d6d55eb8026148892e900ce256ffdd986","datavalue":{"value":"analysis of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1045885$15B7F057-7BBE-43B7-8EE8-3D1792FF11C4","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":"Q1045885$9CC3F02C-8617-478D-BBD3-3C4412618D02","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16304d14e2493961fc31c1e902df18ece4eeea1a","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2005.08.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1045885$1E651C65-1D38-4AB3-96AF-D19C6AC8E74F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"725aa27f26890e256c34e561d59204f16fe849f7","datavalue":{"value":"W2030227772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045885$18270D1A-DB43-4860-9C5A-C21D38BF0AF6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4db8f9eb343dc00115707e2f9480695f1504a","datavalue":{"value":{"entity-type":"item","numeric-id":703280,"id":"Q703280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$59859CCB-E0CF-44B3-81A0-3C93AFED7080","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4804a3d5e22e55dd2988f314aab0480d1661c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$B76D54B4-8451-4CED-84AD-3ED15F439DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17c2203ddfc26917d54d8693018456bf91635b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5309695,"id":"Q5309695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$9F3D2BD3-0DF2-4D64-A166-6DFFBB464114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22650ed9a2bdccbeac1af709507ab01a6c562f55","datavalue":{"value":{"entity-type":"item","numeric-id":5714775,"id":"Q5714775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$64D91B2E-BFCD-48C8-8A87-15E0F48D44AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d4bb2b62b8aa43b4cfd703130090b24b20a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$A4D0219F-7AD5-4EC1-BF52-1A1614C517EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be1c16314d571ac552ffc4dba48f547b3438465b","datavalue":{"value":{"entity-type":"item","numeric-id":4747916,"id":"Q4747916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$0392DBE7-CD3E-4438-B13C-538E8DB801C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af31ffe9d240bae294cd0e4d7d7c8df867c76c04","datavalue":{"value":{"entity-type":"item","numeric-id":5711544,"id":"Q5711544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$366A87EC-9B16-46B8-8F8E-343EC4D7DFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704e1cf068c5325d48314999592576f6c9e825b4","datavalue":{"value":{"entity-type":"item","numeric-id":1353993,"id":"Q1353993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$9959A353-47FD-4DF3-AA60-22238A3BC88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1045885$9DE297FF-A0BC-4B67-A3EC-1B40ADA8F8F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a1018379058a9a06f92be8d79384547f96212fd","datavalue":{"value":"10.1016/J.IPL.2005.08.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1045885$A69E49B0-FB11-42E7-91ED-D18CFEC06FA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69c1864d8d72ba106a26af3be9f669bbb1df736","datavalue":{"value":{"entity-type":"item","numeric-id":1770407,"id":"Q1770407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70e761514e70852112673d0db409d591ecf13c4","datavalue":{"value":{"amount":"+0.8629076480865479","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":"Q1045885$240C91C7-5043-421C-AFBE-E44DDB66386A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a10d3afb1955d15139cbb29aeaee1ac969582928","datavalue":{"value":{"entity-type":"item","numeric-id":2897996,"id":"Q2897996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8ca7e8267103e5a59b6f5827b01a34c3f185d0","datavalue":{"value":{"amount":"+0.8426005840301514","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":"Q1045885$23C29DB2-383C-4737-B07B-F7163E7D4039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb237ec0f03166e294e8c0d7afb00e933d9e13c","datavalue":{"value":{"entity-type":"item","numeric-id":2232607,"id":"Q2232607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa3849e81cf41246d8efd3aabf6aa432beddd8c4","datavalue":{"value":{"amount":"+0.8308666348457336","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":"Q1045885$9BB1BB95-081D-43C0-80D1-683D6964F8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a656f063de935ced5cb23a06c4a0b1791f8e1531","datavalue":{"value":{"entity-type":"item","numeric-id":596105,"id":"Q596105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e250f9dacd23198d6dbd95c36411d43870a7342e","datavalue":{"value":{"amount":"+0.8254528641700745","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":"Q1045885$8C248860-8A1B-4A80-B488-B296437FD067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"806658dd27887f5afd7665a0d7e1085365cc49e0","datavalue":{"value":{"entity-type":"item","numeric-id":3044338,"id":"Q3044338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dd472e5b6f9d1108387be90ab6a1fc0f0f37c51","datavalue":{"value":{"amount":"+0.8180405497550964","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":"Q1045885$C62F5965-B5E6-4E2B-A380-8ACB7B379EB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for exact satisfiability analysed with the number of clauses as parameter","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_algorithm_for_exact_satisfiability_analysed_with_the_number_of_clauses_as_parameter"}}}}}