{"entities":{"Q4886736":{"pageid":6916315,"ns":120,"title":"Item:Q4886736","lastrevid":41637305,"modified":"2025-05-06T16:07:00Z","type":"item","id":"Q4886736","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 907678"}},"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":"Q4886736$BEE417E5-8432-493F-AD9F-C7D0CF68ADB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcec30c45810dabc2d359247f905c574cfe31ec1","datavalue":{"value":"0844.00009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886736$B8993595-83D0-4C96-9386-91D948154D95","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea39d34088133350decb299267d3fe6ec694e597","datavalue":{"value":{"time":"+1996-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4886736$542E22BF-5E81-4521-9253-B9047115EB37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886736$19B4619D-2E78-492A-B242-EEFDE09D8761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886736$6FEC2978-C646-454A-BE94-9BC07EA86BE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"645bdd193a9b06ac3d4313865135547c2cec1e51","datavalue":{"value":"907678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4886736$0EA63C9B-D68F-4EF1-B08E-8EA44518B2C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"491bffdaf1acc415614c731e1d55e63905637052","datavalue":{"value":"Automated mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4886736$0BFE96E2-D4F9-466E-9037-B27FE503FD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90e370b9a980d8ae6028b181daad12760bb7bc37","datavalue":{"value":"Mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4886736$90C3888A-208A-467B-A01E-3CC236E1D23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af9b69c81ac27f61c76787df9413bf0462ef508c","datavalue":{"value":"Boyer-Moore prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4886736$E8FA960E-C641-4CE4-9953-195C8AD693FA","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":"Q4886736$815CC1E0-5F6C-47BC-8D8D-E97275E9982C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec40261e8004852901d410e10c4f66c1792c328c","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8742ad33e68d8ef969a25bec641e9e717d69d52","datavalue":{"value":{"amount":"+0.9544699","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":"Q4886736$AB3BE0CC-7BCB-45A2-8A12-1338467A41C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecbdfb5680f3386dbc9b35f581e5d1573128bdad","datavalue":{"value":{"entity-type":"item","numeric-id":1915187,"id":"Q1915187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8742ad33e68d8ef969a25bec641e9e717d69d52","datavalue":{"value":{"amount":"+0.9544699","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":"Q4886736$E6C3FAF0-F9CC-45FA-80AB-DB178F971566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2723f00543f13c31b04b11133c2a53113c4bb5","datavalue":{"value":{"entity-type":"item","numeric-id":4318615,"id":"Q4318615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539a158a37009d6664057f7ced6b7cb66cfddc71","datavalue":{"value":{"amount":"+0.9288231","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":"Q4886736$9AF23977-6BDF-4E85-82C5-698661ED3309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6f935b9a416b2fb999aa9fd8cbef35e9ddfdc9d","datavalue":{"value":{"entity-type":"item","numeric-id":4692618,"id":"Q4692618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539a158a37009d6664057f7ced6b7cb66cfddc71","datavalue":{"value":{"amount":"+0.9288231","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":"Q4886736$79379839-2149-4ECC-B7AB-0A862DF1E5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04812e0faa39f2ad2d44990aa281e1a59afe1209","datavalue":{"value":{"entity-type":"item","numeric-id":1353941,"id":"Q1353941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3d1bef91c80ac6fbdfc4c37c94275a47815d2ba","datavalue":{"value":{"amount":"+0.9281317","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":"Q4886736$5DBF08FB-E98B-45A8-9E1C-FCC84785D3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab957393f8062fe63f7cd3a62133e95796481878","datavalue":{"value":{"amount":"+0.91959757","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":"Q4886736$4D0B1719-584E-441C-8D99-18CB72D5C597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54c9abad7f891cfcf2f54b084a017d53ee5a4bba","datavalue":{"value":{"amount":"+0.87722","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":"Q4886736$40DCCF3F-4294-4FD0-AED7-5895A3095EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd2643c8169f44516b8cb2f813ec1d807c3f8b65","datavalue":{"value":{"amount":"+0.8758891","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":"Q4886736$7194FDC2-F525-4059-AEF2-A280E27172BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4886736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4886736"}}}}}