{"entities":{"Q3481914":{"pageid":5511814,"ns":120,"title":"Item:Q3481914","lastrevid":49391002,"modified":"2026-01-07T02:10:11Z","type":"item","id":"Q3481914","labels":{"en":{"language":"en","value":"The Discrete Objects in the Effective Topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4152660"}},"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":"Q3481914$79758A0F-5814-4D0F-AC18-83D20738B682","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d3bd5bbe65833aec7eef2fc968bb58ba2b2160d","datavalue":{"value":{"text":"The Discrete Objects in the Effective Topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3481914$E843D182-BFB6-4616-A4C9-02C1160FE4FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"280a632422a5576a67cc087af007de03f2c1de7a","datavalue":{"value":"0703.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$FC07C3CD-9A81-4464-9C0B-949A45BA4543","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ce645d51675861424cd68ee78a78f79548c49a","datavalue":{"value":{"entity-type":"item","numeric-id":234589,"id":"Q234589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481914$C6389D05-3F75-4F0A-9D92-880709365598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e5afc85545e99d122f94223f695bdc5c3348c43","datavalue":{"value":{"entity-type":"item","numeric-id":280199,"id":"Q280199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481914$6FFADBB1-370F-46B5-A409-AF6AECA9CAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481914$20036BF6-BF67-4FA1-A113-7723C90B6474","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8799c40959ae8ff71bbf3cf3439e413c339966c","datavalue":{"value":{"entity-type":"item","numeric-id":1503938,"id":"Q1503938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3481914$F0336629-3144-45B0-8D2C-7611327CAB66","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":"Q3481914$618F95C4-82C9-4E4B-A0C8-77EA3C37D791","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$D7A0ABD3-22CB-4C2D-A368-55AB57C54D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$CEA781F1-0C44-4073-82CA-7C4EA9778B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$2D913070-67F6-45C4-B602-F075D51AE6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c57a97ec8224598c9dd07c27d0003de648af9fc5","datavalue":{"value":"03D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$92E1E016-DEDC-4D55-826D-8CD20A3D19E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d6b254193fcd158ca37f19b3d926bd3921961e2","datavalue":{"value":"4152660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$EACD74F2-8D4C-4AEF-B922-A019F8EF236A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2a783aa17cc59a888394eeead2dc56f0f0a90b4","datavalue":{"value":"fibered category of families of discrete objects in the recursion theoretic effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$7573F527-14CB-4983-A7C6-252F96CF87D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b7bce751440461630ab3dd1ab98022b6cdea04","datavalue":{"value":"small complete category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$D30777ED-D17D-4D74-9383-BC7FC6F43518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$54D10164-6265-41C6-A064-22C0A206A07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae30340473f312befe536763ab47097a6e51bc7","datavalue":{"value":"fibered category of modest sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$94C20A9D-0CFC-4181-AF20-C63A674E09B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$91DF48E1-F24C-4585-8A09-41579747AFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$4AFD2AE6-566A-42CC-B84A-BBA3F907E9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1043f4dbc762ff47e33be985b1a89a19fce1735b","datavalue":{"value":"internal categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3481914$687B855D-E41C-418E-AE08-767D0A96BAEF","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":"Q3481914$5713BED3-7988-4D17-81B2-5407455A01E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"75975ab264cce87f387e51cf00ceee8a4a174798","datavalue":{"value":"https://doi.org/10.1112/plms/s3-60.1.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3481914$5FDF76C4-CC57-4F54-8D55-A2F863C2205F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"81c3fc18f664ab96e40264c9125ee3f9659595e1","datavalue":{"value":"W2094410575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$52FEA849-ECC5-4563-83E5-A640DFBF4D6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b177abae02c10f5a88e443ab5dfd2c0f8631e8a9","datavalue":{"value":"10.1112/PLMS/S3-60.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3481914$0A884E49-192E-47CC-BF09-D9D53DFFE0C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d10000d0023d96e1809ad6e120fbfdc798be0013","datavalue":{"value":{"entity-type":"item","numeric-id":3353232,"id":"Q3353232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"007b6fffaae0107442ab2f2881c41d936aa64ab6","datavalue":{"value":{"amount":"+0.8552550077438354","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":"Q3481914$AD9A4093-E6CF-4082-A66B-704633EDFF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab1fd022d0464b6c33bbf340afad0e1f8396b6f","datavalue":{"value":{"entity-type":"item","numeric-id":3197988,"id":"Q3197988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4507c11925286d096a4fe330d17a6cc75dbae2d5","datavalue":{"value":{"amount":"+0.8235466480255127","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":"Q3481914$DCBF5C2C-3C55-4BCE-B005-970945545B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601778df992e1ee86dd5fa66c6fecab935d3743a","datavalue":{"value":{"entity-type":"item","numeric-id":1903677,"id":"Q1903677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1f879d102aea3232a58adbf91c5a0addbc2670","datavalue":{"value":{"amount":"+0.8036522269248962","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":"Q3481914$0626D56D-DE77-4CAC-9976-BBA31D58302F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c9a92dd1f19c212db39c8a0252022ea014dbce","datavalue":{"value":{"entity-type":"item","numeric-id":1109126,"id":"Q1109126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f1f879d102aea3232a58adbf91c5a0addbc2670","datavalue":{"value":{"amount":"+0.8036522269248962","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":"Q3481914$AD7248C9-1357-4EA7-BB80-96A10FB2FFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba41397859acc336709a6a717eafae4d15a0a8db","datavalue":{"value":{"entity-type":"item","numeric-id":1112159,"id":"Q1112159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1cb5e63b507d343c2e91bbd2deb192fe78afd5","datavalue":{"value":{"amount":"+0.7889397740364075","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":"Q3481914$FA50805A-6743-43A5-8771-8D6B9A056A6E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3481914","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3481914"}}}}}