{"entities":{"Q5408418":{"pageid":7437992,"ns":120,"title":"Item:Q5408418","lastrevid":51972053,"modified":"2026-01-20T16:09:22Z","type":"item","id":"Q5408418","labels":{"en":{"language":"en","value":"A constraint-based approach to solving games on infinite graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6282424"}},"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":"Q5408418$21E19687-8F85-4136-82FC-2AFF4DFA4CD5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ed537778d2269149eb548b3330d860eb4b8a3833","datavalue":{"value":{"text":"A constraint-based approach to solving games on infinite graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5408418$3B15DF97-54D6-45BA-AC9C-D03630DDC0BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"028fe5cc16cc97339889e88f123da60bf53f519b","datavalue":{"value":"1284.91009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$D840F978-AF1D-4FF7-A6F0-1B9747D3D924","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb785900c9ade5cc0bafde5892724ffe52ddfeeb","datavalue":{"value":"10.1145/2535838.2535860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$6E0100CE-392E-45CC-AD46-07920D80E7E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e454c70daebfcff7439a5cb57be0474ae652d8d0","datavalue":{"value":{"entity-type":"item","numeric-id":5015365,"id":"Q5015365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$E9AA1DA1-A4B9-4E2F-A5F3-4E9788F3B170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a79f3b409f94f1ce850864706ce220316e5542","datavalue":{"value":{"entity-type":"item","numeric-id":1653003,"id":"Q1653003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$7E60517D-7504-4EB4-80CA-BB09E4B1F982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f09e7b1eefa8c699a9d529da40fe033eb88541","datavalue":{"value":{"entity-type":"item","numeric-id":604393,"id":"Q604393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$35DC6A31-BA8B-484A-989B-01606242B532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb5194b074431f4ab5210cd57ca7a7f1a1e79525","datavalue":{"value":{"entity-type":"item","numeric-id":948221,"id":"Q948221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$8B0B5AF9-4156-4547-8A8D-359FEFA3636D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"640f3283bf4ebaf19f5992b18fbb1bf0f8463c2b","datavalue":{"value":{"entity-type":"item","numeric-id":5408394,"id":"Q5408394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$3588E0C8-E0A6-4C64-99FE-FC98AEEBEE81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d29d162184913e14034b04455ad3f441d2a1856b","datavalue":{"value":{"time":"+2014-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5408418$1DDA3B64-4673-4369-BEF2-70E13997CBBC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$09E82716-A618-4BA1-83B6-343CE6CEA312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$5130C783-1E05-41E0-96E5-7AEE2768110C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$FFFFA71C-0CDF-4AEF-BAFF-4DEC60C7942D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$878133DA-5FEB-4733-A537-6145498C91EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$0210A629-B57C-411A-9B1A-4E2E60EB65F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$2EF16D20-F612-47D5-B3B0-32EAF91DDC1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c670dffbb844f21c2e426350694ebc65fc448ca3","datavalue":{"value":"6282424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$82DC3F61-FB9D-4344-9E1B-14EEAD5D4B87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408418$D048D181-BABE-4F7F-9B1A-69731C36AA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e431190495251d75e7d7f973ca704f4139885eb","datavalue":{"value":"Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408418$6773B0D3-9FFD-4B14-BC7C-BEFBDC6DB0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408418$80B4B9BB-6B85-4DAD-AA3A-9B9A1D41FAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3719ed41893672db063f7cdecb5bcd68172db4a4","datavalue":{"value":"proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408418$EA1B75DA-5D39-44C0-AC0F-6B4CEF66CE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408418$9F239BB4-C028-4C72-B8CD-BB63D5A37920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5408418$2CF07716-B5ED-4557-830D-0B52D3E0942D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$3A98429D-D8D8-4B39-8CAC-9042CBB4CF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$91FD1F92-8B27-442D-8021-5E99F97BD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1cb5c7412a95b8ff7f1ba4b73ca4c2023bf710a7","datavalue":{"value":{"entity-type":"item","numeric-id":21916,"id":"Q21916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5408418$089DA17F-4D6E-42FC-98D6-5F68EE431D5C","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":"Q5408418$F3852AF2-0A50-4C34-AB95-39E012833883","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60240ded2be198c627a43b7fba29d7bf9fe0653e","datavalue":{"value":"https://doi.org/10.1145/2535838.2535860","type":"string"},"datatype":"url"},"type":"statement","id":"Q5408418$C20D02F9-BF25-45E2-BF53-5D95E66ECFEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e41f2c6edf439b0727c029cf00dd1c52b8d461b","datavalue":{"value":"W2140673956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5408418$30F0A615-E1E4-45CD-B3E3-1C3A561E0ABD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab71b17e56cd6bac5d2220ed9b6c0ec5bec6a547","datavalue":{"value":{"entity-type":"item","numeric-id":4596605,"id":"Q4596605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26d43de53d01aa38dd3757c184e7016ba5b313b6","datavalue":{"value":{"amount":"+0.8427773714065552","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":"Q5408418$DA93F507-BA2D-41B0-A523-533DFD102AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3cce9f93fa829f480f77fbc71a2b39140912748","datavalue":{"value":{"entity-type":"item","numeric-id":4470500,"id":"Q4470500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c741235e0ad252777b6f3a4d81275950350631aa","datavalue":{"value":{"amount":"+0.8021363615989685","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":"Q5408418$50D791E8-B75C-45A0-9D08-8790AD11695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d3aade13142eab29c3ba443a18d3d8abdf737fd","datavalue":{"value":{"entity-type":"item","numeric-id":5900671,"id":"Q5900671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1a709b3dfdb2a809372490c5b57af81fd77845","datavalue":{"value":{"amount":"+0.7974756360054016","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":"Q5408418$23652FA5-40AB-42FE-A703-E6E2BDBDDC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0393ab612837b20c9cc7819643a0aec4962e499","datavalue":{"value":{"entity-type":"item","numeric-id":4791854,"id":"Q4791854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2796f74e9a58c67b2d633793b8469b5e498245ba","datavalue":{"value":{"amount":"+0.7970651388168335","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":"Q5408418$EBE8D8E9-9577-4527-9287-028A57EB27D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626a31e082dffb0e3541d2346d04d02e9dbadbaa","datavalue":{"value":{"entity-type":"item","numeric-id":1314640,"id":"Q1314640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2796f74e9a58c67b2d633793b8469b5e498245ba","datavalue":{"value":{"amount":"+0.7970651388168335","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":"Q5408418$5E35E175-816A-4248-B822-BB8FC8A8AA01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5408418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5408418"}}}}}