{"entities":{"Q5094128":{"pageid":7123704,"ns":120,"title":"Item:Q5094128","lastrevid":100199477,"modified":"2026-06-05T21:36:02Z","type":"item","id":"Q5094128","labels":{"en":{"language":"en","value":"A cubical language for Bishop sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7566056"}},"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":"Q5094128$284E0DB4-CBD2-4FB3-BA3E-D046B69A00DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"612a55672006eb32b94e9a3be5b3448080647058","datavalue":{"value":{"entity-type":"item","numeric-id":5016214,"id":"Q5016214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$9DA3E79F-6F2E-4557-8496-7B1AA11F4368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"688ab5914c55cb17c5dce51a440b79b1611d2ba2","datavalue":{"value":{"entity-type":"item","numeric-id":5072608,"id":"Q5072608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$348C5467-DA4A-439B-9C95-512E25E8D603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3791877866e06c575a0d5afd18962bd487776b6c","datavalue":{"value":{"entity-type":"item","numeric-id":1688953,"id":"Q1688953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$16AD72DF-6A2A-42FD-87D2-C32200EEA48D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad9afbe138412ffaaaf6109d22a748c988081a7b","datavalue":{"value":{"time":"+2022-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5094128$9AA5C0C5-C78C-408F-AC5B-2525503D6257","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74435c46623491218e92b7f20318a3188b25be77","datavalue":{"value":"https://arxiv.org/abs/2003.01491","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094128$AF86FA8A-66D6-4B74-8749-4B8111D1C48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"0af81b130a4a5ff961bc8d2827eeb2bdd3381949","datavalue":{"value":"https://lmcs.episciences.org/9264","type":"string"},"datatype":"url"},"type":"statement","id":"Q5094128$90F5E8D1-E1D3-4F75-879E-90A8634777EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094128$30B3C48C-D345-4204-8384-D3EA01C76685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094128$E3DD7140-F00A-48D4-90C2-0F82A41A571D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c11ef1537225fffc1694c277415ac9874806448","datavalue":{"value":"7566056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5094128$CD3F86CB-0FE7-499E-B02B-593A01011E74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516ee24864c48e6908b48c62ca0b2afbb3a5986f","datavalue":{"value":"cubical type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094128$F6984076-552D-4637-A7E1-30E2F6BF40F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e294ee7797f944841849f515e776719207f5975b","datavalue":{"value":"Bishop sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094128$4DFFBE44-4C3B-474A-9BBD-8CCDCAC0A8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fda5d8057392e50193b0eca80d9562ae727873ec","datavalue":{"value":"proof irrelevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094128$AC6C3DFF-01A3-43A3-8E06-D11601BF4E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32607ee8c567808c54ef253aaeadbda24bfa0983","datavalue":{"value":"Artin gluing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094128$A7A2C47C-C2A4-40EE-BE72-E40AA92A6706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27af0279e01a62bba28bf3a953796318952045d9","datavalue":{"value":"logical predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5094128$66F1CA23-F034-4EE1-966C-27F8222FD8D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b29eb58b948f9f996cbb5eae736ddbdaf0434b06","datavalue":{"value":{"entity-type":"item","numeric-id":34514,"id":"Q34514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$A4841AF4-CC28-45F8-9947-0AEA7E0465EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$F5DC43B0-7321-4827-955B-3A40E51A0B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e9b09c47e4b49c0108868947f797bbd493cb767","datavalue":{"value":{"entity-type":"item","numeric-id":1350644,"id":"Q1350644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$43AACB77-E301-4F97-8E95-BE323C1A87AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$3AE29EA1-34CB-49F8-B452-AABC8D3AE3E4","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":"Q5094128$720CE0AA-54DD-44CF-B721-51B7CD9484BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fdc692fbbee7be9789734e7cf9dcc396f1f0927","datavalue":{"value":{"entity-type":"item","numeric-id":4823804,"id":"Q4823804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$B6182901-D560-4345-BD04-BE6273B1E7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25366748986cfc01b775a0d0ea5334b9e17b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4620059,"id":"Q4620059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$57B54650-B8A3-4E30-A9E1-4CCFEF3B6BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c934df0a120ae17230e1132b1e1788f89c2bded0","datavalue":{"value":{"entity-type":"item","numeric-id":5126439,"id":"Q5126439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$FDA49BA3-AF8E-4B53-B8E6-7AFFE16F7409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea3b9dcc765a0506e851fe3e6b94c778ecda1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$5208C66F-F0D7-4059-8A99-0FAB3098BE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d598f4b2615da1120018e8303582109fdc14b325","datavalue":{"value":{"entity-type":"item","numeric-id":386623,"id":"Q386623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$F134C128-E8D8-4C04-91FC-3C817F75B646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75ea65729b1033e784ad198279fc14710fe85dc0","datavalue":{"value":{"entity-type":"item","numeric-id":3521979,"id":"Q3521979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$5A8CFC62-8941-46E4-8ADB-14B84AB58178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89f9e37c601cbb7d5abcb04adc76f871c2d1c48d","datavalue":{"value":{"entity-type":"item","numeric-id":3637183,"id":"Q3637183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$1FDD985D-FF6F-483E-B5B8-EA122A9B5521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264956f36982175453c070f2d8f8f60b18172d34","datavalue":{"value":{"entity-type":"item","numeric-id":5370902,"id":"Q5370902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$C778873C-AD1D-47B3-B69A-230C4C5AC3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3196c52ecefe6bbfc4fe1f8084810a6dceb61cc","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$2FFFDDAB-35EC-4219-A85C-E880BED4A159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f38b239c038c6ea45cf6d83346efc7512ad720a8","datavalue":{"value":{"entity-type":"item","numeric-id":5164724,"id":"Q5164724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$79745B15-844C-4A7D-AF9D-C96656767633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae01153faff5da16cf5c80d9e744dac606c437f0","datavalue":{"value":{"entity-type":"item","numeric-id":5369471,"id":"Q5369471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$13B98015-CC81-4408-A751-E32A735EA51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e83f11a2d7c83369a107eb21508bcc0a612a20e","datavalue":{"value":{"entity-type":"item","numeric-id":4293501,"id":"Q4293501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$376BAC60-0767-45F2-ADA3-13810EDE8815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"833079337a3c2f303ddbc3fe894c26799c99160e","datavalue":{"value":{"entity-type":"item","numeric-id":2881097,"id":"Q2881097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$7BBFCFC9-FD53-40CB-872C-F52CB1DD1E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ecdac14a6d1f0425c3e321b73a201f6c904fd9b","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$D95A6624-DC65-4A18-BBDD-81CACD10709D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91559d70152db00cb45ac09b5ff86bfed20865f8","datavalue":{"value":{"entity-type":"item","numeric-id":3616432,"id":"Q3616432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$C32615CB-4018-4BE0-9626-AF5977C689DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f7306543dc2addd074bfb1162ee9f407132b14","datavalue":{"value":{"entity-type":"item","numeric-id":3575369,"id":"Q3575369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$E317B9E1-304E-4D5A-A7DB-436B39FE82AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97632e549ccf4cdd0f9d017ec529d3283ae5ba04","datavalue":{"value":{"entity-type":"item","numeric-id":2937385,"id":"Q2937385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$4B2A16D8-FA66-4990-8EE6-AFECCA43B11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0ef29a899e04b29094c76761a58b7b71ec5b6e","datavalue":{"value":{"entity-type":"item","numeric-id":1799035,"id":"Q1799035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$39319790-EA39-4373-A969-9A295AC6BC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16be83a3de54bd2c3181fc2cf1831e46861bc49","datavalue":{"value":{"entity-type":"item","numeric-id":3130300,"id":"Q3130300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$83BA4899-260D-4976-AC83-F7C2174FE515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51636923ea16744023bd5fc2b9721836eb3ae76","datavalue":{"value":{"entity-type":"item","numeric-id":2257308,"id":"Q2257308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$C3FCB4D2-302D-4E71-A426-9FB10393968A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$EEA63BC4-E288-41FB-B4BB-D8735790FE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3c9ae67106175f5143597bda48ec2beb4bbfbb","datavalue":{"value":{"entity-type":"item","numeric-id":5591514,"id":"Q5591514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$281179AF-C40F-40CA-8BE3-048410EE5C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ba26e21967cff67d33fc2dc6b5aab99b8103a58","datavalue":{"value":{"entity-type":"item","numeric-id":4304740,"id":"Q4304740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$E1AC5E34-FCEC-45A7-907C-1B07E56FBA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$C85B2825-3213-4D12-A434-1E63BE5A6A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14c3fdbb6ec91203b872598bf3c08ca809d60266","datavalue":{"value":{"entity-type":"item","numeric-id":5387319,"id":"Q5387319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$3DE4B020-26A5-4DEA-A922-F7BA821F2169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e0d46c11b669eda41f53ccef370c4dd764b569b","datavalue":{"value":{"entity-type":"item","numeric-id":478396,"id":"Q478396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$73CB2A81-9A1F-4FE9-BE52-892481924DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5adae15f6654acfbcf7621f32cd882969fbf6d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1096716,"id":"Q1096716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$0F215103-A309-4843-830C-2DEB9B9C8497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$8C0ADD6B-453B-45F4-A8DD-D08390D6CDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a765e855228292779b4203bd15443a2ad99c5c33","datavalue":{"value":{"entity-type":"item","numeric-id":5740406,"id":"Q5740406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$8DF1DF65-971C-4F5A-BD24-7094260A20F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac80c1a99e03453beb4d81cb61a193708a958d31","datavalue":{"value":{"entity-type":"item","numeric-id":5089011,"id":"Q5089011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$487BF536-E79C-470C-A7F2-35BBAC0FB073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309cd0ba5e82c32fdcaf374f9a8a6e13f4266f82","datavalue":{"value":{"entity-type":"item","numeric-id":4882486,"id":"Q4882486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$88306792-DCF7-4267-AA7E-5A10AF5365BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e31b151b8d22be2aa79bf2dfac73aa834ed045","datavalue":{"value":{"entity-type":"item","numeric-id":4012882,"id":"Q4012882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$E3592AA9-4F29-4E66-8202-D994255FB9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224dd9008c6167ab2abbf67da65d1f726ff5d94","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$0D3B3DC3-2329-4948-8CFB-ABF806C92DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23cba4fb451793ec914d7eb5ed68c3d83d455882","datavalue":{"value":{"entity-type":"item","numeric-id":2399357,"id":"Q2399357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$8F568D19-F86C-4B25-87E1-E076B98E51CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636e6d370787b2be5b482356fd8848f9c09cf99f","datavalue":{"value":{"entity-type":"item","numeric-id":2422026,"id":"Q2422026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$9CADBDCB-D56E-4CF2-B082-40CFD57CB234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97a81fd7ad71815ea23de5bd9d2e05422152d02","datavalue":{"value":{"entity-type":"item","numeric-id":3673081,"id":"Q3673081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$A020AF75-7D31-4BAF-893B-FC4D87745C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa599c9ffef40870c9e6ba774a39c215c885dc9","datavalue":{"value":{"entity-type":"item","numeric-id":4263868,"id":"Q4263868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$FF5B77C8-FDD2-402B-8CFE-53BD7A02F25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$47D3DB5A-FB13-41FE-9A92-8C3AA7333768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0b66f052bec5769cab40665ba402d5af52cc82d","datavalue":{"value":{"entity-type":"item","numeric-id":1199709,"id":"Q1199709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$D1373E93-5587-4B30-8268-2BD4D0CFF4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$309A2D48-4D77-4DDB-A1BC-2B3F75137456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$DF2328C0-9E92-4B0D-B96C-087CD3D0944D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"978af8987770da9ce87981964976dc7a47a0da09","datavalue":{"value":{"entity-type":"item","numeric-id":3204055,"id":"Q3204055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$9B491F6A-90D2-402D-A728-3A78C7E6386F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c3c69fa2672b8fa81e2d2be45ac3f1049ef642d","datavalue":{"value":{"entity-type":"item","numeric-id":5277716,"id":"Q5277716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$F3CB2896-51D4-4D61-B06E-7CED7BF12F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$FD7CAA63-C738-4572-B073-3A8C563CEF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f27fd93c1b5d93bcea3172146c72a26a046a3b1e","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$8A837379-0703-4F95-AC7A-92E1ACD2EB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a86a2916d0db0c2fd5d3c89f43e0f228fe085b","datavalue":{"value":{"entity-type":"item","numeric-id":4281477,"id":"Q4281477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$37FE351A-92E8-4505-8F13-8CBB34C3C5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a935ac3526edc406b968b6f918468f7fd4c0818","datavalue":{"value":{"entity-type":"item","numeric-id":5089027,"id":"Q5089027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$859A3317-0F58-4072-89A2-FD674B9D56DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$A4E71581-79BD-4957-AC30-A35301E62DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a929ba3a3ad2ac94896c6474d644a301f4db300","datavalue":{"value":{"entity-type":"item","numeric-id":2031691,"id":"Q2031691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$502053F0-0A7F-4390-A8B9-7A832DC73A75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b620cb3f843d6247596ccdeef0b13771fac8cb7","datavalue":{"value":{"entity-type":"item","numeric-id":5730919,"id":"Q5730919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$553FA2A8-CE2E-4B41-8CC1-D30C88ED2638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d67dcf2f4dbbcf76866eccb2b8f11648193617fe","datavalue":{"value":{"entity-type":"item","numeric-id":2786141,"id":"Q2786141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$5FA8519E-07D7-4704-8A04-A5F05DA40DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437da1427fa7788f262f4ccb07323b25bc222c3d","datavalue":{"value":{"entity-type":"item","numeric-id":5505172,"id":"Q5505172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$B4A10F09-2183-4C69-BDAF-39613DC076D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72bce0021a20e6075192b92537623e64018b293b","datavalue":{"value":{"entity-type":"item","numeric-id":4099614,"id":"Q4099614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$236220ED-FFFD-476C-8A73-721DB3606097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$A1745ABA-46A3-4069-BEC8-D48AE3D93434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$15EAD80C-A45D-467C-9287-ADC0E77B72FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ece9f88a5860d659787874ff1cb3f2701585e7f","datavalue":{"value":{"entity-type":"item","numeric-id":4283246,"id":"Q4283246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$35B23B93-6585-4EE2-A241-7FEFDCED1618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$38BE6B9A-2887-47EF-A2E6-13CE5EF1041D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a280463ff02871412d3940684fba9b09da963852","datavalue":{"value":{"entity-type":"item","numeric-id":5278410,"id":"Q5278410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$4CA808F6-3C07-4A8B-BFCA-EBD4A6D21E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376cb44fce5e9eed8cc7baf818d444d4e574a99c","datavalue":{"value":{"entity-type":"item","numeric-id":5222980,"id":"Q5222980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$1A2D19CC-4153-4558-9633-262732B5E92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eff01d0710054224f955bac4bb082ed40f5e8c8","datavalue":{"value":{"entity-type":"item","numeric-id":3121017,"id":"Q3121017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$370473FA-6B68-41A5-99B4-917F01C6C026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65ea38725f717a21282826d464ceb89082cf0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5089034,"id":"Q5089034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$0B713D25-E336-4910-8E96-699F460C99EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8690a256ff79e7f12aebcc1a7a9e001a7674d9a","datavalue":{"value":{"entity-type":"item","numeric-id":5178854,"id":"Q5178854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$6A9BE337-A6D8-4885-9052-B9B9B6AD88F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fe664aa22c6ba1ea6d9ba12c2b4c3da0298ee2","datavalue":{"value":{"entity-type":"item","numeric-id":5277760,"id":"Q5277760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$D864061E-9659-4827-8B03-929892A731AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2304fc249104140bc982b97cc610a3c2e3999c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5056429,"id":"Q5056429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$AD734076-BC76-4238-AE25-AA9C0BB0F117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d13fae8b0edd005619879264a500b259205b13","datavalue":{"value":{"entity-type":"item","numeric-id":5963045,"id":"Q5963045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$FFABA32F-6683-4FCC-8F8D-B7F27914147D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472fe6e79b503d14429d15ec73a6169d7420ec0b","datavalue":{"value":{"entity-type":"item","numeric-id":5740656,"id":"Q5740656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$60B683F9-807C-42B3-AA9D-F88C41379362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b166763a6fbe376540d0eb64b66ab1a857db6c","datavalue":{"value":{"entity-type":"item","numeric-id":5718564,"id":"Q5718564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$103EFDED-AF9B-48FD-90E9-795D6483A69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"189aff9beb64755b9b588c07d90035421bc1c4db","datavalue":{"value":{"entity-type":"item","numeric-id":280837,"id":"Q280837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$E3F59696-D4B1-4B3C-8659-49F050CF153F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc2a8f6bc1fdde2be781fe39a5873777354c69","datavalue":{"value":{"entity-type":"item","numeric-id":2819823,"id":"Q2819823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$32783E4D-693E-4A08-87BB-C21E44DCABCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$D38A663C-9238-4DAF-B708-2DC0F55E200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b370c7baaca51e1b747ec172830d73bc442ab6f","datavalue":{"value":{"entity-type":"item","numeric-id":4243759,"id":"Q4243759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$2843D95B-5B52-4613-B910-E9BD7A084D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$380F2198-0BE7-44BF-A9C1-AB269930EC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"752ca41ce1cbf71ea87c0acf4838f4caa005a66d","datavalue":{"value":{"entity-type":"item","numeric-id":5144630,"id":"Q5144630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$65556C80-22C5-4DAC-A218-ECB905025A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35a9f0f8ce3b35cc0b444d4b1990fb14ecebca32","datavalue":{"value":{"entity-type":"item","numeric-id":5091148,"id":"Q5091148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$1B176BEE-F19C-4D5E-8302-5E1FF13C6625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$833D6D35-D971-481A-A10D-8E662E865B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71e334f51175391aa489ad19ee69f9b684c7888f","datavalue":{"value":{"entity-type":"item","numeric-id":3079518,"id":"Q3079518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$179A9B78-9971-458D-BCA9-A1249D4A2B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bbbe15d022eb0f715525fc153b38bd21e01f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":5016211,"id":"Q5016211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$AEBC97DC-E28B-44DA-B658-2E76C770A58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea46d8ba3d9537b57ea426ee93068809d0af0bd","datavalue":{"value":{"entity-type":"item","numeric-id":2268583,"id":"Q2268583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$1D353776-5D3B-4F82-8FA2-CE9A0A75ADA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17cc1c219f5741890f6446d2fb52d021dd4b4a8f","datavalue":{"value":{"entity-type":"item","numeric-id":2990151,"id":"Q2990151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5094128$90181037-6A5A-4891-93F6-545E329C54B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"256c4d5e0532e77c4d3c87f337859c8b5ac2f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5089034,"id":"Q5089034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5256b8c6645d1330dd5464eb73ecdc55382bcdb7","datavalue":{"value":{"amount":"+0.8297790288925171","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":"Q5094128$2CF4CA64-DF73-400C-BB55-A4CE927FD5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c94b82f244443386be345532129271c03a84ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":2319982,"id":"Q2319982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22e50b07bae49861578d203e2329cc24d9f1a97","datavalue":{"value":{"amount":"+0.7864685654640198","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":"Q5094128$24C02A68-A7D9-4D05-B613-240E7B6B9700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76600fd4ad8a6a6ef0fa43597ded056e8bb3165f","datavalue":{"value":{"entity-type":"item","numeric-id":5022926,"id":"Q5022926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5577454d9a0a7093422d03cbdfd8910d62a8307c","datavalue":{"value":{"amount":"+0.7652356028556824","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":"Q5094128$A83360A8-6E2B-41BF-8576-3C0B1BFEC0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08d083df6128f15efa78ee573dc142d4f07a02fa","datavalue":{"value":{"entity-type":"item","numeric-id":5079726,"id":"Q5079726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b71f2d3f6e932fa2e4022e6591123671b0a438a","datavalue":{"value":{"amount":"+0.7625259757041931","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":"Q5094128$8C22C50D-C394-47ED-8DF5-D2881533A80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5176827a140ab785d8d708fd59cf12da7d32c145","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aafaff37a596b9ce059543dc12eb6b1f08097b5","datavalue":{"value":{"amount":"+0.7410752773284912","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":"Q5094128$E10CD301-5F86-40CB-95CD-E2D651455FB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A cubical language for Bishop sets","badges":[]}}}}}