{"entities":{"Q534701":{"pageid":536468,"ns":120,"title":"Item:Q534701","lastrevid":62615691,"modified":"2026-04-11T07:17:53Z","type":"item","id":"Q534701","labels":{"en":{"language":"en","value":"Aspects of predicative algebraic set theory. II: Realizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5886381"}},"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":"Q534701$7C91DFBF-9F28-45B1-971E-C9DBB059B4D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35ff67c4f49b013feda94a82e6864c0368b42819","datavalue":{"value":{"text":"Aspects of predicative algebraic set theory. II: Realizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q534701$93BAD9C3-7EA9-4157-9D82-C1FF2B3FC6E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d65718895c472a4abdb55148490e6eb79f34638","datavalue":{"value":"1215.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$B0C15205-270C-47F2-8C0A-291E76FC0170","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d5b6d9c706120e3546cda282e0bf75898c459f","datavalue":{"value":{"entity-type":"item","numeric-id":448332,"id":"Q448332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$05A56797-A8CE-4B3F-AC38-55E67F0B72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d27f35d8b8d36daa01c278530444ad70355c66c","datavalue":{"value":{"entity-type":"item","numeric-id":169786,"id":"Q169786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$87F8E9C9-0E6F-4BDC-A003-F929F171232A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$E256A1E7-DB53-42C6-8793-E9E9C2354133","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6355dd651d7e8925edcf5ba080dbea252734508c","datavalue":{"value":{"time":"+2011-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q534701$6CBD5EB3-532F-4E57-B0D0-D515A2EFD97D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe442841f553a1e381210a6737917c24742b659f","datavalue":{"value":"https://arxiv.org/abs/0801.2305","type":"string"},"datatype":"url"},"type":"statement","id":"Q534701$1A856C24-8003-4887-8C8E-D8D3C40DFE29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$17559924-A2BC-48CD-942B-23BBDA48505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$27C90657-5F10-415B-8172-CFD8A2F7FC7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$034DCA6E-602D-4B45-911E-1CB68F314FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$439F6C54-BEC0-40DF-BC52-6494FB6C356D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"292557e313028a3889bec79b18a46f25885a1709","datavalue":{"value":"5886381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$300BC14D-8DD4-4C14-9D90-9AC26B190D40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9fe5be894cb092393ff85e0f41c719edbf1e697","datavalue":{"value":"constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q534701$8B4452BE-C109-4D2C-AD42-2E460FB83DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q534701$F6B962FB-618E-48AC-847E-30D192153746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q534701$50C0FA45-4E33-4B7A-9A53-62F9BB968528","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":"Q534701$10281C99-687D-4CC4-A52F-CED19245B82A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4bbdfb3a4f8e24d41b8bc23811eec720f7f8d49d","datavalue":{"value":"W2122521516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$28B4427F-6B54-4C35-BB31-E5097ACD86F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$37893736-1C3E-4C50-ACE0-1D01620AE582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a701df007dcf91a52f068668790c81134a8f64a","datavalue":{"value":{"entity-type":"item","numeric-id":3146245,"id":"Q3146245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$439D9D4C-0AF5-46D1-B3D8-F53D2204B27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da73f76b6bfc84494ca2cb82fa33f8e416d9775a","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$E0A5EE29-49CB-4E36-8543-23EC8B6F8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a3e31d134a9421659dedcb7b75576c1f6a45b56","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$D9D65F66-1BD6-4BD5-AED3-99BA4EE1B651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b889b4f45caff3a44574bbbf25ca7e91ac30f1d","datavalue":{"value":{"entity-type":"item","numeric-id":3656421,"id":"Q3656421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$E8AEC515-4933-42D5-9E74-6DB776F86617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6acf5587e68515da222999843f49bb3ae4f28f7","datavalue":{"value":{"entity-type":"item","numeric-id":1574785,"id":"Q1574785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$4B0635B5-3BE2-4B7F-A8AD-DE176C3C604C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c54891f86cbca57f8a8d1ce37326037a87c38a8e","datavalue":{"value":{"entity-type":"item","numeric-id":1849865,"id":"Q1849865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$1931CF82-6EA7-4889-AF44-D4FA51F510E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474289dd9e25ee23fc3092151775a30e7a4f9c3","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$F6D44C86-CCB1-42F5-A6C5-C3B360E396FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c1f6c5208cbe85d065b63d195e43c8b24cb4c","datavalue":{"value":{"entity-type":"item","numeric-id":3795831,"id":"Q3795831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$6EC19265-236B-405A-BB75-1EDDEE5A79F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cc1dec39facf5a4f590993765c1c92bc2c913d3","datavalue":{"value":{"entity-type":"item","numeric-id":1145695,"id":"Q1145695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$C2613B0A-D156-4CE2-AAA7-AC43FA581ABD","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":"Q534701$10AA53C9-3017-4F77-AC27-806E6D231084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff45213e7705dbf9044ed2762732fabe6973416","datavalue":{"value":{"entity-type":"item","numeric-id":1236108,"id":"Q1236108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$64604DD7-57BA-404C-AE00-BC5780950A8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e75fbe2efb903b9e1e372b443baaec72df8197c","datavalue":{"value":{"entity-type":"item","numeric-id":3419822,"id":"Q3419822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$C09969D6-5830-4828-B985-DE5B20D70D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd67abd2467590c0cafdcd35bf27574ea1d9e02e","datavalue":{"value":{"entity-type":"item","numeric-id":4431167,"id":"Q4431167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$BB873F35-745C-4F70-8550-1DCA2166CAC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ecd315aede1159b901d05a2b312181be4e2315","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$5E0927CB-70B6-4CE4-95F2-83A429D86AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bc1503ebe805f85a1cd71b88071e3eea323bd8d","datavalue":{"value":{"entity-type":"item","numeric-id":3671978,"id":"Q3671978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$6F3B783D-A14E-4FC6-98D4-D3B90B8147ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18c0ca64f7ec43883c40349831c2647f298047","datavalue":{"value":{"entity-type":"item","numeric-id":3481914,"id":"Q3481914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$456E7286-0B69-4E94-80F5-C390A0B4B4D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b4d0b84553ace3c1686bd305b88438b8dcb98e4","datavalue":{"value":{"entity-type":"item","numeric-id":4853985,"id":"Q4853985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$D78F0CFC-B596-4318-81DF-9A4A4B8E6235","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":"Q534701$7837B9ED-FE9C-4F92-88E3-E4559CC06C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ba25d69cadc919d80d2b5e82a0eabcb1b50c8c","datavalue":{"value":{"entity-type":"item","numeric-id":5343325,"id":"Q5343325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$19FFC5DF-F3ED-4D4F-A787-C3D27B873F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcefe534b5a5b835ed3c83a0316c73efae25b819","datavalue":{"value":{"entity-type":"item","numeric-id":5718693,"id":"Q5718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$FF248391-3199-4B77-911E-A953F9E47500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5991726cac52e4d83f50c4669884909acb3474da","datavalue":{"value":{"entity-type":"item","numeric-id":2498896,"id":"Q2498896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$8AD18F13-D899-491D-B142-DE996ACE448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb41e9770a958f62aaacb94077bfe45e3d916bf3","datavalue":{"value":{"entity-type":"item","numeric-id":3222842,"id":"Q3222842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$96A03922-5CDB-4E05-977A-A2FFC090D1C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$17D84DA4-59E2-4847-BDC8-0475721D208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b031ebd66b7733c40e71837264a8724e96c91a0","datavalue":{"value":{"entity-type":"item","numeric-id":1338200,"id":"Q1338200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$E2557697-13F2-460F-9B12-E309D1DCA894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df9f17f6e274de37f6b4f47157fffc1375f6057a","datavalue":{"value":{"entity-type":"item","numeric-id":678851,"id":"Q678851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$0B6A2AFF-2475-465A-BEF9-66AF4F6C3665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$E4F73CCF-95DF-4586-9B79-DB0D5D6F4C60","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":"Q534701$CFC119B8-FCA6-4FCA-A128-5A68AE537390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160a2374c05e466369d09ccede54688eb30beecb","datavalue":{"value":{"entity-type":"item","numeric-id":5183475,"id":"Q5183475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$B1C9B94E-12D0-4343-A049-DA3C7589D816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45693061e506ddfc304d90cb392dffdbb69b973","datavalue":{"value":{"entity-type":"item","numeric-id":4215635,"id":"Q4215635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q534701$15CB0E9B-2FD2-4BC0-A9B0-6B29A4300409","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06b12a767f82d6b4f2fc837b232f1cd15192f140","datavalue":{"value":"10.1016/J.TCS.2010.12.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q534701$B52639B4-A95A-4148-9ED8-62AAFFA1B78A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05bfee325e91f298337d8811e53f0e47fcab7290","datavalue":{"value":{"entity-type":"item","numeric-id":958492,"id":"Q958492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87951d8208762e6428b4b77bf20349c2870aae39","datavalue":{"value":{"amount":"+0.8618736863136292","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":"Q534701$7E4D1877-D6FC-4932-A95E-EDB7CE7D9686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04e63430efaf483a34bc67baaa14b820a6a99ae","datavalue":{"value":{"entity-type":"item","numeric-id":4680361,"id":"Q4680361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21239b05f53e1662efd0d471318e8ea258528df9","datavalue":{"value":{"amount":"+0.8364994525909424","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":"Q534701$DAF30D2F-501C-469E-9BF2-180D92E32CE3","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":"73de91e5d160375aa32a9c642af647fc2046fc64","datavalue":{"value":{"amount":"+0.8235626220703125","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":"Q534701$D1506EA3-EAA8-413F-A03C-EA334372C318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db1d5a200fbf79af244bd5fc3e79c4613aea7610","datavalue":{"value":{"entity-type":"item","numeric-id":3143444,"id":"Q3143444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8af276607ae376bd67916f254c7b5f6bed5cae","datavalue":{"value":{"amount":"+0.8224645853042603","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":"Q534701$64D7E476-D923-4114-BF45-E4D61D1B5285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3bb7d11f5dcdd22c06e3a5213d53e310fd02e7","datavalue":{"value":{"entity-type":"item","numeric-id":3616432,"id":"Q3616432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eca0f7414e0c6b6a3de6eb18cd8068ad4892ce","datavalue":{"value":{"amount":"+0.8008000254631042","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":"Q534701$49AE427E-A51F-40C2-B2D7-D1D9098AD2DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aspects of predicative algebraic set theory. II: Realizability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Aspects_of_predicative_algebraic_set_theory._II:_Realizability"}}}}}