{"entities":{"Q3299849":{"pageid":3310557,"ns":120,"title":"Item:Q3299849","lastrevid":53779538,"modified":"2026-01-25T17:18:46Z","type":"item","id":"Q3299849","labels":{"en":{"language":"en","value":"On the coalgebraic theory of Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7224714"}},"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":"Q3299849$AC369C27-4D85-480E-9615-8FFB3308443C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c6da9fc5bf4194630901ac2132bd89bce0e53f0","datavalue":{"value":{"text":"On the Coalgebraic Theory of Kleene Algebra with Tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3299849$3C5DE12B-933E-494E-9E0F-F4347191D6B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da089582b8b400a188603d0726018369d930192e","datavalue":{"value":"1437.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$510DB665-482F-4DA8-8384-1E63DA2A9B63","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eda53da969798d09383e6775a277d917abca6ef4","datavalue":{"value":"10.1007/978-3-319-47843-2_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$A0A336E8-CCFB-46BA-BB56-D60243A23CAC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$E24D5ACF-8809-4729-976B-3137F5C90EE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$2EAF7DEF-7789-4EF9-A95C-AB50CD05B618","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3299849$89B9E939-F99C-4547-806A-3308DC9706BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$2BE65A0E-05C6-4672-A60F-19507F2D60AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$33AB988E-C7E9-452A-AFB0-F11FA86A9F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$D577306F-A292-45BD-878F-AAFDA148F984","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1b37086723ebb3fd3a93a6cb426cc8f7811251e","datavalue":{"value":"7224714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$3B55744E-5144-4B26-AF68-E2CCF78664D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3299849$8DFDC3F2-5909-4FA8-B1BC-EA2ED185389D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q3299849$EBBDB9C2-4258-4886-9A16-C52608305AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3299849$D393AAF0-48B5-4D5E-AED7-204E93726264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3299849$26BE0D0E-7017-4C29-AB04-DFC8673FBF61","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":"Q3299849$9CA0F93B-AEFE-4B0C-A13C-F0AAA87778ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"156955ccab5e6aaa8133b40c78fc0898489253cb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-47843-2_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3299849$F463DE9F-09DD-4B37-8EAC-AAAAA5B26685","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c8f715c4b9ff97a5f6e30053f7bac6766177c65","datavalue":{"value":"W146784359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3299849$C2E05483-C3F6-426D-A56E-710CC9749AAB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ddc43c7ce3028076c1ae38ed52053456ef0b81","datavalue":{"value":{"entity-type":"item","numeric-id":3617725,"id":"Q3617725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$33C0C6DF-B801-42C7-88B9-8E26F33F4CB6","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":"Q3299849$054AC001-2523-4E09-914A-3DFD2910D635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3aaff1d8c74ef5d88b4a451f398ee8cb0406ba5","datavalue":{"value":{"entity-type":"item","numeric-id":2843723,"id":"Q2843723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$67C9E38E-B6C5-4485-A271-1F455BBA6506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$7346E878-CB89-4D84-8FE6-1E0E4FF7D8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbefee8ac70a32a00150a28c30ad99d87aa7464","datavalue":{"value":{"entity-type":"item","numeric-id":2536436,"id":"Q2536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$4A906B18-A3EA-4CCE-A44F-51034DEA6EFD","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":"Q3299849$A469674B-59AC-4E89-B614-DCA8073CB213","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":"Q3299849$ED54FB56-1FE6-4D17-8382-F8AAE5016325","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":"Q3299849$1374EC45-EADE-4506-8085-42150716AC27","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":"Q3299849$6B9C6E81-35CA-4F7E-91F6-D0D5F9B71619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$5C9944B5-38B1-4ADE-92CC-8D80CA0CC53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3299849$4EB3C458-3BC1-41DD-AC6C-D115BD9AF81B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68af87d76112d1eeab2cfa31410eb2dbe30e15f9","datavalue":{"value":{"entity-type":"item","numeric-id":2843723,"id":"Q2843723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0ccaade73e95da2e02f9ea890ff8ed10473585","datavalue":{"value":{"amount":"+0.8978915214538574","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":"Q3299849$E06E5268-D9DB-4B04-AF32-49B5AE98FC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9de6c61eb2680b481a8fdd1b55225f8fd489e22","datavalue":{"value":{"entity-type":"item","numeric-id":703519,"id":"Q703519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"631fbf3417ab8d81495d4ab68a8e1f6c95b53d8b","datavalue":{"value":{"amount":"+0.896662175655365","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":"Q3299849$715E92A2-D0BE-477F-991D-99FAD30BBA1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4853f164b553f98159f4e07cfdd909d2f626e73c","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58fc6a40dec3c463b92e39e4c3b51ed5aa4465f3","datavalue":{"value":{"amount":"+0.7985666394233704","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":"Q3299849$8A484187-CDE8-4D28-91A4-2020E7BD8430","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":"2745c70ad17c8a56ffc3f270b7358aa0f93a9e36","datavalue":{"value":{"amount":"+0.7938562035560608","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":"Q3299849$B7A7EDF3-8F43-4E15-BEBF-21A4FA673132","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":"d0301b8a5dfd7a1e19d19f9e6d83cef3b1085837","datavalue":{"value":{"amount":"+0.7932671904563904","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":"Q3299849$EEB850B6-F665-43BA-A8B2-7A77B9E14823","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3299849","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3299849"}}}}}