{"entities":{"Q3773394":{"pageid":5803300,"ns":120,"title":"Item:Q3773394","lastrevid":52135610,"modified":"2026-01-21T00:26:55Z","type":"item","id":"Q3773394","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033137"}},"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":"Q3773394$04293188-06F4-4634-99FA-B09C9A21DD92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b573a2572a77457758aa224eddc1a50fea6a8ff6","datavalue":{"value":"0634.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773394$2FD64565-0574-48F9-9DD0-27744F6BB478","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8793a3c285da222f96cb258a789fa23e24a6923f","datavalue":{"value":{"entity-type":"item","numeric-id":1007595,"id":"Q1007595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773394$4E9BECDE-99FD-46E5-98D5-3A00AA6B164C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3773394$4A129A34-E364-4A2C-93BB-E67BFCEA58B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773394$EFEA0AE1-1D28-466E-B503-77CD7973D8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773394$F019CA8F-5B38-4D00-946A-66BF85F65CBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"165abbc25bca9d5a4d042b731e3b26cdc3b351a1","datavalue":{"value":"4033137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3773394$D45006A5-89B2-4248-A392-472C3F069216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67935c9745e86097c5a009e8bb47d5846729f37a","datavalue":{"value":"Boyer-Moore theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773394$AAF4A3CC-EB55-4765-A062-A43E7ED025DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773394$57772138-F037-493C-B234-436C40946C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6759ef0a24ae9887590bac50fa53a2fd9e64a28b","datavalue":{"value":"induction schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3773394$13E23091-18D7-41BE-8313-E273AE2CBB2B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3773394$7DE827E8-3573-4617-ABF4-9097AAA9EBCC","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":"Q3773394$3F5A5454-ABAC-4520-9450-798D61DF853B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f461c3d35fe74d36eb0c06054a556db0671e822","datavalue":{"value":{"entity-type":"item","numeric-id":1819945,"id":"Q1819945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181da76cc79794684bfc7e3a689494574ea83ca7","datavalue":{"value":{"amount":"+0.8941776","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":"Q3773394$D1670A83-49AF-4433-AB8A-28AD31C20524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77dd6e8b3716ac8815a409e6de120987392d573d","datavalue":{"value":{"entity-type":"item","numeric-id":688572,"id":"Q688572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d100d5608db1bbf9387dcbfbd87132a74812ced","datavalue":{"value":{"amount":"+0.8884084","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":"Q3773394$051B63B0-806A-4067-9E0E-79D112F21100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2edf7a3370731cd9f51a6356849119e9d04b7298","datavalue":{"value":{"entity-type":"item","numeric-id":4012877,"id":"Q4012877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502e8cbcb2846bc23e230fcd97b7b0271319bae0","datavalue":{"value":{"amount":"+0.8842849","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":"Q3773394$1684E817-62A3-434F-AFF6-2C7928272DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30cc1ea5b7e5002bbf92c6fb2128ebdd9cb4d459","datavalue":{"value":{"entity-type":"item","numeric-id":4835513,"id":"Q4835513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4400f6bc365ce117ddadb47c0c17673febc9df42","datavalue":{"value":{"amount":"+0.8599244","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":"Q3773394$66952007-F07C-47D8-92BE-674CEBE9B598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efed726a00e484c0552e5b0d4ea755abe491f1b8","datavalue":{"value":{"amount":"+0.8489117","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":"Q3773394$868DC0BF-D075-4B28-B86B-30527BAB4D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d5323e680a7c6c14f0810023060c0fa576c7a95","datavalue":{"value":{"entity-type":"item","numeric-id":4911140,"id":"Q4911140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3913a69840225df27a0929d304a96f4cacf5abac","datavalue":{"value":{"amount":"+0.847819","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":"Q3773394$99E23D8E-146D-4632-9CEA-6870E501FAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a03e0dd4ef0b15a881491733cf4173d92acee69d","datavalue":{"value":{"amount":"+0.8446233","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":"Q3773394$C608AAAB-2B78-4DEB-A314-A49E38152384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39acedaef46d1991580b2922086df8ce118410d1","datavalue":{"value":{"entity-type":"item","numeric-id":1915139,"id":"Q1915139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516e3dec1dd052bdcc9bf35c2ba06ec9bd7ba5bb","datavalue":{"value":{"amount":"+0.84119415","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":"Q3773394$E6D9DF8B-5917-4A9D-B5B0-31CD41FD37E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3773394","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3773394"}}}}}