{"entities":{"Q7034643":{"pageid":21710742,"ns":120,"title":"Item:Q7034643","lastrevid":77522936,"modified":"2026-05-04T15:43:51Z","type":"item","id":"Q7034643","labels":{"en":{"language":"en","value":"Modal hyperdoctrine: higher-order and non-normal extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977470"}},"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":"Q7034643$0EB5EFE0-0BC6-4102-AA4A-8160C7E2C475","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d97368249728fba270ad9d663c6360c906410066","datavalue":{"value":{"text":"Modal hyperdoctrine: higher-order and non-normal extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034643$F5A4D5A0-D5F5-44F6-ABAD-D8027EF1C5D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8d4f0ba80a03e84d377ea3d04d795ebecf9b7b2","datavalue":{"value":"10.1007/978-3-031-62687-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034643$88306B49-CA9F-4AED-88C6-037679189875","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"626a1f3007375f605ae486ace4bf30749bc0525c","datavalue":{"value":{"entity-type":"item","numeric-id":7034642,"id":"Q7034642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$0A94CE03-8727-4D6B-91AA-6C101E58055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"385db80d6bed80abaf8c7a169d8469a4d7c9ee89","datavalue":{"value":{"entity-type":"item","numeric-id":418909,"id":"Q418909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$B60B9CAB-EA51-43EA-A1FA-03656537BEFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034643$154A3F8B-6452-418F-A97A-5C2C297C3522","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034643$A4B269F5-C602-4DF3-A851-B45FCB8E6B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034643$5E4F0C1D-066F-471C-BB45-A21862295F8F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c1bed2a96961c0679609298c45df9ff9115a375","datavalue":{"value":"7977470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034643$34D24FFA-14ED-4906-A1D4-504F1C90634F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034643$9A707191-4579-436F-92B5-634D6747D10E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034643$AA392EC0-0F03-4971-BEE8-CE0324D9DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034643$612D3BC3-099A-470D-AA3F-108FDFD26A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb9588b3cf099e559906225d0623d18b43b25ac","datavalue":{"value":"hyperdoctrines","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034643$09F8E1F9-FEEA-4E39-9269-73E670A71281","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":"Q7034643$3C9B4795-B523-4157-8408-9F19EB69B1BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79cf008b86099e5e586f0fa4692daf9c8a073498","datavalue":{"value":{"entity-type":"item","numeric-id":863182,"id":"Q863182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$7BE1FD53-8398-4B73-BBA4-C735F302ACD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d7cc3943642b07a0194d64bc0acad424d6004","datavalue":{"value":{"entity-type":"item","numeric-id":2974975,"id":"Q2974975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$5D15CA9C-5B7E-4FBB-8F1C-30D52737EC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e442cb0731ece22baa6f5d984f3e898d577a4a","datavalue":{"value":{"entity-type":"item","numeric-id":1896788,"id":"Q1896788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$B48E84DC-5706-4CAC-B78C-48B1A6ACA8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3d2bfe72e8d3cb7f439a24d8b4eff81d7a1c2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1825863,"id":"Q1825863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$6C801C40-460D-4F71-BAE3-AE907E504D27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"821ee4ebee9996e0e65a2825268a79270ff5cef2","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$DB57ADA1-96F5-4687-835B-86E975E633E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bf9bd214386d8e19969763848ae295d0307afc1","datavalue":{"value":{"entity-type":"item","numeric-id":4793390,"id":"Q4793390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$D2D1BDAA-80E2-4028-BEAE-F8661C3C61B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e80e2a603e8868f47b5bc8440aa302e5f8a50e","datavalue":{"value":{"entity-type":"item","numeric-id":3804674,"id":"Q3804674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$BB7D3CA9-C502-40FD-B7F6-9D008D651DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$C70098DA-C6DD-4852-B3F8-29FAF476AE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463cf8243e4109af3f29fbbc771487068a0df78f","datavalue":{"value":{"entity-type":"item","numeric-id":703523,"id":"Q703523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$3E59EFD1-F5B5-4438-B8B1-2ED32DD146BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$644F4ACE-EE7C-4501-87E9-FC2AFF64E1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18acd13838cbd2b8d817ea9459757c3a0df03ef0","datavalue":{"value":{"entity-type":"item","numeric-id":5525332,"id":"Q5525332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$3E73DDAE-8DC5-45B4-9106-EA58180B21A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d5404f493066833099add9fc4bec93c0bd7405","datavalue":{"value":{"entity-type":"item","numeric-id":4637694,"id":"Q4637694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$D9C8CB69-3089-4795-A3B5-AE6D4C7E7186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d414f51649e857be26468402ac605eb351354827","datavalue":{"value":{"entity-type":"item","numeric-id":2652482,"id":"Q2652482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$BE99E786-AB91-42C9-808A-C722EFA289D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505ed0ccd70e9dac58c0d9145b209425580f86f4","datavalue":{"value":{"entity-type":"item","numeric-id":4857386,"id":"Q4857386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034643$AD3FE7E8-8AC3-4EF5-99F2-023CEC755ABB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal hyperdoctrine: higher-order and non-normal extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_hyperdoctrine:_higher-order_and_non-normal_extensions"}}}}}