{"entities":{"Q5076330":{"pageid":7105906,"ns":120,"title":"Item:Q5076330","lastrevid":41225828,"modified":"2025-04-21T14:45:04Z","type":"item","id":"Q5076330","labels":{"en":{"language":"en","value":"Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7527543"}},"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":"Q5076330$FCB87383-7952-48BF-841D-2E144CE6C1B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e06dd19fcc9503d30a4f66d8a4c6c83b4a40bbd","datavalue":{"value":{"text":"Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5076330$12FEE71B-817E-40F1-B8C9-364651F6B714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52000320d108ee6b6146ae320a672f6ae77321de","datavalue":{"value":{"entity-type":"item","numeric-id":785240,"id":"Q785240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076330$BC267D08-DCDB-460A-A650-4187BDB16DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45ff5eb95cd0f47a5dcbb6509988939501b112b5","datavalue":{"value":{"entity-type":"item","numeric-id":598544,"id":"Q598544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076330$F0287755-CE25-4EC4-8600-4454D5D65A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e80469ccad547cffd757801ac819d677ad7e1e3","datavalue":{"value":{"entity-type":"item","numeric-id":1641033,"id":"Q1641033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076330$DB368588-09D5-4F6C-950C-A3314D9BA8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e08876326ca297b4bb50f9f0ade1d19b91843ad7","datavalue":{"value":{"entity-type":"item","numeric-id":832274,"id":"Q832274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076330$37079305-15F1-42AC-934E-1BCC590D6551","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":"Q5076330$EF1E9AA7-315B-4F04-9ACB-9759DD7C5773","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":"Q5076330$AA49E49D-B595-470D-BB5A-2341C8C50439","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076330$4A7ED736-363F-4000-BA86-BB2A5F373D0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d526a37a03b68a99fbee4e963461469984ddfce","datavalue":{"value":"7527543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076330$C61F2FB7-9DE7-41F4-B6E8-9E0E4F5A642B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad58a226eff21a70be845cd71cac40ef99497fa1","datavalue":{"value":"multiagent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076330$2DF4B0AA-AC3D-4D7A-81AD-11FE2E52319B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076330$C7836268-E2B5-436A-87AF-FFE9E564ACEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076330$03F9CAD1-1DB1-4F30-BCF8-359A40FC8828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5076330$64AD29FB-4560-4108-B63C-99EADC4FE2B1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af5bf62d73c7ce629c0669b5ccd1badd6d3f9691","datavalue":{"value":{"entity-type":"item","numeric-id":21446,"id":"Q21446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5076330$C6F5B19C-7830-495A-AE91-C2E9D759AD5D","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":"Q5076330$6CB32291-998E-4982-A7E3-731198FF3433","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df246fa535a3066c42a1e2fe20d07948c2d12508","datavalue":{"value":"https://doi.org/10.1613/jair.1.12539","type":"string"},"datatype":"url"},"type":"statement","id":"Q5076330$C1B5F3CD-EABD-4DAE-BFA5-B0B8DD2389E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9e82988dc721a7e724d180b77464b5de44356c14","datavalue":{"value":"W4221125451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076330$6236DB53-5929-410C-966F-B597135CEF61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05ca2eb65d27070938a0f86966b2f36b0d4af82f","datavalue":{"value":"10.1613/JAIR.1.12539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5076330$80509167-CE9F-40C6-9F9A-3E7417728E43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525a52c1ed5a117ade6a78bec574bdfb9e2217db","datavalue":{"value":{"entity-type":"item","numeric-id":5222875,"id":"Q5222875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28ec2936fddd81916d223c2f3568769f9f49f38","datavalue":{"value":{"amount":"+0.88470036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$1BC04CDF-0A47-4960-BB61-A50E15F6F89F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22e4f2c260d9ec18961b825ffc9b5847ecf705","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"443d00adc9dd9731a34a07ed0538eb248e9662be","datavalue":{"value":{"amount":"+0.86584413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$6F926A57-67F2-4C25-B4BF-F04E6A4FF79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"506c9eb944e472ab68d526f7675f0d6bf457aa96","datavalue":{"value":{"entity-type":"item","numeric-id":2289016,"id":"Q2289016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd9a91871a3f71af9194202a0e808c9185f0de8","datavalue":{"value":{"amount":"+0.8637273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$3460D77C-26D3-41E5-9D92-67104FCD43FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace8d605e81d42634fe084302327e08a55834dcd","datavalue":{"value":{"amount":"+0.86006504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$545F7A08-DA9C-43E5-8B17-BF6CA2289BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d2ab5bc7e4f6e47ce2cfac808d5206f05d7cf4","datavalue":{"value":{"entity-type":"item","numeric-id":4501688,"id":"Q4501688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d26ecd16141ad87ecb938c91a7b1a9946c3da348","datavalue":{"value":{"amount":"+0.85852176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$D1104FBE-BF1F-413C-97FE-BBD7753882FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f93def798b2c81427413da3d4426e635477e54de","datavalue":{"value":{"entity-type":"item","numeric-id":1938921,"id":"Q1938921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9eb536f964324162d1358710f2491e19f3e80f4","datavalue":{"value":{"amount":"+0.85223657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$D73350CB-625E-4103-954E-72E5AB7B5B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"497d68d22153a250d02e7328e6260963ced8ded6","datavalue":{"value":{"entity-type":"item","numeric-id":3457975,"id":"Q3457975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b732a8049d0388e6e0d4af62b9eff7e60b156fa4","datavalue":{"value":{"amount":"+0.84822947","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$A3051DBE-BF12-4BB3-8A84-C637C8F201E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c6a728aab6a790a3795ae04f70105c8e411f0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1006515,"id":"Q1006515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99820485fb22738213c3bdcbcd54b91ee59ac508","datavalue":{"value":{"amount":"+0.8429227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$F4141318-17D4-47A8-A305-476EBBFE2901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5cf77b0af3bb0c9e9ba9f2d7179ac2c92fa53ec","datavalue":{"value":{"entity-type":"item","numeric-id":3056329,"id":"Q3056329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04eaceb8709d5cdad97b314a624940a43ce5fd6","datavalue":{"value":{"amount":"+0.8398777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5076330$1AC17628-5960-47E5-A2A7-54D07187B9ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5076330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5076330"}}}}}