{"entities":{"Q1055409":{"pageid":1057257,"ns":120,"title":"Item:Q1055409","lastrevid":69529002,"modified":"2026-04-13T07:37:12Z","type":"item","id":"Q1055409","labels":{"en":{"language":"en","value":"An application of open maps to categorical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823782"}},"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":"Q1055409$9BD2C2F9-4B58-42D7-961B-F44EB8BB2B2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7dc3ca99c6755909f19af80e766aae7e817718c2","datavalue":{"value":{"text":"An application of open maps to categorical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1055409$81129793-E15D-451D-AB75-A641CDE05C7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9324e4e6379a0495f507a42b451dc7ca1435de7","datavalue":{"value":"0521.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$FBBFFB56-53AF-47DD-A153-BD68E7C8DA6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c386aff5684e6315ef0ea519a60fc56a6c3fd66c","datavalue":{"value":"10.1016/0022-4049(83)90047-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$2F1BFAC0-CE79-4FD9-84FA-E55ACD9F4719","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$09F0C357-9E47-4469-A167-373EFF9D2F9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q1055409$F544A6AF-36A6-42EB-A1A6-BF9568B1DE5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$6B53CD20-8966-4AA2-97A8-EEB1689BE511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5d18442d459f776caea349da745bbaf9554be1d","datavalue":{"value":"03F65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$1810BFB2-47F8-4694-A09C-EAD3C7D007EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$4CDD1766-1760-40EF-BB50-4C0C5AA5F38F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"107f659fc9870bbae39cc25f36d01bfc1b6e850e","datavalue":{"value":"3823782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$7172371F-974D-408F-96F9-99480CCEEF89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055409$73240DDE-A299-4D10-A055-763B7037A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4838bcb38e8f0202533cfd16a7693ed4b09c3e6","datavalue":{"value":"interpolation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055409$7F6AC844-8040-48A6-8325-C7A2CB755854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74c5581f5f9736f24a9d29a9147f4097410bd69a","datavalue":{"value":"Heyting pretoposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055409$8F4C9AC3-1ED9-4459-9A03-FAA2DF94CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055409$90D1823C-7CB9-4E8B-A114-29C9532B13A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa72d29b773173cece22388a201d886a3c4c12cd","datavalue":{"value":"Grothendieck toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1055409$046C7743-782B-4D5D-869F-0136D5B7D8A4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$33E49790-6B68-49DB-A51C-5C2C06703F7B","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":"Q1055409$FA05C839-D8FE-48D4-AAA9-42B8AEBD3598","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4df75cfa1924f298a594d19915066c3249f28e32","datavalue":{"value":"https://doi.org/10.1016/0022-4049(83)90047-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1055409$109028B6-3363-40AB-87CE-A9777E6C91A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6586dd7f9bd7108d0e030a0d2a43337ddadfadf","datavalue":{"value":"W2078108932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1055409$A4E97EE6-0F8A-4BAD-B8D6-5EC15986F20F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$9A427659-51FE-45EE-B6F4-49CD5E0C1C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32fbb879b1b1a752d0cb814abc5317db893e168a","datavalue":{"value":{"entity-type":"item","numeric-id":1244326,"id":"Q1244326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$12662E0C-9B75-4D43-84B6-66AF9036A9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf083bc541bf0c234dcd141ce046a20f00fdfad","datavalue":{"value":{"entity-type":"item","numeric-id":1139120,"id":"Q1139120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$B307F75A-0370-4631-98C0-CAAD150074C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c8b67d7e012b689031a2c5ac1060c8aeef8694","datavalue":{"value":{"entity-type":"item","numeric-id":3901650,"id":"Q3901650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$32CFC793-FC4A-423C-AC2C-1F9E3FEDD7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$98D6E901-412D-44D7-BE5D-FE1F6D20C967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfd713a8fde0fe2e38a69f74ac8b77cc8e11d042","datavalue":{"value":{"entity-type":"item","numeric-id":3043147,"id":"Q3043147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$1F9ECAAE-DDE1-4CB4-BA8E-AD3F37D93F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b60eea28edfed7e1c618a79fd16007e8ab860324","datavalue":{"value":{"entity-type":"item","numeric-id":1346248,"id":"Q1346248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$C4061D3C-F398-49D1-977E-0A4354B4EF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322c4c11391c1c0aa5fd668b6cf5c7f82ad0a3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1053098,"id":"Q1053098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1055409$5F5DA09B-F5D5-484D-AC51-51BFE9348C71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of open maps to categorical logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_application_of_open_maps_to_categorical_logic"}}}}}