{"entities":{"Q1037404":{"pageid":1039252,"ns":120,"title":"Item:Q1037404","lastrevid":69478824,"modified":"2026-04-13T07:16:46Z","type":"item","id":"Q1037404","labels":{"en":{"language":"en","value":"Inductive proof search modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5633346"}},"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":"Q1037404$A76E03F7-122D-4528-9440-43F5EECE874B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fda081444a2635a7a51654b7fd0c4efaa4f9bc2e","datavalue":{"value":{"text":"Inductive proof search modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1037404$5F545AB4-C32A-49DF-A8E8-BD740F26D190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c32307d0fb226b3da9b10eeb6f220c8fc70d5999","datavalue":{"value":"1192.68631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037404$BB4E9AC3-F13D-4146-8B3F-CB75AEE0BB18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d485c18208ab74e19ce1e6fd906e760aa7c6fe8","datavalue":{"value":{"entity-type":"item","numeric-id":1037402,"id":"Q1037402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$F2502B0B-F682-4446-8E70-6B260F9507F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67de4dcf41337233b478a60d1d06381752453e30","datavalue":{"value":{"entity-type":"item","numeric-id":857912,"id":"Q857912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$DB32C07B-B3A4-4F19-BD1B-4B69AF823648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$B6957C79-BE47-4BA0-AE6C-CD220BF6D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"299fd45e816ba1b908db30c8c9483885d8e3c925","datavalue":{"value":{"entity-type":"item","numeric-id":1037403,"id":"Q1037403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$0AB3A311-33ED-4D54-B26D-606B89E38DD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$E9CD9B7D-4B82-405B-88AD-458B40AEE82D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a063ddf8a89ca70cf9f598d7256c305bf346c0e5","datavalue":{"value":{"time":"+2009-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1037404$D6C553B5-438D-4E14-B1FC-76061F747963","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b799168c56f3012132350146a41e46ba4369c30e","datavalue":{"value":"https://hal.inria.fr/inria-00337380/document","type":"string"},"datatype":"url"},"type":"statement","id":"Q1037404$4A7B53FE-E235-4C15-9246-235E85145389","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037404$0DF97460-5FC0-4C8D-B5B3-B2845C100602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037404$155C5D02-E52E-4C0E-B242-B294B61C2705","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6b0478832e83c99ed34aa1d82e346a0d22b77ab","datavalue":{"value":"5633346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037404$F4A34FD0-2275-4DC6-8088-EB3FAACE191F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9395bbc65e0989a172c29dd222f69046747ce8e","datavalue":{"value":"equational rewrite system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1037404$F7D526B6-CBA3-4121-A0BA-0691C5DCCF31","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b1f4655c4093a6763ca4d938d08d8f6020262f1","datavalue":{"value":{"entity-type":"item","numeric-id":22153,"id":"Q22153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$E4A43B9B-176B-479F-A0B0-BDC4A0048FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$A3A4FCDA-199D-4AEF-A5C1-C57CB216AC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$EE414A8F-04D2-4101-B9E9-279896D1550F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3f1ebf2accc5d6c6b3c7a81ee7493fd53a6bf250","datavalue":{"value":{"entity-type":"item","numeric-id":40618,"id":"Q40618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$E0D2B4A6-E7F7-433F-95BA-DC0365C2152B","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":"Q1037404$13A16009-8D2E-47AB-BE35-1AF7AB832CA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c8d270bf3674ad34921769351042c29a3d66bf3","datavalue":{"value":"W1971274612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037404$F134F8BB-1F9F-4142-AC74-DF643AA23485","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"04e127ccb7c16456a4a40a8f84d93c649218d4fa","datavalue":{"value":{"entity-type":"item","numeric-id":3527298,"id":"Q3527298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$C2B0EFB9-89E7-44A9-A091-E325FEC64511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$2A8DE218-1F52-49EE-8096-E37430B4BBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7199b61e16a84b76da4670f962685e538ce1a13b","datavalue":{"value":{"entity-type":"item","numeric-id":1891255,"id":"Q1891255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$0EB7FE98-CE37-46D5-8FF9-5E9836C9132C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$7B6ED470-9E7E-4FA9-8804-B67D62D3CCCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e083ca1dc86b3d062c383762bcf1c551d67dd3fa","datavalue":{"value":{"entity-type":"item","numeric-id":3608815,"id":"Q3608815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$475EAB7E-EE3C-4C89-AB8F-A619CBA4B5E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65780b8ff63e05ed04842daf28a78e06b919dc34","datavalue":{"value":{"entity-type":"item","numeric-id":3103982,"id":"Q3103982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$A3DDCE2F-89C3-4771-A2EE-01C71A728127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1272332821781f00780d9c30b66a912b70f4d17","datavalue":{"value":{"entity-type":"item","numeric-id":1854350,"id":"Q1854350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$A36C4FA9-D441-453D-A3C0-7538FC5374D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fe32806edf287e44f6855c200795e18b751477f","datavalue":{"value":{"entity-type":"item","numeric-id":2751366,"id":"Q2751366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$8F6D5F0D-9A3C-458C-9D6B-4E708F189979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087cbdfe7611f0fb92af9e5ed9ae255ff23dbb6","datavalue":{"value":{"entity-type":"item","numeric-id":5900725,"id":"Q5900725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$E4E22A2E-06C1-4F2F-848A-F6DFD3A8AA8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b37c592ac870d7dec1fc5772fd9a92a63642c5e8","datavalue":{"value":{"entity-type":"item","numeric-id":4808699,"id":"Q4808699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$2041581C-9825-42A6-8FAE-C919F17F1879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a571653cb6ab1fa29a33b3cbc9d3383816e568e","datavalue":{"value":{"entity-type":"item","numeric-id":2713352,"id":"Q2713352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$8BA60369-794F-468A-ADDF-B145FBA7154F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$109787B0-3679-4B39-8577-DF6ED1C364AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"832de6b4823f54c6ca4b13abacfb4f83b948a7eb","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$E6122318-F0D2-4BA2-9055-03ADDB258391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$2C7A262C-CF10-49D5-8C61-E6DCD73C0EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3006b5dee5bcadfac4b9f65d6860d72f75e2f535","datavalue":{"value":{"entity-type":"item","numeric-id":3880309,"id":"Q3880309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$BDC6CC29-C6CE-4B3D-81A1-245843ECFDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"849241baa6b3c56591969b2586e51dae90f667cf","datavalue":{"value":{"entity-type":"item","numeric-id":3816048,"id":"Q3816048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$07EA5E1D-3A72-4C2B-B013-97BA3089360D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"682e263c311f9e638f3e45d8e84848cc45a65a83","datavalue":{"value":{"entity-type":"item","numeric-id":1970557,"id":"Q1970557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$0474A5D4-CB64-4CC7-AF07-F9FCCFF17969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b4043c10572e49ad813f1f8314c7ec54a9a837","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$88B18870-C97E-44E9-9680-79782F8D71E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd45c991367a1535bb2cf03dfceb0b82a65dee16","datavalue":{"value":{"entity-type":"item","numeric-id":3612444,"id":"Q3612444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$CF42EA92-39EC-4C85-B7D7-3623D9044F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$AC3F41A5-C21A-4F17-A19C-EF9B9AFC7116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$5394430E-56E2-4A9A-AE97-E226C4FE87C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8670a1cb5138f59a7607a06c6c33e9eef7f2c9ea","datavalue":{"value":{"entity-type":"item","numeric-id":3938536,"id":"Q3938536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$AFA22A3B-944D-4C7C-B324-ACEE3394CD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b228e801ea50cedd7c68e9518bad1e7001c9fe7","datavalue":{"value":{"entity-type":"item","numeric-id":2778837,"id":"Q2778837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$616B1706-7D54-4001-9604-B1DC8BC5E0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b5f9759fef698de8ef6ab62194c64bfc02f14e","datavalue":{"value":{"entity-type":"item","numeric-id":2778890,"id":"Q2778890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$D324F413-7CD0-4110-B0B1-0E22EE888E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3198643895c4e17fa96b7321331bcf34a99b2fd","datavalue":{"value":{"entity-type":"item","numeric-id":4002149,"id":"Q4002149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1037404$2E525139-1226-4110-A5CA-990DB5D4FB2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"640f8c84ce938fb3b2c1a603b3a8b943105e0e5a","datavalue":{"value":"10.1007/S10472-009-9154-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1037404$95C7DC1A-58DC-4CA6-BD24-9901B7BC53CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be161ec7f3b9536e6e38479daa2455b405ae4f3f","datavalue":{"value":{"entity-type":"item","numeric-id":4916079,"id":"Q4916079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"848d035fcd32763f2f6a1f8b85622e3f8dfd5019","datavalue":{"value":{"amount":"+0.8943538665771484","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":"Q1037404$93BB6674-BB0D-4DF5-92A3-06B21454475E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a26b7046bfc31fd38f742b7f5b7c7f5a5a7049ce","datavalue":{"value":{"amount":"+0.7699865698814392","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":"Q1037404$A42462F0-F369-4050-86FE-0DBA22C17EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a78c41bc3cc611cf5c6ea68d56b3e56736cc44","datavalue":{"value":{"entity-type":"item","numeric-id":4028349,"id":"Q4028349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e46bd0903936b0da345b2f3509318e6b074e12d","datavalue":{"value":{"amount":"+0.7663745284080505","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":"Q1037404$02BE09C3-1FB1-456A-9081-6CD7BA42880D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fd391857709a1825aaf51abf8d91be995f87d0","datavalue":{"value":{"entity-type":"item","numeric-id":3347863,"id":"Q3347863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33746e01bb0cfa63723c46768511147f9d3c756a","datavalue":{"value":{"amount":"+0.7594773769378662","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":"Q1037404$B614ADF8-E4C2-4CB8-B2B4-056F952B91E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73316bc9293ca6098b85633ea043f8e1ae5b95","datavalue":{"value":{"entity-type":"item","numeric-id":5200022,"id":"Q5200022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad4dc402ec7bb6a2b7e8f4c2b593da0084313788","datavalue":{"value":{"amount":"+0.7581005692481995","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":"Q1037404$42A30E03-7108-447E-8C8C-03CE48FFF615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inductive proof search modulo","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inductive_proof_search_modulo"}}}}}