{"entities":{"Q652163":{"pageid":654012,"ns":120,"title":"Item:Q652163","lastrevid":63419688,"modified":"2026-04-11T12:56:12Z","type":"item","id":"Q652163","labels":{"en":{"language":"en","value":"Extended beam search for non-exhaustive state space analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5990141"}},"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":"Q652163$AFEA7412-4B14-4A9D-A45A-9608BA5D202C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c66882f89239f3730be386f60da805dfa39e94de","datavalue":{"value":{"text":"Extended beam search for non-exhaustive state space analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q652163$A8CE46E1-58DE-46AA-8D96-9935C9E16B11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccc4110ba92b7ca0d10b76cfd866f32ae21ab21e","datavalue":{"value":"1269.68048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$2408B3F3-21BA-4848-BCC1-2DBABDACBE19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8056b2dd5e4537f2c43a42c6b5d4b8d04630726b","datavalue":{"value":{"entity-type":"item","numeric-id":652162,"id":"Q652162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$CC9C1E83-6F47-4607-ACCA-57B622CE6EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d5d00eac1f438bf35313cb9f725536972f2da5","datavalue":{"value":{"entity-type":"item","numeric-id":436407,"id":"Q436407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$82CB0E20-0ADF-4861-ABCB-9BDBCD1D4333","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$B3047B72-DF30-46EF-BEB8-0A4721C1BAF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e7c33876f49da64580f033b95b71f550b669c2d","datavalue":{"value":{"time":"+2011-12-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q652163$24C1A52E-B1E8-41D8-8911-A2FAA27FED8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f97694d44af155a68434cb72eabc6a4d5dd5227","datavalue":{"value":"68P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$3F8D80F4-997E-4A17-BA42-5C76345D83A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$8C396CF9-C90B-4F15-ABCB-5E166D291CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$04E07F01-C68B-476D-8386-EE1FA45CF4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$7E344DDA-F8AA-49CB-8BF8-6CDE2D5307B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"262525428a18f75a2aeda252871f803533cfb0bb","datavalue":{"value":"5990141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$E2D59CAA-4546-4A51-900E-D782DBAB2CF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q652163$DB8C5069-21C2-4470-A6CD-14CEAA208A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26852e62a89689e7d4ead334a2523749d2837df2","datavalue":{"value":"formal analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q652163$5AE57408-4FAC-42E0-9C1A-6B8A6D078642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9e6ace295a7a1ef9adb1cc48c59d18f6d672c01","datavalue":{"value":"state space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q652163$DB1D4DAB-DD7A-488A-A852-0439235A7B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ffcc3545bd7b0f94969c35c641231860a38c51","datavalue":{"value":"heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q652163$30F55848-B345-48CC-B322-427E25B963A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5405a38ee76a27a232125d67a11048386ccc1bb5","datavalue":{"value":"guided traversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q652163$C98952A5-9924-4743-B766-5D0FE1E82456","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$60AF75A1-1148-4E47-9207-BB4FF457D1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$C41C8D93-0303-46F3-88CF-397A250605F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"95971f6b611ca7d919754c769fae0e473be28779","datavalue":{"value":{"entity-type":"item","numeric-id":19265,"id":"Q19265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$A9319475-351D-4D94-B0FB-670C5C93B88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$3C7714ED-9440-4083-A6A4-045EE075AF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$84606498-5EE8-4F0B-96CD-6FE15392F008","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":"Q652163$7270D80E-FCD6-4E71-AA90-A16AE6116C42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1674a80f0923fefc15a3e6e77fd3358a82e33be","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2011.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q652163$C6F02610-9592-45D5-87E1-DC8A71390596","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c69c5c3540c6c412661eb4c3260cd3ed0220eef","datavalue":{"value":"W2123777643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$AC64A1C1-2EFE-4951-AB3B-8B7F9F7ADD33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d30979d60df1170827847b57833021188af6b113","datavalue":{"value":{"entity-type":"item","numeric-id":5897962,"id":"Q5897962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$733431E7-4651-4FB7-986C-71D0670D640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb540e3ca077c61fc0b9025c45680ac48f34c192","datavalue":{"value":{"entity-type":"item","numeric-id":4533359,"id":"Q4533359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$C3DAE28D-768E-4E3A-8C46-5C669D26AFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e131304022eac74ef1a59104a6a4b74da93f93f3","datavalue":{"value":{"entity-type":"item","numeric-id":5494310,"id":"Q5494310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$694FCD90-C229-47D4-BBB3-77A4DFCABC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"418f4ac8d00846a561da4f8b810b1d41d858e34a","datavalue":{"value":{"entity-type":"item","numeric-id":2769586,"id":"Q2769586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$37785684-1F03-4240-8EF2-E2D90B16E5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$D8E62567-93D4-41E8-87E0-C14703D6DC70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"035742adc93e5a0311e0a2f5a4fcb5cd3ddafcd2","datavalue":{"value":{"entity-type":"item","numeric-id":5943774,"id":"Q5943774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$E64AAB21-1675-407F-AB1D-ED70DB3EAC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b177f327a80ce89d460ccd5ad08df76a67b8d8","datavalue":{"value":{"entity-type":"item","numeric-id":2769607,"id":"Q2769607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$CFA05899-47B1-4B82-AD97-93540E676F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64eef3ea814fc816c1a9fa8667e8f9b11ce72c5b","datavalue":{"value":{"entity-type":"item","numeric-id":4518908,"id":"Q4518908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$DD841B81-9B7C-4F69-8198-7E3493E60B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3761ada4c6a49c3c6ab7d976c280d3b7ecdf1e6e","datavalue":{"value":{"entity-type":"item","numeric-id":4656749,"id":"Q4656749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$2DDE0E07-1329-4379-B808-402C6CB2A59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b989f45b85fa44137ad22092706b6102fd241bf","datavalue":{"value":{"entity-type":"item","numeric-id":78129,"id":"Q78129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$2FC5C14A-2C35-491B-891D-6B30528A725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eaaccaac291d002c6380db04008b1f5a40bf58f","datavalue":{"value":{"entity-type":"item","numeric-id":4530808,"id":"Q4530808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$0F4E16CB-1BAC-4CB0-B19B-7254CCB78416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9df5ba38b23c3648086494f6b5ea5a161041656","datavalue":{"value":{"entity-type":"item","numeric-id":3614878,"id":"Q3614878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$69354DF4-42CC-4455-9AE9-69D092396765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09df45c62e459c7069b1610a42f2bb6d79008a04","datavalue":{"value":{"entity-type":"item","numeric-id":5758101,"id":"Q5758101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$1D3A710B-8987-4E35-A79F-57910B48A972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de69ced35e4e575f3aa12bd03fd754eb43abf71","datavalue":{"value":{"entity-type":"item","numeric-id":1397235,"id":"Q1397235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$1CB216AD-7F22-425B-8049-643EC875F8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5688681fb9a7a5c3404c4dcd4c4af8ec22f36224","datavalue":{"value":{"entity-type":"item","numeric-id":4692609,"id":"Q4692609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$23002A48-FC1F-42A0-91E2-898C55700546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a6adfc4aa428698cbb36dfa7179dec69749907","datavalue":{"value":{"entity-type":"item","numeric-id":4472244,"id":"Q4472244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$35B1BE0F-EC05-47A8-8310-7EF7B9CD6BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$45C0E8A6-D9F8-405A-9412-BFED9CBE2657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3906fc9340247036b964db6e5f1132e0192799ae","datavalue":{"value":{"entity-type":"item","numeric-id":685539,"id":"Q685539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$9FD7EF3D-0E3D-4610-A66F-F4F1B358F608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948ff0dcf829232da907f1eb072f94e69abdec3d","datavalue":{"value":{"entity-type":"item","numeric-id":5899035,"id":"Q5899035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$2B44B4FA-3B9A-4523-8BCE-D7625FB5AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c71ce73b214624ee6fbfe1323f4eadc379e630","datavalue":{"value":{"entity-type":"item","numeric-id":5705878,"id":"Q5705878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$145DC515-501A-4586-81AA-28023A918D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$2B3FA20C-2867-4F7D-B859-EF2A0CD8DD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf2afd2d0e825aef5567034253d9f863a89ee103","datavalue":{"value":{"entity-type":"item","numeric-id":3617761,"id":"Q3617761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$D99FBA55-8FB8-4800-A182-74923E47CEF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96aaf6297167c85ba9bfeeae1254abb9abf048be","datavalue":{"value":{"entity-type":"item","numeric-id":4337610,"id":"Q4337610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$2063984D-26C2-4258-8847-327272E626CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266ea70927c2263d4a76203953012772cc280eb6","datavalue":{"value":{"entity-type":"item","numeric-id":3525910,"id":"Q3525910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$10E784E4-3816-4821-8CA1-B72A7B218945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5b682a7759c78d8128ea2ef59d90cbd98256969","datavalue":{"value":{"entity-type":"item","numeric-id":3617769,"id":"Q3617769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$0AE79EB2-D425-4CF1-8695-044A208345CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63246c1bfd916b7347bc2a4bda01d853cb6c06a7","datavalue":{"value":{"entity-type":"item","numeric-id":2542693,"id":"Q2542693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$E5D0301B-CF6B-46A2-98AC-7EB8DAC70897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a07ae70d1e12cde33970dbbfbf0fc6c6a6d604","datavalue":{"value":{"entity-type":"item","numeric-id":5839903,"id":"Q5839903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$9F1B4563-4C21-44DA-B5DC-8163C2C2918D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc96f2640aea983eb697236a0694aeceb17d952","datavalue":{"value":{"entity-type":"item","numeric-id":4224292,"id":"Q4224292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$144CD667-4D98-4BDB-ABEB-8C7B27975642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22b4c14406a61f28f8d6bf23209bb95e38f7ccd","datavalue":{"value":{"entity-type":"item","numeric-id":4843187,"id":"Q4843187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$87BB4022-5939-4CE2-87FF-BC2C3F2023F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1224ca2e7c5c9978954bed48dc55386395f9298","datavalue":{"value":{"entity-type":"item","numeric-id":4426363,"id":"Q4426363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$9EB21C41-5D33-44F8-A626-F830DFE83C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd8fd62184c16664ea5067412d83607eafa07ce","datavalue":{"value":{"entity-type":"item","numeric-id":1806850,"id":"Q1806850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$B9554269-D9F9-486B-84A5-5905ADBA6920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f96687f72af3e1b18bb3f81c68417d1f7c0d538","datavalue":{"value":{"entity-type":"item","numeric-id":3818793,"id":"Q3818793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$B1092A24-F5C9-4307-B849-24F3C0E1CCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65b972f7bf26d2ad07d523e91e2c93b3b427d5b","datavalue":{"value":{"entity-type":"item","numeric-id":3510825,"id":"Q3510825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$6C0CDECD-F4C7-4C67-B5A5-264424F23132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e60ee137be46794cc7af0cfb6efb8e64b8e0496d","datavalue":{"value":{"entity-type":"item","numeric-id":2468493,"id":"Q2468493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$C642DD0C-AAC7-4C98-9B7F-3E5D9DA03222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6568e7f0afe4fa94c51ae61639ed33d0f8d594","datavalue":{"value":{"entity-type":"item","numeric-id":5464436,"id":"Q5464436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$063CAFAA-A7E9-47DA-92F4-4EB0A8B597F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efe24188789fa8066d483129be8dc9d6a46fd576","datavalue":{"value":{"entity-type":"item","numeric-id":5423889,"id":"Q5423889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$DD2776CF-10F3-4A0A-9DE2-8445940C9A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27bce0da0a4052ed6fc5f5eead52dde74f5dd7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4939497,"id":"Q4939497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q652163$2EBB4C86-7E66-44AD-9795-D5DEA7DC5279","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07970f953b3003d8b5fda7e587369099f476c954","datavalue":{"value":"10.1016/J.JLAP.2011.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q652163$E1DC25CF-A1C5-428E-A904-F05730918A60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd50cf74d6b9f4f77bb25f77eb139e05fe7bb12e","datavalue":{"value":{"entity-type":"item","numeric-id":3510825,"id":"Q3510825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1757a7ca9b043e9c414b79cceb27ebb74479589","datavalue":{"value":{"amount":"+0.8868367075920105","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":"Q652163$33E56821-99A7-4918-B551-2888FA2557FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"888a61a31615f8d7dcb77e8e1ea7832163b5b2b5","datavalue":{"value":{"entity-type":"item","numeric-id":5423889,"id":"Q5423889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b71899e612542e352d2274d778ce9d9212610c4","datavalue":{"value":{"amount":"+0.7668731212615967","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":"Q652163$828413FA-2BFE-449D-9BFD-81B69A6B1026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fec6681958c1b11a4c7eed63a852f66e3c4e27f","datavalue":{"value":{"entity-type":"item","numeric-id":5369818,"id":"Q5369818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a733d77c2f3e667517c8cd882c49ed62242d73fb","datavalue":{"value":{"amount":"+0.6996387243270874","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":"Q652163$636A971D-F742-4F9C-8AE1-0859D8D6A220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5caaa496c8405fb95e09a4a562e881720d0d80b","datavalue":{"value":{"entity-type":"item","numeric-id":2445330,"id":"Q2445330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b68bff23d2933c25fe1a0fbcae57ca096ed41440","datavalue":{"value":{"amount":"+0.6943246126174927","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":"Q652163$EFC8A668-554C-49B2-9BC8-4617BFFEFCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c7192efc1d9605abdf50acf080ffe4d2d7f962b","datavalue":{"value":{"entity-type":"item","numeric-id":715051,"id":"Q715051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf39219c6a0b4c8898b3876ebce01a02f88eb2f5","datavalue":{"value":{"amount":"+0.6915385127067566","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":"Q652163$E38BBD4C-395A-43C3-BF13-E01D19FDEE18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extended beam search for non-exhaustive state space analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extended_beam_search_for_non-exhaustive_state_space_analysis"}}}}}