{"entities":{"Q4242056":{"pageid":6271657,"ns":120,"title":"Item:Q4242056","lastrevid":41818702,"modified":"2025-05-08T17:16:28Z","type":"item","id":"Q4242056","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1285157"}},"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":"Q4242056$58C20BAD-6102-4E42-A8E0-5933C2E22BAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04e0e3e31a6db242f228ced887de1bb264511145","datavalue":{"value":"0914.68177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242056$1D1A8CAF-B002-4700-8E7B-EEC20CF348A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4471e2db545347311a5011665672d7ca25252aea","datavalue":{"value":{"entity-type":"item","numeric-id":2726293,"id":"Q2726293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242056$DBCFB0F0-D872-4F18-A2BF-BD2CB9AF235B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7e6fffbecb83d3a5fffbe11935cdeae83ea4db0","datavalue":{"value":{"entity-type":"item","numeric-id":167071,"id":"Q167071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242056$6C7C396D-C586-4AB0-B106-1D8B2984923D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d813d017569a88be575f72f65c9be3f8b448fdd","datavalue":{"value":{"time":"+1999-05-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":"Q4242056$79A6B1B6-3037-4FB8-BD2D-7CA28662F790","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242056$D10E94D4-7D3F-4A08-AFC3-3B2C3275B0D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1100d16bc87e7b0f30d36058d5bd30da4bcebacb","datavalue":{"value":"1285157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242056$4D6845F2-4868-4A39-A128-E13BE9EE5CDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c417c8ed56d9c443d1492a1c72cd519f9d4521f","datavalue":{"value":"bottom-up theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242056$3382D930-5855-4C38-AE12-E74AC33A7003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e8b8eb24cdc4a4fb9b62028db8e2fa2935457f1","datavalue":{"value":"top-down prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242056$E83B25A4-AABF-4867-81D1-967E39A8F8C3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242056$A2AEC104-C805-4177-B7C9-949718E390D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242056$9351E212-11A1-43D5-9F95-9126C3E69030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242056$A839CBD1-A08F-420C-A959-EF96E510F52C","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":"Q4242056$9BB66A85-ED9D-4C32-8C13-4F4B004F641F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a902ff817b2748de60a657c337c8eb575bb623a4","datavalue":{"value":{"entity-type":"item","numeric-id":4217955,"id":"Q4217955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b49d78beb2d185b06fcd834d73ee966dd06a53a","datavalue":{"value":{"amount":"+0.92470866","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":"Q4242056$AC9ABC43-B263-4D11-B780-B03AFA23B3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4916b946f0dcef66c2bc414ed123ab53a201ea","datavalue":{"value":{"entity-type":"item","numeric-id":4524781,"id":"Q4524781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67a59253d15c1974892e31d8178ff222d490ec2","datavalue":{"value":{"amount":"+0.9245231","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":"Q4242056$7E997AE7-F70C-48FE-B597-77AE4CB5B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7ee1640d3de6b71d610b58b631625dc1049572","datavalue":{"value":{"entity-type":"item","numeric-id":4246966,"id":"Q4246966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2140475e16c42158447464832918e60782fb22f","datavalue":{"value":{"amount":"+0.8725681","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":"Q4242056$05F53C3A-FD72-4243-9024-B7DC604F31FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffc202638374ea772190b3e3d3f5d32f56840118","datavalue":{"value":{"entity-type":"item","numeric-id":1978017,"id":"Q1978017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"439920859bbf2c8f5de23ed69f909657b6db8a3d","datavalue":{"value":{"amount":"+0.87036306","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":"Q4242056$334AF6AE-7852-4372-AD0D-6C696F97CC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef1ed3065968672c17b7fba9f35c06dd0f65599","datavalue":{"value":{"entity-type":"item","numeric-id":2726294,"id":"Q2726294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba0b40898c7f1e15471aae17db19054ada2a8bf","datavalue":{"value":{"amount":"+0.8663625","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":"Q4242056$F9D148DF-34AC-4B71-93B6-BE3717FFF695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e348351fc0d55da2a66fc3a8fea950fad5013e","datavalue":{"value":{"entity-type":"item","numeric-id":2848688,"id":"Q2848688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3a43121a47b5feb14daaec53c1f9ddfcf28887","datavalue":{"value":{"amount":"+0.85774446","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":"Q4242056$45611B65-DD6E-4425-B84A-477D96A69C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eebdd0b218777c7184a5d10cf8ad8d1fba089cb1","datavalue":{"value":{"entity-type":"item","numeric-id":4282573,"id":"Q4282573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f09bd195f2c79bed7c4ae658394c87e5598e2a3","datavalue":{"value":{"amount":"+0.8560612","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":"Q4242056$25B93DE4-9824-4932-AA5E-785D8C9A15D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4043424a019ad7473006eca39e1b8daadbac8cf","datavalue":{"value":{"entity-type":"item","numeric-id":2102932,"id":"Q2102932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24a1b39937f774175d63e6084e28c66e7348e4f0","datavalue":{"value":{"amount":"+0.8552598","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":"Q4242056$843F03A0-D97C-4A21-BC16-D8ACFC1E17FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b334918dd1a2aa0f0f022268f87ecb12c10c047","datavalue":{"value":{"entity-type":"item","numeric-id":2881098,"id":"Q2881098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96f8242e0954715eae288b15e115b124c92dbdf5","datavalue":{"value":{"amount":"+0.853971","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":"Q4242056$BEB747B9-5649-4090-9DAB-3CAA0AADF518","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4242056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4242056"}}}}}