{"entities":{"Q4370349":{"pageid":6399948,"ns":120,"title":"Item:Q4370349","lastrevid":41817463,"modified":"2025-05-08T16:55:53Z","type":"item","id":"Q4370349","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1104445"}},"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":"Q4370349$10D43CE6-60D6-43E1-9489-92C2490ACAD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a6802ac016b344683ce9daf90d6b0ac4b0c5553","datavalue":{"value":"0899.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370349$35949AEE-FCF1-4D43-9938-8B35DD2D4618","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a74908072c085535999ce582dd8e421c0807eb6a","datavalue":{"value":{"entity-type":"item","numeric-id":799107,"id":"Q799107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4370349$E3C38BB0-FC05-4B69-8676-4D7136C0C738","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e323415c9b9bf123afa53c27de1b0795aa8ea753","datavalue":{"value":{"time":"+1998-11-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":"Q4370349$A244DA70-E830-4767-9053-451C1DF7EBCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370349$EC4EA70E-DD4A-4935-BCAD-C443301EEF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370349$0FC66A7A-3856-44C4-A46E-356925C7A20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370349$03971FC6-1AA2-4F8F-85DA-1FA1D9B5A619","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb28742c1529a63abb1fbf061be712b1358e2531","datavalue":{"value":"1104445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4370349$5F7AF71C-EEAA-4A05-91ED-067D17D48CE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddcecf640b6d55861213e7fe7abad81e6c8080f8","datavalue":{"value":"schema-guided problem solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370349$39B8616B-00BE-457E-A9A7-6B89797A980D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370349$6369B28F-3988-4EE8-A866-FCE1F555A40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63a8b52a151b4b2a8f3e182d3d085de280cf4e9","datavalue":{"value":"LK proof discovery system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370349$AE006C50-16F3-493A-BD1D-C6D1B6A0F3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f591adacfdb8f059f67dd5506990e749fc1b5c9","datavalue":{"value":"proof discovery by analogy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370349$741D2D58-1606-4CDF-B9A2-6BDF2816AB84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370349$4B69B53D-98A0-4AE4-BA16-088D9ABD5862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b810f03b25c169601fde7d73760d941cd0af7a0","datavalue":{"value":"unification-based proof discovery procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4370349$58FF58ED-E784-44CD-896D-53B9F4B5ED4F","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":"Q4370349$28EAFF85-F075-40BF-B524-0A4E1DD1C5C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ef04229fe5b87a8f06fd4e0326e4847ef09985","datavalue":{"value":{"entity-type":"item","numeric-id":1283199,"id":"Q1283199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e89f8cfea8731bd3ad590b60bd839e38879c7469","datavalue":{"value":{"amount":"+0.8862114","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":"Q4370349$0DC330AE-A64D-4239-9A1F-85A2C6523B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a5348b8a4e161aacdbed50cbbc41d026a283965","datavalue":{"value":{"entity-type":"item","numeric-id":3817655,"id":"Q3817655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ddc1ff58cd6d78955703ead97db021af82b78d","datavalue":{"value":{"amount":"+0.87780917","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":"Q4370349$2902674C-A550-4396-9A67-9F427AF3EA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42d5769cee74f3608302c9595c1604263a51d80a","datavalue":{"value":{"entity-type":"item","numeric-id":2746761,"id":"Q2746761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e837ea7aecd4c61b2002578d590216d098003b98","datavalue":{"value":{"amount":"+0.85329306","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":"Q4370349$6D6218CA-2347-475A-AA54-DF60E6637C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"819b6c1f0088495731cdf9037fc2b3a7e97fe1c1","datavalue":{"value":{"entity-type":"item","numeric-id":4647502,"id":"Q4647502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c18ab3988d85853646b5f5f223f97dbd50f0479c","datavalue":{"value":{"amount":"+0.8491156","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":"Q4370349$E8992856-AB4E-43AB-AA72-F7A3936F06D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7334020c30173115a8fb2673f1d4e7ebbc6d3d21","datavalue":{"value":{"entity-type":"item","numeric-id":5235252,"id":"Q5235252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3cda71ce8ec2e105c1585dbb9e707ca05ffa2bf","datavalue":{"value":{"amount":"+0.8434484","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":"Q4370349$0A5AAA16-CABF-4611-B07A-B92A9C8DE832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20a666456026cbeb2b2c1988334a1396c6b0dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":5739522,"id":"Q5739522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a140f99d0341dead39ebf63fdd3211c8af9f9f","datavalue":{"value":{"amount":"+0.8406834","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":"Q4370349$20EEF849-DBCD-4218-A5E8-18C0FB35F9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8daebb386f5b0811f7c17763d9beb7f6aeb15c","datavalue":{"value":{"entity-type":"item","numeric-id":5234724,"id":"Q5234724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074104b9a025310f0b4628d768de886cf4dcaee5","datavalue":{"value":{"amount":"+0.8395447","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":"Q4370349$0CB6D5E9-2E41-4F34-B1A3-4A83A4588F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"debd68b9486f4064fa537e8ed50615f4b651750c","datavalue":{"value":{"entity-type":"item","numeric-id":4217606,"id":"Q4217606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb513b7090d3c2d611fe93270ad3542bc1e1c7bd","datavalue":{"value":{"amount":"+0.8373871","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":"Q4370349$8C4BD2CE-A63C-4AD1-9AEE-1522B09C09A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ec36d3999143771f5f3c520416695cda36ba0c","datavalue":{"value":{"entity-type":"item","numeric-id":4818936,"id":"Q4818936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e722b4624fb439597f1c628d1fe8bcc31bef1c","datavalue":{"value":{"amount":"+0.8363509","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":"Q4370349$4CF04980-A7C6-4FB9-978A-233ACD54E3DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4370349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4370349"}}}}}