{"entities":{"Q2890333":{"pageid":2901058,"ns":120,"title":"Item:Q2890333","lastrevid":84801470,"modified":"2026-06-02T11:12:25Z","type":"item","id":"Q2890333","labels":{"en":{"language":"en","value":"Towards bialgebraic semantics for the linear time -- branching time spectrum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6044465"}},"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":"Q2890333$BD4B9E03-FDFD-4BDD-94D5-9D7A55B5C639","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c35b7cb44a7be0d1b6ea847dbc407378b4d1ff50","datavalue":{"value":{"text":"Towards Bialgebraic Semantics for the Linear Time \u2013 Branching Time Spectrum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2890333$9258F067-6B7B-4DF4-B435-C606E4ADCDEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69201055b611c5683f5a858d06bdc3674961fc72","datavalue":{"value":"1312.68128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890333$722E048D-7AE8-4095-A731-6EE844E4F9C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49193908e798b0b6a1f4441f153af80f1d7b739","datavalue":{"value":"10.1007/978-3-642-28412-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890333$40751FFA-B61A-48FA-A7FC-C76BA93CFD00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6615cf2d2d5d005c9e21eaa25a1bb6cf6b45c73","datavalue":{"value":{"entity-type":"item","numeric-id":2890332,"id":"Q2890332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$9F4EB4E2-A96D-481F-89BA-8F3128585E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"355fa2304b59f2df130700a6c93add4876a1709d","datavalue":{"value":{"entity-type":"item","numeric-id":1127516,"id":"Q1127516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$23439059-7160-4B63-88D5-2B50F71B9BAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f61f9cb4afb1dbe639f74b5529d2947c5bac5f81","datavalue":{"value":{"entity-type":"item","numeric-id":293332,"id":"Q293332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$45D1181C-8731-4443-89FA-3DF6D4FC9E38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$637DC8C2-7CD8-4296-B509-EDEE6849685E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a7d7484062a7dd97ef9c7d59e7e7bb3f36dfdc8","datavalue":{"value":{"time":"+2012-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2890333$5C2CCF46-EE7B-4579-AD0F-357A251DC4D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890333$AA268371-5472-43A7-A937-89B60B688CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890333$2764B455-134B-47E3-B385-72A09668E4D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f048a8b7d444cdd790db98781db3589e3771ddcf","datavalue":{"value":"6044465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890333$2B7D25F7-AB57-440D-B41D-9C544601325A","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":"Q2890333$92209DD7-C389-478A-9355-85ECEDEA76CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a034b6c5cabe1c6946caa64aac7f7b30dc1fd148","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28412-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q2890333$CC3C58B4-5892-4E3F-BC34-716110FBD0EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdc8e17fcb852294f1333487e07cba6c2a6c9952","datavalue":{"value":"W1598391849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2890333$055DD59A-5340-4A6D-AE13-B32B0CA85A5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$AEE435EB-ED1E-49E5-AE39-33ED326DCF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8344e30a6e6b1ca9390514ca7ca9bb62e414f7a4","datavalue":{"value":{"entity-type":"item","numeric-id":3184736,"id":"Q3184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$5F655EC7-F260-4F13-8456-0055A1CDCA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a17c72194ec8b3ec8d56cc7a6c8e5ae7b5ffaeeb","datavalue":{"value":{"entity-type":"item","numeric-id":3651283,"id":"Q3651283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$5F775EB7-E01E-47F9-98CA-A0CF0A810073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"599184cf659c7a0e230b42ae8486af9b5df5c0ee","datavalue":{"value":{"entity-type":"item","numeric-id":1603814,"id":"Q1603814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$379A26A0-83F5-4851-92CC-6BD71CD37319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11cc7286e9da7e62b6e15b9a522cce7aef0df871","datavalue":{"value":{"entity-type":"item","numeric-id":2503337,"id":"Q2503337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$3DA1F1F9-A9C8-444C-925C-4B9A5B0B1827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$62BB66D5-EC63-466B-BD08-5A71D1916B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$2FCD6B6A-0487-4C80-BA8A-E84566B105E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0c3f212a06c5be4db5f867d04c1cea9f971a440","datavalue":{"value":{"entity-type":"item","numeric-id":3056297,"id":"Q3056297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$AF64910B-5677-493D-B78E-D10B803755D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdfc480f1fb47c7db3936fa934d6bed4ac48111","datavalue":{"value":{"entity-type":"item","numeric-id":1012126,"id":"Q1012126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$C7F1CB4A-4FBB-4234-8D28-08AC3F10C79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ea99889f9685cc0592ac3d9e89cbc61b77e4b3e","datavalue":{"value":{"entity-type":"item","numeric-id":2919456,"id":"Q2919456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$156BC67A-F7B3-40B1-9A0D-9AD4B25E8532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c244d38ee46ac3009494995484e3d10a5bd05e28","datavalue":{"value":{"entity-type":"item","numeric-id":1198952,"id":"Q1198952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$AE7F35AE-CB05-4C82-9DE8-04B2D5040E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$A52F46C0-6FCD-49E6-B29D-6ECEECDFE634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b95deee5a783885dc37a93b6c38d0d38b8f54cb","datavalue":{"value":{"entity-type":"item","numeric-id":2890333,"id":"Q2890333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$78381DAD-7A86-4647-AEFE-EE9DBFD7C649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447925236d6fa2fa96ae6f5f44bf9565bc2da05f","datavalue":{"value":{"entity-type":"item","numeric-id":2368940,"id":"Q2368940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2890333$AC5929AE-6256-4FEE-A089-1F359969E3C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a4ed90bc9a04f0ad37cba545b1373b583ced04","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5060de4c0e8e9266f88315f31c990ed695c4d322","datavalue":{"value":{"amount":"+0.8042837381362915","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":"Q2890333$9992D253-1C01-414F-B67B-754998EA114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09e827de45638722e687132d560747204b26e2b6","datavalue":{"value":{"entity-type":"item","numeric-id":1708721,"id":"Q1708721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704cd0b8b6632fc6495859ade4cb8f7614deb22d","datavalue":{"value":{"amount":"+0.7629677057266235","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":"Q2890333$B2D53176-F138-4F9E-BCF1-B57C96BCF698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10c8f423222f332e5a5812a8b0bca0964da141e","datavalue":{"value":{"entity-type":"item","numeric-id":3184736,"id":"Q3184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd367fdaeb1a7d2a28479ce09b84ecaa2be178f9","datavalue":{"value":{"amount":"+0.7577090263366699","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":"Q2890333$EC6293BA-6DB5-48F1-99FB-3805466E972C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff2248fba333d3f0d0cfb5cb0251c26c3657ac9","datavalue":{"value":{"entity-type":"item","numeric-id":2838240,"id":"Q2838240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0190d805ba10ca411e7383a96695bedd61babd06","datavalue":{"value":{"amount":"+0.7525185942649841","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":"Q2890333$B067D136-FF4E-4D6A-AD80-9F76B7FAB08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9d843d45247397ee9bc14ea2b0f2182f3a09e","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f0e5c768015c86b5c877e106899b4fd4623ce9","datavalue":{"value":{"amount":"+0.7517359256744385","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":"Q2890333$2CE4E0AF-023D-416C-82E0-BE06971BCF19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards bialgebraic semantics for the linear time -- branching time spectrum","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_bialgebraic_semantics_for_the_linear_time_--_branching_time_spectrum"}}}}}