{"entities":{"Q1399101":{"pageid":1409841,"ns":120,"title":"Item:Q1399101","lastrevid":43081107,"modified":"2025-07-17T13:09:23Z","type":"item","id":"Q1399101","labels":{"en":{"language":"en","value":"Epsilon substitution method for \\(\\text{ID}_{1}(\\Pi_{1}^{0}\\vee{\\Sigma} _{1}^{0})\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1956679"}},"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":"Q1399101$2E7B973E-2E38-47D7-A1BA-C80DA04DF1D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57e5f7ccee21c87c4386c8a6a6f70c8c29b60158","datavalue":{"value":{"text":"Epsilon substitution method for \\(\\text{ID}_{1}(\\Pi_{1}^{0}\\vee{\\Sigma} _{1}^{0})\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1399101$CDEFFC3B-31FF-47C9-8D99-39052693EDAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc0c6d2169afde9fdc79bdb6fb07ecb47adeda2c","datavalue":{"value":"1022.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399101$9440F002-9EA7-468E-9CB1-245CEBA9A24A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76b17df8b43eff2b95945a6c0586e32d4cd50a3d","datavalue":{"value":"10.1016/S0168-0072(02)00112-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399101$7A7CD0D4-4FA0-413B-897A-5EB469DC143C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98156e494398a35b2d843b98a737abd4eb3af2cb","datavalue":{"value":{"entity-type":"item","numeric-id":494641,"id":"Q494641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$4DF504F9-753B-4542-B9F5-53734750C4EE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$65E87A2D-D0B0-46A9-8E07-CAB6FA123ED3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1395e3cd70742e731c96f59db982fc04f0d8f93d","datavalue":{"value":{"time":"+2003-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1399101$1ACD156A-E120-4FEB-BA2E-54A3AB224413","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399101$F4183818-3394-4801-B7DF-590A99E1A2C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399101$7B931CEE-16DF-4BDD-B9D6-D971115AE47D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d89fe32779cb35564e4388168764eaa7a3740612","datavalue":{"value":"1956679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1399101$00F416C1-19CB-4544-8CB0-7E1B7CF75949","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5e57e9f1a947591e15f9e0dc4c42940c39094b","datavalue":{"value":"epsilon substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399101$679BA447-BB48-43B6-835E-88D2A1D9AA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60114ffcaa67627759d391337d4826e5aced2647","datavalue":{"value":"ordinal interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399101$F534FEE6-0A2E-467E-B339-32100F4E6221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d3ca4a6cbd279b42e521c34520e7efdd1df0b39","datavalue":{"value":"termination proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399101$A12D61F8-4C64-478E-80C1-C41CD711F548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2befad8a4440c912eedcde06797fda3d30c714e5","datavalue":{"value":"non-iterated inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399101$89A0DF65-DF99-4754-936F-648CC9754503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8cc87407ab9572d85505f2cace7811c9ecc29db","datavalue":{"value":"transfinite induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399101$F0CC908B-E3C7-4479-BE08-ABAD3951778E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae9c65ad678299862bd8accaaa630b8d6ab8349c","datavalue":{"value":"Howard ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1399101$598613C2-E359-4C5C-B147-F603E993E15C","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":"Q1399101$C6744E4F-5878-4109-AB72-B7765FB6DCCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa46d46e8cdb983e15648248e520e23ab7031ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4934555,"id":"Q4934555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$2F744233-0CEB-4CEE-B8EB-9FB83B4567ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973f6bf6c69678cd9a656a7e5b366fda4d57bf05","datavalue":{"value":{"entity-type":"item","numeric-id":1407530,"id":"Q1407530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$AF5AF2E9-B434-44DC-8F9C-ECA5224578E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc193c6fcdac8b3fb21f4b5c4ef642f3a0c0a9df","datavalue":{"value":{"entity-type":"item","numeric-id":3128468,"id":"Q3128468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$E2F3B0BD-53C0-4BFF-92D8-8C6E9A82272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82765c6652fefb7b62b485b8396ead94a739e4b9","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$B3539344-94DC-40ED-A20A-E8A555E3DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1399101$D467E195-D669-42CB-A53F-1717F0EE9E69","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be537e5838187dc93083cfd91d2c9e5dd54b186","datavalue":{"value":{"entity-type":"item","numeric-id":2576640,"id":"Q2576640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7656eafe69a9b3988a6354d9867b6432da0862b","datavalue":{"value":{"amount":"+0.9199063","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":"Q1399101$6D4B2460-4277-40D6-8715-426604311706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce9c6e8e62e5587d3df40fe3ffbe7dd8008e7afb","datavalue":{"value":{"entity-type":"item","numeric-id":2566062,"id":"Q2566062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d66c18f676fbe09c45ec57cae63899d0083a5d1","datavalue":{"value":{"amount":"+0.9046223","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":"Q1399101$7E5077F6-503E-43C1-AFEB-1412DBEE81EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3fdb6e7e1a75a038b6cb9cf5d803f6f3c728485","datavalue":{"value":{"entity-type":"item","numeric-id":3416109,"id":"Q3416109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42896882fa87b5818fc2615bac74cc20650c1483","datavalue":{"value":{"amount":"+0.88147396","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":"Q1399101$97BA24BF-EE4D-4A81-96C5-4924BAF250E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1c76e6aa7f7e51af0c09e90d96f833a214e63e9","datavalue":{"value":{"entity-type":"item","numeric-id":1661673,"id":"Q1661673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5185f0d1a76a0a824b8a42c7cb71506f2cefbc00","datavalue":{"value":{"amount":"+0.8783218","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":"Q1399101$77D25C6F-D4DC-4D98-A226-E2B2CB57C185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a07c2171224e2495d55678fb7d5a9ac933141f3","datavalue":{"value":{"entity-type":"item","numeric-id":5361259,"id":"Q5361259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ed5c249507daf325e267922f68384e30e5abc41","datavalue":{"value":{"amount":"+0.86217964","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":"Q1399101$34C1A0AD-C7D1-4F53-9C68-8D584BA52987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d0c7e74e9d7c8b9d69046b8e03cefc083790027","datavalue":{"value":{"entity-type":"item","numeric-id":4981452,"id":"Q4981452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f73d0c86adeed8184b5ec7cc7b928791544999","datavalue":{"value":{"amount":"+0.83926105","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":"Q1399101$9F182A6C-77EA-42FE-A86C-9D657EC7E13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc60776fafbf2cd7d05fe55eafd9de48dca30fe0","datavalue":{"value":{"entity-type":"item","numeric-id":4454301,"id":"Q4454301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4135738d063560b69ff9008abd972d1e7d56b30","datavalue":{"value":{"amount":"+0.8217124","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":"Q1399101$F939112D-23A7-4A8F-8BF4-B3BEC350A491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3abc159133e94363a392cc31a1bafe850f7dcf60","datavalue":{"value":{"entity-type":"item","numeric-id":1908821,"id":"Q1908821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4de44dc27e5448bb518ef6d0a190ab27b90cbb","datavalue":{"value":{"amount":"+0.81998104","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":"Q1399101$A30EC07B-B61F-4EFA-ACD5-181A1633C5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e184f3153f5a5889920b369bd5e86ac02aee1fcd","datavalue":{"value":{"entity-type":"item","numeric-id":4793026,"id":"Q4793026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffe68fe38685e08a9797ad80f2a17cf49125caa","datavalue":{"value":{"amount":"+0.807728","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":"Q1399101$10B73067-7444-4FDF-B8F4-D761A8D7D879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83448292ebaee4ac77484e95d82683e7f5f73a7c","datavalue":{"value":{"entity-type":"item","numeric-id":5074521,"id":"Q5074521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d96b4950c30fa9c27e4fbf0b59b8075c7dd4814","datavalue":{"value":{"amount":"+0.7891737","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":"Q1399101$66F6162D-9C27-4998-B81E-0FA5BF513A17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1399101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1399101"}}}}}