{"entities":{"Q3100200":{"pageid":3110915,"ns":120,"title":"Item:Q3100200","lastrevid":86479589,"modified":"2026-06-03T22:18:20Z","type":"item","id":"Q3100200","labels":{"en":{"language":"en","value":"Automated Certification of Implicit Induction Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5977502"}},"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":"Q3100200$9CBA9CF3-9140-4853-AAB2-482E34D1D3EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0713664f2aece30851b8badcbaaa8eb18d1899c8","datavalue":{"value":{"text":"Automated Certification of Implicit Induction Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3100200$70E3AFE1-B5B7-4FEC-A447-C7683FF1E85B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59fed0ebcf02deb05ad28d8f834c46ab67639228","datavalue":{"value":"1350.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100200$46FE4EAD-6EB9-445A-AC48-D368B502BB9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9e16748af8693ebd27ae32288b8c5c697d43864","datavalue":{"value":"10.1007/978-3-642-25379-9_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100200$E86C7AA0-FD8B-4DD2-9D5F-7E16F11FCA65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"391f7c9359d3fa0424cd103cf1db41eeb4749b7c","datavalue":{"value":{"entity-type":"item","numeric-id":219448,"id":"Q219448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$7A834864-BF92-437E-AF97-05952E269AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cce898c2d847bdacc0634dff5427bbee6d178255","datavalue":{"value":{"entity-type":"item","numeric-id":3100199,"id":"Q3100199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$4D941B13-368E-47B6-B661-E61502D1B7D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e7468504fbcb9c3a09d3a38cdd67d03e02eec6","datavalue":{"value":{"entity-type":"item","numeric-id":2938035,"id":"Q2938035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$17853682-0D74-4D52-AC67-97990916D397","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3100200$5D72591A-B654-485F-9857-B1F8668B11F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100200$C668684F-5BFD-424B-B5AD-6036EE851739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100200$6D52139F-49EA-42F9-AC34-7A7F02B3786A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e0a978a0bbea23fcedd905d18cb2cba87092375","datavalue":{"value":"5977502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100200$D0E2E483-904F-45F4-9E70-50D5EF255C61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$54977886-922E-4340-91A7-4BA8F967A092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$B54FD101-1749-42F7-8042-6E647B27B8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$A1B37D4D-DEF8-419B-8647-092402D62881","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":"Q3100200$42B5B305-6BD1-40A6-863A-59A3C7617988","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9666b85669db5877743b4fcaed2256892273cd6b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-25379-9_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3100200$7A2914D7-41C2-43F2-AE89-249FB0CF3A0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"01f397d661f07f0dd33a424457c3ab870885cc63","datavalue":{"value":"W2126274963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3100200$B84E025B-D366-4562-873F-C9BEAAA4E90C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"798e10033e3dd1a139712364d2e339f513e371d6","datavalue":{"value":{"entity-type":"item","numeric-id":1404422,"id":"Q1404422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$1C9833FE-A24D-4E02-8777-AC7FC179D8CF","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":"Q3100200$37378CA1-6E6D-4A0F-8F5E-A1785678EFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25667f2a6078416ec1d446a9aa809aa2c346bf3c","datavalue":{"value":{"entity-type":"item","numeric-id":4447243,"id":"Q4447243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$55CE9064-E636-4124-9F5C-E15F19FF139F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"032e011dae6771ddc94bd3b2d7b810721cac8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4849648,"id":"Q4849648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$F869A053-7310-431E-B909-1AD288A50B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$DBF89E8E-D5B9-407B-988C-7346365C18F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"526569e2045d88153ecb5cf7f75a680cdcd5a85b","datavalue":{"value":{"entity-type":"item","numeric-id":2767010,"id":"Q2767010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$68A5CFF3-AE66-48D7-A624-90A13FCFC9C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab504082e0ddcc1f74e158a854eec65c7cc89476","datavalue":{"value":{"entity-type":"item","numeric-id":1037404,"id":"Q1037404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$1382D73A-CB72-42B7-826D-B3D4C41F4719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f81b699d373bb3e43965f382d1fafe952b178a7","datavalue":{"value":{"entity-type":"item","numeric-id":2754095,"id":"Q2754095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$70DCCC2E-5182-4ABF-8C7C-561692FB6310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcde2500da8d963a50be7cdace3d5f52e7d06884","datavalue":{"value":{"entity-type":"item","numeric-id":1810852,"id":"Q1810852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$E86A620A-AF52-42DA-A58F-1B2E518DDB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7800cb26ebd8bd73eb3371458d6f9dbbf37e26b7","datavalue":{"value":{"entity-type":"item","numeric-id":5950934,"id":"Q5950934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$EBB8BACC-6EC6-4A85-8D96-E1B8FD24E9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870cfff1f19b717b0ce488374896767e4f472022","datavalue":{"value":{"entity-type":"item","numeric-id":5479282,"id":"Q5479282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$27D7AE65-BFC5-4E7D-9FB9-5D382BC4E77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d6e9b64c321ac526dcf1588829c0491200e5d6c","datavalue":{"value":{"entity-type":"item","numeric-id":3522029,"id":"Q3522029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3100200$2CE2A012-E1A7-4E45-A28B-70C971B061D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540b6ab6d92113a91ff958757755562350221b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d972ef7e0c791c3b400e7c1676d1f2db995f8b94","datavalue":{"value":{"amount":"+0.92127407","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":"Q3100200$E3353161-977B-47AE-9B02-FAE706A80E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f225124d15a7a6aa53392ac079722a1eb252bdfa","datavalue":{"value":{"entity-type":"item","numeric-id":3345810,"id":"Q3345810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"466f88754d2bc58df8001dfd02507e1e5b88a370","datavalue":{"value":{"amount":"+0.9174557","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":"Q3100200$634D4055-E463-4D85-A2F3-867AEC726E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8b950c83128d11d71296f04dbe09c8f568420f","datavalue":{"value":{"entity-type":"item","numeric-id":4928454,"id":"Q4928454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20094235103545800f75d06616c879ea032191d","datavalue":{"value":{"amount":"+0.90732646","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":"Q3100200$4A43F8D0-1A4E-4AFD-B522-5873505D31BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7d1c79c5d9622e1eeadc1aaf2b3855954e4971","datavalue":{"value":{"entity-type":"item","numeric-id":1824382,"id":"Q1824382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fbe9dcca0c853a83c19e14e2f1e445ba8dd0f9a","datavalue":{"value":{"amount":"+0.90459967","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":"Q3100200$F5B35A21-ECE5-42BE-84B4-B1EA355F53CD","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":"62e4592e423283979d12fe6478d4d33f53aff8a4","datavalue":{"value":{"amount":"+0.9020654","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":"Q3100200$6971F166-D992-4F90-8E57-90A4C841AAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099a514107a3725a42e6e6bebe08b16621579270","datavalue":{"value":{"amount":"+0.90179396","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":"Q3100200$B00EA22E-5BAE-446F-AF4D-608287B5F08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52b4a2fec8240cef8b3354cfe1bcecda862f0031","datavalue":{"value":{"entity-type":"item","numeric-id":1355757,"id":"Q1355757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb72422ec03db1a0384263784389b3b35d641db0","datavalue":{"value":{"amount":"+0.8980048","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":"Q3100200$FB9DDD90-D9A8-4B02-9808-1CFE6BC1DB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5680f4d929c6c749e3fb0a3958a3b1709838fcb8","datavalue":{"value":{"entity-type":"item","numeric-id":2281658,"id":"Q2281658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8d73cd8e8748268c22b98146f70e70ac8b9873","datavalue":{"value":{"amount":"+0.8976866","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":"Q3100200$E5EBD0FE-6AE5-422E-BFCC-535FD8FDD795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951890c12966d7711b57fa25199ae479f8514306","datavalue":{"value":{"entity-type":"item","numeric-id":2414251,"id":"Q2414251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7846651259b03fdeb3332b108f6c91eeada56cc5","datavalue":{"value":{"amount":"+0.8974999","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":"Q3100200$D63733E3-28A7-44C9-A973-20571155865D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Certification of Implicit Induction Proofs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_Certification_of_Implicit_Induction_Proofs"}}}}}