{"entities":{"Q5410476":{"pageid":7440050,"ns":120,"title":"Item:Q5410476","lastrevid":96161588,"modified":"2026-06-05T10:33:59Z","type":"item","id":"Q5410476","labels":{"en":{"language":"en","value":"Concurrent Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286087"}},"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":"Q5410476$487DA1FB-D5FD-4130-9532-BC511F43E491","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5bf1068c927db3a9323f7673886986281869c311","datavalue":{"value":{"text":"Concurrent Kleene Algebra with Tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410476$20EC0602-E364-4EBF-98CE-E6DAC13933EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87940d105ff1f13af35f34cefcb48fcde2a9f8a5","datavalue":{"value":"1345.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$11351370-6FA7-4B75-BDCA-31299FCC7CAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f1a7d67f9cd779f99c6d8516d53e08a85537405b","datavalue":{"value":"10.1007/978-3-319-06251-8_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$3CB48738-1BB1-483E-ACC0-F43CFE0B5400","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1e5f98c1dbd5d88c97c48275c3781739042d20b","datavalue":{"value":{"entity-type":"item","numeric-id":299203,"id":"Q299203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410476$0CBE99A8-BFCD-4E81-A28F-88D74492EF7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410476$22BAB8C8-765A-4201-AE39-F306D5DC7F25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410476$BB889D16-47C9-4F04-AAE0-4BB4F50F3D5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$78CD7677-3266-429B-8EAF-7F2257AAD313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$E3573986-6B89-47C6-BD79-99C2E2392021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$D13026B4-A80C-4BDC-92E1-5A8C58FB7446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$2C3210F3-8A68-4DE2-A58B-D52A22FD107F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$0861EAEF-D9EF-4FE6-AEC3-9AA02EC884D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba230513325e744e7a60c46a5c90ca09c322c8dc","datavalue":{"value":"6286087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$5EED2106-32E4-4AC6-90D4-E9B5CA7791FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"121246aa17fc8b0439757b38a0dd0fb391b3a07d","datavalue":{"value":"concurrent Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410476$2730F5F2-F309-40B6-B5E9-AC3A905FC148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7cd0243b24a41f33305f1de4aabae930147454","datavalue":{"value":"Kleene algebras with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410476$D7014FB1-C0B2-4FF9-AAFD-0F71EC267A3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35b426c6fe396651af6e8a8405c5d6b07dc92a62","datavalue":{"value":"parallel programming models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410476$03E1B204-DC9F-4603-9447-EDDA06DFD2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4031f505c79ccde289378ecb2b97300bf11a1cf","datavalue":{"value":"series-parallel strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410476$ABC8C6E8-EA2B-4034-8093-2F1EE3C376DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1329f7b1e5742084fc9e8457b6338d0b3440965","datavalue":{"value":"relation algebras with transitive closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5410476$D1FD25F5-CA60-4E6E-849C-66C013B45053","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":"Q5410476$524EE61D-9D79-4847-B44A-BFE27601DB58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b4a2a0d4fed4f68e48f93fbdbca2d37ca7eabd7","datavalue":{"value":"https://doi.org/10.1007/978-3-319-06251-8_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410476$5727584B-3BA4-45A0-A36C-AD6E7A452ABF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ec956cb4fd2997f6c05ae55110c7458a8f54559","datavalue":{"value":"W51266236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410476$03029B96-2CBB-4B89-B2CB-4CAB2141E3AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbda0a55f39f6e070705d1ddb402c60c4c09636","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfafbe1a39df3a7680717d56d2c978e1ab23120","datavalue":{"value":{"amount":"+0.9402908086776732","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":"Q5410476$05561D57-DB5A-4091-A268-E3FCF21C8795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9167e336d7ea79e235bb39d89552456ce762e6f2","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"566770d06ab0c7bb05f13d774236448a24d358d1","datavalue":{"value":{"amount":"+0.8430927991867065","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":"Q5410476$A638A562-C25E-421A-B988-6D6815BA1C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31dc1b8c82d742a709f9fa89a247236a08a23fee","datavalue":{"value":{"amount":"+0.8379812240600586","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":"Q5410476$6456F8E6-F315-460A-8D9F-9849CEFB40B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6e7e0655363709005b8e01796ada85fc721cb1a","datavalue":{"value":{"amount":"+0.8316948413848877","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":"Q5410476$EA2F47B8-EF25-458B-9CA8-7139FDA240D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1997ccb6825157f9221a5fe5ba3b572811bcc941","datavalue":{"value":{"entity-type":"item","numeric-id":3651515,"id":"Q3651515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08b1efb88aa3de708a1ccf6843114a01043afbbc","datavalue":{"value":{"amount":"+0.8139307498931885","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":"Q5410476$A92B029E-0C2D-489E-9B6E-F85C2EF66964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent Kleene algebra with tests","badges":[]}}}}}