{"entities":{"Q1827410":{"pageid":1838152,"ns":120,"title":"Item:Q1827410","lastrevid":69422448,"modified":"2026-04-13T06:53:50Z","type":"item","id":"Q1827410","labels":{"en":{"language":"en","value":"Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2083416"}},"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":"Q1827410$91BFCC9E-1236-4A66-9D16-CB9EB952B1A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b4e3918fe6aa3fc2caa3375003f885511ef55f","datavalue":{"value":{"text":"Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1827410$DF655388-1242-4AD4-B995-FE40D28C655C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f14799f33c1a2f0aaf9ecee1c9af44123d5d02fe","datavalue":{"value":"1074.68624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827410$2A7844F9-73BC-4810-B0C9-2EE47733155E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fe82b2977042c7de7d352d005e81e530d02df3f","datavalue":{"value":"10.1023/B:JLLI.0000024734.80591.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827410$8035D404-A13B-4469-8107-6D6ABEE8C63D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ca8be391a24bfc8087ea19a8be0d1ebf311879b","datavalue":{"value":{"entity-type":"item","numeric-id":174812,"id":"Q174812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$D089C6E2-61F2-44ED-A0AF-745D2FFC1548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e7b460323a704d40ca67c395da5e70e5599a5b7","datavalue":{"value":{"entity-type":"item","numeric-id":1827408,"id":"Q1827408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$85F59425-FE62-48F3-8A0E-A3976CD82F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd0be796755ac64a7d5542c0ed0fb0f60e947e8","datavalue":{"value":{"entity-type":"item","numeric-id":1827409,"id":"Q1827409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$346A7F14-E43D-474E-8278-C28487B6C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a249bb16ad9659174afbeac0079e63076c2f0c81","datavalue":{"value":{"entity-type":"item","numeric-id":174814,"id":"Q174814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$1A8E2856-8393-4FB8-88CA-3D35A47DDE47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$D906412D-58CC-4DE5-9542-C029FFDD4E1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1827410$460B553A-22F7-4C6D-ABDC-46B5C6E8C6BC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ae62b6ae8284bad4753b7ed23b6f2503aa5e4b9f","datavalue":{"value":"68T50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827410$305B3B82-0DDE-4BAB-9351-1ABD611893A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827410$9D89EB54-2C9F-425C-A932-E66E9D0FD8C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"278409d2b6ca793b8c8b9c716ffd5c8428a303e7","datavalue":{"value":"2083416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827410$08261A05-5931-450B-8181-743E5871B7B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"699cceab407bef8bfc0daea16ea0637d8a261fae","datavalue":{"value":"dependency grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$5D205316-C164-4BDE-8571-80E90317F92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$5A7A9287-AC51-4D32-87B2-AE4C8C7D5F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6e7f61a8f056cf5734dd302513cf87a92daeaf4","datavalue":{"value":"generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$F909FFDA-BBBF-4A0B-A591-E1A75674E6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a0c7bb0ecf32b900347362cf461885c46f832ca","datavalue":{"value":"parsing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$708861FA-F264-4BAB-8D2F-DE1DE1DC9AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be0a32d7d876665b3b7b74e780f10c381dad8f5a","datavalue":{"value":"reference resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$281AD3D9-9FBE-416E-A70D-AA922D8E38C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fde92a5a5d974ab734a2added9a52761b5c9373","datavalue":{"value":"text adventures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$1FCD2341-B27B-43D2-A116-87D582C7BAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1827410$5803F4AE-9C51-4738-B5E0-3B506B4EE064","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e312142cae88d90a183ea896054e812ea7e86a85","datavalue":{"value":{"entity-type":"item","numeric-id":16927,"id":"Q16927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$77181CC9-9D92-429E-9571-325C9379C5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bc77af174298c7eb41d0137956ef240d703fe0ef","datavalue":{"value":{"entity-type":"item","numeric-id":21816,"id":"Q21816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1827410$A6933A5E-C299-41C0-80B4-17DB287A132C","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":"Q1827410$E7C92CCE-BEDE-4308-8D8C-3A834C64AB68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ab2263e9d219a7a523e53fe54c055d64a83a240","datavalue":{"value":"https://doi.org/10.1023/b:jlli.0000024734.80591.30","type":"string"},"datatype":"url"},"type":"statement","id":"Q1827410$D2492F38-98A7-4AA3-9B3D-21879EBD7216","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8991a69ff0dbb4441c9332fd4f6b66e768d2ca43","datavalue":{"value":"W1968791887","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1827410$6CA9FCC3-16B4-4000-8810-64E0D6A1123A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73216096895c092ee089b816fffe39e9ebd30a9c","datavalue":{"value":{"entity-type":"item","numeric-id":4536707,"id":"Q4536707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa5d48dc010d33c8161970854a2ae5b300b3efa","datavalue":{"value":{"amount":"+0.6905503869056702","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":"Q1827410$162F9CCC-717B-4076-8300-C9847C25A7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"213ef61fb3d399571c50efb9d1c13dab5fe0a83f","datavalue":{"value":{"entity-type":"item","numeric-id":5015101,"id":"Q5015101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a38ce996c3c4102c26460244a9bae4d3dc08ee92","datavalue":{"value":{"amount":"+0.6666110157966614","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":"Q1827410$53AC796C-7C02-4C9F-A556-7813E6AAAE9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fa31bf61dee5c28cb4387de65d27eb8fa78f7e","datavalue":{"value":{"entity-type":"item","numeric-id":4599511,"id":"Q4599511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa87557192ced2bcedb34a903ba319fd59f3b072","datavalue":{"value":{"amount":"+0.6633507013320923","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":"Q1827410$48D5A588-98D4-45B6-B933-F482D176022B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0eeed11718e4d5e2a9e87fc94586e13922cbe04","datavalue":{"value":{"entity-type":"item","numeric-id":4941944,"id":"Q4941944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bf53ca9cf8c83e08b0d17aa114d7d607bd6a0e0","datavalue":{"value":{"amount":"+0.6476393938064575","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":"Q1827410$594AFF5C-B97B-474C-B277-41283707A99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47ea1065aa67084c142db3e7a963a061bd53813b","datavalue":{"value":{"entity-type":"item","numeric-id":3001927,"id":"Q3001927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1867711205e6b8072e61042d5e68b5da112553a5","datavalue":{"value":{"amount":"+0.6422644257545471","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":"Q1827410$D882ED67-4AD4-4746-865F-2D8A73A92930","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Put my galakmid coin into the dispenser and kick it: computational linguistics and theorem proving in a computer game","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Put_my_galakmid_coin_into_the_dispenser_and_kick_it:_computational_linguistics_and_theorem_proving_in_a_computer_game"}}}}}