{"entities":{"Q299196":{"pageid":300963,"ns":120,"title":"Item:Q299196","lastrevid":60859440,"modified":"2026-04-10T19:35:21Z","type":"item","id":"Q299196","labels":{"en":{"language":"en","value":"Canonical finite models of Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6596348"}},"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":"Q299196$F8239A6B-74AC-4F44-B584-A0D65FC8BD25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb6dacce2eb9ab1bab54a3d43975b6dd6c166a83","datavalue":{"value":{"text":"Canonical finite models of Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q299196$686C6AB6-D3B6-4DE2-92C7-F2E8A14351AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b29f59adfdf025cfc5e6a1bb397920ac8e53790","datavalue":{"value":"1407.68321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$DDEF138D-8EC0-4A8D-A027-51F854DF2302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5958785fea21f62d7c5ca21aff0a53b6446610c","datavalue":{"value":{"entity-type":"item","numeric-id":299195,"id":"Q299195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$AAF91C51-4F7B-412F-A3A9-913F9D2EE423","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$825546A8-4D96-4022-B8AB-A9F74B19677C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d83d2543337a9f3c481a9dc8012543a2c71e114","datavalue":{"value":{"time":"+2016-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q299196$ADC4955B-0DA2-4C0D-AF59-C15D6EFBF12C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$D532CDEF-4D25-4F72-883A-DB69FF496EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$39F6F9FB-86F6-4593-B0C1-BE0F2D3AA59E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bb45a03c0ef09fc2a05037cc44d39217d8aeed79","datavalue":{"value":"6596348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$1AAC7B82-F0FE-4068-BF92-DBB443A833CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q299196$5C27E87C-F0A9-43F3-8298-6628A5FC5DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q299196$266B37E1-F251-48DC-B652-1878C0541430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25748fd3c4a3813dd249aac80493b2b8833101b9","datavalue":{"value":"canonical finite model","type":"string"},"datatype":"string"},"type":"statement","id":"Q299196$F454E0FE-0347-4B5E-9DCC-AFCA699AB145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e78f272cbf1796388200359aa51e089f4632669","datavalue":{"value":"syntactic semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q299196$8ACFEC02-3DFB-4341-B879-49513F0F8649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q299196$F7AC898A-14EA-42AD-9649-1903CF07A4C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4171ea3452ad77694350646997bc347c9ac7adee","datavalue":{"value":"program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q299196$AFE7218C-9855-4232-97D2-B19A672CBE5F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9853a577315411544eb2c427f41ef798142f45e3","datavalue":{"value":{"entity-type":"item","numeric-id":20515,"id":"Q20515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$28BEBB9E-2FA8-4EE1-9040-7CB64519150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11e8691cd1092776369a6c989adefc1b2275245d","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$2D1614D5-D7F6-43C3-B7AC-7E6FAD97EC42","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":"Q299196$5BA73AFB-8818-463C-95C3-7F56E82636DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cb2d0aa1c9ebf8595f8acf821e9375e2661322e","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q299196$46A846FF-F508-49C5-969B-E8AC695F87A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a455f79cf6b07d6eae362730bd08ebedc611cb84","datavalue":{"value":"W2213295336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$0E0A2277-6597-48FA-8462-87A2AF977518","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4ffa12cbadc03f818411047b4541ff6f1a10fd10","datavalue":{"value":"Q114851591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$03B7C393-660C-4438-84DD-C8F05CA96560","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"173238d8363d319a6981819c6d7b740be010bee8","datavalue":{"value":{"entity-type":"item","numeric-id":5410479,"id":"Q5410479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$29A2B90A-AC99-4C0B-A581-4F027A625A8C","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":"Q299196$CF7DB6E7-1106-4EC8-AEB7-29BF1A391BA5","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":"Q299196$14466244-E57F-42B6-BFBC-04E84DF02E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$62360190-BE89-4A5D-A0CD-93749F0E60E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2235fb3183968eaa336d2af78465b477fb3d4674","datavalue":{"value":{"entity-type":"item","numeric-id":4385540,"id":"Q4385540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$8F21226F-A47B-459F-92FE-A223A9E10F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$35B161E9-C55A-4806-9EF1-E3878B9AE251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d19e1adb318fd5e7ea818692fd421ca756f65615","datavalue":{"value":{"entity-type":"item","numeric-id":4418614,"id":"Q4418614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$8A77E7E5-6F5E-4BB7-9562-03B237A8BEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eb7a37413e7eb0a22d26c64628e4b90a3ec91d","datavalue":{"value":{"entity-type":"item","numeric-id":3435485,"id":"Q3435485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$C65B9A35-79CE-461B-B4B9-BDDB6750F45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cd28f2d1fb81e9aa0b845918754bcbd98e6d70","datavalue":{"value":{"entity-type":"item","numeric-id":5311136,"id":"Q5311136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$C4314569-D189-42F1-B26D-D074CD9CD5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98554b277242125c67fbb359aa4c54ca22c25d4c","datavalue":{"value":{"entity-type":"item","numeric-id":5339335,"id":"Q5339335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$541A068B-A407-4F82-9425-7EE17650AA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4a70c52a9128c6f1ae4ee3e196ec5c806b0193","datavalue":{"value":{"entity-type":"item","numeric-id":2558849,"id":"Q2558849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$F8B629E8-F0A9-4F79-883B-B18C18E8B776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$F3203A34-E32C-48F4-BA34-12C658A642E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40927a655fc9f8cb06119a5f319fa6f7548dec3a","datavalue":{"value":{"entity-type":"item","numeric-id":3647254,"id":"Q3647254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$2598A0E8-266E-48FB-9298-8DFE3B18D1C8","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":"Q299196$C5E4D7AE-E911-4EA0-B7F6-36DFFA9C6903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b34302f879326447349f9923ae6968b52f89837","datavalue":{"value":{"entity-type":"item","numeric-id":3897035,"id":"Q3897035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$E8ABC0A0-5F87-49B1-B9A4-5AD340D17F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ace79583a1d2ed52952e2d9ce828b653abb4c6b1","datavalue":{"value":{"entity-type":"item","numeric-id":1189900,"id":"Q1189900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$0934AC35-E36B-42BE-AA63-72C91052B8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$DAD3748E-EFA6-401C-A937-369F05981F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c31b5b7a3a6c82349713c5f0a561e882b0ebc7e","datavalue":{"value":{"entity-type":"item","numeric-id":4635629,"id":"Q4635629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$E3201A64-C6C4-498F-8AF7-FE7AD27154C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$9939E804-E7C9-4720-93BC-6512EB34154D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be82556f4392c3a11aabb4e7e7b5078ed0ae9f","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$07D6981D-098A-4623-AF12-A5B9901E9AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eff79a33f6e0ed386c661d6ec7844c99f01145f","datavalue":{"value":{"entity-type":"item","numeric-id":703519,"id":"Q703519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q299196$1C7B1378-975A-47F6-944D-938F99BE1CF6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acd811c9b60c2de5ccc5a36581f0b8f918e51db2","datavalue":{"value":"10.1016/J.JLAMP.2015.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q299196$46D85155-FEFE-4895-B606-1A7D68075EE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeed3c0acdda92e68a608b4fd2b72ad9db9875c","datavalue":{"value":{"entity-type":"item","numeric-id":5410479,"id":"Q5410479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b45b7d5e4f0f1d0f6e0ace83b39cd3d99f82b80f","datavalue":{"value":{"amount":"+0.9026013016700744","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":"Q299196$DF3B6714-5F66-48C5-AA50-A3C336A13F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c928d44ecc2fee1f6858fe4e4bd9f1950f437c09","datavalue":{"value":{"entity-type":"item","numeric-id":4986510,"id":"Q4986510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeba4c245d1faca23f9d2c66d8cdafe15035af23","datavalue":{"value":{"amount":"+0.8141630291938782","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":"Q299196$40508CDD-D309-4A95-B4C6-87D07629DA1B","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":"4cffc5f2fc575cd87ab2aae289c69abff0592e50","datavalue":{"value":{"amount":"+0.8130928874015808","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":"Q299196$9D272E51-B006-43BC-A0E3-8126984E946E","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":"ef7368652700443f710de8ad596ca4d187b74b93","datavalue":{"value":{"amount":"+0.8053346872329712","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":"Q299196$B659A660-4148-4619-96A9-4F4F7F3A1E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3972056e7d9d2e5e722189f37dadd59c300904","datavalue":{"value":{"entity-type":"item","numeric-id":5313104,"id":"Q5313104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de74485a785ab34579418113942650e55d92d45f","datavalue":{"value":{"amount":"+0.7865799069404602","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":"Q299196$576F91E3-AA00-42E3-A021-F2A1BD777E61","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical finite models of Kleene algebra with tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_finite_models_of_Kleene_algebra_with_tests"}}}}}