{"entities":{"Q6563060":{"pageid":14174215,"ns":120,"title":"Item:Q6563060","lastrevid":56087739,"modified":"2026-03-12T14:40:42Z","type":"item","id":"Q6563060","labels":{"en":{"language":"en","value":"Linear-time logics -- a coalgebraic perspective"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7872360"}},"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":"Q6563060$A9DB1F0D-1511-4BA3-8CDE-37AD2B435798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c68f26db9cf05d8d3e9988112e88c65d2de8ad78","datavalue":{"value":{"text":"Linear-time logics -- a coalgebraic perspective","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6563060$1E94022E-3879-4775-94BB-F1BEA013C374","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$C5D9A344-92C1-4B9B-B897-CEAA39A5B625","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$F4A4800B-DA55-46E0-9B33-404A513C95AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"52ad18669458f088996fd7b4dd3dee92e307308b","datavalue":{"value":{"time":"+2024-06-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":"Q6563060$B1F6DA2B-0505-4180-8A93-00FBDAFC88A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563060$733F2060-F801-4697-9BEC-5E77C63F95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563060$632AA081-2C25-43FA-889A-47F344BE8F27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"976e3f23d97457e984d9e8b74875fd6e9946a128","datavalue":{"value":"7872360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563060$C9EE5249-BBCE-4894-B429-1122DE7F6DA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563060$41A42180-1A0F-46F1-8F0D-107CF5C2029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563060$D245DE82-3880-4455-8817-EFB1BCB0B65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216b76ccde76ad20b67a49b68bd1e5f2c4650a5f","datavalue":{"value":"quantitative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563060$AA543734-4E06-4336-86F6-3D7C5427658C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84893e36c753d19c100f5cc3d6a81cac047dd6f3","datavalue":{"value":"linear-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6563060$990670C4-D505-4167-A00F-F8B44E1883CB","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":"Q6563060$EF75AAEA-84B6-48EF-9383-81268B18D257","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$B98F9C4D-32D0-4B36-901B-6F2ACFA42947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e02e2b2b43d44453ae601c658ae4dcf689e5ce","datavalue":{"value":{"entity-type":"item","numeric-id":4820718,"id":"Q4820718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$E24D82BA-FAC4-4EA4-BF5D-FC55B80AD0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$1D521CFC-B360-4BFA-8972-3F68B410C242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$1C24DF9F-A78E-4B13-813D-0E9989EF5108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0780f2c8029eaa8daf335a5eea7dad81a5d15bc2","datavalue":{"value":{"entity-type":"item","numeric-id":639645,"id":"Q639645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$B86CBBCF-0EB1-40F2-A636-5B65F002F29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8440d80f9f1e8ae5498f6228abef335d0392e15a","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$1D7EE174-B702-4B9D-9958-BFDEC2C6EF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8eab349695ee393298043278e6bcfddf57c759d","datavalue":{"value":{"entity-type":"item","numeric-id":5275344,"id":"Q5275344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$C613E93B-67BC-4421-BBA6-A842B84227E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f5c03aede2942d03ff8c30298a92b4d24372893","datavalue":{"value":{"entity-type":"item","numeric-id":4589615,"id":"Q4589615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$EEBB8958-2832-44BD-9F04-63796109BEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61f5397042a8831ea58aff2e51b536fcb5f5cfa","datavalue":{"value":{"entity-type":"item","numeric-id":5020522,"id":"Q5020522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$C615530F-16C8-420F-A16C-69A0FA42A4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"166ecada5643f0de572a083ce7bb59b0d6880d76","datavalue":{"value":{"entity-type":"item","numeric-id":5416216,"id":"Q5416216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$584E5C27-CC15-40CE-927D-A68346813F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7382bd15ee0772f2a01d44c3ab123938e80ac15b","datavalue":{"value":{"entity-type":"item","numeric-id":3224669,"id":"Q3224669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$3C31AAB4-8BA2-4C4B-9A9D-4DEEB0F5FE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89368364142880546c00a220291e48a0b4ad7d86","datavalue":{"value":{"entity-type":"item","numeric-id":4580202,"id":"Q4580202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$84FF35FE-416B-476F-A50B-597264D985EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6976d3496b2a5675aed7550344a5f67bf5633096","datavalue":{"value":{"entity-type":"item","numeric-id":4256653,"id":"Q4256653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$14A42E5C-D2DD-42BD-8A3D-74610560D118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3740027a130caef4060b853e78da2e4d92072123","datavalue":{"value":{"entity-type":"item","numeric-id":764336,"id":"Q764336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$47FA1F52-9271-4FDA-95B1-2575E9477C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0190023dc89afab4c2683d1569eb34f21828d436","datavalue":{"value":{"entity-type":"item","numeric-id":5415664,"id":"Q5415664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$155CBEFC-EF92-4E6B-9DFE-F165C3A8F419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5724109fecf65b1641c20e7444d3eb0a34b2844a","datavalue":{"value":{"entity-type":"item","numeric-id":2341701,"id":"Q2341701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$0C4255D7-96E4-42C6-9616-E924E32B0534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b65ce1b67969a15448bf3b77aebd5948a5c516d","datavalue":{"value":{"entity-type":"item","numeric-id":5452607,"id":"Q5452607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$69828D59-E3D5-4A54-A12B-06DC29989480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$B970BF4E-FDE5-4951-A79D-B06BCE88E95B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec12bbe412575dad24d14f42016ed59a2668309","datavalue":{"value":{"entity-type":"item","numeric-id":5492825,"id":"Q5492825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$3FC2436B-13F4-4A25-A57C-DFFF87130AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a1198b5b68903190ce6aa61cee46dc8c21ee204","datavalue":{"value":{"entity-type":"item","numeric-id":2974794,"id":"Q2974794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$4DAE5265-168F-48BF-BAB8-36555A11BD0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dc1b1c6e90fd57884a0b795c855676b976827dc","datavalue":{"value":{"entity-type":"item","numeric-id":2525178,"id":"Q2525178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$D0737ADF-868D-4B1A-808C-1B0663648195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adf691515f34c823c055c20548aa34312ef5c8b","datavalue":{"value":{"entity-type":"item","numeric-id":4551182,"id":"Q4551182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$1C0CC335-AA58-4E50-AA6D-E5D1DC703E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6154624416d56c5ff407c98b19ed95429167895","datavalue":{"value":{"entity-type":"item","numeric-id":1295427,"id":"Q1295427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$16C0F562-6255-4865-BAC8-687B0D893D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a83a0d0759bd552791c47669aaf3c7e2c42801","datavalue":{"value":{"entity-type":"item","numeric-id":1884901,"id":"Q1884901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$225B9B6C-BA47-49FA-AE32-01CEDD13A85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4010809310a2b72fb71417d02518fa2897e31c61","datavalue":{"value":{"entity-type":"item","numeric-id":5297301,"id":"Q5297301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$CFF3DD32-2520-4564-9FFB-0349EA6ED93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$185FAD7E-7C63-4AF4-B5F0-F4722C3FDF71","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":"Q6563060$6B2DF48D-4144-4C7D-A186-905395BF353D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$E4B9A780-3E77-451C-B3C4-BFAE1055EA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$34B47DD6-4071-44A1-BB08-9F02E09142A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1f55243298e3d2a14ecad44913b341a09b62062","datavalue":{"value":{"entity-type":"item","numeric-id":6560392,"id":"Q6560392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$15431386-00F8-4C6A-8AD8-0338E8F7598D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f14e58b91e6c03997b2e1a458c21d81c8469453f","datavalue":{"value":"10.46298/LMCS-20(2:13)2024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6563060$8345F8C8-325B-4B16-9504-BD874A553456","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6563060$CC94DFB5-7FB5-4BB5-89C2-3D8D03EB88BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6563060","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6563060"}}}}}