{"entities":{"Q5311756":{"pageid":7341330,"ns":120,"title":"Item:Q5311756","lastrevid":41795268,"modified":"2025-05-08T10:38:37Z","type":"item","id":"Q5311756","labels":{"en":{"language":"en","value":"Wellfoundedness proofs by means of non-monotonic inductive definitions I: \u03a0<sub>2</sub><sup>0</sup>-operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2199961"}},"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":"Q5311756$F8A09436-4A2C-4A10-BEBE-DEC253EA8BEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddba11fa9d7af6304d9febd953fd1efa51efcceb","datavalue":{"value":{"text":"Wellfoundedness proofs by means of non-monotonic inductive definitions I: \u03a0<sub>2</sub><sup>0</sup>-operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311756$64A4D569-087F-424B-A83A-ED0BAF083C9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f2080550e210cb6fff4421dfcd59442a83ee9f1","datavalue":{"value":"1116.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311756$60387271-6DE7-4CE6-B062-CCA341DB616B","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":"Q5311756$B16CD69D-C0E4-43F5-870B-BF0EB5A2FC19","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311756$666B830F-A042-4477-AD62-0009B673865F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bf6b2a1195bceb76e95a6eaf6480b71590f9114","datavalue":{"value":{"time":"+2005-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311756$5EDE4C4A-98A1-4729-A38C-83D1D77C623B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311756$50DAF5A2-AF63-475E-80E6-7BA6ACB4CD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311756$0CCC1141-D8AB-42CA-882E-2C0A3BA8D6C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"446132da6fc8a1e16f92b3866366c9d8bef03e69","datavalue":{"value":"2199961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311756$81BD59DD-D126-48F8-AC33-896C42657624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"518a3ee65dcfab669ba4d9d11a07cb86586a812d","datavalue":{"value":"well-ordering proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311756$6082073F-2C12-4FB6-A84D-813839ACE1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d824aca9fb5ba550478d67e6ccfecaa2ec2989b7","datavalue":{"value":"well-foundedness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311756$4A0B77CA-C1D2-42EA-A770-882B845CC9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc6ef1c3c0eaadfea79df1805511c7fc8786830","datavalue":{"value":"nonmonotonic inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311756$E76830AA-2FD5-4FBA-92CB-16403E5D55BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e7ba370fec4b7ce07aaec7ec2dd072f5a8df18","datavalue":{"value":"\\(\\Pi_3\\)-reflecting ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311756$F4777434-50CA-49AC-8789-CE9D89A45B18","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":"Q5311756$5F66704D-31D4-4A92-B7D8-C4451AAD2FFC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6686bd4be7f46495004328634b990fcdabc188ef","datavalue":{"value":"https://doi.org/10.2178/jsl/1096901770","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311756$DD3E1D1C-4049-49DA-B43B-028754C735CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"899ea48da4f57a92a5645497557eb7a27366afd2","datavalue":{"value":"W2003387354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311756$7D72035C-C0D7-4B1E-8CD7-D9F0BA8C20DA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"22d218d3690c005dc0a2ab436158adb54815ddc2","datavalue":{"value":{"entity-type":"item","numeric-id":1400597,"id":"Q1400597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311756$4AE6AEC1-6392-4017-8DB8-FAFDC58251EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"395f5c5470db5c93e403e609fe93402427a46b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1576592,"id":"Q1576592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311756$A9F65FA7-D4E2-4165-A0FD-A4690F659174","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4832c80cf8bbbd675fc15e471d46496764828175","datavalue":{"value":"10.2178/JSL/1096901770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311756$8B656581-D5DB-44B9-99C6-2923A03CE380","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7716c52e01da3aa353c5427cf298a7f97b2c2036","datavalue":{"value":{"entity-type":"item","numeric-id":638478,"id":"Q638478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12f7b733efc4c954995f157514f96746c544aeef","datavalue":{"value":{"amount":"+0.954627","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":"Q5311756$45FAFDC7-DDA1-4B58-BB91-E7F95ACE68B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8545878f0cfa15e1dba532087f655a74c82445","datavalue":{"value":{"entity-type":"item","numeric-id":5278197,"id":"Q5278197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4527c7ecb69ff6c49f2284c80f36da777e3492bb","datavalue":{"value":{"amount":"+0.88757575","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":"Q5311756$86C9D407-15A0-444D-A381-03A8B1AAFCE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4a077a6c4b264578a40f5cea920e7d19a073819","datavalue":{"value":{"entity-type":"item","numeric-id":5219261,"id":"Q5219261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"107b9a50186edc47c3539e9602f0fc0ea97df88a","datavalue":{"value":{"amount":"+0.86538625","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":"Q5311756$D15B051F-D643-4C5E-9F69-9BBF0E7D2F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b208806c19201d0d983cef3a0946eed1be7897eb","datavalue":{"value":{"entity-type":"item","numeric-id":5425400,"id":"Q5425400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56253d648c8f5543c8370ef2d548a4f37689d238","datavalue":{"value":{"amount":"+0.85368735","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":"Q5311756$3689D949-A6DF-49E6-A9DA-FA30DA39F468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b0b908fa5cde520fe133ea8f94d55f03b9ef3a","datavalue":{"value":{"entity-type":"item","numeric-id":4793037,"id":"Q4793037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d903d1f08fa2165ed9faf0cff5c51b910394bdb8","datavalue":{"value":{"amount":"+0.8450566","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":"Q5311756$87D2736F-C993-4001-9CFC-0AE9F33A0D6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c35cb0fa3c71429050b1ae1f8973100d43dcc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1356976,"id":"Q1356976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3d6030d0cb72c9f063a251c725696898d1a28d","datavalue":{"value":{"amount":"+0.84287435","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":"Q5311756$EE54E0E8-6CCC-48FE-8781-D56172DB44AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14957959f6b1db0bc04038c15d61cb30210c9707","datavalue":{"value":{"entity-type":"item","numeric-id":958493,"id":"Q958493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb8a2abed86461de8e21002d74ee1638882baf6a","datavalue":{"value":{"amount":"+0.8418228","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":"Q5311756$491DD534-E7F1-4E4A-8261-8DBAB9E2AE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a17d2e588d1d431cba8e268813b8fc6b086c2a","datavalue":{"value":{"entity-type":"item","numeric-id":5311753,"id":"Q5311753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04cfdb7b685d86e8fbb66e04c9ff5f6af72ef388","datavalue":{"value":{"amount":"+0.84095913","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":"Q5311756$062E4C09-16D3-40E9-B39C-B1697F38A518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"874719621184877ab2da175da7ef2e94e4bd2175","datavalue":{"value":{"entity-type":"item","numeric-id":5457391,"id":"Q5457391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"822e5f5bdc964f0bc9845b239e778f2956c96756","datavalue":{"value":{"amount":"+0.8383064","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":"Q5311756$1FF1E67E-A33F-430B-8B93-1DB5D9429BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aba93682d298d9a42b99b6096cee35c9057fb0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4797583,"id":"Q4797583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fa9c3f09ec0fdd767442c7fd2fc3f83848b952","datavalue":{"value":{"amount":"+0.8378587","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":"Q5311756$97C40D4A-8C60-4E1E-8F21-B2F24467776F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311756","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311756"}}}}}