{"entities":{"Q4242584":{"pageid":6272185,"ns":120,"title":"Item:Q4242584","lastrevid":46759014,"modified":"2025-12-25T13:12:39Z","type":"item","id":"Q4242584","labels":{"en":{"language":"en","value":"Fibring of logics as a categorial construction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1286043"}},"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":"Q4242584$E416408F-914F-4439-ACB8-5E9DD7234F21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0a92b4a5ae3e2bdf02bfd20f5500da6447de1a8","datavalue":{"value":{"text":"Fibring of logics as a categorial construction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4242584$ACF19491-95F9-46A1-9B33-C88D0CFCF542","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d7f649d34e569bf29edab86bff6737880d02bd2","datavalue":{"value":"0942.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242584$D32FD480-10D9-42F6-939E-2D06E6A17BBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4242584$9A9F3833-AB5F-47DD-BB7B-C580E1359559","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5794ddb58a2a0aa7527da19168e836169c1928d2","datavalue":{"value":"https://semanticscholar.org/paper/4476a2174535d6cac47565e36976f688cc8b9d47","type":"string"},"datatype":"url"},"type":"statement","id":"Q4242584$3683633A-7D51-41F0-9F72-92B8AA904D81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242584$E8FDD26D-DF5E-4005-A14E-96E97BDE4517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242584$4984C625-366F-4BE7-BE85-15A9D9903C8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5ce0a95e6788b59dcd491b46feb931fb177727c","datavalue":{"value":"1286043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242584$913A22E8-5369-4800-9150-E7FD63742EAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d703af7ca2e1b8ff23111637d7052f2851aa0","datavalue":{"value":"fibred semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$3668E0CD-20C4-47F8-A69B-663E78A87506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad40778c1ffb15d9905c0c93153498a36093234e","datavalue":{"value":"preservation of soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$5921F74E-39F5-42C9-A585-0520497ADEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78f0cfe88440b12fd7b8a3325706aa46c6453356","datavalue":{"value":"logic morphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$6425DDD9-4111-4352-9212-6636BF09C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54edd4c0ec844a0a0819bace05c3f49f1ce6e50b","datavalue":{"value":"fibring of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$0F14807D-0BAE-4A12-B5D5-D64841DFF2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$B99B9DF4-8676-4B46-B521-0C4368575D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0547e7111e7be5e072410bed193167984a645c6c","datavalue":{"value":"coproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$9A240589-1C3B-4E78-AEB2-3ED2522F8DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55c7b571ce7922f7cb84189a86cbf9a71ad0e9f6","datavalue":{"value":"coCartesian lifting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$58C1D887-F7F4-4937-87ED-791641863222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd906d7f1d4d05151ab71572082a000be0160968","datavalue":{"value":"category of signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$D48D20A4-D23B-47BD-9C66-6212EB250AA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4242584$3AEB7EAE-A02A-49E8-95B8-1842DAD9C384","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242584$6A8A416F-58E2-4038-B0D8-61FE5260B9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242584$48A06BFE-2AD9-45D8-A45E-F0EBB6031AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6394a9b799318dddd4fd045f70a89704e53a076","datavalue":{"value":{"entity-type":"item","numeric-id":549721,"id":"Q549721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242584$52886B10-4B1F-4B0F-ADDC-D47498F815C7","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":"Q4242584$42413826-0E63-4CC8-9AF0-12AF8F46C2BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a885384c2d16b789dd8a3e1f442eb529162dfc8c","datavalue":{"value":"W2060709836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242584$F0679201-5427-4387-870C-8FCA4972725B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bb021936520f445b3dd2007667da4f401dd3d77","datavalue":{"value":"10.1093/LOGCOM/9.2.149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4242584$992118CB-63AC-4B06-B15E-84D1D2177B3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4242584$39877C54-A46F-4F75-808C-0B75DAEB4202","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b53b18c40659d068ccaa736ec8119d496266d","datavalue":{"value":{"entity-type":"item","numeric-id":2782494,"id":"Q2782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99bbbe93a084f7e0525cf8d8e5c6ecf678767e46","datavalue":{"value":{"amount":"+0.890048086643219","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":"Q4242584$F40EA779-2BA7-491D-A37B-A7B0ECADA6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28247f829035c7c4d1a6d3a9e80f6595414b73a0","datavalue":{"value":{"entity-type":"item","numeric-id":2732291,"id":"Q2732291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"def0112ee9d859ea375c23ef5ab90869a6b2fcd5","datavalue":{"value":{"amount":"+0.8851655125617981","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":"Q4242584$A7900CDA-D1FF-4EB2-A616-A1C6CB4E6EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496301c04216b95f6c978e0cfa6d9461494e060d","datavalue":{"value":{"entity-type":"item","numeric-id":5855496,"id":"Q5855496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb284112b6c4414722be260bb6da07e4980d1498","datavalue":{"value":{"amount":"+0.8637728691101074","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":"Q4242584$73DBD296-BE66-4CE1-9C2A-7F4C8F8ED441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4242584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4242584"}}}}}