{"entities":{"Q4720798":{"pageid":6750375,"ns":120,"title":"Item:Q4720798","lastrevid":49038709,"modified":"2026-01-06T12:28:43Z","type":"item","id":"Q4720798","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3992945"}},"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":"Q4720798$33046D85-18EE-401F-96DD-BA65F7D1B697","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"416c82860a3c4e4ff9742196f44a529389ef3082","datavalue":{"value":"0613.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720798$C41193B0-5084-45C6-93F7-6884DA6CB79F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"398d5a9bd6a3354a9e18d0e067838ab447814818","datavalue":{"value":{"entity-type":"item","numeric-id":2943210,"id":"Q2943210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4720798$423E106D-AD85-4E50-9CD1-880BDEA39F9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4720798$3A296E6D-F807-43A0-A702-D6A68A0899D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720798$BF2F44D7-66B2-4EDD-B6AD-F1756EB328E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720798$B0AF50E9-64A9-4013-80D7-7CCED6F8C9FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"69c3782a7c785996a93836424b4958900751734f","datavalue":{"value":"3992945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720798$333D6042-3828-45EC-B1B9-4268DE60A86B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"952fbbffd2fb7de147d2abf1a0c6f462189643b7","datavalue":{"value":"forward theorem proving algorithm DS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720798$A0F2FD95-A830-4AAD-946D-4A409C9AFA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33af6b134fe0520c3b0fb9ccfcba1a272568ec20","datavalue":{"value":"Natural Deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720798$74CC499C-F16B-475F-B278-2B33F784C23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3ca75092d6f4cb820ef187204581d0c311a876","datavalue":{"value":"modification of the Prawitz's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720798$24E50D35-F05C-4FFF-A435-FC15B279F22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a815a5b84b745513b0ff52e3c27a48c8825dbb0f","datavalue":{"value":"locality of variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720798$8FEECB43-4AB7-45C2-B94E-00E75E70D5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74df8d70100a0553d5c8511ff10ec83a55af654b","datavalue":{"value":"subsumption strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720798$84FD9DFA-6CED-4A96-BE76-EB66868659B9","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":"Q4720798$A67EBECC-0FC6-405D-A4B5-C7DF0C30807F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a112d1013d75b0ddf62d8793fee33d050d77f8b1","datavalue":{"value":{"entity-type":"item","numeric-id":4681159,"id":"Q4681159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcff570ceb93f26a8fa2486bf6e9b5eedbb7be1","datavalue":{"value":{"amount":"+0.7791974544525146","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":"Q4720798$EB0330CB-AF98-452F-885E-430942A01D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3360a61977a1ee968db1e29c50105216b7d324b3","datavalue":{"value":{"entity-type":"item","numeric-id":4268421,"id":"Q4268421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a143de7d6aa9b64a5d07c63160995cd3007581","datavalue":{"value":{"amount":"+0.772408664226532","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":"Q4720798$C7A0A550-0E15-4C69-B1A8-4C24C4EDE04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8685d12c668c5305ca1caae76f7d99ad21a6bbcb","datavalue":{"value":{"entity-type":"item","numeric-id":3708773,"id":"Q3708773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef98216cae8aa1f3eec7c8d36e5e5e5fd4e1b4e","datavalue":{"value":{"amount":"+0.7713445425033569","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":"Q4720798$CDFF01E4-E2D9-46FB-A470-955199FA6507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9765cac59eddcea60234504b856d9327e06abad7","datavalue":{"value":{"entity-type":"item","numeric-id":3496309,"id":"Q3496309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92c7483dc625d8fc8eee1c4b6919768790edc16a","datavalue":{"value":{"amount":"+0.7684507369995117","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":"Q4720798$B6E192FF-9210-4A21-99B2-F29E7E1E024E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6af2c0e8cbd76ee54f03b159b90cdfcca24c45f","datavalue":{"value":{"entity-type":"item","numeric-id":4938416,"id":"Q4938416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aac25916779f5cd85946069c41b4895fbf92c87","datavalue":{"value":{"amount":"+0.7660617232322693","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":"Q4720798$1ABEB7A0-7CD7-40B9-A8E0-468643D47754","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4720798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4720798"}}}}}