{"entities":{"Q2957963":{"pageid":2968682,"ns":120,"title":"Item:Q2957963","lastrevid":79775129,"modified":"2026-05-06T14:40:58Z","type":"item","id":"Q2957963","labels":{"en":{"language":"en","value":"Fast interpreter for logical reasoning in general game playing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679289"}},"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":"Q2957963$1CD8CD93-B970-48C6-9998-50306BD203B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07512f242f4b450133a73b528770886d79273bf4","datavalue":{"value":{"text":"Fast interpreter for logical reasoning in general game playing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957963$3F6C7B49-95E9-4C35-A930-51FBC5AC9ABE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eca5d772545e2e82116abef6fc0fc3a11c68f3b7","datavalue":{"value":"1354.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$67B9D494-52D6-402E-BF76-294D984F9F23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0583d448fa4becc985084bb44e8e4330b189664","datavalue":{"value":{"entity-type":"item","numeric-id":2957962,"id":"Q2957962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957963$7C15A043-38B3-4294-9ED8-529EC9356CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e42e56d6257b107048e77bb9ab5046fd7a10faa","datavalue":{"value":{"entity-type":"item","numeric-id":1182902,"id":"Q1182902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957963$3AE9CAFA-5BFB-4645-BB90-89E0956F0C50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"815303437f00d43bf102b8558cec57c99154e522","datavalue":{"value":{"time":"+2017-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957963$816E7D33-7E22-452E-A631-CE51343035FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$46D6DFD9-77AC-41CC-B1E9-22A0018356B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$F1136B4F-B914-4725-A9E9-EAF044656D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$549CA8DD-C9ED-400A-9961-101CD5112FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"171703f47ce64adcb3970699f9fb2f2086a56799","datavalue":{"value":"91-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$0F322455-4461-41FE-8F99-966AB2CC09EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1719d6d4a46dfaf08e2506975c465c5a82f3168b","datavalue":{"value":"91A90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$E1C981D4-85F1-4B8C-83C1-45166BAD92FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61e21fae2063175310d73e53be5b446360539bcb","datavalue":{"value":"6679289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$4786704C-69B8-43AA-935A-E45F4D368DD3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957963$44391D5B-A95E-4025-95B2-C72621EE0245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0046453a52f9c70fe09ac2789497cf61fa49a855","datavalue":{"value":"general game playing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957963$815EA75A-08E0-4485-852F-5A5A9F36AC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37265b19d700d73c3b7e6b52da53cb3d1f6784c0","datavalue":{"value":"game description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957963$5A4E1B87-86BE-4B00-9C75-E649A65E144A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957963$23B6769B-604A-46C7-8415-A9A34D7767BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840269d56ab26ce733fb2eea491e4e0f0cb13bec","datavalue":{"value":"logical programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957963$82F8A802-B81A-4CE4-8644-2152055C16C5","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":"Q2957963$7CE1C9B6-F348-4C8B-BB1F-D615AC474AC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"52416105fb5664ffc8fe09fc5388f91838c52996","datavalue":{"value":"https://doi.org/10.1093/logcom/exu058","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957963$35054276-B20F-4A0E-A288-B390C077F450","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dad0cd512198837bc32ed50bc501ed0eb10fc9b6","datavalue":{"value":"W2248882425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$52E5EB24-246B-4F67-AB9D-211E3B488155","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730b908324c6d33e31674c50bda952675248a900","datavalue":{"value":"10.1093/LOGCOM/EXU058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957963$8DC57DF5-A033-4E8B-AB0C-01066EE17048","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957963$A5D723BC-B2E2-401C-8485-824A0489C23F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0551b67b13072d28730c735a4eccadb8803fe2f","datavalue":{"value":{"entity-type":"item","numeric-id":3460615,"id":"Q3460615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca5f967583ee04a66856ef341e50c86f8ec6b9f3","datavalue":{"value":{"amount":"+0.84343386","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":"Q2957963$26C3A1DA-4645-473D-97E0-C136D581A121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311fa1f20dea265380273688b7df875d3e52af6f","datavalue":{"value":{"entity-type":"item","numeric-id":4811597,"id":"Q4811597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23ecc105ede1f0cb22861b9328b6b1dbf1192065","datavalue":{"value":{"amount":"+0.83501947","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":"Q2957963$BD806605-16D1-48F9-BEFE-A4A6FC0B13FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5460bfc6c534cced729aa559c86b2e57588d153e","datavalue":{"value":{"entity-type":"item","numeric-id":2817409,"id":"Q2817409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25c411f968e297c3d78683f82ef20f00babd9cb8","datavalue":{"value":{"amount":"+0.83280694","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":"Q2957963$92B94A33-031A-49B0-9CA0-80CF81FDADB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3a2c0a5cf3d67c2bb130e1b9a7ba829917a498f","datavalue":{"value":{"entity-type":"item","numeric-id":4506389,"id":"Q4506389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe17d73ea267dd98e1e3a8a97b0c1eeb2d76ee92","datavalue":{"value":{"amount":"+0.83173394","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":"Q2957963$197908DD-E915-4CB9-B607-523068E00329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecc6dbd73a308081e29e7c7043ea3202b08c2e6a","datavalue":{"value":{"entity-type":"item","numeric-id":388214,"id":"Q388214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b86659224d4ff0cb17d4622702e1756e1a2d10ff","datavalue":{"value":{"amount":"+0.8310443","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":"Q2957963$6EB77F76-E1D5-4376-AC38-97092F9674D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cea0efeafc8742ad319e10704112f9b02dd0c5","datavalue":{"value":{"entity-type":"item","numeric-id":345702,"id":"Q345702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302c0c08104a01cfeee5156e84e6ac727dff7308","datavalue":{"value":{"amount":"+0.8306017","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":"Q2957963$651AEA88-4CDD-4906-B7CC-1C48A91716DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60331b663f10ff547a709f3c81ba3a2990cac227","datavalue":{"value":{"entity-type":"item","numeric-id":2851265,"id":"Q2851265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302c0c08104a01cfeee5156e84e6ac727dff7308","datavalue":{"value":{"amount":"+0.8306017","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":"Q2957963$1A1337AA-3214-4F35-A1B8-5472B01FE29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5278cb6101492a861578c50035276fc8851e914b","datavalue":{"value":{"entity-type":"item","numeric-id":2811655,"id":"Q2811655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9dd3e53fddc114c1947e5a05fcf74761889267c","datavalue":{"value":{"amount":"+0.8269886","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":"Q2957963$800B3A31-9C35-41BF-8D4A-F43502F79F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d5de50d48926685545e6347419f2228f99d837","datavalue":{"value":{"entity-type":"item","numeric-id":3000103,"id":"Q3000103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2556b6158c0c50379c823d1f4709ed0c3c3c1ed8","datavalue":{"value":{"amount":"+0.82615703","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":"Q2957963$231AA8C4-C05D-40FF-B4B0-25E04BE5A143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast interpreter for logical reasoning in general game playing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_interpreter_for_logical_reasoning_in_general_game_playing"}}}}}