{"entities":{"Q2968417":{"pageid":2979142,"ns":120,"title":"Item:Q2968417","lastrevid":85588652,"modified":"2026-06-03T10:02:36Z","type":"item","id":"Q2968417","labels":{"en":{"language":"en","value":"A direct version of Veldman's proof of open induction on Cantor space via delimited control operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694185"}},"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":"Q2968417$E45D83E0-829B-45B8-843A-C042BF865BA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f6835e8fb583382224024a2d685451ca9de6689","datavalue":{"value":"1359.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968417$4B73DA78-847A-42BE-8391-88B8FA9B9421","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf340d7ff821e26d8a935bc7e4aa006ed3e278","datavalue":{"value":{"entity-type":"item","numeric-id":450949,"id":"Q450949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968417$2A67840D-8E92-4800-9C5F-BD0020895C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aab4c81bbdf8e8ab11509c3fd87907e1c5ae9221","datavalue":{"value":{"entity-type":"item","numeric-id":1929335,"id":"Q1929335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968417$1C60809E-5933-49AF-8F78-C878B8D2F57C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968417$B225A697-7DA4-4008-9D2F-503FF9B9018A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2800f638fbda20da820d509819137113ede5b553","datavalue":{"value":"https://arxiv.org/abs/1209.2229","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968417$71F60F88-0329-4B20-9A22-3F56D58305B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968417$31D0D24B-F576-439A-B175-1D46DABE1303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968417$5C9C45C6-ED51-4BCE-B1B8-91F5453CDBDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2493f68b64ddb3392111342a6f16353616ab92f4","datavalue":{"value":"6694185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968417$C2FD7B45-4B59-49C0-BAFA-2686189398BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c0e61417edca23a18326758ca075e18f0430f7","datavalue":{"value":"open induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968417$D7F653CA-1587-45FA-AAE1-6D10A129B232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968417$92C6CC1B-02E5-4772-A1EF-8D9DE8F76D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b38afb6a1f73c2390a409095d16aa67e02f9e90","datavalue":{"value":"double negation shift","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968417$F3A1E3F2-A53B-4420-B8DA-21EA58CBB6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1e5350e3efd54cc649112615c7714af5a36a43","datavalue":{"value":"Markov principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968417$4D9EBECD-1F6F-414F-92DE-09810F942C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c5f226222c1f8a70f4ec6c8398299665d047668","datavalue":{"value":"delimited control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968417$51D83F89-2EBE-4667-A5D9-C427A5FD28CA","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":"Q2968417$129790B4-40AF-4B25-8F46-0CB83E9B06D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9221c6bdd3657fd2dbe99ba539018f13d5d1ca71","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968417$003F7B1D-F686-44B0-823C-EEE451BCCB5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66b42950c0d161052de202a238175876cdb49ce","datavalue":{"value":{"entity-type":"item","numeric-id":450950,"id":"Q450950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e923fcd62888fb20b7de1ce2fce3b29cda30645","datavalue":{"value":{"amount":"+0.7485879063606262","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":"Q2968417$27285C45-601D-4967-849C-E6F6724EA661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"530a71ff808bdd6c315d732e5269eb66291cb6f0","datavalue":{"value":{"entity-type":"item","numeric-id":5224158,"id":"Q5224158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2987ddc01e2150f17ac96f74a5b3394cb349a67","datavalue":{"value":{"amount":"+0.6881193518638611","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":"Q2968417$A2F262CC-2B88-4176-B5AE-FAB34DAE6495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9449234a789982d4bcee3947cd781ee3863680cf","datavalue":{"value":{"entity-type":"item","numeric-id":4644481,"id":"Q4644481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"630457bf24e817da87a50d0423bbd673a410617a","datavalue":{"value":{"amount":"+0.6812213659286499","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":"Q2968417$00534714-9AF6-4414-9BBD-D790A04FBF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0a178533ad224837b849230a452bb4ac8a54db","datavalue":{"value":{"entity-type":"item","numeric-id":5472306,"id":"Q5472306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f8b523a0cd3a66f5de722e2eb6e410f672af8c","datavalue":{"value":{"amount":"+0.6807022094726562","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":"Q2968417$474D4F85-F7EE-46A9-920C-01FFB95B7BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97021f61c47a92bfbadafa680a4734d45d837684","datavalue":{"value":{"entity-type":"item","numeric-id":512134,"id":"Q512134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"550d25df614a455cc076107ad26a78d761404210","datavalue":{"value":{"amount":"+0.6771459579467773","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":"Q2968417$A6127002-3CC3-44E7-A0A3-F8F3E71330B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A direct version of Veldman's proof of open induction on Cantor space via delimited control operators","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_direct_version_of_Veldman%27s_proof_of_open_induction_on_Cantor_space_via_delimited_control_operators"}}}}}