{"entities":{"Q2200833":{"pageid":2211576,"ns":120,"title":"Item:Q2200833","lastrevid":57685563,"modified":"2026-03-31T22:02:45Z","type":"item","id":"Q2200833","labels":{"en":{"language":"en","value":"Deep induction: induction rules for (truly) nested types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250946"}},"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":"Q2200833$CB3EBAB3-3487-4E1D-B8C1-BAA5B5AFFDB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98fd62e9e87cafc4da0e40543f941d8093a2389c","datavalue":{"value":{"text":"Deep induction: induction rules for (truly) nested types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200833$09068270-BDCD-4351-B63D-95E0EE95CFF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4456fc1c0982185c06bb9d4d6b31cd5fb80197c","datavalue":{"value":"10.1007/978-3-030-45231-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200833$91677C8A-FF16-41E2-95C9-8F6B14838E59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"429bcf00dd5802aaa66006839bf4f8c2320a00f8","datavalue":{"value":{"entity-type":"item","numeric-id":673970,"id":"Q673970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$BABBED23-67BE-484D-B23F-27E929D20B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"75cfcd3b65fca9dabfe6a7a0d6f510ecbd180120","datavalue":{"value":{"entity-type":"item","numeric-id":2200832,"id":"Q2200832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$4BC14083-2B74-4040-8B5D-2FCEE9E5067F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2200833$0D5107DD-68F9-4798-902F-541516C3AADF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200833$B1B2FC6A-E8FB-4920-8FA2-C04570A63566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200833$F03641B0-B6D9-44CB-B963-4070C768242F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e3afe7b888a44b3cf0804cefba5369dcba7e248","datavalue":{"value":"7250946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200833$4366E6E0-49FF-4DDE-868A-52361AEFA59A","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":"Q2200833$FC08D56C-C278-4BFB-82A8-007323ABC846","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b98a1c43e0f38983128ffe7cb37d86981755398","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45231-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200833$CA6ECBF7-8916-46A2-A57A-E1D03A5F39F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"354f1456e19e1f0fed2b0fc4bc01aa87243f77ef","datavalue":{"value":"W3017064703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200833$DD447BE6-9653-467E-A8FB-FCB343EC492E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d8ce1ab7cbc344458f6c5f69920718926ea1d05","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$8DF11413-4E31-4CE3-B0A8-A789A0A1F12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24730bf218f114d7094d19a6f077dbd4642dc0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5371943,"id":"Q5371943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$B3C4C196-076A-457D-9B6F-2781649716FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40baf4bdceb7bc43f795fddb529b32cd0b1cc67e","datavalue":{"value":{"entity-type":"item","numeric-id":5466528,"id":"Q5466528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$17456CFB-9879-4CE2-BB91-35BA0875CA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a315f8ad5008dcde11f07cf3ff6480c48c7abaf","datavalue":{"value":{"entity-type":"item","numeric-id":5900207,"id":"Q5900207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$577CB8A0-15F9-4817-A74A-51F18E2138C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d993f7be3ea77cad4a800be898a39b5ce70ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2879246,"id":"Q2879246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$C7FEDA6A-0532-4AB5-A8F4-E7FF7960F2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a797407b4949355fcd06204fe2bcb7b1218a925","datavalue":{"value":{"entity-type":"item","numeric-id":4256148,"id":"Q4256148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$B6AF9F13-FB8F-4A98-8EE4-75E35D8C5298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2cfb97b4e9fe2287e411d8729932843ea78fe45","datavalue":{"value":{"entity-type":"item","numeric-id":3586050,"id":"Q3586050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$2416A154-9E5A-4C5C-A67F-5ABFC41FD163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e663c61f4df4a65f9caa649ec3e7f41476a11d","datavalue":{"value":{"entity-type":"item","numeric-id":2895473,"id":"Q2895473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$354116EA-3B60-4ECE-A88C-ECBD50A7B52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58137c2009742a39b30e5cb42aa06402d77c473a","datavalue":{"value":{"entity-type":"item","numeric-id":3638923,"id":"Q3638923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$D1402CB6-B2E5-46B6-AD25-F468943FD6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a8d50e2ac3112c2b5beab9a321e48e86e40e67","datavalue":{"value":{"entity-type":"item","numeric-id":4702190,"id":"Q4702190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$E30EB4A2-1CA8-4262-8B1A-F6F51E541ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f6bf9de9e2014e93e277e777180ed630b8cc1b3","datavalue":{"value":{"entity-type":"item","numeric-id":5875441,"id":"Q5875441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$A160046D-319C-4C8E-B285-344C363D4926","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e96e5ab9adf8e1f1051043588a3b7b879c09e039","datavalue":{"value":{"entity-type":"item","numeric-id":3638923,"id":"Q3638923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a930a6459b9c5f8ee8a6eb587b5429b49efa37e4","datavalue":{"value":{"amount":"+0.8140059113502502","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":"Q2200833$06CB6BA3-BA59-47F2-9600-C402255AA9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597237f1158986e01eb159ead08ab5e98adca3b6","datavalue":{"value":{"entity-type":"item","numeric-id":3586050,"id":"Q3586050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98bc810777ed3a0dd85fc7c9af5d159e66aa7d0","datavalue":{"value":{"amount":"+0.775359570980072","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":"Q2200833$A092FF0A-BE59-4137-9F67-48FDC1D086A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6152a5257642e9b57f19c9557440b78b1ad95b1","datavalue":{"value":{"entity-type":"item","numeric-id":2895473,"id":"Q2895473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e2b7e43e34fcc31439218e9660bc7b16f3fe26","datavalue":{"value":{"amount":"+0.7676990032196045","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":"Q2200833$89794346-1B10-48C6-B45E-87142D40B25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7f90919181d7fd39fe7ee9f5f53d1191d927ec","datavalue":{"value":{"entity-type":"item","numeric-id":3507459,"id":"Q3507459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa10b9cab89d29130a0cd74b112dac6d757e36ec","datavalue":{"value":{"amount":"+0.7574365735054016","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":"Q2200833$B5272835-D445-4E8A-935B-F21005AAA4FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7240b1e7d808c09a688fcf3289c193307b52898f","datavalue":{"value":{"entity-type":"item","numeric-id":848745,"id":"Q848745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130e2555bdbd803fb18720d14429d46a884dd2ec","datavalue":{"value":{"amount":"+0.7476436495780945","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":"Q2200833$74C19FA1-9A9E-4236-9BF5-6B0EB5EB7216","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200833$28AF1507-0C5E-47EF-AFE1-EC8D597AA38B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2200833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2200833"}}}}}