{"entities":{"Q3081240":{"pageid":3091955,"ns":120,"title":"Item:Q3081240","lastrevid":86433602,"modified":"2026-06-03T21:00:53Z","type":"item","id":"Q3081240","labels":{"en":{"language":"en","value":"Omniscience, sequential compactness, and the anti-Specker property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5861993"}},"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":"Q3081240$C8AB4653-0188-43AB-9FF4-99A6D5716A2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"470167f2dc8a2bde668730431ba72a9657b16627","datavalue":{"value":{"text":"Omniscience, sequential compactness, and the anti-Specker property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3081240$74C7E485-232E-4416-9FD4-5F107A20257D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e17592c017723c2b6ffbbe685de0416f9b08eb2d","datavalue":{"value":"1229.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081240$1E824B82-EBDC-4312-97EE-60ACEB295027","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":"Q3081240$C5C113DD-F0FA-4EA7-B9A2-DF6C853074F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18d153db87c8aa6053edbe5427a634df51843ee4","datavalue":{"value":{"time":"+2011-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3081240$D5B14468-6367-403A-9D51-60B0811DF222","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0282342b24b585fa878a09dabeb8eb52c72be5a3","datavalue":{"value":"03F60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081240$4D1A5779-F04C-4D25-B264-6C42C6C03083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081240$CC70B755-0159-49EA-A562-090AD6A68428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54708b415b297d3cf944490deae6a368ad968b5c","datavalue":{"value":"5861993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081240$6C62EFEF-6CFC-497D-9A17-C8B0905B2F11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081240$B6770F39-D986-4448-88B8-2FFB85E2814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3de30a9531cf18bcfccfbbc2fce502a4b049cee","datavalue":{"value":"omiscience principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081240$DA488AF6-05DC-41EF-B1FE-5FD6C02601C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76bdd35fbd14d9d07f4c4efd2b9b61e55745335e","datavalue":{"value":"sequential compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081240$BC17006E-8213-45FF-8C78-853D3ED480CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d2dc6501c76fc989367dace5f04b6990169316da","datavalue":{"value":"anti-Specker property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3081240$99E376AC-C620-4F2E-BC8A-45D183B4F77B","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":"Q3081240$1115F053-7A17-435B-8DE9-A8A1DF817E1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41ea5416e8e8f5c1a85b80822cf53dfef4821f00","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzq001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3081240$F36E4FCB-2744-4EF2-9506-0B5AD1AA7D10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c50ededa9fbb8a91839a135c9f703bc822b6d473","datavalue":{"value":"W2086157351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081240$BEB728B2-D66F-440D-A559-8F46A0743B9B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10171c7c9387268017080ebe69be3113cf49941d","datavalue":{"value":"10.1093/JIGPAL/JZQ001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3081240$DBC83FF3-F42D-4E27-8F75-027611AF3341","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3081240$85D0B451-F7B6-4A27-8053-89F7956BE8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf10bf8eee38989e65bc3a0df8ea44a987b4916","datavalue":{"value":{"entity-type":"item","numeric-id":1788329,"id":"Q1788329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c698caaa54050855f786f6cc6e9ba3d4d12f68b6","datavalue":{"value":{"amount":"+0.8360431790351868","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":"Q3081240$5BC347B5-6D49-452F-AE25-AA3648EB006E","rank":"normal"},{"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":"b3decb6688b94cbf8adc00a58c41d5cb7ad87a30","datavalue":{"value":{"amount":"+0.8347257971763611","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":"Q3081240$722B57AC-746C-4D69-9AD8-08D4B483096A","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":"2c97a11c924d8346fe1169775da756599affe269","datavalue":{"value":{"amount":"+0.7967264652252197","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":"Q3081240$7F867EF7-5848-462C-9795-5A829D390FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd4d31eff98552f75d5bc2b5a1ac53be2389d5d3","datavalue":{"value":{"entity-type":"item","numeric-id":926186,"id":"Q926186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a36aea75bf10a19ab9c945247af9588e3434ee","datavalue":{"value":{"amount":"+0.7937539219856262","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":"Q3081240$BFB28324-20E8-4A00-93B1-18E6B8720624","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":"4911d9294ab9e1feddb11833ed613c468f8ea16c","datavalue":{"value":{"amount":"+0.7828975915908813","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":"Q3081240$39409961-A90A-4B4E-8C8B-4C45109EFA8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Omniscience, sequential compactness, and the anti-Specker property","badges":[]}}}}}