{"entities":{"Q4198736":{"pageid":6228337,"ns":120,"title":"Item:Q4198736","lastrevid":34628155,"modified":"2024-06-13T00:38:12Z","type":"item","id":"Q4198736","labels":{"en":{"language":"en","value":"Sheaves and Boolean valued model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3637834"}},"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":"Q4198736$49713198-F91C-4D96-8414-2859B273E249","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b7e130230e91a7749aefba89cac40ff4175ba06","datavalue":{"value":{"text":"Sheaves and Boolean valued model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4198736$7E513D13-7C39-48FF-85C1-D71FC1BC1CC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3feeee8db6845da77550823fd59ff685616a32df","datavalue":{"value":"0411.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$190A7F92-1D9A-4F59-80E7-826FEEA0A02E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"605099bc7d12fa56d74b2f049d2aed65ab108b91","datavalue":{"value":"10.2307/2273725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$5E53BA31-6167-4F0A-90DF-471853E165F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1910432d4972a5706ba9b78341ec0d7308d990dd","datavalue":{"value":{"entity-type":"item","numeric-id":3208640,"id":"Q3208640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198736$A15354FC-B835-452D-96D3-CC32B9D3E26A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198736$D18AED37-E6E6-475A-9580-9F566D376D80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4198736$ED9A0D7F-DF33-4796-B7AA-EC4745C39877","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$F559FF89-3FE0-4216-9DF4-88B4FE6770FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$5B4A26E0-2921-4869-9FBE-B9DDB85D4A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$EEDCDBD7-0640-4469-B544-14E1AE356414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$314602E1-E308-4BB0-8463-2FAD9EB9FDE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3143c744d868052f47e1fe1accfd760689892040","datavalue":{"value":"3637834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$C5ADC8CE-F1EF-4277-91CD-D578CBC3C89A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a08dc872753e2df2f9c5909c5747ffc07c25b4eb","datavalue":{"value":"Boolean valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198736$8574AC59-9176-408C-91B2-5A94008E0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1494af453fc48dd5c769a18a060cf38a2fe6479e","datavalue":{"value":"first order model theory for elementary topoi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198736$ADB37BDE-3259-45F3-9D9C-5B363DC73F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18903db48c0dc39e111e2c11957b924e09daf673","datavalue":{"value":"sheaves over a topological space","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198736$842B1DE7-86FB-419F-AD9B-EC2DAE7497FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64d8c21db84d9f22a20ed34b74d02609c2995bac","datavalue":{"value":"sheaves over a complete Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198736$6FC6F21D-D42F-4D1A-BF98-2F2AEAFEB43A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8b50535b96725316f6a74d4857a047246b86153","datavalue":{"value":"preservation theorems for model completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198736$5F72C478-550B-4F6A-BD52-7AEA2DF07C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b5c5d649273b0cb25351497f947351dbcd6657","datavalue":{"value":"transfer theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4198736$B413240D-1700-43DB-87EF-0E07BA994162","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":"Q4198736$71F8B855-3A93-4010-9262-A1E8B2C093B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"773406b255e35a4b08f4d2624760c02b5c9137d0","datavalue":{"value":"https://doi.org/10.2307/2273725","type":"string"},"datatype":"url"},"type":"statement","id":"Q4198736$2AA5B52E-EB15-41BA-8C7D-BE0D05D9671E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"45873840fab586a9cb1c27aec13eceeb240fc337","datavalue":{"value":"W2087424958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4198736$D6BF1AD2-296A-4FB9-8480-00494ADC87E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99ed43b53a0d5942bda97e2191fe0133a1631053","datavalue":{"value":{"entity-type":"item","numeric-id":1394225,"id":"Q1394225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198736$47069B43-6CD7-4091-A1A1-12DF7BADB6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5347980181241ef228970bc3d15a49730ba49ff","datavalue":{"value":{"entity-type":"item","numeric-id":1212528,"id":"Q1212528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198736$AE132360-31F1-4CCD-869D-31FC6047DD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d7f45e5ef13a6902f8dedb389ebc38514ec67fb","datavalue":{"value":{"entity-type":"item","numeric-id":1223383,"id":"Q1223383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198736$D6BBE05E-5791-4E25-ADA8-76CDE0ECB534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4198736$A6FF7750-B12B-46E8-A81F-992404CCB4CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4198736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4198736"}}}}}