{"entities":{"Q4930587":{"pageid":6960169,"ns":120,"title":"Item:Q4930587","lastrevid":51093272,"modified":"2026-01-16T15:31:18Z","type":"item","id":"Q4930587","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 5793454"}},"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":"Q4930587$3B0B3C1F-E1D3-4C3A-B58E-A8C2E2D2B88D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee562d34b408f5d3978426a22a4217b9096224cf","datavalue":{"value":{"text":"An Exact Algorithm for the Boolean Connectivity Problem for k-CNF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930587$FEC439EE-8482-406F-BBD3-0B509F9A1CE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"684e1d705bc6e8d44f2970f3caba78fa023d57c2","datavalue":{"value":"1306.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$4514545F-7320-4B0D-B0D4-FEDD9CA4138E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1aaec1f1e8980dde75e0c1ca95cc72afd61099d6","datavalue":{"value":"10.1007/978-3-642-14186-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$68CE71E2-3C96-4A4C-A6A5-8732AD886A6B","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":"Q4930587$C566FFE0-181C-4CA4-AE22-8D52B55792F7","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":"Q4930587$1DD1608B-29B4-4F55-9FA6-4E3037F4A45E","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":"Q4930587$703E424F-5DF3-4F39-B66A-12D9FD0CBE5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930587$C59479CF-8C1D-4410-8E3B-301B334E7E75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-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":"Q4930587$AB4BD522-4285-48D8-9064-5D098E974544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$769F8688-AB67-4EB1-AEA8-746107BC3B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$ECDAB994-5117-433A-AD07-3FEF28CED0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$BA11D332-B249-445A-87FB-1097F5CA67CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfff16dd4a8cdd0181bc732d59379e63b6b92bc5","datavalue":{"value":"5793454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$AAC36D22-9C09-488D-845D-D62F313FBBDA","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":"Q4930587$F8067DCD-529A-4D60-ABA9-373A5DC7DA50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27c786d15235a223b07274950d838bd9fc9193e4","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930587$0A81803B-7533-4E6F-8B6A-BBB0DEB98909","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2a48c7daae7b23a4ce6c8013948dec68b444720","datavalue":{"value":"W1555583279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930587$75C35E31-95FF-4FDD-A0E0-DE2A24B32926","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ef87a9cfecfacf0497236c8de6f2f40ce0eeb71","datavalue":{"value":{"entity-type":"item","numeric-id":638525,"id":"Q638525"},"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":"Q4930587$8D3DA187-6F2B-4223-B1F1-9D81821943E6","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":"2f9aeca2b2c4fbc8551f7432714800792775216b","datavalue":{"value":{"amount":"+0.8202721476554871","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":"Q4930587$6ED1346E-2AD9-4649-BD71-88EB7748D4B5","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":"b0110a90b8b4c850d4b87ec40269a1efe1031e09","datavalue":{"value":{"amount":"+0.7929829359054565","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":"Q4930587$574C6494-5437-44C2-8424-E206AD9ECC65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9986e02c5aab6f5268df740b8a4e3c1aa1577d5","datavalue":{"value":{"entity-type":"item","numeric-id":1777401,"id":"Q1777401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdf31d657d58efff83ea19cbc9088afd895a620a","datavalue":{"value":{"amount":"+0.7913743853569031","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":"Q4930587$9F8A53BF-B74B-49E2-B8AF-4E0C6EBE72EF","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":"644f71aeab0b09d85dcb7bee23fb31e9cdc7bb7c","datavalue":{"value":{"amount":"+0.7845054268836975","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":"Q4930587$A6FB24AE-21C7-4F99-946B-E8A18B256EF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930587","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930587"}}}}}