{"entities":{"Q621419":{"pageid":623195,"ns":120,"title":"Item:Q621419","lastrevid":63132723,"modified":"2026-04-11T10:48:10Z","type":"item","id":"Q621419","labels":{"en":{"language":"en","value":"Inheriting the anti-Specker property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5844008"}},"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":"Q621419$71A3B50F-DA73-47BD-A70D-55132E831FCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41f9a503d7b0fdaff387e167407eb87687f1600a","datavalue":{"value":{"text":"Inheriting the anti-Specker property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q621419$0B08A1F9-30BA-4515-BFFA-B94C475A4DEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b52699e52b0ca64dcdf3ce47861ef13a8c3cec18","datavalue":{"value":"1232.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621419$00F027F3-39F6-4CAF-A818-C240C4AF2B3E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d6cdfad59386b4fdf0e04c7f9812453107706ac","datavalue":{"value":{"entity-type":"item","numeric-id":185794,"id":"Q185794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621419$20F0FA64-1FEB-4157-B9A5-E4FBB31F1C95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4add3c5163a5eee9bbe20dc8a36386ab43b68fd6","datavalue":{"value":{"entity-type":"item","numeric-id":168490,"id":"Q168490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q621419$7CB886CE-2DF5-47C5-AAE1-113CFDE8E5D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90226e22c518bbf24899277aeaad1e3115bd0ee6","datavalue":{"value":{"time":"+2011-02-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":"Q621419$A7A7605C-C926-4859-B5CB-8D388DD08DFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a608b0309780cdbadde35512f6c6683dbb61936","datavalue":{"value":"https://eudml.org/doc/233626","type":"string"},"datatype":"url"},"type":"statement","id":"Q621419$8345114F-F808-4072-95F7-66BA2ACA85C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa4c11ab19efd11c90a31d04f4eb2804c37174f6","datavalue":{"value":"http://www.emis.de/journals/DMJDMV/vol-15/30.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q621419$38F3CFB0-B240-4074-994E-D8465A4BFCC5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"29fc23adb9159ca8560a560036536340ba19d3d0","datavalue":{"value":"Summary: The antithesis of Specker's theorem from recursive analysis is further examined from Bishop's constructive viewpoint, with particular attention to its passage to subspaces and products. Ishihara's principle BD-\\(\\mathbf N\\) comes into play in the discussion of products with the anti-Specker property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q621419$02B55A0D-C1B6-49D4-B076-2046D63395AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621419$71AED21E-66FE-49EB-B7D3-284E78C3CB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9934057d10323980704e6b94db4ebac54a6fd5ff","datavalue":{"value":"54E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621419$359673E4-03DF-4F8B-B960-284A361C57FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c15b9ebe4d1394e4ab1aab28035564cf52ec9d0","datavalue":{"value":"54E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621419$86E46694-1F4E-4325-B004-FF417903FCC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d47111e88614f783f31cfdaa45badeba44228e63","datavalue":{"value":"5844008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621419$E349670C-6487-4151-B38C-C51B47945BCF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fc1f289b93805d5a9cbd7257aaca2de5b5aa42e","datavalue":{"value":"constructive topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q621419$9B0A4AC9-2D78-4BED-97CF-DB9A5DDE75E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2dc6501c76fc989367dace5f04b6990169316da","datavalue":{"value":"anti-Specker property","type":"string"},"datatype":"string"},"type":"statement","id":"Q621419$CAD333D2-0B35-49D4-BFE6-F92D2E276C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfd76ac83938b99559bd2c7ff23a51b6139fd8f7","datavalue":{"value":"Ishihara's principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q621419$E3669FFE-B42B-4B2D-9D42-D04F21854689","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":"Q621419$192B7DCE-6E1D-4CD3-85D4-7110535D9622","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"edb1186e0df5d09794b7cc44b0f0eaa7ba274464","datavalue":{"value":"bafkreigd2qzk3yv5de7qg7d4laicarj2267qujcmk24rxgazia5itzvwgu","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q621419$B718888A-2E20-41AF-BA78-6342088DB63C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0403f3ac485d7220e235cf6e6897ceadd93c0aaa","datavalue":{"value":{"entity-type":"item","numeric-id":3583807,"id":"Q3583807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f000b09cf3914dc7b796708d531f7423ef271121","datavalue":{"value":{"amount":"+0.7917919158935547","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":"Q621419$EE335FBE-D3AC-4166-BFB1-C6C90F2921F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad8bd4e29ac9c32c332738e905ecbdb57fe538c","datavalue":{"value":{"entity-type":"item","numeric-id":3081247,"id":"Q3081247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dd09696fdb0531a2f032b5d1cfb4fa34229fc53","datavalue":{"value":{"amount":"+0.7875849604606628","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":"Q621419$D7A74AA5-3EED-4BA6-AEA6-82F7FA08E60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"defafcd5e0b07e5c59a04c403b2c554fab580041","datavalue":{"value":{"entity-type":"item","numeric-id":1938392,"id":"Q1938392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1864fa577684cff3ea6d2f30fa81154c0f11f64","datavalue":{"value":{"amount":"+0.7839366793632507","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":"Q621419$ACF6451D-0110-4019-B51A-53927E723504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd89bbc4efe56cd70c89de627d5333e8aaf1cbce","datavalue":{"value":{"entity-type":"item","numeric-id":2938777,"id":"Q2938777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d8422f0b7d07731995e25b56f89871b72460b8","datavalue":{"value":{"amount":"+0.7568544149398804","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":"Q621419$8D3E125C-DADA-4AD9-AB55-010FF38AACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbba6a549142fb019b8626d2ff7f126c12b20c51","datavalue":{"value":{"entity-type":"item","numeric-id":4916541,"id":"Q4916541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c038d36f8ff129270ec7dbc7985f1559604eb94","datavalue":{"value":{"amount":"+0.7555254697799683","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":"Q621419$99FB0681-CF7B-444B-BDF1-70085116F89D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inheriting the anti-Specker property","badges":[]}}}}}