{"entities":{"Q3760536":{"pageid":5790442,"ns":120,"title":"Item:Q3760536","lastrevid":87783536,"modified":"2026-06-04T12:47:08Z","type":"item","id":"Q3760536","labels":{"en":{"language":"en","value":"Definability and forcing in E-recursion."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4010511"}},"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":"Q3760536$9087B253-3F7B-43BF-B242-1616696D724E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"603edf79ba39391530c2baee1aaabdf5ed3fad20","datavalue":{"value":{"text":"Definability and forcing in E-recursion.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3760536$1400B983-DE37-456F-BC1F-97BB53AE33A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203889018f4aa07a137e01e4ef232652342254ce","datavalue":{"value":"0623.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760536$79D7245C-9CFA-4B7D-8A00-632CE3A615FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe3c77477a57e28f661a034dc3966dc0afa9a91","datavalue":{"value":{"entity-type":"item","numeric-id":1295395,"id":"Q1295395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3760536$2837A26D-2384-45B9-83EA-17194E044954","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f93a7ac42ad2161466fbc168fb61a689038734e1","datavalue":{"value":{"entity-type":"item","numeric-id":2795643,"id":"Q2795643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3760536$F209DAB1-35FA-4C3D-B958-9E93EC4739D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3760536$8ED4A3FD-4A0D-4592-ADC8-627D0363122A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3192d2436a8d26ece5f2508632c23056a764eec7","datavalue":{"value":"https://eudml.org/doc/166940","type":"string"},"datatype":"url"},"type":"statement","id":"Q3760536$9F7A9F83-7BCB-4DF1-95E5-60937CD39F9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760536$E017A9CE-6114-49F8-8C18-B7D451F59AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760536$570F898E-801F-428C-AD1C-8D30F68FC986","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09bb2eabb704fcce5273127b00da00edd41ee702","datavalue":{"value":"4010511","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760536$5F019007-0B03-4234-8317-EF76475039EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"111cf310e88b32feeb0335212ccbb9989b1064a3","datavalue":{"value":"1-section","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$54024CD0-9AF9-4542-BC7D-091736080AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ca57a004f516cf3c19f289ce9500c08d4e5d3e","datavalue":{"value":"generic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$8A4906A1-1C31-49DA-BDBB-7C73F9CBAD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484d8ee1d07a292fda7b80ad35c63bacc37ba55d","datavalue":{"value":"E-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$4B8BC0B8-8CA7-4D0C-AF88-23D4E09157E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c3af8db89c8de0d2774fbf3d1d50f1b3e843140","datavalue":{"value":"set recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$1C385B09-EBC1-4C3C-9FB2-812DFBA25140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$E0E616FC-52F9-44DA-8C80-43DB885527E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c1e155cad8428fa451b28651981e038e134373c","datavalue":{"value":"Cohen real","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$08F82DB1-048E-45EB-ABEC-B471140B32AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edd91c982e8597e70a8b6c33bdbee31f953b18e4","datavalue":{"value":"generalized recursion theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3760536$34C9A713-F957-49A0-A15A-886FA0C3E0B8","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":"Q3760536$6345E5F8-8A45-472E-99BE-3727F7129305","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"831d882eda7578784debbb3cb9d9e4964fcdd532","datavalue":{"value":"W642954007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760536$B6D791F8-BB74-4845-A3AC-DBAF25391FCA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acdf023e98f3127be13c52b394b95fa01ed38b83","datavalue":{"value":"10.7146/MATH.SCAND.A-12103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3760536$646F59E2-FE0F-4725-B4ED-1826C87140D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2ec4b7707b8ead3a6b7336df59583e24f4332","datavalue":{"value":{"entity-type":"item","numeric-id":1062978,"id":"Q1062978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f3f5b7dcc23c182ed4ddbcea779e922f73dff1","datavalue":{"value":{"amount":"+0.8627668023109436","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":"Q3760536$03A81D45-F8D4-462E-AB5B-D6405182E835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9a3f1ea70990b18811845e5d0f432ef4cf32f9","datavalue":{"value":{"entity-type":"item","numeric-id":3461818,"id":"Q3461818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6390bf4bed420293dd0e06b978633d88b7c6783","datavalue":{"value":{"amount":"+0.7924336791038513","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":"Q3760536$726D4107-5780-45B4-AB88-A06D2AD78B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773540d2be03b0a3b6f529623731ad5f63b5518a","datavalue":{"value":{"entity-type":"item","numeric-id":3760535,"id":"Q3760535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5df23507d7ba453dd9bb4f01b7f76c1e22a7aafc","datavalue":{"value":{"amount":"+0.781078040599823","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":"Q3760536$A38A60DE-F4C5-47B1-859E-D921AD3231B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdf2d2a7f63aa9813705a30b10e296e7723c4a29","datavalue":{"value":{"entity-type":"item","numeric-id":3030816,"id":"Q3030816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0447ff511454048bb72a6d33693ad7e27d250b5","datavalue":{"value":{"amount":"+0.7736445665359497","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":"Q3760536$567CF8BC-FDBA-436C-81D8-B666D51BE09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317a19bdcb1b0bee2a750eff88396f996562bd04","datavalue":{"value":{"entity-type":"item","numeric-id":3691657,"id":"Q3691657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c164ac8e086f8f906615f84272f08da3400594","datavalue":{"value":{"amount":"+0.7681939005851746","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":"Q3760536$A67D297B-307E-4EB1-806D-96DB7BB2EF3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability and forcing in E-recursion.","badges":[]}}}}}