{"entities":{"Q2805156":{"pageid":2815894,"ns":120,"title":"Item:Q2805156","lastrevid":52526078,"modified":"2026-01-22T21:15:21Z","type":"item","id":"Q2805156","labels":{"en":{"language":"en","value":"On the failure of fixed-point theorems for chain-complete lattices in the effective topos"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6578700"}},"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":"Q2805156$8E105616-0614-49BA-87E7-57A4120030B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7dc3bc1e34dcff3ae098a7018e6674f4b06e9d7","datavalue":{"value":"1338.03113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$641E4B4A-D751-4B2D-BA5F-7E6C4DBE4467","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f2df3919dd6f0285578bf9d7f4189831f0dfe16","datavalue":{"value":{"entity-type":"item","numeric-id":390413,"id":"Q390413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$3A5C30B8-4063-4566-9457-E7A5785C23B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$A8A4291A-1489-4056-901D-3D2AE06B87E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5080655d79bf372c5c5ce3cef49e38026d2edcb7","datavalue":{"value":{"time":"+2016-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":"Q2805156$4841DBE1-4D65-419D-960F-09C09EE22723","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$7D111DC8-8077-4F9B-94F4-758F58448FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab61fb2d4201bc94cf09f5737001908cd5ef158e","datavalue":{"value":"06B23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$60FCA470-965D-4426-A27E-5E6B0C5A0FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$F97625EF-E0B7-4789-9C36-E7A514C21C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$5538E860-6976-4B78-ADC6-DF007E8164D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"722ee41eb5ee38eb9ec309c8d2d0b213d1f23bf2","datavalue":{"value":"6578700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$8C570BAF-EACD-4C8F-AB73-F1CB0B9DE9E5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1323f0b08d7b5e27408646de774872095d4086f8","datavalue":{"value":"constructive fixed-point theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805156$005AF029-A67B-4E6F-B8CC-36E09E7AB99A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"259f7df573b44c3c58a7213eb60151bc20277e93","datavalue":{"value":"chain-complete posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805156$55FA56E3-C536-4ECB-AD06-345DE6000BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a81674f6bc385f8d777dea2f9538ca68aab6f30","datavalue":{"value":"effective topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q2805156$B47FA7DB-545B-4C59-B501-1547A6B227D2","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":"Q2805156$826DB2A7-A3EC-4A5A-93C5-6E1E9CE99F4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dd90c18d0cabadaa62cabf63a450c7f2bdad0e3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.07.089","type":"string"},"datatype":"url"},"type":"statement","id":"Q2805156$D82328F7-8F6F-46D3-A292-6B52D467671A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a42d786673b00284d1edcb97d2f1e7bac9c3cf02","datavalue":{"value":"W2569868626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$B1301FC3-0AA2-41D9-9BC3-20E1F9286C9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3f157eb9fb8ce360dd2db17c88b593e185dced","datavalue":{"value":{"entity-type":"item","numeric-id":2649887,"id":"Q2649887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$B3F4DE76-4357-4D8B-B3F7-C19A22D5B8DB","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":"Q2805156$56B72B9F-58B7-4DB3-847E-C1BD288DA86D","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":"Q2805156$AAD718BE-71DD-49E6-9F66-80A311DEE8AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a7073698898958171b3a748b22b754af919d34b","datavalue":{"value":{"entity-type":"item","numeric-id":5622402,"id":"Q5622402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$B24DDDC2-B774-4C75-835B-D1A5E4C6F325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebffbaf957cdf17571259395f86a4620d88c4598","datavalue":{"value":{"entity-type":"item","numeric-id":3671153,"id":"Q3671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$43B6F9D8-A110-4AA9-9102-22F69EBBD8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$330E7812-9DAB-4ABD-8C0C-F57BA85A6F85","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":"Q2805156$ACBE3101-06E6-4486-B833-21BDD2B53DDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78204cbee8858331477c8efb0ce846f3c88dd9ce","datavalue":{"value":{"entity-type":"item","numeric-id":5803373,"id":"Q5803373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2805156$DB11684B-5614-4A1F-A39C-AF46EE976E07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28c9992c45f5a9515a3533030a1410053caca050","datavalue":{"value":"10.1016/J.ENTCS.2009.07.089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2805156$22A3A25C-CFB1-4DD7-9A15-F2C103C9D361","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea2ffb8ca5cadb0aec72e7f62b328a8d802bef48","datavalue":{"value":{"text":"On the failure of fixed-point theorems for chain-complete lattices in the effective topos","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2805156$781C4261-980C-42C9-B712-CDFC1A2385BE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d827153ad894aed21dd71a86bccb66d15d49ca1","datavalue":{"value":{"entity-type":"item","numeric-id":418812,"id":"Q418812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fd4cf0f347a8492b8594b6b4b0376b7869f8be","datavalue":{"value":{"amount":"+0.993442177772522","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":"Q2805156$A3A52BB7-1414-4D06-AC0B-2A5B6D569AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9565548c10011bac2413152fa4dee413c8d791f","datavalue":{"value":{"entity-type":"item","numeric-id":2200474,"id":"Q2200474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad810294bf40dac5f2b3d43bcc60b2f36c4cb08d","datavalue":{"value":{"amount":"+0.9443835020065308","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":"Q2805156$6AB89A7E-C598-4541-9C19-E61B09BCD7DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85c3a20a2a09a32f51d37ac15815f6006dce29cd","datavalue":{"value":{"entity-type":"item","numeric-id":2841501,"id":"Q2841501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e2b5cc8c469c21cf4a857f06874995e0b6fc29","datavalue":{"value":{"amount":"+0.8254027366638184","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":"Q2805156$D0B48605-19D0-4090-B088-423CACC59BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca9ce808b880ba42df7181abba34e365d158c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4588538,"id":"Q4588538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7431b73b3b18e1b832a8bd543d0028793f057b8","datavalue":{"value":{"amount":"+0.7951240539550781","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":"Q2805156$3610346E-3C97-4D1F-8CA6-820251549952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd113729941f0d3a4acd181c8c2cd8dafc69415","datavalue":{"value":{"entity-type":"item","numeric-id":1849323,"id":"Q1849323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00fa8f6ffb08ce828adde3b7bc803056baed748c","datavalue":{"value":{"amount":"+0.7688400149345398","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":"Q2805156$28E8DBC6-5F02-4AAE-AB54-51170DEEF113","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2805156","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2805156"}}}}}