{"entities":{"Q5155681":{"pageid":7185252,"ns":120,"title":"Item:Q5155681","lastrevid":55390957,"modified":"2026-02-17T15:19:30Z","type":"item","id":"Q5155681","labels":{"en":{"language":"en","value":"Equivalence checking for weak bi-Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7407791"}},"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":"Q5155681$C43EE02B-8D2E-44E3-8307-A70B15F2A18B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d90265da4fe31807d3d924225a855a6075e73c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1734518,"id":"Q1734518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$F31C1D2F-2903-4CD2-A507-1161911A93C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7fffcc49ccf08288968257b20f203206e3f67d8a","datavalue":{"value":{"entity-type":"item","numeric-id":299192,"id":"Q299192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$2D038A47-C590-4E0A-AFEC-675C0898EE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$B9CC3EC2-73BE-4E09-9E6D-B1CD78927E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddf6c2812ae812e5ac88c5bae579636a85cf29cc","datavalue":{"value":{"entity-type":"item","numeric-id":418133,"id":"Q418133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$3882A7E6-63E7-4027-AFFD-A42C702CC3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dc922476b8762c0edeaa5934d7af7453851be77","datavalue":{"value":{"entity-type":"item","numeric-id":308155,"id":"Q308155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$191C1EDB-9F4F-4195-BD9A-5EF6B82EA930","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de933dbe9097032f43430008ac1661f561c682fa","datavalue":{"value":{"time":"+2021-10-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":"Q5155681$F45621B8-4969-4CF0-9348-A742316DF309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93077ccd8c8ad94778ae6d14e9616874c4bb8b80","datavalue":{"value":"https://arxiv.org/abs/1807.02102","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155681$BC2233BA-CA08-4D86-AAF6-B5F78EF5DE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"64678178d3fc469353a028cb2e05bd8bea8b7e63","datavalue":{"value":"https://lmcs.episciences.org/8358","type":"string"},"datatype":"url"},"type":"statement","id":"Q5155681$CC08F30E-257F-4A33-9387-167E40D5CC5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155681$428EEB89-6E1B-4D46-9998-24DA27E7FFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155681$0F553BF9-F231-4D93-AF19-706251FA2529","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04c52e51f49723f0bc801f74bad58ad5ef773860","datavalue":{"value":"7407791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5155681$C4EFB069-7762-453B-A9B0-DAE8BEC0B370","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6786f9b69139e80a68ead2778265bbbb650de073","datavalue":{"value":"sr-expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155681$F35AB467-5D8A-45D8-9E8E-CB4282A201B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae96d98e9fca39a29658fcd76d70099787691798","datavalue":{"value":"pomset automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155681$C74C663C-B137-4203-82AC-95845376D020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"776971b86e6c4cf15851a3ea837e7ca01487d625","datavalue":{"value":"Kleene theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155681$B977B833-B031-417E-A273-3D095B08D930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5155681$C9CD81D4-0D51-4E28-95C6-53A340C4053B","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":"Q5155681$4A9A0EA2-6453-4B61-99B1-498C403B214A","rank":"normal"}],"P223":[{"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":"Q5155681$56FC235B-3716-4A64-851C-4739DAFDCB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024905f0a332ef03d159fe62b24e718a49eb044f","datavalue":{"value":{"entity-type":"item","numeric-id":2971071,"id":"Q2971071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$CD4319B9-2A7F-41E0-809A-D606214C621F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa757ff465e473a319959fd796de45eb13d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":5111642,"id":"Q5111642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$3B1F1976-2E52-42BF-B245-49B120EC8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$F1CC1C37-9836-4E6E-9103-404296E4CC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dea5a7ca6939915ede2d33a38db498f702e88ff","datavalue":{"value":{"entity-type":"item","numeric-id":2453119,"id":"Q2453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$A59CFA1A-3F75-4DB3-9829-F7F7132611CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$BE13A754-CE4F-4556-948A-AFEF7A5748D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d006f2a71b00dcd842d0ab93ea28ab0237502a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1218857,"id":"Q1218857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$99C3DA80-220A-4D45-BE98-394944202139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe416f33e820f85221303fb9f0b7a709727793","datavalue":{"value":{"entity-type":"item","numeric-id":3922196,"id":"Q3922196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$2A22FB2D-3A1E-45AD-8603-36C5A7A0A55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$3AA8C933-CEDB-4C93-BF10-11EEBA657634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96dbdba31b3984497d94bc0ffe28161af5341915","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$D9578649-4CF8-4624-A0DE-C396C947EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff113de308b1c1550c0c295ec2c0108ce1a9d565","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$BCB94832-3314-4F97-B16A-C62F680DB38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$2ECCDF21-F00C-49FE-A26B-23A5FAA5C4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f871adde3dbd91c7d2d92533d2edb71feb8bf3e7","datavalue":{"value":{"entity-type":"item","numeric-id":5896947,"id":"Q5896947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$5CA1C626-372B-43AE-97DF-0410725F57C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbd4cedfec7c0f2dbd075d5e80961dd0fbd55fd","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$1711342F-F083-49D3-860E-C1B2BFAA9ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91da2686aaea55c0da7b723fa48e2f2fab5344","datavalue":{"value":{"entity-type":"item","numeric-id":1566734,"id":"Q1566734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$CD9BEE47-6A29-4BDA-BF6E-7C1BBF41EB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2cf228e7f6980c3ee8de846819585d642e9839","datavalue":{"value":{"entity-type":"item","numeric-id":5536277,"id":"Q5536277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$0077DA90-3DFC-4C69-A2E0-32A7DA677389","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":"Q5155681$9B71C800-F894-430D-9C8C-0453EC6C9D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea0741d9308364c864c69632a8918bb806238856","datavalue":{"value":{"entity-type":"item","numeric-id":1245103,"id":"Q1245103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$4F415553-047F-48AA-B22B-F0E6570B4776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d259df1da7aac5415301a35bc7d5cae2d6b4628a","datavalue":{"value":{"entity-type":"item","numeric-id":3865491,"id":"Q3865491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5155681$47C5C45F-7992-4D0F-81DC-C935C3D652EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3c359c64f058bc2dbaa34dc64fe8b36cbe8a18","datavalue":{"value":{"entity-type":"item","numeric-id":1734519,"id":"Q1734519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07f32330e429ac6b70f3dc2a4319521f444fd78b","datavalue":{"value":{"amount":"+0.8183572292327881","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":"Q5155681$FAB13F48-DADD-43DF-B849-B70F359BBF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae129bd1dd21c059590608e050b301726434f9a8","datavalue":{"value":{"entity-type":"item","numeric-id":5410478,"id":"Q5410478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5978d0ca50d76f5c1da62f5f7f30e8dc51b6d124","datavalue":{"value":{"amount":"+0.8181481957435608","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":"Q5155681$2B8AF344-B1EC-47EB-8B82-CCF9F5B359B4","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":"0856e823a7a61108864dbaa3fb0e5db030c8281c","datavalue":{"value":{"amount":"+0.7753764986991882","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":"Q5155681$3F9C0576-75FC-4796-A4E0-1690F02153BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9206e8694c4fa47e4a48a9dfc06bcd78ecb00d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5111639,"id":"Q5111639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a19a46221764aaad0172815e395a250d7b852ef5","datavalue":{"value":{"amount":"+0.7528877258300781","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":"Q5155681$D3E94453-B7AE-440B-AEE8-8B483B717CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17981058d023c9c520fdb9160d892aad936938a","datavalue":{"value":{"entity-type":"item","numeric-id":5175879,"id":"Q5175879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33a4632fd4a22834995ffb5d9bdaf02e8251a5ae","datavalue":{"value":{"amount":"+0.7361007332801819","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":"Q5155681$BCCB13F9-EA17-4198-B034-3F5DE860EAC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5155681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5155681"}}}}}