{"entities":{"Q4879904":{"pageid":6909483,"ns":120,"title":"Item:Q4879904","lastrevid":46380702,"modified":"2025-12-24T16:24:52Z","type":"item","id":"Q4879904","labels":{"en":{"language":"en","value":"Monotone inductive definitions in explicit mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883462"}},"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":"Q4879904$B1786C1D-B6D8-4D60-A8FB-125F578AAFC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96e8a4fa2f33ab9be0c717eb683e14aa4e8cdd13","datavalue":{"value":{"text":"Monotone inductive definitions in explicit mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4879904$C097964A-C58E-4CFA-9E83-F7969648C547","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a457114eb523c38fcdf1afc73e62753ee91289e9","datavalue":{"value":"0851.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$BEAF6069-5F58-47B2-8641-F10F7081C9FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d5aeb49c2c72ae382ea33d04ab3c28c6e9a711e","datavalue":{"value":"10.2307/2275601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$39FD2541-D154-4D40-8FF5-B6231AADA034","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e64bf31f7adc7949599b7092674140bc267c6785","datavalue":{"value":{"entity-type":"item","numeric-id":206562,"id":"Q206562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879904$12796F0E-4BC3-43C9-89AF-F3EE3BF5E484","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":"Q4879904$CE73CF40-B316-499B-92D0-0E8EE77C9BA9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a8d1237d32ec5eadec6067ce7ffbf57e42f0929","datavalue":{"value":{"time":"+1996-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4879904$45F7EAE6-7997-489F-8B94-58851F5EEB0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$A2C5E1EE-24AF-4530-8DE8-CDA618582C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$2C488A3C-B3FF-44B5-95EA-C1A148600FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$265A7C26-62D7-4B04-8255-AD7A523BBA9F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46c58d9f0381ce73f4f8c4036f4ea8bb42aa9246","datavalue":{"value":"883462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$F9DB6B11-A43E-4CD5-8184-0B07CFDFECE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9d42b2a8e8f10bc0defb7ff4991bcf0f90417e","datavalue":{"value":"proof-theoretic strength","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879904$09E8550B-8BDA-437F-8BBC-6F1AD3A382FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ef7d9e7fc9882bbae1db0036cc5d28c9b16662","datavalue":{"value":"explicit mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879904$2B2A2110-1F69-469B-8EDA-A524D6F9DCB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6417d461b2f1224184aba5ae1e7e6a39c4867847","datavalue":{"value":"monotone inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4879904$947460F6-262F-4403-9579-A6E325CAB9C7","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":"Q4879904$4FE5F7B6-36E2-4E39-8E00-3175A7761E9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"898d22e7851dbbcd7baa8c822ab49ab70d096ae3","datavalue":{"value":"https://doi.org/10.2307/2275601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4879904$49E9EEE7-8A5E-4CC2-8343-06FF1C745CC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65fbb36a4d123cbafb0bc68ce3428f2d01c0d0b9","datavalue":{"value":"W2061531854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4879904$C0596096-8D9E-4FFB-9D09-8C1062EE023C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ec6af83f9a6c90ef054757ef63aea9bbf0884e2","datavalue":{"value":{"entity-type":"item","numeric-id":803124,"id":"Q803124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879904$C41D87BA-A51A-4337-A14C-3F32E4202BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"825f9261e173f7260e4cb6325d137ba10b950947","datavalue":{"value":{"entity-type":"item","numeric-id":4137152,"id":"Q4137152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879904$7E729284-B8A7-4866-9F78-7883BC0293C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772f22db8726abc1b17c66467dc58d8102a542e4","datavalue":{"value":{"entity-type":"item","numeric-id":1344548,"id":"Q1344548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4879904$C113A673-E51F-4462-BF3D-A460EE876C35","rank":"normal"}],"P1643":[{"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":"9aa9b576e96a40c7d0fd2b1939856c435647602b","datavalue":{"value":{"amount":"+0.8733800649642944","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":"Q4879904$8AD0AE99-DD3D-4524-96F4-019800935999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557eec930bee0c47a139b84a1c5cfe6cccd25912","datavalue":{"value":{"entity-type":"item","numeric-id":4212918,"id":"Q4212918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d953dde17b39749a21b428b3e8a571f930bfe05","datavalue":{"value":{"amount":"+0.8588226437568665","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":"Q4879904$B99DD3EF-2C32-46B9-AE0E-3C8C6C638370","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":"9f42ecce6e091cf0158f6f5bf81665f921bbfd0f","datavalue":{"value":{"amount":"+0.8457634449005127","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":"Q4879904$104228B1-18F4-46E6-82FC-315BD4E071C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4879904","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4879904"}}}}}