{"entities":{"Q385062":{"pageid":386829,"ns":120,"title":"Item:Q385062","lastrevid":61438368,"modified":"2026-04-10T23:22:40Z","type":"item","id":"Q385062","labels":{"en":{"language":"en","value":"Satisfiability of acyclic and almost acyclic CNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6234620"}},"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":"Q385062$95CAF76C-D83F-4C90-8675-699A298CD714","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44b1f9200c3138d63e39e7d81af0db74d7f40e67","datavalue":{"value":{"text":"Satisfiability of acyclic and almost acyclic CNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385062$67D5329F-D612-42B6-96E9-AAF518F40224","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b73ec490d8e1ab6ee72540e038a3d6d0dda4a328","datavalue":{"value":"1291.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$1FEBB822-8B0A-47D3-9A4A-84D24D5F4071","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbca0a8695640e57b3adfafa5a18c2abca385906","datavalue":{"value":{"entity-type":"item","numeric-id":261390,"id":"Q261390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$9369AFCF-64CB-4BC2-B1DB-0E99D0BD272E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c8bda24e5db7031b811824423dc274be5147149","datavalue":{"value":{"entity-type":"item","numeric-id":170462,"id":"Q170462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$155C7023-ECE4-423C-B6EA-1E00BB0B8C30","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":"Q385062$97282DF4-3105-4AFA-9705-60660051C0F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$ADFEEFE4-9E1C-4A6E-A698-ED82AB5AF6E6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a5446951ef3b18cc54f2eecd6b1de1ff40852bd","datavalue":{"value":{"time":"+2013-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385062$E82D5A0C-D8C6-4BD9-831C-18019B537F8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$96A853E4-8761-43B9-8B70-37A5FDE2159E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$7EB48F66-5DD6-4615-AE67-BE6E3D8E1993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"749b7137f279a66a306e75e15f613231b281c1c5","datavalue":{"value":"05C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$543D674F-73FD-4650-A119-30E957758641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$F9F38AE1-A049-4069-AC5D-BFEA9DEAB7A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f76d95fbc0ca4d27ccb645cd1783bdd895be1e83","datavalue":{"value":"6234620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$067594FC-05FE-438C-A539-74DC11DAEA3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da4c76cbbe34ebfe03ba200ec51e4d8fe404acff","datavalue":{"value":"acyclic hypergraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q385062$EE3E4522-B0C9-45FD-B0BD-2B4A10127407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ec5ccb0ce48ce6f8e32348d3da76b62d6971c8","datavalue":{"value":"chordal bipartite graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q385062$16E853F5-49D3-427F-B8C3-8CEA90EFDCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b3c11951d652b4de5155da91be01497d3347670","datavalue":{"value":"Davis-Putnam resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q385062$5FF5538E-0282-48FE-95C8-F383D74C547E","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":"Q385062$AF9E01E6-BCA1-4E4B-8A4C-9644AECAB5EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7065a3ba50a804cfd2d7e9a55ebd5c9f1b471c5","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.12.039","type":"string"},"datatype":"url"},"type":"statement","id":"Q385062$4644533C-2070-410F-AE51-31B222CCB92B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"704eff872203f882eb3b4e9187e55d66fe59edbb","datavalue":{"value":"W2141898804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$46CB0851-74D4-44F7-990C-64D8588AC679","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57515aea1ad564d767f2a1d2b4fdb04b8bf50ff4","datavalue":{"value":{"entity-type":"item","numeric-id":1274912,"id":"Q1274912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$63CBC870-3C78-4ADC-A905-6A0A7210CF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"282d88b529308441c287f6c692de7afeae122bdc","datavalue":{"value":{"entity-type":"item","numeric-id":4243764,"id":"Q4243764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$B87F49AB-39A7-42CB-A6CA-40350694138E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d46cf8056ad226efcb3b31c998e8a91a5de5576a","datavalue":{"value":{"entity-type":"item","numeric-id":5463359,"id":"Q5463359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$4006C586-B383-4F77-A28C-2ABDA3FC4112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025a0ac718bde86415e9167a87c07a47081f35a2","datavalue":{"value":{"entity-type":"item","numeric-id":4037313,"id":"Q4037313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$1B1880AA-BECC-4552-958F-67DC05F6F75E","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":"Q385062$CA2F6B26-0222-4420-94FE-457CD495395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"211530a7d66720062b60e82cf130f31beea4a662","datavalue":{"value":{"entity-type":"item","numeric-id":1975365,"id":"Q1975365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$3A1DBA1C-6BBD-495D-A2C2-475E16095FF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$2759B280-A225-478C-915A-0426756539F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf60b8621d856d80efdab97a0a055b9b53fa164","datavalue":{"value":{"entity-type":"item","numeric-id":3026383,"id":"Q3026383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$F161745E-3375-4A1E-B365-AF7D327760DE","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":"Q385062$9A6E9305-8EB3-43F1-85E9-E2F7CCCA89F9","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":"Q385062$2C0BCB48-1020-4E9E-9C0C-822AF26C4B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a959c0c9fb31a8f3a465d6ab6fe5b00d0657166","datavalue":{"value":{"entity-type":"item","numeric-id":2908838,"id":"Q2908838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$F00F4B7D-08B9-4C90-BAEB-DCFBEEFBFFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ad783ba2ebb5da26ee1e8dfa63a8d690197eb8","datavalue":{"value":{"entity-type":"item","numeric-id":4779133,"id":"Q4779133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$40605D7E-30C1-443D-AAD2-29FA5406979B","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":"Q385062$3D96EAB8-9080-4BAC-9485-55CD35FE70C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b95e8db788066f0a57f57cd378efe0865f86dc5","datavalue":{"value":{"entity-type":"item","numeric-id":4651468,"id":"Q4651468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$9218292B-D86D-4F94-8FA7-F6A7927651F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2cedd46cd0102a335bb7acca5f2bd6d00d24a97","datavalue":{"value":{"entity-type":"item","numeric-id":4246749,"id":"Q4246749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$A9243399-01F3-4456-9151-254DFC238967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d968e1e2797bd548a5aa9618bde788b5aab7349c","datavalue":{"value":{"entity-type":"item","numeric-id":973007,"id":"Q973007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$A331E772-B480-486F-B040-AC620C916593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e8c85abb17e5c746e9adf1fb83dab40fda3182","datavalue":{"value":{"entity-type":"item","numeric-id":2464035,"id":"Q2464035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$773318B4-CD32-4EFA-AF40-A7F4F10554A3","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":"Q385062$1F1178B7-B21C-4203-841B-EBCA7E3FC880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4471bc1eb932bcbdd73cda9c24fbfacedc65fe80","datavalue":{"value":{"entity-type":"item","numeric-id":1877706,"id":"Q1877706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$003A820F-A09D-46D0-8D3A-5EAAC4921CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"744cc06de39b4daf6419488822f8874eccb75b23","datavalue":{"value":{"entity-type":"item","numeric-id":2266937,"id":"Q2266937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$2F906752-4EA2-4E27-9A49-C2138F4B2C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3b564b9966733fb2eba8af126a57bd6d93a22","datavalue":{"value":{"entity-type":"item","numeric-id":673602,"id":"Q673602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$0E5F76DB-F526-4406-8B1E-FCD8598453F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69f254905ff1ada4c9ba698b1b0da28d301a3fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1396949,"id":"Q1396949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$690C7336-20ED-4C08-AAAC-399C95B44C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bba15cf4a9d2c986ffe8184ac3a6d051fff29cb","datavalue":{"value":{"entity-type":"item","numeric-id":3335007,"id":"Q3335007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$7B639299-F31B-4A23-B18D-41B650FBCC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"756af501903bb1851bba917280901e5777c36ed1","datavalue":{"value":{"entity-type":"item","numeric-id":4737226,"id":"Q4737226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385062$4984BA5D-A6F6-4734-AEDE-10463C86FB65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42aeeb60e91721c68488ed06eafea2320960e17a","datavalue":{"value":"10.1016/J.TCS.2012.12.039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385062$037570C5-8B4F-44BA-8D1E-862AE543C44D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b3feb62831eed51fde8a66b937819739b4f16","datavalue":{"value":{"entity-type":"item","numeric-id":2908839,"id":"Q2908839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$61E2E299-0DA5-4BD9-8D1B-86C6937C3B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83e5ad32c89452602be7df297888f481df953327","datavalue":{"value":{"entity-type":"item","numeric-id":3007673,"id":"Q3007673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18756e1a0c64762169e25760c50d399d42f1d469","datavalue":{"value":{"amount":"+0.9752512","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$ED78FD6E-34AE-4813-B39B-3F9B0A63CCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41851dbd9d8df884799c51766bd11828e498f3c3","datavalue":{"value":{"entity-type":"item","numeric-id":1627839,"id":"Q1627839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78619b8ec2b314e6f1dd3ce57f8aa6039ea475f","datavalue":{"value":{"amount":"+0.9216251","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$8A43472A-1708-4970-955E-A84F8ADADFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af19ccdef1e99b8edba00a8411399340c3366375","datavalue":{"value":{"entity-type":"item","numeric-id":1028433,"id":"Q1028433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a787f1639d910366681b7a3ca5977afdcf6a5859","datavalue":{"value":{"amount":"+0.9154116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$8601E5AB-2D7A-4B5F-8B3E-FE6427AC7C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc152b69658baaf410ec2525d1cf798f071f405e","datavalue":{"value":{"entity-type":"item","numeric-id":4369485,"id":"Q4369485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72cfdcaa4b11fb888d019005dc98576b40fe9961","datavalue":{"value":{"amount":"+0.9085121","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$ED19AD08-9C26-4856-95B1-DA3BD393E817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37e5a3b772940a8ecfa89872bb9d4e7e8b18a3d5","datavalue":{"value":{"entity-type":"item","numeric-id":2093572,"id":"Q2093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b614dcc8d551ded452648a26f1091f72f9c1b03","datavalue":{"value":{"amount":"+0.908357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$F76BBD79-094A-4A0A-928C-FD5B6134921E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec842c2d308234152e050e7702692de7debc5b1","datavalue":{"value":{"entity-type":"item","numeric-id":1323332,"id":"Q1323332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc22119fc64fe66b76fc15321b442e0027d6876","datavalue":{"value":{"amount":"+0.9039662","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$B2F8265E-7BC5-41EF-A68B-A9D84BFED0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f745d637a7d8df1a6b719aa4e7fdcf72a26317","datavalue":{"value":{"entity-type":"item","numeric-id":438582,"id":"Q438582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"790e882e96773e65345c8b0dc20357f9a35443c1","datavalue":{"value":{"amount":"+0.89687353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$7CBA5F6B-78E6-47D0-BF65-09D916A9D14B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"481ba62f2326cf0138f169b1c2bc980f74461d51","datavalue":{"value":{"entity-type":"item","numeric-id":4475696,"id":"Q4475696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb66d364d56fa238c69cfec5394b9262b6f31401","datavalue":{"value":{"amount":"+0.89622563","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q385062$837C97D2-B3C5-40ED-9D28-D6D36A10E394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability of acyclic and almost acyclic CNF formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_of_acyclic_and_almost_acyclic_CNF_formulas"}}}}}