{"entities":{"Q3655246":{"pageid":5685152,"ns":120,"title":"Item:Q3655246","lastrevid":58229322,"modified":"2026-04-04T07:58:38Z","type":"item","id":"Q3655246","labels":{"en":{"language":"en","value":"Functional interpretation and inductive definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654321"}},"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":"Q3655246$6471184F-7A84-4851-9615-F887E963D14C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5218827ae37194025acbd94fee204937de6fffb","datavalue":{"value":{"text":"Functional interpretation and inductive definitions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655246$328E245A-F9DA-40D6-B508-6709C7B4BD6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12c858f47ac4efa81d5c8da5e97570b840c79268","datavalue":{"value":"1193.03082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655246$DA8BC166-CBEC-4111-830F-16AFF5EDAB09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$9A5880DE-3A3E-485F-8444-14CC4A157289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4aea1dd36182a052ff66ff5bfa454f46b990083b","datavalue":{"value":{"entity-type":"item","numeric-id":424578,"id":"Q424578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$20E9A625-7AC0-449C-A186-5FEB7D8DC422","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655246$9D156939-39FE-487B-857D-920F44EBC895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bc4cd4cd713975805c72574ec45608bb31a4a43","datavalue":{"value":"https://arxiv.org/abs/0802.1938","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655246$CC3A8ECA-3301-4BDD-9C88-59383568722D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655246$B52E59CF-20A2-4529-BF39-DEDFDC140770","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7787f822c45792ac100abafd0324502cc174ef73","datavalue":{"value":"5654321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655246$D09FD89B-3301-44D7-8632-5CB5ED5C1B19","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655246$3B888793-37BD-404F-8FB2-8DDCAB35E0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"492942e689dba58f90096ed1c12c52b0f868caa6","datavalue":{"value":"functional interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655246$0C0155A3-26B8-460B-BEE0-A14A2726AE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c472186adf81302a70a4908403ced59163a955f","datavalue":{"value":"well-founded tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q3655246$91CBD202-DC4E-4624-B765-6526294A458E","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":"Q3655246$2AB48FA5-02F0-4C01-8691-43448CD2A249","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca4c7a1ad1d8343d07e6becc17dc65dfcc50be5f","datavalue":{"value":"W1970069956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655246$30449998-0DBA-4DC0-A806-EAA88D223789","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7651366d63270a35f8a2a204ce9587e521c05fd8","datavalue":{"value":{"entity-type":"item","numeric-id":4198751,"id":"Q4198751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$3287AD3F-2E5F-48B6-91DE-CA526DA569AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1bec9637dba5e8307ef3ad4b6a5c2e0405240f9","datavalue":{"value":{"entity-type":"item","numeric-id":3437042,"id":"Q3437042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$30230DC7-3F84-4A0E-9D79-7A3051CBB894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c26764e82c9ce1a5fcfcc1bf552b3a6da2b17f4c","datavalue":{"value":{"entity-type":"item","numeric-id":3778746,"id":"Q3778746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$00FCCBB4-DFF6-4CCB-BE18-6F383F5D0924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688cea5a817911a84036b242cb5a151143cdc0bf","datavalue":{"value":{"entity-type":"item","numeric-id":5680102,"id":"Q5680102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$FA586610-11F7-4640-95AD-BFB535B0454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d357a47c04e8c031646a6927518ecdcc37982e0","datavalue":{"value":{"entity-type":"item","numeric-id":3262780,"id":"Q3262780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$8239A48D-677A-4726-8BC1-2A3AC73296CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26b1ef00bc67d2868d77b06ad6b8d2cf11afcb4","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$91405C47-AA8B-474C-8285-1C300317A0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117810964db980ad00f39ab39d43879214724e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4401924,"id":"Q4401924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$85D5C38F-5B60-48F1-9DFB-C9D5CA483331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f21b3933a73171f21e0c9085ecd8522337907b75","datavalue":{"value":{"entity-type":"item","numeric-id":1590194,"id":"Q1590194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$78430DC1-53A4-4E5C-945B-DD2C0D9CEE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"852df03aed0eca0768b9308a9553b27c39fad827","datavalue":{"value":{"entity-type":"item","numeric-id":2711810,"id":"Q2711810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$45F0E4E5-BF5C-4297-B043-0D8E268F489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e73cbdc4f532ed72bacdc9e85f4929b162897095","datavalue":{"value":{"entity-type":"item","numeric-id":5450521,"id":"Q5450521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$8DEBC60F-DD85-4C1F-BCBE-627D2F5CA789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365fc3a8c1ea4fdd14d92715e8b6b254641238e4","datavalue":{"value":{"entity-type":"item","numeric-id":3226751,"id":"Q3226751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$AA81CCDB-74D8-4561-BA0D-722FE803AA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$92ABD381-BABE-423C-A5AA-2717381A0C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb13f0e26bedc43a55f423a26969b5bdef66af80","datavalue":{"value":{"entity-type":"item","numeric-id":2710607,"id":"Q2710607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$0D2D52CC-BB02-400A-B1E4-C643BEABA6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c134c8834faa3b9ef54e42e1a13616bb20168fc7","datavalue":{"value":{"entity-type":"item","numeric-id":1295369,"id":"Q1295369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$FFFF47C5-F6D3-46DF-AEAE-306FC4C2BBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22680b00afe42489064979aae0a95fe30de0fd01","datavalue":{"value":{"entity-type":"item","numeric-id":4819747,"id":"Q4819747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655246$4DA88E2F-5123-4868-9334-7D04031840D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff3a0aa6016f0373fd50ebedb5cedf4b27cf2d7c","datavalue":{"value":"10.2178/JSL/1254748682","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655246$CA7C55AF-D6FB-44F8-A338-3C4D960E2C29","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":"Q3655246$E5332774-5C2F-44D0-A522-6DF792A2748C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7ece1c04276edf21fa91a8377e563644ec3448","datavalue":{"value":{"entity-type":"item","numeric-id":4215634,"id":"Q4215634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dae0c3b16c64d0a253f574c6f3ae808e3e54a39","datavalue":{"value":{"amount":"+0.7921068072319031","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":"Q3655246$1F20E8E3-86C1-4507-BCD8-636F86F5BF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e835cf8f8055c9f07f170d70eba8a448d71316b1","datavalue":{"value":{"entity-type":"item","numeric-id":2836179,"id":"Q2836179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0784a180579d4a8248f4a7966db2999415f4fb74","datavalue":{"value":{"amount":"+0.7911366820335388","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":"Q3655246$28A4DDC2-D1B1-4F69-A786-B1B2ED8EF44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cee7b4e917ce72add131427bb7620878dc20010","datavalue":{"value":{"entity-type":"item","numeric-id":1295369,"id":"Q1295369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5835315ed5a1a1b5ad43542ef32e810bc8efa1b","datavalue":{"value":{"amount":"+0.780290424823761","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":"Q3655246$D27B9933-6772-4343-A32A-7E4A8A1EABE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"663a6362854082b09fe2fe423549e8a7671153e5","datavalue":{"value":{"entity-type":"item","numeric-id":4981444,"id":"Q4981444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d032cc8e041e5ef78fcf151d440446fede2b98","datavalue":{"value":{"amount":"+0.7767252326011658","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":"Q3655246$0DD86599-9B6E-48A6-9439-A976F606395D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0c2655456339de4599b5367a3a8b9920d862a2","datavalue":{"value":{"entity-type":"item","numeric-id":3081643,"id":"Q3081643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272b1bea68a60bac5bf7c5722218cee4d8ba5c49","datavalue":{"value":{"amount":"+0.7742376327514648","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":"Q3655246$331291AE-7780-4FBE-A26F-3E2F3F410ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655246"}}}}}