{"entities":{"Q3523183":{"pageid":5553087,"ns":120,"title":"Item:Q3523183","lastrevid":49021396,"modified":"2026-01-06T11:59:24Z","type":"item","id":"Q3523183","labels":{"en":{"language":"en","value":"Proof Pearl: Wellfounded Induction on the Ordinals Up to \u03b5 0"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5318951"}},"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":"Q3523183$47068804-CB85-4DB3-8119-3A31EA6E8A81","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1fedbe2435bd0486299ea5496ed9770e72206a71","datavalue":{"value":{"text":"Proof Pearl: Wellfounded Induction on the Ordinals Up to \u03b5 0","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3523183$E4DBA5A1-FB19-4884-BE20-BBECC679F38C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c624a81a67942a032e868a515e9c8031d07f07ff","datavalue":{"value":"1144.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523183$3D2499B1-6151-4DC2-8FB1-6AB4F7B47FFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94ae7798ca653d9344bfb171d20ed1a254f39625","datavalue":{"value":"10.1007/978-3-540-74591-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523183$787E6F44-46B7-4B6B-BF67-BE794D43A608","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6bbab2ea230ef82cf7d72bee404dd827d5aaeed","datavalue":{"value":{"entity-type":"item","numeric-id":230814,"id":"Q230814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523183$9C90F933-38AC-4007-A789-453BA299CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523183$1682CE2A-2668-4342-B181-9280F14DF44C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3523183$0A9B8699-835F-40E0-8DF3-9A9F53DC48A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"20b7f535510e218ce28c7540c7cdc4660c15d850","datavalue":{"value":{"time":"+2008-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3523183$0150CF72-4F49-4257-BCD4-7859D8E56DBA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523183$067ED1F1-49ED-49CE-9654-80E1683D13C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e0d01567e524f1434f6b2e70eec03a60856888e","datavalue":{"value":"5318951","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523183$8DDC0FB1-F73F-4FFC-9D0D-8E5A38D51D55","rank":"normal"}],"P1463":[{"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":"Q3523183$9A30CD2D-8067-4F51-A3A2-5E6E880D81D0","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":"Q3523183$B8D442CB-1A4D-406A-AE34-F2EED38E63F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75cb3b291f85065ac637787b4c4ff9a2e0ace01b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74591-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3523183$1B2FC18C-87AA-49D2-BE7C-5B3486F53F42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d3e27edb1fd374e3eb788d66f4bc368d79486de5","datavalue":{"value":"W66817411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3523183$4882F962-3BE6-447A-9B86-79A1B3F70856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd7dd61ef940911a51c611c75f35255836b7de8","datavalue":{"value":{"entity-type":"item","numeric-id":2862641,"id":"Q2862641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb50776504b5634cb3f789a8bf1ec3430de0c70","datavalue":{"value":{"amount":"+0.8516947","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":"Q3523183$006BBF38-0630-4348-801B-D48D7393702E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2cec389dbec5380b2d49d516875028782328c4b","datavalue":{"value":{"entity-type":"item","numeric-id":5687318,"id":"Q5687318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c81a8ccacaa9e818b7d271a0a3413b7db3b903","datavalue":{"value":{"amount":"+0.84605813","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":"Q3523183$108C4D10-0A60-420F-AF19-3AD35B35C7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1211c8987a457bb88759d68203cc6780d138d85","datavalue":{"value":{"entity-type":"item","numeric-id":5361255,"id":"Q5361255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801acb2a86978ccc898b4bcc49ac5db9e0f9ee87","datavalue":{"value":{"amount":"+0.8409413","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":"Q3523183$CCD89150-0EF7-40EA-9826-151141171606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b31ecf6dae9f39559873a2d2c4e477f6e90bb23","datavalue":{"value":{"entity-type":"item","numeric-id":4793023,"id":"Q4793023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b95b675dde9524e83fef485dbc23b1606dd1a9","datavalue":{"value":{"amount":"+0.8318132","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":"Q3523183$3184A37A-6DF1-4E53-BF1D-784A8A61D5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f2cef6d1601cf78d99eb49b1064d8dd73dcb8ba","datavalue":{"value":{"entity-type":"item","numeric-id":1082336,"id":"Q1082336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c38d6807389afd9c95ee4d5ec6eed38c76190b3","datavalue":{"value":{"amount":"+0.8316936","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":"Q3523183$3287F025-E908-4E04-A036-E5D278DBB296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e27a387f3f0de42f173c66db4b10c408b4109f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eda0d8b9644df0b27295deb62ed2f8f85a26ec0","datavalue":{"value":{"amount":"+0.829513","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":"Q3523183$6C233C8A-C15D-4CEF-AD04-CBBB2587FC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32db7d0e1788af3b2abde1bafb762cdbb7628df8","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1575bac250f5cfdeb11331dc508e61a58fd0717","datavalue":{"value":{"amount":"+0.8268976","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":"Q3523183$08F3A247-975D-4D4E-B8CB-C7E2C58667DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3480c18c8d19fe7ebc3213b31603c5d91863add8","datavalue":{"value":{"entity-type":"item","numeric-id":2921002,"id":"Q2921002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6386e2943ab388487af845f3ba9f9e21e4bb57a","datavalue":{"value":{"amount":"+0.82598656","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":"Q3523183$CE70D16B-3A45-45A2-B7A2-011BD69BF3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfc187c8561dc16d4cca38bf204f2521a82c5d4","datavalue":{"value":{"entity-type":"item","numeric-id":1182475,"id":"Q1182475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654ca30bcd0160ee40cf19033acfdb1ddc71dd95","datavalue":{"value":{"amount":"+0.8235586","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":"Q3523183$EE609038-EE1E-4235-ABBB-E6092B13A08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e4b383672ee00a707f1c3434de35077067bf4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4313204,"id":"Q4313204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bba48760df06e53a521d552f2424b91f5fc45a47","datavalue":{"value":{"amount":"+0.81927127","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":"Q3523183$6B956639-01E8-4EF3-A3A7-5172C1551738","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3523183","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3523183"}}}}}