{"entities":{"Q4172046":{"pageid":6201647,"ns":120,"title":"Item:Q4172046","lastrevid":96479954,"modified":"2026-06-05T11:23:22Z","type":"item","id":"Q4172046","labels":{"en":{"language":"en","value":"Parametric inductive definitions and recursive operators over the continuum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3606449"}},"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":"Q4172046$393DEB20-B04C-4FDF-80C0-231A1CCBCE52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aba15c56afe3eaddd855dbfab56f643ca79e36e4","datavalue":{"value":{"text":"Parametric inductive definitions and recursive operators over the continuum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4172046$BB43FC58-0202-4676-AAC4-230423A9468C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b114308792646f73f6527e49e97d79ad15634e5c","datavalue":{"value":"0391.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172046$10BCC58F-3514-4B63-BD51-781CD25A714A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"145c03530c940241521ed95376f4dbe1797e1d36","datavalue":{"value":{"entity-type":"item","numeric-id":524277,"id":"Q524277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4172046$FBEB5F59-E537-4B30-A256-B31018FD87F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4172046$4176AFA4-53A0-45E1-9ED9-8DF66ADE3A0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4172046$AB308CCF-810E-491A-A8DC-15E2E59889B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9551bf447038e5a8ec42991f3f90b6fd5a0df9db","datavalue":{"value":"https://eudml.org/doc/210960","type":"string"},"datatype":"url"},"type":"statement","id":"Q4172046$58E28248-09D9-48FF-82A2-4953A88E0A58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172046$64EA6D1A-7C23-43C2-ADCB-867673937F34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45f6ac4fd8406e3bf836d3e113dcf7523e541bdc","datavalue":{"value":"3606449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172046$561F008C-7345-486B-ABC2-1C99BB216974","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cd9a8a1731410b96d3171b36976d903bbb3397","datavalue":{"value":"Monotone Operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$DCE98714-DBDA-4493-A177-DF4661ECF5C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43fbe74a7e209b421f05774df83e5cb2ea5e5c53","datavalue":{"value":"Recursive Operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$AC876C36-615F-44C5-9824-6E79D75DEB11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a02c549018b344a0567b1b7aabd2aecb61612508","datavalue":{"value":"Arithmetic Operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$9C0716EB-72FD-473A-9D12-B3C659EB0CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa13d838c4916d86210a4820ba3ff04133c4622","datavalue":{"value":"Parametric Inductive Definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$64F58305-87A5-4C07-857B-46112F6AE8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d97b981a4025b90530e94a2b5f13e3d11a10d2","datavalue":{"value":"Closure Ordinal","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$104504E1-44D6-4A8D-8193-974B9E0351E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a8599dfd53ea971e816d6f342ddfe8b55348b56","datavalue":{"value":"ContinuUm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$67D1E7EB-5B8C-4E0F-8E1F-4674C434AF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3da74a0be7c2c86e111bf7ced7eab4b44cebb0","datavalue":{"value":"Parametric Inductive Operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4172046$A07EECEF-8FFF-43C7-BDE9-751E2723D32D","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":"Q4172046$488702F6-3A58-44B3-B084-1326F6450085","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"64be96e2308be362dcaf02673474fe4a4f27da65","datavalue":{"value":"W1150155920","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172046$D527094D-ECD8-4113-B25F-457D337A942C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af2aec70dae0aa759ef4775bb1521a48ba2cc840","datavalue":{"value":"10.4064/FM-100-1-9-15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4172046$61F8AE83-4F30-488B-A210-F0158C815D8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric inductive definitions and recursive operators over the continuum","badges":[]}}}}}