{"entities":{"Q5477639":{"pageid":7507198,"ns":120,"title":"Item:Q5477639","lastrevid":49872808,"modified":"2026-01-11T12:07:58Z","type":"item","id":"Q5477639","labels":{"en":{"language":"en","value":"Bounded modified realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038903"}},"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":"Q5477639$57DBE949-C98F-4220-A92A-64DA233BFFC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebc84e427a9bf1559417b59745daab90d4699920","datavalue":{"value":{"text":"Bounded modified realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477639$04C01B1A-8E79-4196-AD37-93EC1FE3CEC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0841b96167dc22bfe5bf0f50c696d8e428063d45","datavalue":{"value":"1100.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$F562B763-3444-4E61-B0C0-2F25501EE032","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":"Q5477639$9F31A223-1983-4009-AFD4-30009D5211FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a50f2cd6c4898065eaa272ea8bb874fb0fd3e518","datavalue":{"value":{"time":"+2006-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477639$04BFBFE7-69A9-4A37-AE08-FC5B01442CD7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$C3DD0B8D-6870-486F-AC61-89441C4F475D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$C8F5186A-1D63-4CB3-BFEF-001505C593FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$4F27BA4B-7516-4BD3-9312-940AAE26807F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$B8D108F1-38F9-4281-A00C-93D37232E520","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dbbea09e36d6b42ef694ad46b1375694d0793a8e","datavalue":{"value":"5038903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$5854620E-7306-473A-9A60-94EA464A2685","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f75686255c1d7eca8f0576f37752fda5c2ce952","datavalue":{"value":"constructive content of arithmetical sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477639$A9DF8A42-5D2B-49EF-944B-3BD955A4AE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477639$C7ED80A3-F9A8-4ACC-B390-3AC68C2EB258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2f1e2fab68e01cfe63b5331cab62b886a20c2d","datavalue":{"value":"FAN theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477639$A2D93F41-490A-4B0F-A9E4-8F5397A32C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe5670a6c6d1baa39a0a64ff77e086b1c9f1694a","datavalue":{"value":"Markov's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477639$77EBAB6B-B069-4784-8C04-9F2201D903A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cddcf5b415cde9681357a8bfd3c09395ea363bfa","datavalue":{"value":"omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477639$E9B67F2D-2C49-41CF-98C8-8A78672BCC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f65c903e15f344548cee589bcf472518f888ec2b","datavalue":{"value":"weak K\u00f6nig's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q5477639$C8399DC3-E3A7-4705-8EB5-EA596C03932F","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":"Q5477639$C0731810-770B-44AE-B1ED-1E3F59CB42B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"709eed4e7457cb5b4019021d9242ce408bfef804","datavalue":{"value":"https://doi.org/10.2178/jsl/1140641178","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477639$D578E01F-1671-43F0-85E7-053E5F902416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fd0db4ea4616c7b5c22a0f274abad76df313bde","datavalue":{"value":"W2018940329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$37AFC386-24DD-42E4-81E0-CF63B86F3EF2","rank":"normal"}],"P223":[{"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":"Q5477639$6D8529BA-9324-4029-A742-1080F825D97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd4c73fbb6d38df05680cdbfed72a64b0f9b239","datavalue":{"value":{"entity-type":"item","numeric-id":5957854,"id":"Q5957854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477639$22422747-6F07-42A1-9EFB-75AFB6F366CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c29249d4170f759b7d4af5601eba4261cac0c4","datavalue":{"value":{"entity-type":"item","numeric-id":1354332,"id":"Q1354332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477639$FCEC0D87-0006-411C-9849-809BCC2A98D4","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":"Q5477639$08AB9123-CCB4-420B-9897-5B6810E99A6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcc7d7399f03676b94cfe3badcd3d0ae4d24a5c5","datavalue":{"value":"10.2178/JSL/1140641178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477639$74CABB8F-F988-4D21-A34E-DED8DAD31382","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78d948eb93357d6b3fe5219b4b155c6876468eff","datavalue":{"value":{"entity-type":"item","numeric-id":3406445,"id":"Q3406445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"779cae8de42f88e303d5e3fa86329601b0458259","datavalue":{"value":{"amount":"+0.8385632634162903","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":"Q5477639$DC800218-02A3-48F8-8DAB-810BC7D4A116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f2ca2f7785c5c758f37d5bc6832da68a2049b37","datavalue":{"value":{"entity-type":"item","numeric-id":2488269,"id":"Q2488269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b5eddaff7917b8e5d962cd0667361b0e92e4e0","datavalue":{"value":{"amount":"+0.8249748945236206","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":"Q5477639$F6172AD5-BA1B-4785-880F-8E259129339A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1eca4444bb99a64ff5e45d5c3692d1f030ef28","datavalue":{"value":{"entity-type":"item","numeric-id":424545,"id":"Q424545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d879dd1b3d1d882161f26bfaad430839dad68f6","datavalue":{"value":{"amount":"+0.7934421300888062","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":"Q5477639$014297F7-1B7A-4B63-BBA2-BE6F9ED3D5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9192d321194d539e4b0c90c8f4bb37cb56fcb399","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67d96a2129721d6d017adede0882c870ee5218c","datavalue":{"value":{"amount":"+0.7861432433128357","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":"Q5477639$25B417E7-95DA-42A3-A3BD-45F55B6FCDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059b1678253fd54ba677df94f1a3085bd2053768","datavalue":{"value":{"entity-type":"item","numeric-id":785957,"id":"Q785957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4c0902f301394fc4afdaf6044ca340e08a55f8","datavalue":{"value":{"amount":"+0.7838040590286255","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":"Q5477639$3F6B9D2E-E0E7-404E-AABF-44BDDA6F515A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477639"}}}}}