{"entities":{"Q4656551":{"pageid":6686132,"ns":120,"title":"Item:Q4656551","lastrevid":82420232,"modified":"2026-05-06T20:51:58Z","type":"item","id":"Q4656551","labels":{"en":{"language":"en","value":"An Omitting Types Theorem for Sheaves over Topological Spaces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2144296"}},"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":"Q4656551$7BE5B02A-1927-4367-BAE0-39145B8748A9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8cc22d5c43e5128f27d41f4ac79c6347350ee455","datavalue":{"value":{"text":"An Omitting Types Theorem for Sheaves over Topological Spaces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4656551$0C2532A0-B70B-467A-A024-C4687D15F3C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1c159415b4755b643ca900f8ca387068923fd3c","datavalue":{"value":"1062.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$56B12363-E220-40E5-BB83-C0F1953993C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"219af350a992085dc8e722411d17ef1ea966ae61","datavalue":{"value":{"entity-type":"item","numeric-id":1775869,"id":"Q1775869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656551$8BA8F224-F7D9-4C17-89C3-436CDB59956D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a4421a35b97643ec3e69a6ceb763290fb66d19e","datavalue":{"value":{"entity-type":"item","numeric-id":186028,"id":"Q186028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4656551$1E202BC4-7647-44F7-B6EE-8C4400AEFB29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a1e9f97959c3a0c8005f0f6e1f91f49b76b5347","datavalue":{"value":{"time":"+2005-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4656551$40CA5B65-9F8F-44CE-8ADA-407569D7F6AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$19995B46-F8F0-4FB7-9383-4D0FAC815B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$BEE836B8-02B2-4B52-9C50-FF96FEF6DD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$B13E7384-6D41-4444-A698-F179B5EB33F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1610279356969d087ad7935deca6d2b19dbea74c","datavalue":{"value":"2144296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$CF7C642C-A515-4502-A01D-22CBC382CBF1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dc1b49389dfc21848c7087f587d1e56c3cb182e","datavalue":{"value":"intuitionistic generalization of classical omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656551$78FB419B-7CE1-438C-95CE-7234B8C50AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30a5959b63af70cc91ef0f4472e1a66256c80d09","datavalue":{"value":"sheaf of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656551$F11D54C9-72CA-4561-AC42-2AFDDAC7AC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23427a6f305af4296cc3b3bddedd374b603972c3","datavalue":{"value":"countable first-order languages with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656551$EE834361-ED2A-4508-83DD-A8116DAF926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1192783a1173f232f523c0bc93ec4619091d02d","datavalue":{"value":"spectral space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656551$594D5D79-93B1-4247-A4EE-D50D0FACF679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab6a8aca8f7832b0a8496ba17192bff45d556f4e","datavalue":{"value":"intuitionistic model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4656551$123E69A2-CFDF-4803-A621-643389FFA466","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":"Q4656551$609543BB-88B8-45F2-A18F-AD6F255E2F78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5728620fb17f9035e812491de8e3b6ff52e7f40","datavalue":{"value":"https://doi.org/10.1093/jigpal/12.6.525","type":"string"},"datatype":"url"},"type":"statement","id":"Q4656551$171F17F8-DF78-46DC-8F68-C03F6CC0F7BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f728636ac921e5791fbe656a840ab3ca6fdbe0de","datavalue":{"value":"W2090186965","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$0DDE824C-1B1E-4CAF-85BC-9DD5DD2FA20B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af132c42d607d71b622b12b9ecb97fbe37ac9924","datavalue":{"value":"10.1093/JIGPAL/12.6.525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4656551$683807B0-85AD-4F51-BEC7-008598167A70","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":"Q4656551$416A0B45-DB8D-4FA2-8440-93EFB562AC29","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e597bd7312a26234bf0be95d59ebb406df5de0","datavalue":{"value":{"entity-type":"item","numeric-id":4874811,"id":"Q4874811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632e0228c1bce80bc3bdb092dc3eb895f3523825","datavalue":{"value":{"amount":"+0.7898255586624146","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":"Q4656551$C6767FF5-F543-4220-B016-2699F0054FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"888ebfc3911aeaf729f7644dbbd1141865344418","datavalue":{"value":{"entity-type":"item","numeric-id":763970,"id":"Q763970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3470046583947cc221389f685d1f069eed916e6","datavalue":{"value":{"amount":"+0.7528621554374695","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":"Q4656551$5DB0EB9C-A720-4D64-9283-3B231510E594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635884bf7fd87a3d429a6d4745e0ec8d6dab19d5","datavalue":{"value":{"entity-type":"item","numeric-id":3720570,"id":"Q3720570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed3bf8b162bbe87a9d0e9ad17279e1d2ee6b7e7d","datavalue":{"value":{"amount":"+0.7418200373649597","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":"Q4656551$70F7292F-43B8-47E1-BB11-D8CF48D81B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b139450a1fcab6deccb5d391d2a5f2b494ad6f30","datavalue":{"value":{"entity-type":"item","numeric-id":688799,"id":"Q688799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ec9a67a632f299682f6a4d919f63a31ed2dfb9","datavalue":{"value":{"amount":"+0.7379242181777954","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":"Q4656551$9221E971-8542-4CB6-A25B-851062F72590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8741baf8939d55ece68cf86baac6592ee28118","datavalue":{"value":{"entity-type":"item","numeric-id":5434201,"id":"Q5434201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f5b41f7b5276f32d48d25969434926bce4e1a74","datavalue":{"value":{"amount":"+0.7368031740188599","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":"Q4656551$38F54EF0-4A6A-431C-AD7B-94B9812793D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An Omitting Types Theorem for Sheaves over Topological Spaces","badges":[]}}}}}