{"entities":{"Q6149965":{"pageid":13284272,"ns":120,"title":"Item:Q6149965","lastrevid":58717350,"modified":"2026-04-06T11:06:04Z","type":"item","id":"Q6149965","labels":{"en":{"language":"en","value":"A point-free perspective on lax extensions and predicate liftings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7813378"}},"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":"Q6149965$9EEC54D1-EA55-4F75-8F46-4B50B07742C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dffff7afa8a4a91a47bff7a8ec31c75b602cda2","datavalue":{"value":{"text":"A point-free perspective on lax extensions and predicate liftings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6149965$BDC0DF40-B362-4523-B8B6-8E5C7E637E33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$9F2FC063-67CD-4125-A305-61FB2B19709E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f083fb074f8e8c074b73d719a7d91511e8dca2aa","datavalue":{"value":{"entity-type":"item","numeric-id":328661,"id":"Q328661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$0125140D-001D-4B5C-A2EF-7113E122496A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f42dc9a4be2725b3dfb77d2bee3f819b85fac4c2","datavalue":{"value":{"entity-type":"item","numeric-id":1644967,"id":"Q1644967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$33C207FF-F715-49F1-8B7F-2C4AC6048353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1eeed33b2287d1ef7af5a3fd00bdb188f793ecc6","datavalue":{"value":{"entity-type":"item","numeric-id":234493,"id":"Q234493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$66816A63-4A95-4338-8140-EC884C8CE0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0714aeb6b5119635f42d6c811a6ea42c77b20b7f","datavalue":{"value":{"entity-type":"item","numeric-id":1819527,"id":"Q1819527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$01463491-0636-49B7-AFED-AC65F61F1DEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$E81E19B0-1888-4B9D-9B14-7EBAF4371663","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c36f49e8b4c980a4dd1d9ff655af85a597603033","datavalue":{"value":{"time":"+2024-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6149965$31ABF63F-D87D-4762-934F-481E18F48F3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"039010f93cd1e1acc0ceb4f703600de9c11f2e99","datavalue":{"value":"https://arxiv.org/abs/2112.12681","type":"string"},"datatype":"url"},"type":"statement","id":"Q6149965$FA33DE4F-038A-4556-8F33-1940F7DC6828","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149965$D74CD2E2-60F5-47CA-A7EE-FB61036325D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43bb815779bfe34861cac435015298a3c546747d","datavalue":{"value":"7813378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149965$CB021A35-4658-4554-9E62-14AB063F7EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05d9cc60b6b220b6822b52f8db8c91f7b2a69f60","datavalue":{"value":"lax extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149965$FAE2794D-FC40-4FDC-ABF0-290AD48A1307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c262983b439db0e698e56e398a603fa1ac2aa26e","datavalue":{"value":"coalgebraic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149965$A48A8C91-3B51-45CF-B8DA-E3E432B7E39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a085aa775dfebc3243c86774a7fdd89678a612c1","datavalue":{"value":"Kantorovich extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149965$2D67DF39-9F64-40FE-A61A-02BDFCA3BF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a2a3591a14e2a269f1979aaa8e73855611d224d","datavalue":{"value":"Moss lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6149965$45254CE9-E80E-4FB7-8D1A-3F3D91DD7A40","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":"Q6149965$666F1BEF-05DF-422C-8698-65F25F629269","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a1a59fd4f5322ee8d09a8031b01fed6dd672f4","datavalue":{"value":{"entity-type":"item","numeric-id":3056295,"id":"Q3056295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$D54E25CA-EC84-41A6-9FAF-E6BAD0462B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be32802d463b5cbb1f27940b8f8c8404dabdd33","datavalue":{"value":{"entity-type":"item","numeric-id":2341699,"id":"Q2341699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$00BF6281-0D9D-4C0F-90B6-98118308D440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6f97afcd4bbca50f0dee53e4ebddd916ce9ca31","datavalue":{"value":{"entity-type":"item","numeric-id":5243045,"id":"Q5243045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$9F98AB17-B035-4876-8AE4-FD95C53EDA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"753d45f5fa206d038df29ab976c6a807b271b292","datavalue":{"value":{"entity-type":"item","numeric-id":5480755,"id":"Q5480755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$4E0F0E53-4D5C-49BD-99DC-D91A19BC1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ede79286edc365c7f560db5345b93e62f426687","datavalue":{"value":{"entity-type":"item","numeric-id":3156494,"id":"Q3156494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$05C0DB52-DF57-4148-86BC-72B0452556F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a56eb93a836ab563e2bc46032b60f2c1a03677","datavalue":{"value":{"entity-type":"item","numeric-id":1272108,"id":"Q1272108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$35768653-8951-4396-B975-84632DBDA8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22656fe7d16de6255a2089ec64dcbf63fb0bec76","datavalue":{"value":{"entity-type":"item","numeric-id":3137152,"id":"Q3137152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$8FB61834-A995-41ED-8A99-2D5D554841E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79c5be0178f4fbcce9b9a39729c1bf5508121de6","datavalue":{"value":{"entity-type":"item","numeric-id":5145320,"id":"Q5145320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$B0EC64E0-0306-4FF8-A76D-38B064751E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aa0a961c18435f164afb4f6b68b2d2e123d3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5492822,"id":"Q5492822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$81C8E251-3DB2-4627-9A2D-44F90017C53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b751a3979c79fe1f89302da5be97058d231ad4","datavalue":{"value":{"entity-type":"item","numeric-id":2877685,"id":"Q2877685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$292CBDD9-5D5A-458E-846A-B328D29F4FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"853109268cf6abe6e782787d3fa508ea496504f8","datavalue":{"value":{"entity-type":"item","numeric-id":987494,"id":"Q987494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$BBE8AE8F-38CE-4F70-8E78-142AA0925E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bcdf0893c74d343935ee762c06dec73b5d133cd","datavalue":{"value":{"entity-type":"item","numeric-id":703522,"id":"Q703522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$F8813DEE-3A6F-4A4C-8C28-F1BC3C422BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$0238768A-F232-4B77-91C1-6DA9C1EAA0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8b9a45d71dba8fbe83d1c440aa47a0889383bd4","datavalue":{"value":{"entity-type":"item","numeric-id":5009455,"id":"Q5009455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$A7E6D731-A7F1-4B01-8637-A9E4A9873E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6519fc3a3112748d4f0be8bfad43c0bd8f964264","datavalue":{"value":{"entity-type":"item","numeric-id":2805164,"id":"Q2805164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$4FE16814-392F-46D5-AEE3-3B0774AB41BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25439c32c8c851aa59683b8b203347c13af02bb6","datavalue":{"value":{"entity-type":"item","numeric-id":299182,"id":"Q299182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$FE3EC21C-6C00-4DAA-A22D-08D51ECC44CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379a4dd85c1f0dee62644965f9a510435f4d7bc8","datavalue":{"value":{"entity-type":"item","numeric-id":4102032,"id":"Q4102032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$A652B3E7-960D-48EE-BBFE-3AE0F1EC963E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b8abd94ed4f77e98ce4f26b835f3856deb19c3c","datavalue":{"value":{"entity-type":"item","numeric-id":2873669,"id":"Q2873669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$1E43E3BA-DAC7-4690-9144-90E2CB3F1AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$3189BFAC-71BF-4D32-A213-86FCB154EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fca8fbe79b51b51ab155c189be775a403eccd3e","datavalue":{"value":{"entity-type":"item","numeric-id":1870523,"id":"Q1870523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$2B596532-EAD6-489B-BACE-398E6C7A51A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31f99c3767f220921bd5141aad82c56e84e6dd18","datavalue":{"value":{"entity-type":"item","numeric-id":2341702,"id":"Q2341702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$DB4DFF8B-86E0-4ECA-B989-938798EFFB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"564179a3065c43e795b643ec9273069a6cc72505","datavalue":{"value":{"entity-type":"item","numeric-id":558417,"id":"Q558417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$91796FBC-AB83-4848-B1DB-456CF8B1D68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a146bae799e67d19c2792d562d311cc75bcfa","datavalue":{"value":{"entity-type":"item","numeric-id":2474056,"id":"Q2474056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$10461BE3-D03A-4821-B8CE-0C092AE926B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcd05b804471fb42e7e0335e51ff93f3a7fd1aeb","datavalue":{"value":{"entity-type":"item","numeric-id":3056300,"id":"Q3056300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$59BDA416-3DFB-46C3-9CE2-1DBD6115B8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09debe70251acd0f595bcde3cf5ce3c1281370e","datavalue":{"value":{"entity-type":"item","numeric-id":3614496,"id":"Q3614496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$80ADC2A7-3B88-42CA-B0EB-F261CA847D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0e4ce97ba245a7b7767469d15f80bde38c4ff9c","datavalue":{"value":{"entity-type":"item","numeric-id":5701007,"id":"Q5701007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$45B57382-15B5-4BD2-A98C-2B29C76019A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89c71bf2b61c24623b29851a7d0f670feab01c36","datavalue":{"value":{"entity-type":"item","numeric-id":3411948,"id":"Q3411948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$2345010A-9CB9-4803-AF9D-355ADBB2F001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e2c12d8a5cdb0a5877c1ab7dcb4a54e594f4431","datavalue":{"value":{"entity-type":"item","numeric-id":277336,"id":"Q277336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$2D55F331-4C4C-4AAC-88DB-39524997CF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67cdaf85bc145c5ca42ddeeb8cdc95e91f1db5c5","datavalue":{"value":{"entity-type":"item","numeric-id":5089293,"id":"Q5089293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$81354AF8-119C-4645-BB25-7748920E452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3632f6a93ea0e3e0c751598054be97294e20b4d","datavalue":{"value":{"entity-type":"item","numeric-id":2233433,"id":"Q2233433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$6DBA75F0-7134-4CF2-8AEC-096361AB786A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69824830d316d90e6f36523f917b937f3c46c70c","datavalue":{"value":{"entity-type":"item","numeric-id":5094149,"id":"Q5094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6149965$52C7F7B8-A7AA-4760-A269-8B95B46AF467","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8efb80de33ba841f3c06b89a902def16119c11f","datavalue":{"value":"10.1017/S096012952300035X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6149965$BA5C6FCC-507F-48A8-B8AC-9C36DBEAC25C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6149965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6149965"}}}}}