{"entities":{"Q6488527":{"pageid":14067296,"ns":120,"title":"Item:Q6488527","lastrevid":103340690,"modified":"2026-06-06T07:12:00Z","type":"item","id":"Q6488527","labels":{"en":{"language":"en","value":"Extensions to the rippling-out tactic for guiding inductive proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680803"}},"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":"Q6488527$0E2379D6-8913-4BB4-9001-331E5A078201","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8dc8a4d75e557acbb8ea011df7eed5562c06c808","datavalue":{"value":{"text":"Extensions to the rippling-out tactic for guiding inductive proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488527$11173CEB-B321-4C13-BCF0-DF47EEB4682B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa2876e51c5a5dcea691c3c4b55e7deed7f7daa","datavalue":{"value":"1509.683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488527$70A46ADF-2480-402B-9C36-E9A1287D8483","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"617279533292096a27772ecae001668d4084215a","datavalue":{"value":"10.1007/3-540-52885-7_84","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488527$0DE3A176-8A18-4BF1-94ED-AAC78989FE35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d37a3d6bd9a0b44736f3bc6a6985f44383a95724","datavalue":{"value":{"entity-type":"item","numeric-id":438542,"id":"Q438542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488527$6C715B27-4B90-4A99-A50B-7651A872244A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b1c950eb38f4d88b02903eee30b03dcded1976","datavalue":{"value":{"entity-type":"item","numeric-id":685546,"id":"Q685546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488527$B990DC8B-EF54-4017-A877-07DA8373AB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6df844f896d888573d76c54cedfde12049f28d2a","datavalue":{"value":{"entity-type":"item","numeric-id":540693,"id":"Q540693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488527$4EA1B579-E454-4080-B578-38963EEE3F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"982d9eb1fc0eb5fc17fd1d5b1b0dc7d42b2233e1","datavalue":{"value":{"entity-type":"item","numeric-id":685547,"id":"Q685547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488527$CF890B8F-1EE8-4042-9FFE-36B51444AD97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488527$66554979-4FC0-4EB1-97AF-B927ACAB900B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488527$C6E4FFF0-A226-4816-8606-569B9FEC95E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488527$E65BE146-F067-456B-8670-78A247FA1D67","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a1b98a8208a20856cf0224200e07e453e00a8f5","datavalue":{"value":"7680803","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488527$3CD6FFBD-06E7-4D35-A196-AE979F6C5939","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":"Q6488527$D297CCBF-A1E5-4554-B095-565CF76854B0","rank":"normal"}],"P223":[{"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":"Q6488527$FB805A99-12E0-42D3-8926-2B0EB0422740","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488527$B223ECAD-E3A7-46E4-AB65-8E8EEF39BC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ae27268a48b91a2cb9712e13b2ccff954f2260","datavalue":{"value":{"entity-type":"item","numeric-id":809617,"id":"Q809617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488527$B0EB7521-D51E-4E79-BEDE-DBC14FA28ED3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d203bb6d493261fcb0ce1c465de36cbaa8a9ff65","datavalue":{"value":"Q56840275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488527$EA6AD504-5C0B-40DD-8C61-90138A0AD651","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec4a89a7c13b6470a95b012a7f5ee0837e0223f6","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be057b3d7129aafb36d4498014306a11b99f12b2","datavalue":{"value":{"amount":"+0.8765714168548584","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":"Q6488527$E6411C76-782E-4899-A417-FE9418539C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7350440adc65afd101108240b617d27ec4780b","datavalue":{"value":{"entity-type":"item","numeric-id":1915137,"id":"Q1915137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be057b3d7129aafb36d4498014306a11b99f12b2","datavalue":{"value":{"amount":"+0.8765714168548584","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":"Q6488527$CDD86B56-9004-46FB-A29F-24FFFDA940C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58008fa9e843b740103517488e6a1855d7482e65","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86fa8e9b5a490c0e720947f0bbb111332091d0f6","datavalue":{"value":{"amount":"+0.833156168460846","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":"Q6488527$37BFA605-7554-4B2A-B142-102EC06BB3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47edd2c8db06bc41c210b34a2774d1f45a244ff1","datavalue":{"value":{"entity-type":"item","numeric-id":3058453,"id":"Q3058453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c0b3df0f7948c3dfed34e460e054f14a1c6f32b","datavalue":{"value":{"amount":"+0.8237829208374023","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":"Q6488527$9247AE4F-FD6C-4E3B-A03D-A7A106ECB4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94eeed2907d2dd6f99b42b155742fe44148d4ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5747656,"id":"Q5747656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65fd06b3b93edec550120baf637bd9b484edce0c","datavalue":{"value":{"amount":"+0.8235506415367126","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":"Q6488527$A510967A-EE97-49A1-BECE-7A656ED12BA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extensions to the rippling-out tactic for guiding inductive proofs","badges":[]}}}}}