{"entities":{"Q3785063":{"pageid":5814969,"ns":120,"title":"Item:Q3785063","lastrevid":52533716,"modified":"2026-01-22T21:48:40Z","type":"item","id":"Q3785063","labels":{"en":{"language":"en","value":"Limited Omniscience and the Bolzano-Weierstrass Principle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4047985"}},"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":"Q3785063$DFF7A4F9-2989-48DB-B9B9-35BD282AED42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1607946b5820601cd9496e8a7ec7ceddb453018","datavalue":{"value":{"text":"Limited Omniscience and the Bolzano-Weierstrass Principle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3785063$E37FD937-6A2A-4F84-82B1-DDE10595F466","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2c7c974650ad10ee6cca7748ee3aec849738068","datavalue":{"value":"0643.26001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785063$D449DD0D-343A-4EB8-9035-9B8325D652F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9425ba7bd9c0fe83aa8078496af34aeec2c057ef","datavalue":{"value":{"entity-type":"item","numeric-id":265602,"id":"Q265602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785063$6CE5DA68-9035-4E15-9CEA-961B893EFD3E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"01b7f37608d9f87bfa2998bb736dc8e29f05f57a","datavalue":{"value":{"entity-type":"item","numeric-id":2759195,"id":"Q2759195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785063$C7893F71-BFD1-48FB-9F3F-A1C000547940","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3785063$EE66A9E2-036C-47EE-98DF-71DF3689E993","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4b98ad4650c5e0104983d42c4c01b72adfa18af1","datavalue":{"value":"26A03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785063$88571CED-383F-4A03-B743-DBE3DC5AC882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785063$FC8E6428-23AC-44C1-B5C5-029187688411","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"279841ff7a9c0cd74a96749eb4fc1b8aff70e350","datavalue":{"value":"4047985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785063$07AA1BF5-A962-4907-A8DF-FAE60029033F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f49931f889a05e05429a642f300d207432b55c7a","datavalue":{"value":"Bolzano-Weierstrass principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785063$A9701B43-E7B2-4574-867A-5B28C08938EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8703eeda79918985301ef2eda18e90b72eeacf2e","datavalue":{"value":"Limited Principle of Omniscience","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785063$9CF7002B-CC18-403D-8D3A-C418005192D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6580f8563da383b66e723783d5e8d785ee6afc3","datavalue":{"value":"nonconstructivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785063$5687C9D0-07D6-4B5D-BA38-AF4BFB27AE68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057a0c357df4455e2efd8225f82123f44c963995","datavalue":{"value":"bounded monotone sequence of real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785063$98B77C35-2B54-4527-B06D-8EAD8CD43FF4","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":"Q3785063$E1F0ADE3-C382-4A44-A604-0C6B22FAD331","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f0c083341ebc12daeb769437b95a792f1d2a01a","datavalue":{"value":"https://doi.org/10.1112/blms/20.4.319","type":"string"},"datatype":"url"},"type":"statement","id":"Q3785063$72709B96-05C8-42DC-8604-791B9179A09D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d6650091681b8f076fc922935ee16e9eeeb377a","datavalue":{"value":"W2059285220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785063$79A3EE7E-1A7C-4745-8966-2403B7D46E51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1bae39d570089b8a9acbac4ee8ec2ef22f293db4","datavalue":{"value":"10.1112/BLMS/20.4.319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785063$76C315DB-9191-4F96-BDAD-D53E9D60E456","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a68cf8e08b74d2e902dea3b0d182e05906891ad6","datavalue":{"value":{"entity-type":"item","numeric-id":3081240,"id":"Q3081240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff306ad04705c34ab9bb6395fe7f500ffefdaa4","datavalue":{"value":{"amount":"+0.7900410294532776","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":"Q3785063$1816D1EB-DBB6-4529-A04F-44BABCD06372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f1455a99360a2051c1896dd988fc7e88d9c81b","datavalue":{"value":{"entity-type":"item","numeric-id":5502822,"id":"Q5502822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a96bbca21970ec2d18c7d3e6c89c1c37c62ac16","datavalue":{"value":{"amount":"+0.7812435030937195","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":"Q3785063$56414C60-0A74-4F18-B14D-17B6A66750D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d1ba1fd5ced5627665c9d43c49cc0f3bfd8cf5a","datavalue":{"value":{"entity-type":"item","numeric-id":4733862,"id":"Q4733862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed8eb3718a443016e209a56eca6ad6dbce880b6e","datavalue":{"value":{"amount":"+0.7665130496025085","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":"Q3785063$57553D3C-16B4-4A7A-8573-0A4D39A59C19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53ffd82de347a96f48fdf25a3feb0fee74ff355b","datavalue":{"value":{"entity-type":"item","numeric-id":4411817,"id":"Q4411817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0232833854f59017e4dc3f35d728ca8d038574","datavalue":{"value":{"amount":"+0.7642215490341187","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":"Q3785063$8FEEE853-3BBF-401B-B23F-0E6D0E300431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cd66c4200c8206dc174f0efecd35909820c9fa4","datavalue":{"value":{"entity-type":"item","numeric-id":2776815,"id":"Q2776815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b1ba25a07588938334694cf485bcba3bb00ac5","datavalue":{"value":{"amount":"+0.749001681804657","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":"Q3785063$94EB9C5E-9CFC-4B09-8D96-F83CF9C8AD4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3785063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3785063"}}}}}