{"entities":{"Q2700803":{"pageid":2711547,"ns":120,"title":"Item:Q2700803","lastrevid":82714946,"modified":"2026-05-06T21:44:23Z","type":"item","id":"Q2700803","labels":{"en":{"language":"en","value":"Realisability for infinitary intuitionistic set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680007"}},"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":"Q2700803$02DB25F3-2DE7-4945-927B-08765A2CA595","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aef45b7d2791c0a042c7d691bb3ac12f439a8446","datavalue":{"value":{"text":"Realisability for infinitary intuitionistic set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2700803$79150F2F-615D-4709-8804-72A924ECB14A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a2bfb0e10347c17cbef3ee7d45a42b79abe80bc","datavalue":{"value":{"entity-type":"item","numeric-id":330193,"id":"Q330193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$ECA85196-1B40-44F4-B141-6AC707B3866E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a4abbaf4ed34fd723725706dd6484bc95542d3e","datavalue":{"value":{"entity-type":"item","numeric-id":2011659,"id":"Q2011659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$E3755727-2AA4-4F81-AFB2-29D2EBD87F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e936e7ebf0aa017908b5e811b2e61fb3d84ba4e","datavalue":{"value":{"entity-type":"item","numeric-id":2046359,"id":"Q2046359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$C45F8A2B-2B4D-4320-9975-65F6C2BB38B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$FCEA519B-F311-40FA-96BA-42A4723447B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2700803$5A1D12F9-F1E6-489F-973D-5AA0290BD979","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6ebaf184bf812e803f318b3aa4aae4dcbf777f3","datavalue":{"value":"https://arxiv.org/abs/2009.12172","type":"string"},"datatype":"url"},"type":"statement","id":"Q2700803$A75BBC1F-3A46-4C7E-B81A-9A99A8238971","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$229B0153-473F-4FB0-82F7-668CB15D10BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$497164BE-0145-4D36-A7D4-F583B1AC0BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$14C17406-C061-43B7-8406-0B0E3069EA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$F552F30D-0522-4DA2-B2F9-2A17A1418A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$10945724-CA1A-42BB-9708-677B280B6753","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffb13d5672e71dc1fbcd4049c036ff911885bf3d","datavalue":{"value":"7680007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$48135391-DA52-4159-85ED-FEDDDD76EAC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193e9e18264a324630ab056534b18c56c3a0c0c0","datavalue":{"value":"intuitionistic set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700803$181A02FA-1F6F-47DC-9D18-60E6DBF897FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa588e4f5e4578a5ce68662ac6bff84baf18c7","datavalue":{"value":"realisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700803$D3207A62-A4D8-47B4-8F40-922F74FB6205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942f4483a542182949b82c643c697f831acf043c","datavalue":{"value":"transfinite computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2700803$7EE0CF78-8BF4-4550-88CF-1E08DE3A47C9","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":"Q2700803$7EAB581B-9C8F-467A-B790-919E7EEA9D1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b98ee1f98a9a90db5771bcb037b6fc7293a33d5","datavalue":{"value":"W3088074722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$7D875DD1-A29C-41FB-A84C-4D0F9EF47148","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc94bf2f79788b303de4c0b01e828977dca54a3","datavalue":{"value":{"entity-type":"item","numeric-id":3866108,"id":"Q3866108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$4BF5E08A-F80E-4438-8C54-6C64B6329B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$34A8F202-BD84-4294-B024-3C10CD2CE8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dc3b00148b9a8fa5c05f65c975fbea3108ccd36","datavalue":{"value":{"entity-type":"item","numeric-id":2011652,"id":"Q2011652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$F170E438-DD1B-4955-9ACA-EE751F2B7469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f999d91c4a8050568ea9cd1d50f89be76c384c","datavalue":{"value":{"entity-type":"item","numeric-id":1670732,"id":"Q1670732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$7E5E8056-8AEF-44CB-9E41-F946E6BB860D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$7CAC41A5-A4FD-48B7-9B0D-E84EC6FF14D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$C56FCFF7-9FC8-4BFF-B5C2-4C55823B66C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d24b465e9e8ded91641c6b29da90d000b8dc8676","datavalue":{"value":{"entity-type":"item","numeric-id":4088906,"id":"Q4088906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$1F35ECD7-CE25-4AA9-B2F2-231125FE298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$F5107E62-9A72-445B-B3F7-5F409318AB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$C04C824E-E372-4B40-BC42-291F890D388F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45b1d684154fd4f26fa723f51d17c9760b9f0756","datavalue":{"value":{"entity-type":"item","numeric-id":2231694,"id":"Q2231694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$9B01AA91-5F57-4111-A25F-753935BAB89C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$AABC5CC1-3E75-419A-80D8-3581BC1FE97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c546f6f70e37faa7e0891fa88752a7c230a2d2f","datavalue":{"value":{"entity-type":"item","numeric-id":3370613,"id":"Q3370613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$6D027165-E0FF-4F99-AB4D-1B384BDDCFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fa551e3e349b20e4092ff082ad75f2b46098da0","datavalue":{"value":{"entity-type":"item","numeric-id":1032634,"id":"Q1032634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$5A5BE71D-B953-4ACF-BB24-C61BE78073BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541582ff9fc4ab5da17e1c32e73d32b6d5ae8410","datavalue":{"value":{"entity-type":"item","numeric-id":4451720,"id":"Q4451720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$CF328F2F-1726-45F2-9F1F-E098AD4A6E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e287a76b72955cd46eadf7e27e2c11d6ff9865a","datavalue":{"value":{"entity-type":"item","numeric-id":1094418,"id":"Q1094418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$6A323727-7556-4096-851D-273E45CC100D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bd20004f565f87e8d5dd191bff89baf3ee25d5","datavalue":{"value":{"entity-type":"item","numeric-id":1738872,"id":"Q1738872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$D97EDEB6-A9A9-40E0-9BB9-326101D4C7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c3c2cac3455b0b115022445379a8729b09e238","datavalue":{"value":{"entity-type":"item","numeric-id":5037207,"id":"Q5037207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$09E61A2B-8956-4EFF-899D-2BCFED3E223E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e13325bae56272b4ba305483ee09cc3ad5047e8","datavalue":{"value":{"entity-type":"item","numeric-id":3214891,"id":"Q3214891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$3BC37EFF-92DE-4365-9697-C0F5DEADCA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6f783159b533117329972129f27c48f831b7caa","datavalue":{"value":{"entity-type":"item","numeric-id":5874220,"id":"Q5874220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$8F6A6B29-18B0-4E71-A96B-F2C16366AF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b069134822651b3e85bdd1845d61b663e46f8dd","datavalue":{"value":{"entity-type":"item","numeric-id":3616428,"id":"Q3616428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$208E419B-40E8-4729-A45E-7D41644AAE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dcdb50dceb87c6e4a446f14bd5897f85c83507","datavalue":{"value":{"entity-type":"item","numeric-id":5486250,"id":"Q5486250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$4265603A-2356-461D-9122-79992829EEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"550a766346b8a68091d0d362cb50026c93ec1841","datavalue":{"value":{"entity-type":"item","numeric-id":5477363,"id":"Q5477363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$27187FC9-16B1-4345-BCC3-9D8E34AF11B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa848dc2bb406b5d47884bb00980c162595a43ca","datavalue":{"value":{"entity-type":"item","numeric-id":5384979,"id":"Q5384979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$347F198B-9CCA-4E52-87F7-43D588C7FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12b96581bf44548fbf3086284830bb55073e99c9","datavalue":{"value":{"entity-type":"item","numeric-id":2453073,"id":"Q2453073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$4064A238-9B6F-4261-9C52-E0ACCE05200D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ad78f0c9eae65d440bef225de3d19917af4dc15","datavalue":{"value":{"entity-type":"item","numeric-id":5822056,"id":"Q5822056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$BEEB2BB5-1285-4044-92F1-38BB09F44C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5376391ab6b394f7893094fcbfc13d81f395664f","datavalue":{"value":{"entity-type":"item","numeric-id":1068821,"id":"Q1068821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$EECF18C5-CCF7-4087-BB3C-C23D63EB3F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$272AB969-158B-406F-8AC0-87CAC2C2257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db4fd00cc3cd3c7438a8a222ad4dc94020320d2","datavalue":{"value":{"entity-type":"item","numeric-id":5894815,"id":"Q5894815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$B6DDFC2E-00C3-4388-9EBD-BF49C6A0B3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79493e162a67bd2a4c7953039e78c8573fad17b4","datavalue":{"value":{"entity-type":"item","numeric-id":5937848,"id":"Q5937848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$9A15AF38-1C0A-4973-BA68-FC1ABBC8FE65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e829c00af44972c37448713eb4545ff73ee45ee5","datavalue":{"value":"10.1016/J.APAL.2023.103259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2700803$0F196A05-946B-46ED-AC35-31472DFD3715","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7e2dedd9fa58f3b7c9edeac6ca3b8312e15bc5","datavalue":{"value":{"entity-type":"item","numeric-id":5858137,"id":"Q5858137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92b1b79b4f8f39e9a9cbe0befe2800f071bcda5","datavalue":{"value":{"amount":"+0.7353254556655884","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":"Q2700803$5915AC5D-1A55-4229-B2E5-8A43FDFC880A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0385868f50fd2c9ab1e92bbf2e229a409f9d72ec","datavalue":{"value":{"entity-type":"item","numeric-id":2403574,"id":"Q2403574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16bb412d1a500e4864095f3a242caf2b4360d95c","datavalue":{"value":{"amount":"+0.7336939573287964","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":"Q2700803$955F2494-D09B-495D-8BB5-33DE4FD9A8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004af5df0b5b6fd32e4a79c9a0e5191fa07e091a","datavalue":{"value":{"entity-type":"item","numeric-id":1938396,"id":"Q1938396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1db9590cd7502c48dd6c20d4713893cbef954de","datavalue":{"value":{"amount":"+0.7210080623626709","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":"Q2700803$ED6F81B8-D5B9-46C7-BB16-19263473859D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee6b781474ff4b460e1d7e7ef10fcb01fce4184","datavalue":{"value":{"entity-type":"item","numeric-id":268079,"id":"Q268079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2547bcc29499035567abe6ed483d6a235f50e32b","datavalue":{"value":{"amount":"+0.7202003002166748","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":"Q2700803$2C9AFEF4-550D-4087-A28E-9670DAC54AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc20004cc900f2d7148a5047f17bac517e2ddba8","datavalue":{"value":{"entity-type":"item","numeric-id":6167164,"id":"Q6167164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c76a6c1c59c4c96c8c3cb3e9a207a08593bd5bcb","datavalue":{"value":{"amount":"+0.7180122137069702","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":"Q2700803$B18ED5C3-2F2D-4B2C-8F89-0C34B83B0C58","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2700803$051016C2-0BB1-430A-8697-02B36051CCF5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Realisability for infinitary intuitionistic set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Realisability_for_infinitary_intuitionistic_set_theory"}}}}}