{"entities":{"Q2277259":{"pageid":2288002,"ns":120,"title":"Item:Q2277259","lastrevid":49483369,"modified":"2026-01-07T06:09:09Z","type":"item","id":"Q2277259","labels":{"en":{"language":"en","value":"Markov's rule revisited"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195941"}},"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":"Q2277259$AF5CF9DA-45F5-4380-85DF-5DE28E3726DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1aa18b0870b77e7a0ab5e5fea713fae383769eeb","datavalue":{"value":{"text":"Markov's rule revisited","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2277259$E5B176A3-F488-4151-A54E-B92EF92C93DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c9848279e50b537bab177d8e6403958af4545a7","datavalue":{"value":"0725.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$0A7DC10D-5ED8-4264-B59B-0A9D4534C093","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a95cbb532000ca2502dac1297ed7ad6c2c1ffde2","datavalue":{"value":"10.1007/BF01634982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$E21D2E5C-62B9-4581-ACBB-90FE0CCC0156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277259$646F9031-0ADB-42E2-9B31-B699E8FB0540","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277259$10ACAF7C-3942-4C64-BFB1-F5D232429BA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q2277259$8CA2DECE-F662-4D4A-A23D-D1CB7FB4279B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd7c5d237b535d4bc417b1354be0e1723ad7ddef","datavalue":{"value":"Heyting Arithmetic extended with transfinite induction over all recursive well-orderings \\((HA^*)\\) is considered. It is shown that Markov's Principle is unprovable in \\(HA^*\\). On the other hand \\(HA^*\\) is proved to be closed under Markov's Rule (MR). This yields a new proof of the closure of a number of intuitionistic theories under MR.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277259$3E06A2B3-1A9D-4F42-9268-351167CCF326","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$63E493CD-2361-4951-AEBD-4AA224A49E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$B315B784-0E5B-46F3-9228-24BCB755C5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$9DF1B6B1-4F07-4268-838C-136D9FF315AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$6C46F67C-CD8B-4AE5-9C5E-FA4DA443BF98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60cd9c50331ac1811a55496b89cd5c267f9120f4","datavalue":{"value":"4195941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2277259$DC9D3E2B-0A1C-4461-AD2E-E11A7DC56A93","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ce4b373a3b2a0e72718209aba6b6417687055a","datavalue":{"value":"Heyting Arithmetic extended with transfinite induction over all recursive well-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277259$9C1CE6A2-DA0F-4880-A8ED-B595D443BFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aa4db72529c216e6ca01eaf3dbb23b296ba453d","datavalue":{"value":"Markov's Principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277259$F705196A-3913-4B9C-BF7F-3871C42E61C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb64e7242efed8746475bddbd1893e3301abba40","datavalue":{"value":"Markov's Rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277259$7EA7F5F7-0A04-452D-B6EC-9BF45EC19DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20d362ffe83d0c9cef8194f5c98afe3fe5803803","datavalue":{"value":"intuitionistic theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2277259$55B3F4BC-B820-4020-942B-8DC8B5C02174","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":"Q2277259$FC9E4DE8-45CA-4106-960E-3719BB8F4595","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0774ba1bb6cc27081f1e2e00433a0e01eac88467","datavalue":{"value":{"entity-type":"item","numeric-id":5834309,"id":"Q5834309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277259$380F6A42-7E2C-401C-AAC6-BCA5B835BF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277259$762F0C93-418B-43F1-8279-5112957B08A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2277259$B538723B-2E57-4C01-9457-35A1C18C921B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"618df18a457f377baea80530122d19c937de0cc3","datavalue":{"value":{"entity-type":"item","numeric-id":3535125,"id":"Q3535125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57aea9329e7aaa39e2ea99210219e895db9f01da","datavalue":{"value":{"amount":"+0.8121117353439331","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":"Q2277259$680F6BCB-DC16-40FA-B052-5AE780878569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26dfc51184e530841b006a4287f218cd3d2b0e68","datavalue":{"value":{"entity-type":"item","numeric-id":4364513,"id":"Q4364513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcfa2f3757bf10f0ecef82f2863491b897b9201","datavalue":{"value":{"amount":"+0.7719986438751221","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":"Q2277259$B8EE6A24-6A4E-4825-BD83-73B534F805A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ddb2867c0a50fe3dc29b51467b1b79421042a9","datavalue":{"value":{"entity-type":"item","numeric-id":5367048,"id":"Q5367048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcfa2f3757bf10f0ecef82f2863491b897b9201","datavalue":{"value":{"amount":"+0.7719986438751221","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":"Q2277259$C41434E9-A2C9-4998-92D2-254BFD5845EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bb1606410e789aa34a85f618dd2954e94a12d7c","datavalue":{"value":{"entity-type":"item","numeric-id":3315508,"id":"Q3315508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4428b140ee317fa89b819c3618624e1018531879","datavalue":{"value":{"amount":"+0.7625946402549744","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":"Q2277259$10054166-E42F-427D-B861-D8AC8F458E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b04d9ad4aa028246c5ab9cb59d37ae94c7e446","datavalue":{"value":{"entity-type":"item","numeric-id":3791149,"id":"Q3791149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373ab413946fa6011a683bbf933af8eee8484a83","datavalue":{"value":{"amount":"+0.7591345906257629","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":"Q2277259$E8C54342-5793-4290-B614-114E1790764B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2277259","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2277259"}}}}}