{"entities":{"Q1904402":{"pageid":1915144,"ns":120,"title":"Item:Q1904402","lastrevid":74254422,"modified":"2026-04-14T19:12:27Z","type":"item","id":"Q1904402","labels":{"en":{"language":"en","value":"Set theory for verification. II: Induction and recursion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 828195"}},"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":"Q1904402$CFB3D12F-7431-47A8-B5D8-716E1FC85B7C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f41bd2178f7488f4bed408ac348f5aca18a5c4a5","datavalue":{"value":{"text":"Set theory for verification. II: Induction and recursion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1904402$BE7FE6FC-9349-439C-AD2D-1C62F2CC12C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94c28bcb7625f8551abf3b1a159e6910fdf18295","datavalue":{"value":"0840.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$D3CAD53A-F3BC-4697-9781-C648C8CE75F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83ebd37ca13e242a1b5c010d13dffbef72947158","datavalue":{"value":"10.1007/BF00881916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$57EAD2CD-AABE-4556-B828-DA76F53FEE04","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$58C64EB4-2E63-4BA8-8FD7-CECBAC325E34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c6a4059c7dcb0f47b5fff19f8c6a086d332c3ac5","datavalue":{"value":{"time":"+1995-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1904402$EE92CD31-6C56-43E7-9ABA-C1E556B8E0FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a92bae073b6f2aa5bebd8d8dfb7c5526bfd28d5","datavalue":{"value":"https://arxiv.org/abs/cs/9511102","type":"string"},"datatype":"url"},"type":"statement","id":"Q1904402$B1239C22-1CE7-4B93-BA40-3F5577EA900A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$7E34C06E-68EC-41E8-B8DE-0F53D53616B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$E56DF983-F82C-41D4-B17C-D7DEBF22ADBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$8FD27BC0-A903-412B-8153-77D2A7ABC707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7732730e01849eadd5de7fe101fcba9b34d15ef","datavalue":{"value":"828195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$5AAED220-12FD-41B6-964D-098CF3EC4588","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8e3696acc7e8c730f50075fb367e3bd4e8d057","datavalue":{"value":"inductively defined sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904402$CF055F40-6750-4595-98F4-151093822084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92f25b9ea895f2b57606a79389bb66216727043","datavalue":{"value":"recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904402$035C86A8-CBFF-4A15-866C-5D28D0AFD4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5bd39e53908737551e2035be4577b1f3c430a8a","datavalue":{"value":"recursive data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904402$D0D83CEA-EF5F-43EA-BC90-A41A137C4BF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b82cc4d40a1fd319ab13e6b68f0a1940966ab0f7","datavalue":{"value":"Knaster-Tarski theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904402$CA03BF4B-FB75-4478-920E-D17326B06104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f602d4f739e043a8bb2b845b4127eef9b3468a23","datavalue":{"value":"Schr\u00f6der-Bernstein theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1904402$618077C7-219A-46A6-8900-A5FA2AEF7B7D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"42ea59a1599d93a4da0b18d891c4fc4fe68157c3","datavalue":{"value":"Q57382717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1904402$36E1B330-8EE5-4B23-9F8E-86EA96E52974","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$B2540A9C-3E8D-47EE-AA03-53F6449B5498","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$F6A2D117-BB13-4B00-BB27-55A275009D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$2D0B526E-1FAA-4DF9-8B40-013F30452D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$356F8187-DD5F-4CA6-98E4-3C678E1E8238","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":"Q1904402$6E4ABD3B-AE49-4CBB-B4C1-83B629FBD49A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$C3367EB3-B818-4C95-98ED-FC4DA2A46005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$26CA7785-571A-4AA2-B88A-72EBB76F563E","rank":"normal"},{"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":"Q1904402$FAC313EC-9E9B-4838-9BE4-2A26BBC83198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$C71F0A13-6DCB-4818-9DB6-47EB0E69C1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbe0d38e4ddcad71d635c28ec0c347feb4337ab0","datavalue":{"value":{"entity-type":"item","numeric-id":1257892,"id":"Q1257892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$27DCB52D-52B6-41FD-A33D-E414C2EEACF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$B8A020CC-28FF-4C25-9097-048799ECA568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69ca06956d12cdd8fbf2e47a620d3092d301008c","datavalue":{"value":{"entity-type":"item","numeric-id":3257866,"id":"Q3257866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$C1604569-390C-4C30-B6B9-81422D749D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c625f6ce6390ed7bc9f81156e2e10cd0430a0c67","datavalue":{"value":{"entity-type":"item","numeric-id":1157924,"id":"Q1157924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$3379E3B7-46AB-42D8-8F74-094801670681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"894ea3c0e75ceafd9402be6648d89711f1bcc74f","datavalue":{"value":{"entity-type":"item","numeric-id":3216156,"id":"Q3216156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$5666C053-A82A-4F70-AC83-976B37F1C795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$A5C197CD-920A-40E9-99A8-F5BB20F246EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db483e9a40527302031aff778bd8060ee45920","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$28070443-EC3A-41F9-8B5E-1821FB0D12F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$C8813BBC-5930-4070-94F9-52116848E051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$F45D9573-9813-47FD-B23C-710A27006381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f88db4db4ff3067bd759c8807bea327b3eccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1094421,"id":"Q1094421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$1966F45B-AED2-40CD-B55E-549389A483C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$78585A4E-021E-4471-A562-125F88B25E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f73b96d1fbc8191af9e33657432fbd034faf4f","datavalue":{"value":{"entity-type":"item","numeric-id":5686039,"id":"Q5686039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1904402$DBFA05BE-7FC7-4834-89FE-22EDB5FA972E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b766ed2f3d473e9b4473676c3751767853892b1","datavalue":{"value":{"amount":"+0.8131672739982605","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":"Q1904402$CEA5DC26-4CD3-41A6-B03A-DCBBB5141110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"523f04cb2e34b987f8f0638ca56920c6298ac76b","datavalue":{"value":{"entity-type":"item","numeric-id":5210768,"id":"Q5210768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b766ed2f3d473e9b4473676c3751767853892b1","datavalue":{"value":{"amount":"+0.8131672739982605","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":"Q1904402$13D40B1F-4B30-4591-89A7-F388935D05D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4d8bd861fad72b8d2a4ae0cc98add32adbe3f3","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cdb6459b247922a3dd3240d471bc97795f1947c","datavalue":{"value":{"amount":"+0.8130449056625366","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":"Q1904402$CEF0B2FE-74FD-4EF1-BF95-D10662C84A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2ad198c7057067a7e23ab0fd94490a08ee71ecc","datavalue":{"value":{"entity-type":"item","numeric-id":3024873,"id":"Q3024873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7953b41fb25db22d40e45e9c8f76fe887dbfca85","datavalue":{"value":{"amount":"+0.7777059674263","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":"Q1904402$6D10FA80-0EAD-4B96-B80F-CACFC591655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"603e3d65c9066486d2de05b6ce7f1d9bb5cd8dd8","datavalue":{"value":{"entity-type":"item","numeric-id":4340418,"id":"Q4340418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"163ddd36434149727727ce061072ec7068da71d1","datavalue":{"value":{"amount":"+0.7574741840362549","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":"Q1904402$8D24CEAE-9FCC-4F2F-B63B-C66B449CE0B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Set theory for verification. II: Induction and recursion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Set_theory_for_verification._II:_Induction_and_recursion"}}}}}