{"entities":{"Q2947408":{"pageid":2958128,"ns":120,"title":"Item:Q2947408","lastrevid":85392239,"modified":"2026-06-03T07:44:16Z","type":"item","id":"Q2947408","labels":{"en":{"language":"en","value":"Deciding synchronous Kleene algebra with derivatives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6484730"}},"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":"Q2947408$50B637C8-72E0-47E1-958E-FD6647BEB858","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9bb706a5ef5aa3a204dfa28105b4d479f04d5be","datavalue":{"value":{"text":"Deciding Synchronous Kleene Algebra with Derivatives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2947408$A30FDD87-1D92-4C6B-A129-457A9BD2EC57","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"876fd55fe8f76449e40be09daf8313e733e07119","datavalue":{"value":"1465.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947408$FE02F944-E251-45F9-A5BC-7704FBD3ABCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5dee2623b5babac624c69704a8fc9b9be00b0a3d","datavalue":{"value":"10.1007/978-3-319-22360-5_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947408$1BB5C748-AE0F-43BC-8FC4-9A5FDB274AF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$01FF5E2E-6F89-478E-93C6-98B03E600718","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0c16759a79b3d862c4193cb80c97ffad4225220","datavalue":{"value":{"time":"+2015-09-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":"Q2947408$E620A6D6-028F-4859-847D-9FA75BDBFEDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdddb65efe4a328e2297dc2a0fc8c399a47b6a55","datavalue":{"value":"https://repositorio-aberto.up.pt/handle/10216/90793","type":"string"},"datatype":"url"},"type":"statement","id":"Q2947408$4DC8F476-7BFA-4A4C-B84D-8D7877F84622","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947408$856ABE49-942D-4C9F-830B-4D5031798BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947408$BA30CCDB-1B51-4411-8A69-4D1C4C57EADE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3ebcac1b5a75fdbc323e75698f72fa42591641f","datavalue":{"value":"6484730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947408$AA7988A9-D029-4D7A-BE4A-6D27D759398D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59dde5680ad8f07ebd57ee91e139ab85412552fa","datavalue":{"value":"synchronous Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947408$FD22D8E9-F107-4D1C-8806-1DB039E0D7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947408$DCF7A483-F5B4-47F9-AF6F-27719C61A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947408$D0271C32-345F-4A26-B201-8CC300B95D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b89ad5e32c67b9158b062e02d5f830c4124169","datavalue":{"value":"derivative","type":"string"},"datatype":"string"},"type":"statement","id":"Q2947408$8E13F6BB-C238-40E5-8D53-7926C7E5F09C","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":"Q2947408$4B16691C-A875-4733-9559-81689E2E0AD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad42981871b54791919956a73e33c27ac2290896","datavalue":{"value":"W1157970606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2947408$DEB1EFCA-BCB3-4A26-B5F8-E15927CB31BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61a11302dd27b175d9ddc2097bbe77cfae7ef49","datavalue":{"value":{"entity-type":"item","numeric-id":2819377,"id":"Q2819377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$AFFF992B-B36D-4AE3-9F82-578D815CACF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e9a5509c7c6baefa1e050f8c1a2dadc9c72d7fc","datavalue":{"value":{"entity-type":"item","numeric-id":4986510,"id":"Q4986510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$4A2B30F3-FDA6-43C4-8056-EE60E49BB64F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$3534DF67-D643-435B-81D2-5A108E735327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a71df8b92ba7125a0c7197e8e9200d4d9ef576c","datavalue":{"value":{"entity-type":"item","numeric-id":1196296,"id":"Q1196296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$3935DC26-C6BD-45EE-9FEF-7560B409C288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db0712512ae39e64635b9634cdec19b25e852ac","datavalue":{"value":{"entity-type":"item","numeric-id":2931822,"id":"Q2931822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$486A321B-97FA-44B7-A0FC-2DDBBAA43140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f49fa1f49f14748f70e9226f387711ddcf8fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$2EAF8CA8-12CC-4CAA-B1F6-FE35A863E66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c094b6bb22ed87fce3e29f6621499b5542f62e74","datavalue":{"value":{"entity-type":"item","numeric-id":4902888,"id":"Q4902888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$B6A1EA16-8BFA-4F95-ABD7-877F8FD78CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a66416930a0b159bfebb7cec620a36d5c6d58a","datavalue":{"value":{"entity-type":"item","numeric-id":2842774,"id":"Q2842774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$6548CA3D-6FE5-4A57-8290-A29DC05078EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c251e6c1fc245baeb358d4aa420fb081293fce","datavalue":{"value":{"entity-type":"item","numeric-id":5175879,"id":"Q5175879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$0FD51576-C7A2-4AE3-A428-19C9EAE639A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f14e1ad5be1fda4451548d96cc7017beec693523","datavalue":{"value":{"entity-type":"item","numeric-id":5500676,"id":"Q5500676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$3AEE4EFB-7912-452D-AD0A-11577FACEB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8ab7ec9757a93c7f286e3990e34bbe241032a6","datavalue":{"value":{"entity-type":"item","numeric-id":3100207,"id":"Q3100207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$D1E6909D-D165-4590-9461-9CDDCBBF1F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$8FB31651-F0B3-4BAE-9EA4-7133008592FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$6324CDDB-1CBB-47FE-AA2F-FE9F616BFDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8525cdd12dc8a205f20af2cd22c19a69d38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5693581,"id":"Q5693581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$F3BC7B47-52B0-40AC-9AD3-8620C33CB9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85cff97b743eed51348faa7bea6635c3b0868b2","datavalue":{"value":{"entity-type":"item","numeric-id":3299849,"id":"Q3299849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$DA084CD3-4F13-4CC3-A431-4EEF8A97C4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$380A5F3C-2920-4368-A04B-FC4883380F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$5ED83647-49C2-4D1B-94ED-6ECBBEFBA3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefa45add501379ec9aeefe2c9ca33f8eace5297","datavalue":{"value":{"entity-type":"item","numeric-id":2915138,"id":"Q2915138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$9FB84C12-E5AD-42BA-A3E1-AE61A6391621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ba4596dda2eaf2f3298b435046ef0b44494788","datavalue":{"value":{"entity-type":"item","numeric-id":2879269,"id":"Q2879269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$EAC8ADFD-3922-49C7-AAB7-BB1C2B0624A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c6b98388b89d8af66d2f317e11af36012757de","datavalue":{"value":{"entity-type":"item","numeric-id":2819822,"id":"Q2819822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$589600EA-954B-42A5-8F45-992D29DDBBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffb9b6bbe7dd40ab920b178ef4e81ddbd81579d7","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$08311ACD-41BD-49AA-B67E-9645858A1753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c586e2a571a01372ee3c45d9d4cc83f747302025","datavalue":{"value":{"entity-type":"item","numeric-id":4910486,"id":"Q4910486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$D26BFA86-3539-446B-97F6-C8D6EF027003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6626e533b5744f47e434e43a83c3ac7c43b5a139","datavalue":{"value":{"entity-type":"item","numeric-id":4621165,"id":"Q4621165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$CD77A967-549F-4D7A-8648-6828FA3A96EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a03efa3e8a787ca556e8f11efd48be51043692c","datavalue":{"value":{"entity-type":"item","numeric-id":5549415,"id":"Q5549415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$A966E180-69C8-435F-AC16-E1D3AB2AFCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"235c205a3527c640b7f32da7151a10fe74486f68","datavalue":{"value":{"entity-type":"item","numeric-id":5327478,"id":"Q5327478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2947408$F932E4D8-63FD-4EB6-9ECF-FA36254038D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81f481d9e136b35d573d30092afee5961905949","datavalue":{"value":{"entity-type":"item","numeric-id":710676,"id":"Q710676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae03ead27ec5934a32afc38eb5032f2fb95f214","datavalue":{"value":{"amount":"+0.830637514591217","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":"Q2947408$93A05BFD-4196-4C72-9F57-FDEDC194A0B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e69924a950fc0563458426994778a5a52e1a7021","datavalue":{"value":{"entity-type":"item","numeric-id":2176687,"id":"Q2176687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2646a8448292f44c0bfd1d94f00a2e37d5498d0a","datavalue":{"value":{"amount":"+0.8176919221878052","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":"Q2947408$FD7CE200-0804-4FD1-AE54-403E5727BA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bb372b7cddc9fb6a920f24750bb2e86b742ecca","datavalue":{"value":{"entity-type":"item","numeric-id":5111642,"id":"Q5111642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f89dffe055e1afebb250b90263a5c7a6748b38","datavalue":{"value":{"amount":"+0.7725381255149841","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":"Q2947408$919D7C50-A474-432D-A4A7-CD6A34964910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73694831dfdedc726b1da0e2a3f40f29fb4b339a","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e804987ff27016b55bdfdf678659538956f1558f","datavalue":{"value":{"amount":"+0.7627090215682983","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":"Q2947408$0784B62D-BBE9-4F35-8B71-3579D75CD145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30618927a31f39aa2acfc3c36afebbdf6862b8d0","datavalue":{"value":{"entity-type":"item","numeric-id":299196,"id":"Q299196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58481066444c06d4d2f06ed3b79f05ed2d5b67fe","datavalue":{"value":{"amount":"+0.7562508583068848","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":"Q2947408$866314C8-D419-493A-8ED5-EBEB01E2B002","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deciding synchronous Kleene algebra with derivatives","badges":[]}}}}}