{"entities":{"Q1776193":{"pageid":1786935,"ns":120,"title":"Item:Q1776193","lastrevid":48488170,"modified":"2026-01-04T23:44:54Z","type":"item","id":"Q1776193","labels":{"en":{"language":"en","value":"Resolution cannot polynomially simulate compressed-BFS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2170148"}},"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":"Q1776193$0DAD98BA-CD14-439E-8E1A-B4C6F34275B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"665296b8e316303e2adf9718071c621ce29baec5","datavalue":{"value":{"text":"Resolution cannot polynomially simulate compressed-BFS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776193$E0B723C1-457E-4326-9F67-A917EBAFE21E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e0e9c5e7a29693a119b7d277446614f9ab7cec","datavalue":{"value":"1099.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$0CECAD37-1CE3-4C4E-87E1-B605C8C654FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba81574827d0a3d61fef804a0dfd822cd3fde164","datavalue":{"value":{"entity-type":"item","numeric-id":1776191,"id":"Q1776191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$3C81FF18-6060-4EC3-BA4B-00E4FACE7A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f712651e8b9e216193e9937e595c2e390531c6b","datavalue":{"value":{"entity-type":"item","numeric-id":1776192,"id":"Q1776192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$BAA02A2A-041C-46FB-9283-D23B69789691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1eb2ca8453f6afb5658d408a147981e100ff458","datavalue":{"value":{"entity-type":"item","numeric-id":427731,"id":"Q427731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$2AA6C9B3-0FB7-4E65-B521-E8B0C5D657D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$43FFFB34-9C5A-43A5-B2FE-C4940E5E4D23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3b590d9edae7ef06862f3d803ab57ea4760b6f","datavalue":{"value":{"time":"+2005-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1776193$8319027B-AF76-4641-A921-26052D8F0FB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$3788D047-2409-45FC-9430-2AF0B0130108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$2AD24885-6740-49E6-AADA-E50AB5D75772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$281F3217-A9C3-4457-8301-8B317DC4EA86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5878b415c49169e7999e1d1f77550c4cfc3db4e","datavalue":{"value":"2170148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$071E0EE2-FAF8-4506-AC9A-AE83F463CF2F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3978d2f31bc86b19c4025fe772ec1974bbd09669","datavalue":{"value":"Boolean satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776193$18E557B9-0560-49DF-9719-CAEA5DB17046","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$BE5A7214-694C-4E28-80A9-616ED9B6FF7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"61ba9bfa7c7cf0469ef4cbcbee9f6035816eb228","datavalue":{"value":{"entity-type":"item","numeric-id":40094,"id":"Q40094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$B2226F90-D513-4E21-B026-B973575331D7","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":"Q1776193$B8BEA43E-4ED6-4393-A275-6C7AF32F63FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa1099ca0b250e4e69d5d0ab5849b8216868bbf5","datavalue":{"value":"https://doi.org/10.1007/s10472-004-8427-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776193$E9A2E106-C428-4D3C-9AE6-F1B9DFC358CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ff02100e2e2765a6fd1b93b5af3884fc14abefe6","datavalue":{"value":"W2142612879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$8B6D2ADA-1823-4210-91C6-A3D83DC04B54","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"652707f3c517fc0bc45fb7ef7e533228515c0c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5715680,"id":"Q5715680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$BF570392-D264-4DC8-99A5-F8EFF98A22E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31e0fecf37e8bbc869084699ebc361b1e96d6394","datavalue":{"value":{"entity-type":"item","numeric-id":4871748,"id":"Q4871748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$E2A6C710-928D-4297-9EEE-8B598C2CC994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c9398475f7fa9379872481d74552458b55195f","datavalue":{"value":{"entity-type":"item","numeric-id":2723442,"id":"Q2723442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$7AD7795C-C48B-40F3-9BCA-92ED38C25F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f8e628120e37a7c3e15f88b344869a76ec6bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4325354,"id":"Q4325354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$ADDFEFEB-5943-4EA0-A588-360CB6C47C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$540249A7-7D85-478A-9DF3-01326BCE2B76","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":"Q1776193$F3144782-77C0-4043-84DF-0816FC0440B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9093ccca39cd92c9db127213d511495db68c670","datavalue":{"value":{"entity-type":"item","numeric-id":5944434,"id":"Q5944434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$AA6D1527-10D3-42BE-BB53-D88020DBD25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0758251afe6a76a41e18f7daffbd45a12fb82b","datavalue":{"value":{"entity-type":"item","numeric-id":1408378,"id":"Q1408378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$E089B78F-E125-4001-8673-58076170EC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$CD8F5E3A-4D8D-4D53-BCB9-1F2F408ED8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93080a274c000731f23d3466d9f6aaee25a38e4a","datavalue":{"value":{"entity-type":"item","numeric-id":1841885,"id":"Q1841885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$8A27C681-C73B-4D20-A0B1-A6C85F2015FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9269e64d2adca53bb2f298ca1a02b550d98c27a7","datavalue":{"value":{"entity-type":"item","numeric-id":4571400,"id":"Q4571400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$0342F422-92CD-46AD-8221-35B3A671B7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08561dfb2357106382e4ffef8f6c77f404f231a5","datavalue":{"value":{"entity-type":"item","numeric-id":4707784,"id":"Q4707784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776193$A6BEDDB3-40E1-4DF2-817C-EBE356282F33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95fa1b37ae93e6266bb5f7667c93baf450be83f4","datavalue":{"value":"10.1007/S10472-004-8427-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776193$DF57B98E-B5C4-477D-8738-AB6D2249F4D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb3621c5d36533ac4d3866656154606f4b96d09","datavalue":{"value":{"entity-type":"item","numeric-id":4707784,"id":"Q4707784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264034f81158655c51d55b8ca4be1292f2b2f5f1","datavalue":{"value":{"amount":"+0.8123728036880493","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":"Q1776193$483F8055-C449-4BEB-8D69-5CA2BF10952B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c277363cf03217e922a94c25ff02fb87426df214","datavalue":{"value":{"entity-type":"item","numeric-id":5897216,"id":"Q5897216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"264034f81158655c51d55b8ca4be1292f2b2f5f1","datavalue":{"value":{"amount":"+0.8123728036880493","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":"Q1776193$2EC389B2-D684-4818-8D05-7B0274E01D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daa7bdae693216d7f67ac726ebf3ab505aaf4170","datavalue":{"value":{"entity-type":"item","numeric-id":2784492,"id":"Q2784492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ec3fa967da5bea12d3c34295849d2c867fa79f","datavalue":{"value":{"amount":"+0.7373584508895874","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":"Q1776193$242E7AEE-74CC-4826-BF5D-A5F27BFA7CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a102b4299cdcd1142dc21044f6b7447c46cf4292","datavalue":{"value":{"entity-type":"item","numeric-id":543613,"id":"Q543613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53b2d0250c969d928d145167cc727fa714c1fb12","datavalue":{"value":{"amount":"+0.7371755242347717","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":"Q1776193$BEC09CBE-D8C1-4DCD-B8EB-A6BE9D1392E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1dc12fea4736907a8a127ea7f69d7d3437a79ea","datavalue":{"value":{"entity-type":"item","numeric-id":2897994,"id":"Q2897994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"669d62f8b9f28c05d3c6c087c3b4c4b06f75520b","datavalue":{"value":{"amount":"+0.7101673483848572","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":"Q1776193$60620892-2E81-4D06-9B3A-4D3ADCA110B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1776193","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1776193"}}}}}