{"entities":{"Q2200836":{"pageid":2211579,"ns":120,"title":"Item:Q2200836","lastrevid":73580430,"modified":"2026-04-14T16:31:57Z","type":"item","id":"Q2200836","labels":{"en":{"language":"en","value":"Concurrent Kleene algebra with observations: from hypotheses to completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7250948"}},"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":"Q2200836$6A7CD481-C521-4E82-9892-B416FA7D5CAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fa462e077e4bb5b9867511939598995b47b5f08","datavalue":{"value":{"text":"Concurrent Kleene algebra with observations: from hypotheses to completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2200836$AD3B64C6-D87A-4734-AF54-9BB7232F21D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"141ab83343af292aa393778e9c971f0c1eb67e8d","datavalue":{"value":"10.1007/978-3-030-45231-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200836$84458EC2-E49F-490A-954A-5636C401C33D","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":"Q2200836$5A031ABE-7055-4E4C-AEEE-B3130023317B","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":"Q2200836$DF898240-3E01-41EC-8465-78E173185340","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":"Q2200836$82C59853-9BAC-45A2-9C08-FB37E683726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$27D1B040-0D96-4246-AE44-0E9699463BA7","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":"Q2200836$BCA5D031-8AD8-42D3-9C6E-9AEAE4AF3160","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"675a5c487b4c2f0d035548f97f026fe5d0481979","datavalue":{"value":{"time":"+2020-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":"Q2200836$D5C95A2F-4892-4139-A3CA-559C31422E08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1b5689cc5a13de6e63ba137f90ad7d353032198","datavalue":{"value":"https://arxiv.org/abs/2002.09682","type":"string"},"datatype":"url"},"type":"statement","id":"Q2200836$EBA5A302-A843-4BF3-9384-F00E820A1F39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200836$B0C37CB9-531B-413C-997E-AE33D3D2AF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200836$901F3F53-7E6E-41EF-87E3-D32659E17A17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d6b36e8da33cd752a56a93e8fec1f5dcae42b86","datavalue":{"value":"7250948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200836$84E89505-AC14-41DB-BE28-DD969C8C4DE3","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":"Q2200836$B2F3365F-DD5E-45B1-82A3-E4C8D99625F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1392abf45ce9b4a8992c9e84b974275f56b37c0","datavalue":{"value":"W3023372902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2200836$537F862F-A1C9-42DB-BA5E-49D34DD37A30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"32998adf8a72dec4fa53d0a050f21591d857daf1","datavalue":{"value":{"entity-type":"item","numeric-id":3584922,"id":"Q3584922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$6BD17709-6B91-448A-A430-B5782FA61612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5557e309257b86628836399c6e159ec785039d0c","datavalue":{"value":{"entity-type":"item","numeric-id":5178894,"id":"Q5178894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$D6002901-6B64-4881-BCCA-0E3E5105AFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80acf06b228329503c3b0712c8e74031a86715d8","datavalue":{"value":{"entity-type":"item","numeric-id":5874193,"id":"Q5874193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$1F4C027E-37A2-4DBA-8CD7-ACD96A19B7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c7dfdba63f4fe4078d4bfda5fb5e5f23634eb","datavalue":{"value":{"entity-type":"item","numeric-id":2029605,"id":"Q2029605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$E3B5800E-853A-4B13-9F7F-710BE2FC43AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$61F6FE23-28F7-4DC5-B113-246648369C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e39623bfedbf0c34e517c635e2456a5acc79a78","datavalue":{"value":{"entity-type":"item","numeric-id":4608569,"id":"Q4608569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$EC8E1BA2-9C3A-4F76-ACCD-0A7D2D3C89B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccae94d546766ec43e1d02b749d63c91c9b2811b","datavalue":{"value":{"entity-type":"item","numeric-id":2938728,"id":"Q2938728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$9BEDDCB8-ECD7-4853-8D4E-1B03D902BC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571d27b67ce1f37527d15d002aa09cb3f2578bc9","datavalue":{"value":{"entity-type":"item","numeric-id":329611,"id":"Q329611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$09CCDA7A-18A8-4FC1-A62F-5BC35CA60A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5395002402b38c3f69fadbab332f3f7636e29f8e","datavalue":{"value":{"entity-type":"item","numeric-id":3460551,"id":"Q3460551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$E465816C-3D37-4B6A-A336-42AD6E9E467A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600d8a1514e6fed4e4c66ebeb9b62bee4bc86b61","datavalue":{"value":{"entity-type":"item","numeric-id":4417936,"id":"Q4417936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$1F9CE032-653C-46B8-8326-70FA413FF72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"310fa0b26265dc62ba64c5201f3feb9dd1ea3182","datavalue":{"value":{"entity-type":"item","numeric-id":3303893,"id":"Q3303893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$AA6069BB-2E37-4FA3-96DC-DF34ABEE2E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$A054984F-F270-411D-8363-2E33D51AA5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab91af9300c03108c83f175294005fece9bfeff","datavalue":{"value":{"entity-type":"item","numeric-id":4153610,"id":"Q4153610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$5C610FF2-5ABB-45FD-AD67-59E7A45689D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"578dbe6645c8557dc8be31c821aae03fe2be2748","datavalue":{"value":{"entity-type":"item","numeric-id":960469,"id":"Q960469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$30B41A9B-4A7C-4803-9861-AA005075AFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22addb5f3a51b2f17fcb41951064c05876e03255","datavalue":{"value":{"entity-type":"item","numeric-id":2851061,"id":"Q2851061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$82122C55-DDF0-45C1-98BE-A89CC296AE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0747d8aaaf3bff92bd08b164a85efc268fc0bda2","datavalue":{"value":{"entity-type":"item","numeric-id":1366803,"id":"Q1366803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$5F0A5B0C-5DFB-47AA-8787-6053D0FF0605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f3be06013d791d4dcb2db32e6bc4cbe1d0fbe3b","datavalue":{"value":{"entity-type":"item","numeric-id":2891417,"id":"Q2891417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$582D7531-3F28-49BD-ADD6-7B1546F0B150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$864F6728-676F-4080-8FA3-12B7A6D2807A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297603f18bbbb35e900d62f30f59f27deebcc742","datavalue":{"value":{"entity-type":"item","numeric-id":3303894,"id":"Q3303894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$09280989-9161-48F3-9F08-2E2619C6A509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"394d3beb4a9fece0dbe9b5435363e4067e55d788","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$8DF545DA-8288-4200-8A24-4AF51751BF32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a0e350fbdf52632f3facb41fcf375367d05fd38","datavalue":{"value":{"entity-type":"item","numeric-id":3522908,"id":"Q3522908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$BC4EB03B-05DB-41F9-A75D-6D45252C12B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b08353f64bee56a663ab8a98982684a8b6497fb1","datavalue":{"value":{"entity-type":"item","numeric-id":4942015,"id":"Q4942015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$0C7890F3-CC99-4FD8-9F19-0688E4686FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed3f02215df087589d62d47d8e61453264aaed6","datavalue":{"value":{"entity-type":"item","numeric-id":794443,"id":"Q794443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$2387BEEB-844C-4728-80E8-A491CE6CFAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf6e22d46f3f7b263c9b7e07f6f0f2ee48f40c3","datavalue":{"value":{"entity-type":"item","numeric-id":5703791,"id":"Q5703791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$0D936C08-068C-4136-9944-57FA5A56866D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ae4da6aa3025813a3cdd5e0c4b6e656a299687a","datavalue":{"value":{"entity-type":"item","numeric-id":4093366,"id":"Q4093366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2200836$8AB1703F-5836-4B5A-B2EA-4F161E6D1C15","rank":"normal"}],"P1643":[{"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":"29555e4f1367b53a8c37caec4f0e77abeececabb","datavalue":{"value":{"amount":"+0.8818670511245728","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":"Q2200836$1842E992-52C5-490F-83BB-2BF5BF58E457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61563599f748751dc9970c1906cde2fc308c8bda","datavalue":{"value":{"entity-type":"item","numeric-id":5875403,"id":"Q5875403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a1a59757f1e3c049da043866c863ec31335571a","datavalue":{"value":{"amount":"+0.8626036643981934","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":"Q2200836$012B394B-5709-44D8-90FC-911D9F2A4EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11a88c0310af41e269fc5a92388816f27dffc4","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06ff014cc28b55f9014e55c8879e1cea14caaa16","datavalue":{"value":{"amount":"+0.8219823837280273","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":"Q2200836$842739E1-B848-4DB5-ADDD-6523AA77DA1C","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":"772ec6749f7731c99c258d7d53d22f385e54d0ea","datavalue":{"value":{"amount":"+0.8218172192573547","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":"Q2200836$D467CF3F-8DB2-40F9-9AF4-DF46E15F4E57","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":"49a14d873508c77e0d460927ba0c019a14bf030f","datavalue":{"value":{"amount":"+0.8207746148109436","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":"Q2200836$75332A98-7193-45EE-981B-12A09F6B39FB","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":"Q2200836$814E7148-FD79-444D-A900-1DF3538D1133","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent Kleene algebra with observations: from hypotheses to completeness","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_Kleene_algebra_with_observations:_from_hypotheses_to_completeness"}}}}}