{"entities":{"Q3637154":{"pageid":5667060,"ns":120,"title":"Item:Q3637154","lastrevid":50704139,"modified":"2026-01-14T21:01:58Z","type":"item","id":"Q3637154","labels":{"en":{"language":"en","value":"Efficiently Calculating Evolutionary Tree Measures Using SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576269"}},"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":"Q3637154$E9B02106-3712-4E7D-8337-5802097F34C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa103a1a455f62529421cd246ad9fce59be0c3f5","datavalue":{"value":{"text":"Efficiently Calculating Evolutionary Tree Measures Using SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3637154$F15D3FE2-EFEA-46C5-BD9F-2DD8E0ED7C50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4ccec0998151d5e0ae3f9f2cce6950af2acb607","datavalue":{"value":"1247.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$EF58203F-5B08-467F-B77C-6469AE691252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87a62bfc03034eddc41fda5578856df529edac89","datavalue":{"value":"10.1007/978-3-642-02777-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$03C33E99-5B01-4488-8090-478078B6C2F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e092db0e8dd3eb069452d08315b921747f610dc1","datavalue":{"value":{"entity-type":"item","numeric-id":360041,"id":"Q360041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$D3550638-3F62-4A7A-A121-68A4CF1DD125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29eb670fe708203fb22839f51531303e998bdb7f","datavalue":{"value":{"entity-type":"item","numeric-id":200935,"id":"Q200935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$0F64C340-5AE4-412B-94C0-CBB74CC99437","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$D5A0772E-4A72-4B29-9EA6-5AEBB2EF2F00","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94035e3f051d88ae4ad052aa0269faba85e94c5a","datavalue":{"value":{"time":"+2009-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3637154$E9E4CE4C-2271-42BC-8D8B-ED420873A386","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$5B83E8D5-4313-4687-82B5-A3C3CBB24E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"628b6504534c9c491a1aed9f9fa031e89a793c1f","datavalue":{"value":"92D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$8A798DE5-5C27-4B68-813F-70DFA55202CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d85415161f9a448562b1d0cefb9117c4fa485f4a","datavalue":{"value":"5576269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$B4525B90-363C-42A9-8AF9-4245E741A9C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02aa6cae878b77a5f61151dfb914bd66eebb75db","datavalue":{"value":{"entity-type":"item","numeric-id":16507,"id":"Q16507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$412E806E-B82D-4FDC-91DC-61F5D64C1413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"81b0c1d29b545325167c0b1ef3c087dafcc83393","datavalue":{"value":{"entity-type":"item","numeric-id":18738,"id":"Q18738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$F139A723-DEF7-46F7-9A78-EA98E535D4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"841ecfd35b297c7ad4ccdce4fee322a797337a5e","datavalue":{"value":{"entity-type":"item","numeric-id":30455,"id":"Q30455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$06A4E6CB-8ACC-49DC-A9F4-4431D01EE215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$076AAD08-96B4-4B6D-BE1E-F1CBB179568D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75051848b474128e4985ed4bd6de9dfa91223569","datavalue":{"value":{"entity-type":"item","numeric-id":18412,"id":"Q18412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$295B7E1B-F914-45EC-B51D-EF34A692EAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff2d5d5cda41d7572712528175edb4defca67610","datavalue":{"value":{"entity-type":"item","numeric-id":15153,"id":"Q15153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$03216E69-9951-438E-A03B-B3D799BA1DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4525322c462a0d1ad7c32db533cf56f92a5e7154","datavalue":{"value":{"entity-type":"item","numeric-id":29231,"id":"Q29231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$BFD35463-D8F2-4A27-849D-A59B0EA41A5D","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":"Q3637154$722BEEDE-BB4D-46EE-BF9D-6B53A324453D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22d20db7ef141938426ca793e4dc3fc74e9024e2","datavalue":{"value":"Q60512131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$7A3B266E-F30B-4EE4-873C-4255D3052642","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bd5fe2044d3f943b6f0bb3c83d4f29f61fdb7e8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02777-2_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3637154$F2A4C783-7EB7-40EA-BC4E-E05E554176A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee9e168257f1d6e96a7f07b028628f190af89990","datavalue":{"value":"W2121505045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$46778965-F2D3-43FF-AB0B-5940CA3110DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48357920dd1f74701df2b46af7c4a92c3a440df3","datavalue":{"value":{"entity-type":"item","numeric-id":5939205,"id":"Q5939205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$3F37538D-73AB-455D-8A56-E9D183E33FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc38dff52c1e7b4e85f991fca6d86203f0ab452c","datavalue":{"value":{"entity-type":"item","numeric-id":1764471,"id":"Q1764471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$C8C11E2F-8068-4C3C-BCC4-D2FFD621957A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20ae40761a57eceb6b9070b6dc467d700692645b","datavalue":{"value":{"entity-type":"item","numeric-id":881571,"id":"Q881571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$647831FB-A0A8-40F5-9CC9-AF5780180056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81aad4b3f9b115978b566de5b2cc4bf76fdd6e6b","datavalue":{"value":{"entity-type":"item","numeric-id":3612461,"id":"Q3612461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$52AC11AC-CAFE-4C3D-B65A-2638113F2C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45536d628de7dd7a8843d3183826b2302b15297a","datavalue":{"value":{"entity-type":"item","numeric-id":1074275,"id":"Q1074275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$33538DA8-7AEE-4C12-B366-0BACE073BDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$A43ACDF1-22FE-4FAC-A9E9-6F9176F5AA20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06e6afeadfefbc03ee734ba83e5a6d00ea5433b","datavalue":{"value":{"entity-type":"item","numeric-id":5961623,"id":"Q5961623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$95F92401-AA48-4B19-AC54-FF2CC5B64602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb81eb688c71ff90935f87157e454733c1c76b68","datavalue":{"value":{"entity-type":"item","numeric-id":3429156,"id":"Q3429156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$C90B3F40-4BC8-410F-B0B7-080063C06AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a166398fa7607930c922344c505e3c2b74e32764","datavalue":{"value":{"entity-type":"item","numeric-id":5716926,"id":"Q5716926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$813BDF69-3CE2-4FF4-8459-E41E16516AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c1647842d2c4612622084a5b09fcbaf704ae6d","datavalue":{"value":{"entity-type":"item","numeric-id":5687271,"id":"Q5687271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$5A785ECC-A736-4062-B02D-E79D70B2B72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00dd0320d9bdceb5dec8ac5adab43168acb12d4e","datavalue":{"value":{"entity-type":"item","numeric-id":5714764,"id":"Q5714764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$26510779-98F1-402C-AF62-2DFA801E9D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2667127ff7e04fad7bf3f88432b6dcb7791cab15","datavalue":{"value":{"entity-type":"item","numeric-id":3624141,"id":"Q3624141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3637154$357E8822-AB7A-4B04-927B-5732370538E1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b06ab0b5fd567827192fe8a1d5419e75a360ae84","datavalue":{"value":"conf/sat/BonetJ09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3637154$F29B37D3-3829-4FDC-AF0F-2862EAC7CA3A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e39cc98fe3f4803d93954940472081f503f8a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4247446,"id":"Q4247446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e35cb996312e5b31ff340dca9975af2f4cfbfa8","datavalue":{"value":{"amount":"+0.7705248594284058","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":"Q3637154$7C8DC53E-86A3-4E51-9E27-DD7E00FECAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c09928397d46e556c6ae536d57166169de16cad","datavalue":{"value":{"entity-type":"item","numeric-id":5091731,"id":"Q5091731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f30274af6e047728058ea76dc6fe29476232c10","datavalue":{"value":{"amount":"+0.7420839071273804","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":"Q3637154$AE8FA1C7-3675-4473-8FB7-C9865C429680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6d8e7c6e16165398b190c76d293bfb3e65bd874","datavalue":{"value":{"entity-type":"item","numeric-id":5961621,"id":"Q5961621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea24a31ad973b992710530afdbe8895b8a6cc4e6","datavalue":{"value":{"amount":"+0.7412332892417908","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":"Q3637154$F4A57166-4B58-4DE1-91CB-8D91F05A2F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502358e325da64575ccdbaa82da88c7d5010a878","datavalue":{"value":{"entity-type":"item","numeric-id":4519914,"id":"Q4519914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea24a31ad973b992710530afdbe8895b8a6cc4e6","datavalue":{"value":{"amount":"+0.7412332892417908","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":"Q3637154$03289C3D-E65F-4105-9DA6-0B3CA16B5761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a77e6272cfc4c5cdf2842ad6d99ec9ab511958ff","datavalue":{"value":{"entity-type":"item","numeric-id":4364583,"id":"Q4364583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068ddd0ca8b32647fa3970f97266d0dea48e267e","datavalue":{"value":{"amount":"+0.7408344745635986","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":"Q3637154$EB7B5C61-947B-4819-AA94-AB2022FCBBA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3637154","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3637154"}}}}}