{"entities":{"Q5076310":{"pageid":7105886,"ns":120,"title":"Item:Q5076310","lastrevid":100099361,"modified":"2026-06-05T21:25:05Z","type":"item","id":"Q5076310","labels":{"en":{"language":"en","value":"Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7527534"}},"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":"Q5076310$79817AD5-5F1E-4D3F-9472-96F156ECE0BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb483bf2d2acaa10c127d44ff7b74bc657f3e1a5","datavalue":{"value":{"text":"Migrating Techniques from Search-based Multi-Agent Path Finding Solvers to SAT-based Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5076310$031A5B9F-8B02-498C-89CE-EDC0F52A5FC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1682c83581f731d040e3314fd74c7e607495220f","datavalue":{"value":{"entity-type":"item","numeric-id":613780,"id":"Q613780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076310$75202880-AC58-4F45-8B27-6AE54B6C4CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"94c980435601ce6f741202d0a3f682e5e47c2907","datavalue":{"value":{"entity-type":"item","numeric-id":360143,"id":"Q360143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076310$EAFFC290-B0E4-4DA1-8999-038304647DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a6575448b77c5fd41a81a95071878bdec7c135f","datavalue":{"value":{"entity-type":"item","numeric-id":5076309,"id":"Q5076309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076310$1766A528-41CD-45DF-8DA6-7E1E7D6898C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25193b5f5c8e38142f438a24a89da29ca1507b28","datavalue":{"value":{"entity-type":"item","numeric-id":235376,"id":"Q235376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076310$0F692A0A-F87A-4DB8-89D3-2A6A10DABFB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bb469f8c3341c58b96368431d3c87cbee3d3281e","datavalue":{"value":{"entity-type":"item","numeric-id":110835,"id":"Q110835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076310$7FAE5BE2-A292-443A-9753-970F69F91C72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf2c65e2610039dd594d3eccc0f99fa0861d5c5f","datavalue":{"value":{"time":"+2022-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5076310$49F2712E-487E-4190-810E-68679CA660A0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076310$B4AAE001-5246-4A83-81E2-31F2CBE32366","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"459348dde7a60d96a1aa458fc9ce810a265fb422","datavalue":{"value":"7527534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076310$49068655-1D2D-474C-A676-B2B03F585FC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"baeaf27c29b44a613ac26700723ca8323310e938","datavalue":{"value":"problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076310$31DA387C-4869-4705-B232-F38CC699611D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076310$C55FD4FE-37B9-490E-9CCA-A737D6C29DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076310$C4A64A15-0157-457B-9709-6690A7014457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce248baa6ddc45c558e1072a9ef8778d9930096","datavalue":{"value":"planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076310$56A55DA7-A8F4-49FE-9746-D70CD1C848AE","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":"Q5076310$79A8E431-40B5-40F2-A690-FD2383A8ED16","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3837d44fe8461bcb0913f7869b3a0cead822eb0a","datavalue":{"value":"https://doi.org/10.1613/jair.1.13318","type":"string"},"datatype":"url"},"type":"statement","id":"Q5076310$907B479D-97A0-46F5-9E58-4E0EA0716964","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f25cdf0f73e1327b9e06ba792bf014bac4ded6ca","datavalue":{"value":"W4211174927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076310$E1AB2A8B-676B-4686-AC38-1DF2EDD25876","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8421f0997ae4985f61b3d770a4f706e83e2d527b","datavalue":{"value":"10.1613/JAIR.1.13318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076310$BE8FE96A-10A3-40C0-9BD0-78619DBC2F61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"474ef17a6c802d26c27d43a9d1add24cb86dea90","datavalue":{"value":{"entity-type":"item","numeric-id":6488132,"id":"Q6488132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c600363dc4ae9c1192689d250f5212a80523f0","datavalue":{"value":{"amount":"+0.7896777391433716","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":"Q5076310$A494DDA0-9BE9-40D2-BF6A-D2DDA440F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba57612401a9c25471b7c5814f08f066b05fb3f1","datavalue":{"value":{"entity-type":"item","numeric-id":2343829,"id":"Q2343829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d9afdcf8f6f3a057ac4c429f8fa37bfd6642011","datavalue":{"value":{"amount":"+0.7737360596656799","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":"Q5076310$0CF7CFC6-84D0-416C-8140-A3844FFC02A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261c5c5bd022e70431a727d30435cfc53ac10e3b","datavalue":{"value":{"entity-type":"item","numeric-id":2147092,"id":"Q2147092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a8eebdf20d09abc76a68a55c53e1db5706b540","datavalue":{"value":{"amount":"+0.7393103241920471","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":"Q5076310$B55A6091-1E54-4243-8CDD-B62F2FFF7059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bc68caa4b695b7dcb8359e548250065be30b1bd","datavalue":{"value":{"entity-type":"item","numeric-id":1688718,"id":"Q1688718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a4ff5d8d91c6e4e964bdbeb29149a62dfe94ab","datavalue":{"value":{"amount":"+0.7363137602806091","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":"Q5076310$D97ACDD1-9BDA-4436-99DB-82D03401E474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"146d534b1608d2275eedbb2a3ac0fcc3b8412f6e","datavalue":{"value":{"entity-type":"item","numeric-id":360145,"id":"Q360145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e83ceed1d0fa7c5118f827131d8620f4a5ac107d","datavalue":{"value":{"amount":"+0.7342771887779236","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":"Q5076310$6BF50AD2-0042-49D3-B3BB-320E5AF5EAEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Migrating_techniques_from_search-based_multi-agent_path_finding_solvers_to_SAT-based_approach"}}}}}