{"entities":{"Q6544096":{"pageid":14155240,"ns":120,"title":"Item:Q6544096","lastrevid":42338643,"modified":"2025-06-11T19:41:59Z","type":"item","id":"Q6544096","labels":{"en":{"language":"en","value":"A fibrational tale of operational logical relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853709"}},"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":"Q6544096$34B2921D-38E5-44A5-BDEB-0324B37DCA5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4c0e4170f37beff02658d31b85cc2e213d3788d","datavalue":{"value":{"text":"A fibrational tale of operational logical relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544096$CFF70865-2340-41B7-92CA-1C1F77BE3526","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b645328e2209310bebff6f14f65855e4392fbe72","datavalue":{"value":{"entity-type":"item","numeric-id":2988631,"id":"Q2988631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544096$CD575996-C862-4ECC-9EB6-DD5E8A3BC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705529c2bd1a73bb28a5cb8b6e2f186805975b59","datavalue":{"value":{"entity-type":"item","numeric-id":1989332,"id":"Q1989332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544096$CBEB7BBB-974E-479E-A693-90772BE21328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6544096$D7CE2EC5-030B-4DC1-B7FE-5AB9797274A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544096$6DE6D152-48C4-4953-9DDA-A5EC81651EE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c7ab8af85ccdab5acd2bc0a25fe429140e769ed","datavalue":{"value":"7853709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544096$A1BE36BE-BE25-42A6-9C93-FDC50F18A141","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544096$356632AE-9549-40C9-AA30-C52A0C359916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544096$F4BE92B8-0844-4F3E-9534-745EA577D868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d21c2ed255c68513ba5fb72b62eb668c762562c3","datavalue":{"value":"fibrations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544096$253C335D-53B1-4E1F-A2D1-78F0850D5051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42b92a8e6a7005096e4d96341475f33834d6fcc3","datavalue":{"value":"generic effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544096$4D8338DD-D9BA-457C-A6D4-39BAEB09B925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d1075410a5e818a1e12ea7433c8a6d0011702ef","datavalue":{"value":"program distance","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544096$99D4F1FE-24F3-4438-850A-52BD1C4AF350","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":"Q6544096$535C3302-13DB-4659-ADF9-F01F1D1B75A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"935daaecae58d03676c3d6e8aae27425ca0790db","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544096$FB9BCDF1-28B9-4415-9FE0-8C4E29B28877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544096"}}}}}