{"entities":{"Q5098721":{"pageid":7128297,"ns":120,"title":"Item:Q5098721","lastrevid":55414459,"modified":"2026-02-17T15:52:50Z","type":"item","id":"Q5098721","labels":{"en":{"language":"en","value":"Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7578342"}},"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":"Q5098721$7BD6849E-99E2-4D49-92C3-9B39E0B675D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"449a0f7fa950af9856a760efb1b53c5956891033","datavalue":{"value":{"text":"Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5098721$02BA0A2F-60B4-463B-9D38-F10E8FCE6F2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21f5455bcf0d5319618c6ea124b0d5a45b1d5f09","datavalue":{"value":"10.1007/978-3-030-43520-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098721$A86F42AF-86C4-4C0B-9624-CD624E551D33","rank":"normal"}],"P16":[{"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":"Q5098721$1E967065-77BB-40E3-B9DE-0683A2529F77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$6DAD7F3D-E3B8-483A-B783-63329523B549","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5098721$1EDDB1C6-7656-4176-897F-EFEFD90AFE12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098721$07D63684-10A5-4338-B6B0-E4BFE2EFCC75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"969bc807469db240a56f971ead84469ed25f4f90","datavalue":{"value":"7578342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098721$233E3199-FADC-49D1-902D-2B10F1F7693B","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":"Q5098721$4E87CB4B-C0B3-4321-A9C0-85CA1FEF1310","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"344fcb3b842367b0c4db0b77268f412a350a0c0d","datavalue":{"value":"https://doi.org/10.1007/978-3-030-43520-2_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5098721$239F1A68-C6F7-4A09-AF79-EA0AE053EA7D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e87e9eeb254c03dce5c448decb524110710fb89","datavalue":{"value":"W3013669316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5098721$0076475E-0F5A-4CE5-A523-D4347EEDF3A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$A49004ED-5D64-4AB9-B60C-5C5E4DA8610A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ee6ee01b4b1694eb9e94a00a8a009dce26654e","datavalue":{"value":{"entity-type":"item","numeric-id":5316567,"id":"Q5316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$AA42132C-2977-41EF-8398-625DEC015168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$D467926F-F5CB-4122-885C-4D8FBFD5913E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c93d97190e26096c22db3238c11ecdad8a3ed1","datavalue":{"value":{"entity-type":"item","numeric-id":714727,"id":"Q714727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$F47D8780-400F-4C24-99C8-7B5AF6F81FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73996ac8a80531fc3c2404d5a4796aa4dd28fbc","datavalue":{"value":{"entity-type":"item","numeric-id":280840,"id":"Q280840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$96CE4DD5-8930-4AC7-B830-D9D9FED625CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1902d07b8f8b12b81b264ceef664582c4e6dcda","datavalue":{"value":{"entity-type":"item","numeric-id":1938390,"id":"Q1938390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$C9660C75-0A6F-48A1-B35E-7A032CD13404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0ad0ff33b97fe3fcdb65aef119b0afb35bccbf","datavalue":{"value":{"entity-type":"item","numeric-id":4981448,"id":"Q4981448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$35914F24-CB6C-4135-9322-153581ADBDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$431FBB08-3A2F-41BC-933E-5EE9C80BA360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdcbdd459a37534f48a0a2976d04a84e7022c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$09748229-C1C9-4EF8-9D9F-35A3655B423A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a89d9778540e59354b62ce83b54f0ecbf48bca45","datavalue":{"value":{"entity-type":"item","numeric-id":1821100,"id":"Q1821100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$093D8B54-56A2-4FD7-951B-6EC63D531FC8","rank":"normal"},{"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":"Q5098721$D140508E-606A-4264-B126-58A8476D6987","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":"Q5098721$8292F413-945A-4D5C-B4D6-321CB66D05B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$4617892C-E9DD-44C0-9323-E5089536A2FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b41cbef27cf2edd74cc41ddd8d179ab3a2e113ba","datavalue":{"value":{"entity-type":"item","numeric-id":4783274,"id":"Q4783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$CC3E202C-8E3D-42CE-A697-44A00686447A","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":"Q5098721$D9DCD58F-5DF7-4A7C-97CC-A857695177FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$34E28C98-E7D4-4204-8619-0D671351B166","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":"Q5098721$3AD42DA0-F9E4-4923-9083-ECFF047E9F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8780e5311fafeeec6189c6037ead838607fed813","datavalue":{"value":{"entity-type":"item","numeric-id":3166619,"id":"Q3166619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$4EED9764-E389-4DB9-949F-FE5046EF5D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33fe8ee8e45e078049a756226dc9593bc963c5f4","datavalue":{"value":{"entity-type":"item","numeric-id":418910,"id":"Q418910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$A9015F5F-5997-4261-B0B4-DE39138D716F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec7ad5c131ceab7a983f63a0087cc08129f5ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$B16758D4-0FCF-4F22-975E-97453F89C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa809f6145fdd08f256cdb85bab7972b978d428c","datavalue":{"value":{"entity-type":"item","numeric-id":4997273,"id":"Q4997273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$66625CF9-9FB2-4A92-A1F4-7DADBCF0064A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974e7bd78de3ff4d00e768845bafb98c77bab0a2","datavalue":{"value":{"entity-type":"item","numeric-id":454386,"id":"Q454386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$396CA01A-870E-4247-93B8-CB437FFCBEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9518dd7f95b2c4defe343ee2db5f10db3d13b99","datavalue":{"value":{"entity-type":"item","numeric-id":3146242,"id":"Q3146242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5098721$8721B5FA-7B60-48DC-A0DA-ECBAEFFC0BA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4bab13d7f482db501a84e7faa14afcb9812711","datavalue":{"value":{"entity-type":"item","numeric-id":2849433,"id":"Q2849433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad1dfff07ae9eacc8372c63579498793435d202","datavalue":{"value":{"amount":"+0.8019717931747437","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":"Q5098721$5F168ED0-2732-4DE6-BD88-1A67DA6C8539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15378801f2252b6a8bb20b184f6f86c965c8124","datavalue":{"value":{"entity-type":"item","numeric-id":5015729,"id":"Q5015729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41de997e4781f3b7e8fdbef04a3c41b1f2615c7e","datavalue":{"value":{"amount":"+0.758232593536377","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":"Q5098721$2BF2B187-DAAA-4FF6-A76F-CA7E7A66EC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9087acf0030b486df7a06e1d89439971deef7d","datavalue":{"value":{"entity-type":"item","numeric-id":4475066,"id":"Q4475066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df300e3f97edeeb3aacbaeda1f4f00b891d803cb","datavalue":{"value":{"amount":"+0.7454270720481873","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":"Q5098721$BA476CAF-E05B-47F5-8402-0616B59CFFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a3fb0fa0656fc8cfc2ee914d1fa622eb33da1","datavalue":{"value":{"entity-type":"item","numeric-id":5176934,"id":"Q5176934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fcf73da9b53eb4bb88e96a2aecc7137bd91983","datavalue":{"value":{"amount":"+0.7421135902404785","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":"Q5098721$9EF5064E-8B4E-4F32-B376-21523B62212E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c75c29a9e841d715a0607f285af610409eb4f288","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"755e9c8eba8a7538457e9d82ff9038f84986d085","datavalue":{"value":{"amount":"+0.7376717329025269","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":"Q5098721$754DACA7-6FFA-4D52-AB04-A744BCC59BDD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5098721","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5098721"}}}}}