{"entities":{"Q638478":{"pageid":640326,"ns":120,"title":"Item:Q638478","lastrevid":63325893,"modified":"2026-04-11T12:06:42Z","type":"item","id":"Q638478","labels":{"en":{"language":"en","value":"Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947124"}},"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":"Q638478$4B167C91-68E7-44DE-A4C9-0366C09602B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"134fffd3463cf6604d74a1b2fdd1803c2082c849","datavalue":{"value":{"text":"Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638478$6F1521B1-1166-42DC-8BD1-35CB03C4A85A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2ff5bd932e8ab851bc40a68d259a5eb40c0bb1f","datavalue":{"value":"1263.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638478$41817200-8879-4CA6-9CF1-F2E8C96AD63E","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":"Q638478$6A2EBB26-5334-406F-89FE-6D24902F2A05","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":"Q638478$00B71346-FFFA-4E09-B731-AA69FCDFA0BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28ce2fef0076f9b8b7c93bbdc314b820e86bb25b","datavalue":{"value":{"time":"+2011-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q638478$F7EC5923-A479-4D09-A81C-61B74120BD47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"200cf2abb0b68bae56d1e2dea57f05105f0f6520","datavalue":{"value":"https://arxiv.org/abs/1005.2007","type":"string"},"datatype":"url"},"type":"statement","id":"Q638478$049ED0B9-C155-48C5-80C4-F857F7489B84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638478$A0625C01-9819-4A33-8969-43A317F962E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638478$65159E9F-FCE5-4BF9-A08A-B784072440AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f12ef255596d4fbc76a2229cb106a099f9bedff","datavalue":{"value":"5947124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638478$46C81D91-1A8D-42C7-8370-90DEFE8B1609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"323cbba876bd9daa12d41e37cee779083e3a88dd","datavalue":{"value":"ordinal notations","type":"string"},"datatype":"string"},"type":"statement","id":"Q638478$B9653D6E-E198-4CC6-A7D0-D4F1F0708088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef9426acbf6169e81186c7e4cf2f59dad09d529","datavalue":{"value":"reflecting ordinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q638478$00AEA267-8244-4AB4-8AFB-4DA2CD2DFE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4ed8cba60411ea8a3b50b8252e5d0742f2472c","datavalue":{"value":"wellfoundedness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q638478$C90350FB-CDB1-4411-B161-41D5BB514A53","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":"Q638478$9EFA9599-DE97-422C-8C5A-6FF555B88B02","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32edf42dc56331850bc3f2fc1e9835fcf59d99f3","datavalue":{"value":"W2963649218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638478$B3DBC716-1C8D-48D0-8E62-482F65FAC16A","rank":"normal"}],"P223":[{"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":"Q638478$124166C8-1954-499F-880C-1ACEA2EEADC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b46a555f2762591f431d4e33a33934b20b9b0a74","datavalue":{"value":{"entity-type":"item","numeric-id":4527929,"id":"Q4527929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$AB2B57B3-DC78-4B57-90B7-B8759BD1A67B","rank":"normal"},{"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":"Q638478$177C6E66-BA64-44BA-964C-706670C60F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d00387896589b5e49220f22dbb558564f833852","datavalue":{"value":{"entity-type":"item","numeric-id":1887655,"id":"Q1887655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$B1DFE07D-447A-4F0E-9A11-B364CD54BE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df391c14f89714fa01f6064c7ec4af45aa0776f","datavalue":{"value":{"entity-type":"item","numeric-id":5361255,"id":"Q5361255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$B5F0627A-3EB6-4CF2-BA03-E1B6BF159BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f248a4b193621c305638994f6a657146b123a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5311756,"id":"Q5311756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$870BD453-EB42-4A1E-ADA8-E158D95DA353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90eea54f6e5558a75a527091b123c14414a6f076","datavalue":{"value":{"entity-type":"item","numeric-id":4630793,"id":"Q4630793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$92CCEF45-9BFD-4E37-91F4-B99C9FC24DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d231028a06b9247fe4eceef543855a118cf2b5f1","datavalue":{"value":{"entity-type":"item","numeric-id":4109654,"id":"Q4109654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$3F9DAAD8-9CBB-4F9F-955F-D3EFB3E75ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df365e2750bcc90fe63e52a82b25a29336cdac5","datavalue":{"value":{"entity-type":"item","numeric-id":4079598,"id":"Q4079598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$5D91E136-E6F2-4D17-B0A4-0732DEDE886F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4961374e6ddb708111e6f7dc9bd89efaafa073e9","datavalue":{"value":{"entity-type":"item","numeric-id":1295372,"id":"Q1295372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638478$0E1705FD-9A14-4A50-B2DF-D3E84BF0343B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b80670c5554c4b8ea0a6ec7a7795dc2a438a5296","datavalue":{"value":"10.1016/J.APAL.2010.08.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638478$3883A7A3-35E4-4FCA-BB43-CC5297729526","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccbfcdf47b177afa2c553f68d532c1ce161074db","datavalue":{"value":{"entity-type":"item","numeric-id":5311756,"id":"Q5311756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3fcc884fb34f7c00f1ee3ec9b6aae6f7ee767eb","datavalue":{"value":{"amount":"+0.837395429611206","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":"Q638478$05005AB9-070E-4D6A-A1A2-3BB4E2D4D39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6982be56b248723c76303a235ec410a82aa2a8","datavalue":{"value":{"entity-type":"item","numeric-id":2758045,"id":"Q2758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2e3f439b2890f8e5bb4749e806571b57f6d9ff","datavalue":{"value":{"amount":"+0.7921337485313416","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":"Q638478$06544113-07F1-42C3-80A4-752B93A99252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d95f1cde2766d35c13522885aebafc4ae650245","datavalue":{"value":{"entity-type":"item","numeric-id":1102279,"id":"Q1102279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a69fbb42114fb31d12146689064a201b3896bf8","datavalue":{"value":{"amount":"+0.7920941114425659","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":"Q638478$4D318BBF-AF2F-4EB6-B6B2-E85EA17BAABE","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":"becd43fe5b03a41b3526e8286f5d0179f540b80c","datavalue":{"value":{"amount":"+0.7769650816917419","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":"Q638478$8EF5F4AD-8340-4799-968E-EE0D5967A850","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":"64512af751ef8a698955371ddd18adf7e4730453","datavalue":{"value":{"amount":"+0.7564516067504883","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":"Q638478$D9217D94-1510-4755-9D2D-D5D04D50F089","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Wellfoundedness proofs by means of non-monotonic inductive definitions. II: First order operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Wellfoundedness_proofs_by_means_of_non-monotonic_inductive_definitions._II:_First_order_operators"}}}}}