{"entities":{"Q5747656":{"pageid":7777207,"ns":120,"title":"Item:Q5747656","lastrevid":51080201,"modified":"2026-01-16T13:36:07Z","type":"item","id":"Q5747656","labels":{"en":{"language":"en","value":"Case-analysis for rippling and inductive proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785349"}},"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":"Q5747656$8B1BB5AA-10E9-48E2-8B02-753FB6B47424","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bef7ac4f5e88f173bb815d8bc54cb0a1592508c6","datavalue":{"value":{"text":"Case-Analysis for Rippling and Inductive Proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747656$7C9FA968-D2CA-45DB-A1DA-874ACD808B56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e88e3c24e066fc750e447147172fde50fc1ffb35","datavalue":{"value":"1291.68352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747656$6A09C18A-D4FA-4309-887E-732A488E4F10","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f76ce4f11bbbd18ab99edb26488033545c29cf93","datavalue":{"value":"10.1007/978-3-642-14052-5_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747656$338BE15E-6E7D-48BB-A20B-DCD607319459","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff9a748cd6fc1ff0926984ae3ee01554f12fa14","datavalue":{"value":{"entity-type":"item","numeric-id":287274,"id":"Q287274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747656$DCB5B59A-B900-4137-8D00-84C0281E6967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264da1f1819ab39093e1bf553dc9247ae5239bab","datavalue":{"value":{"entity-type":"item","numeric-id":438541,"id":"Q438541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747656$0C675366-1A43-4A8A-BBD7-CBE252AA4505","rank":"normal"},{"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":"Q5747656$460E8100-899F-4DD5-8184-EC057F388FCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747656$B344105F-11C4-4472-B847-43FED3887E47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747656$C589AE2E-B01A-4CB4-8DA9-B19074CA2E6E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb81a66261a840851efc5157f0339be9a89e46f7","datavalue":{"value":"http://hdl.handle.net/1842/3717","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747656$1A7D5A6F-FA9B-4E15-B2CB-BB16C66D0BB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747656$B46E4718-A938-425D-AD91-2D07711CC886","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7731623228758a43009e9f35d62973164f325848","datavalue":{"value":"5785349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747656$41B7B622-E839-4C56-BE7B-36027A4468D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747656$E849DFBA-0BC6-41E8-B197-40E42800E48B","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":"Q5747656$A38D0D77-3610-441E-B45D-4D3671B3C2CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5188bc62ec9929df9cf7e7a9bb8dd5db7fcdd95","datavalue":{"value":"W1541587797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747656$38204CB7-0AFE-41EE-A729-934B9F4369E3","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":"448c0b667aff5ae3f345f9f0f3b0425aa7ba7f40","datavalue":{"value":{"amount":"+0.858736515045166","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":"Q5747656$8C5D9270-0673-4A7C-8A59-8E30B1A92824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"494229acecff36c3fe6daeb8648e7316cbf161c0","datavalue":{"value":{"entity-type":"item","numeric-id":5464664,"id":"Q5464664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"448c0b667aff5ae3f345f9f0f3b0425aa7ba7f40","datavalue":{"value":{"amount":"+0.858736515045166","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":"Q5747656$3A44E1E6-985F-49D8-BC71-529122CCAED5","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":"f5a9f5b1264c03308d480b5f370b7cc9c4a59bbe","datavalue":{"value":{"amount":"+0.8307885527610779","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":"Q5747656$686DD0EE-43E1-4880-A140-C06205ABC891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b1b03b1a5906f8b757c0cf4746c491b5a4ed526","datavalue":{"value":{"entity-type":"item","numeric-id":4790660,"id":"Q4790660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a9e2b9c8b5c169ad1cea52d1bf2e124dee53116","datavalue":{"value":{"amount":"+0.8239415884017944","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":"Q5747656$692AB70E-1FAD-4250-98E4-8E958BD0F7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88a3cfc856daad835529caa810c632aa4871286b","datavalue":{"value":{"entity-type":"item","numeric-id":6488527,"id":"Q6488527"},"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":"Q5747656$84DA0B6B-F86E-420C-9CC7-B059F14944A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747656"}}}}}