{"entities":{"Q638525":{"pageid":640373,"ns":120,"title":"Item:Q638525","lastrevid":63324633,"modified":"2026-04-11T12:06:24Z","type":"item","id":"Q638525","labels":{"en":{"language":"en","value":"An exact algorithm for the Boolean connectivity problem for \\(k\\)-CNF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947159"}},"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":"Q638525$2E2944B8-1710-419F-9714-D9031856A877","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cda788203b6d471657e090b9f951805427b3b2d0","datavalue":{"value":{"text":"An exact algorithm for the Boolean connectivity problem for \\(k\\)-CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638525$85B1EB93-FB17-4AC7-8926-7494164EC821","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2956ac846452ee13cf652aaf7dbf233e1dfde991","datavalue":{"value":"1221.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$CB6CBDCD-2724-419A-AECC-1232B87C346E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cffea2588f41343c1ca50bec4f0b17d24b9d478b","datavalue":{"value":{"entity-type":"item","numeric-id":171929,"id":"Q171929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$AB52A809-B7DA-4177-B825-34549AE7A9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4e5396d9a36ba6724dd0754e38207864e7997b4","datavalue":{"value":{"entity-type":"item","numeric-id":354654,"id":"Q354654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$A344262D-D439-4569-A66E-1D62AD756556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f97a51a622b85ec168c56477568a201f1547847","datavalue":{"value":{"entity-type":"item","numeric-id":378220,"id":"Q378220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$95B35DCB-D516-463E-955E-683900D9531C","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":"Q638525$8C1C3247-9B58-4BBF-B31A-CA449EFB4CA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28ce2fef0076f9b8b7c93bbdc314b820e86bb25b","datavalue":{"value":{"time":"+2011-09-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":"Q638525$FD315FA2-65A4-4563-84EB-80CA88768287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$181765FF-AE17-4BC8-9417-FDCB0FA6E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$6E2FE250-0065-4B65-A794-A298F4528879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$B8007FE5-6F4B-497A-ABBB-7D8EE82A77C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cc268a79d2e171189c841f57a8d056b772d6595","datavalue":{"value":"5947159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$9D4C922A-9B2A-4C37-B3EF-19148EF810C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11799bb73345a90fad552c507bf6e98d86a4e1f4","datavalue":{"value":"exponential-time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q638525$DCAE355A-5803-47E6-95EE-D3E3A0603228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"226d012e9ba361cd29f493f4aa8cde039b880756","datavalue":{"value":"Boolean connectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q638525$24A4ABAB-101F-463C-B6BE-56E4ED018951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"564b4e74523d9fa745cedd26cb1ba86eba946365","datavalue":{"value":"CNF satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q638525$676D475D-29E7-4707-AB64-64EBA6089731","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":"Q638525$615F3425-0651-47C0-933E-C6AE0DF56B8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64f58aa08586100b4dae3f9439f252660a10affc","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.04.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q638525$9DD0853A-DD75-44F8-B340-46B63E9B7903","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"72dd33a2ab9f5fbfbfd027df5e96d03623ce5016","datavalue":{"value":"W2062843268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$B8E9A39F-7743-43DA-9085-E1BD7DD1FCD4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba453736f5070f55cd4d267ba0cf61a80c0cfc6e","datavalue":{"value":{"entity-type":"item","numeric-id":3292043,"id":"Q3292043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$53BDE60D-5F2F-4380-B04A-2209D0618734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b925fe092426cbe1031d8565d640903e38f52720","datavalue":{"value":{"entity-type":"item","numeric-id":3521919,"id":"Q3521919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$76D0839B-4081-4C8B-87F7-F37AAC56E4D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6f0e024114319e5eb6aae9883a0233df2f35ab","datavalue":{"value":{"entity-type":"item","numeric-id":3549598,"id":"Q3549598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$0FD55204-8EEF-497E-8807-CA4E787F4986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68b8d005dfd87902f37fb8cb4e60330d36c756a","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$173760BC-A8D2-46F2-A60C-6DDC80E282F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73eb84a543b338a4a079febb7b97c03a91da92f","datavalue":{"value":{"entity-type":"item","numeric-id":5633847,"id":"Q5633847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$4A08878B-4EBE-47D8-BE86-5146C0C5F6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f84a7480c49fc409dbcbf738c5b5d98de37e02b","datavalue":{"value":{"entity-type":"item","numeric-id":5501274,"id":"Q5501274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$E6781F81-6369-4FB1-83B7-95156383B347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3452fd4291403a5d6bc516467c3fff9813b516d","datavalue":{"value":{"entity-type":"item","numeric-id":2380029,"id":"Q2380029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$018C1C8B-8875-474D-B35F-593E48F51262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633481678a0836b3846b49aa8db13fb38104e9a2","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$16696166-9159-414C-A1E6-937CB67B3F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0828c6dbd662904b6bf252f8c084a6f8daeb7204","datavalue":{"value":{"entity-type":"item","numeric-id":608293,"id":"Q608293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$BEAD37F0-E086-4497-8884-90C8070C9FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$BCB6FC3F-0B24-4F0B-9A94-9E2422472750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bebba68dc7dfbaf1caac8cb5c43ad35be909acd","datavalue":{"value":{"entity-type":"item","numeric-id":4484662,"id":"Q4484662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$66C4C0B7-3390-4FE2-A970-10DA08297C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2bd73955595d36fe57f13b231976283a1ca60d","datavalue":{"value":{"entity-type":"item","numeric-id":3507036,"id":"Q3507036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$F249F735-4513-4651-9CB6-96BB271A5F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2077fad0f8784e4f01900be189b1e93f8a2ad005","datavalue":{"value":{"entity-type":"item","numeric-id":1348911,"id":"Q1348911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$117F6D3E-296F-43A3-BAB9-CEC1BB66FB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a552c9d03d5d57f457ef431ebe1ddb6a99a18fc3","datavalue":{"value":{"entity-type":"item","numeric-id":5710689,"id":"Q5710689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$49A9213D-F2F6-4505-A917-1C9BC023C604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82530b7040775ab3eac2bb71fccc143475ec6bd5","datavalue":{"value":{"entity-type":"item","numeric-id":4828947,"id":"Q4828947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$9E91C740-4919-4EDE-97B2-AAB99F56C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2525b5c335cb5509c2a87f3f024f358ccdaf82b","datavalue":{"value":{"entity-type":"item","numeric-id":5466451,"id":"Q5466451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$500168D2-9BFE-40FB-972E-378D502BE9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f92064a7c0a7169d569584bcfda37a7842df61","datavalue":{"value":{"entity-type":"item","numeric-id":4414647,"id":"Q4414647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638525$40D8BA2A-8EC1-42FB-A001-AEC0CB86530D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0eb096f44c09d350402a5a1284c61d4639e09a62","datavalue":{"value":"10.1016/J.TCS.2011.04.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638525$86913FB3-9263-49B8-AB6C-C79252962BA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f51812453fd17ff273473b0f737763bade34a3","datavalue":{"value":{"entity-type":"item","numeric-id":4930587,"id":"Q4930587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4fd19dc2c350bfd67ee8d5cfb25269be9207643","datavalue":{"value":{"amount":"+0.9950430989265442","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":"Q638525$39CA5385-0843-446D-82F0-8DF268B8C78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c0917673757a63f6c86195d9c7340a075ff3558","datavalue":{"value":{"entity-type":"item","numeric-id":5902502,"id":"Q5902502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b6e5e7f31c95a5915117c2b8bc8b2ad4802234","datavalue":{"value":{"amount":"+0.8203998804092407","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":"Q638525$55CE4922-0B4A-4CCD-A649-FAE4BFA2BEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3c4e1fa80bad3f6f7fcfeaa1365f5cf50c629b","datavalue":{"value":{"entity-type":"item","numeric-id":5901484,"id":"Q5901484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb86abf6b7c3738b7ab520ee136ee72f0810e54","datavalue":{"value":{"amount":"+0.7822925448417664","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":"Q638525$5CBA35B1-F543-42A1-A07E-DAB62EA03245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa95e22327925cc9f6612512d3bc9000bebc1e49","datavalue":{"value":{"entity-type":"item","numeric-id":1964360,"id":"Q1964360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ad5083145cec68e646ce6beb872fb54d292cde","datavalue":{"value":{"amount":"+0.781821608543396","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":"Q638525$85B60156-1F27-4F8C-A2A3-020B2C953AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d6f759c8a7844c73ee41354509b899fcdc0387d","datavalue":{"value":{"entity-type":"item","numeric-id":4981174,"id":"Q4981174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0891d1f46264ada58c60d45525a084d5df2ef38e","datavalue":{"value":{"amount":"+0.7808358669281006","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":"Q638525$86B744B3-A7DC-46B2-A84F-9CBF9FB931C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An exact algorithm for the Boolean connectivity problem for \\(k\\)-CNF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_exact_algorithm_for_the_Boolean_connectivity_problem_for_%5C(k%5C)-CNF"}}}}}