{"entities":{"Q655418":{"pageid":657267,"ns":120,"title":"Item:Q655418","lastrevid":51394940,"modified":"2026-01-18T01:48:27Z","type":"item","id":"Q655418","labels":{"en":{"language":"en","value":"The equational theory of Kleene lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5994297"}},"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":"Q655418$EBC24F27-3F66-4CF8-A2C1-6432C6621669","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"37132f1c40670310ddb071df01be1aa2305b34d5","datavalue":{"value":{"text":"The equational theory of Kleene lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q655418$32DC5189-EAF0-47FF-A37B-FDA923EC325A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4542827ae33c92e165b91ff4ac3bbc9556cc990d","datavalue":{"value":"1234.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655418$DFEDB75B-EE3B-4F9B-8EA5-34DE5A3A8DF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$12B5199E-11EA-4A5C-BCA5-77DDEC248E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"097dc9470c2945b47145802a7f80950df654abb7","datavalue":{"value":{"entity-type":"item","numeric-id":787977,"id":"Q787977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$D4AA61E3-1786-4F6C-BD98-A43D05BACCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$D6301798-1310-441C-90DF-7D5235D8482B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$F865F0F9-AA01-4F22-9491-D7AF83F0E25F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd27d2961557708e7c2573aeb1bdd7381f0f8830","datavalue":{"value":{"time":"+2012-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q655418$F5B488AA-2637-4F35-9520-FBC001137ADB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655418$8CEADD82-FA5A-474B-9052-C74484FC0320","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c81c1bec72f97fc5024275b21eaf3feaf1cdc2f","datavalue":{"value":"5994297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655418$EEBCECC8-A1A9-482B-A621-E1755EE0FB29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q655418$760030E1-9AF9-4230-AA57-F7E18DCA5AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec0936241cbd9ca3359b59acd9726c5e1dc1ec9","datavalue":{"value":"Kleene lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q655418$2C6F07A9-B212-4E73-BAF8-4DFB7A60BB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q655418$EF0FCC48-BA92-45A2-A7EF-E79F0856F947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e2e28f65b47bd2ddb40530dcc4b99b61384475c","datavalue":{"value":"language algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q655418$65F79734-A1E6-4292-8929-02663BB02B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q655418$AE932DD3-B38D-4E9D-868B-2AFF8B0483A0","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":"Q655418$8AAEFBA0-6375-4138-9CF2-D3CF31085677","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"77b7bfe5d0c91807a7d53f4eeddbd708da1f409c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.09.024","type":"string"},"datatype":"url"},"type":"statement","id":"Q655418$90F4E165-1A91-4E55-AF22-97C1E20A937F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b325f42f0a03598d37b23ae47277fa7a61225c81","datavalue":{"value":"W2087081229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655418$7031917D-BFDC-49F2-9C6C-F03E131EF33D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4fd1f08969b87f833c028e2c931fbffa4b757","datavalue":{"value":{"entity-type":"item","numeric-id":1894553,"id":"Q1894553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$16B3BFD6-BFA5-4427-AF1B-4E93E4A5B75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a4f6072e925fb869a77af60d6d91dffdbacc31","datavalue":{"value":{"entity-type":"item","numeric-id":647324,"id":"Q647324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$E0E544E2-66AD-4438-85BC-9B3BC880FC05","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":"Q655418$C8A35364-CAC1-4E75-AF83-BF4F749516A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70f2c5bd3751a51585b1dbbe011b98a4eafbff4f","datavalue":{"value":{"entity-type":"item","numeric-id":674338,"id":"Q674338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$72ECBE66-E819-497D-8F6B-7A8857B85381","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":"Q655418$0A5E0830-A46E-4B75-BF4A-CF006B5EAAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041f06c5f4d96966e4f8ac616636e66ada5901e6","datavalue":{"value":{"entity-type":"item","numeric-id":4876413,"id":"Q4876413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$B276B2A4-F332-4D78-83DE-FFD92E7AEAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6abd6fa0724a721a45064182135f912040b33032","datavalue":{"value":{"entity-type":"item","numeric-id":1167197,"id":"Q1167197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$0CA6716C-1EEC-4521-9474-4E7CADE6F303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb9b6fee7afc6e55aa83396b5c6df38a519c39df","datavalue":{"value":{"entity-type":"item","numeric-id":4273477,"id":"Q4273477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q655418$F83791BB-471B-4B06-8D68-AD67CE863A97","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":"Q655418$FF1BAC2F-2DAA-4D18-AB92-DC62FD56B58E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d9c4ce081f9057814577b329b88bc62e2f6cae84","datavalue":{"value":"10.1016/J.TCS.2011.09.024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q655418$A5ACDAA5-73CF-4601-BBEF-3F7CC75367FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47eec7950ac8680b3e16ff81537095292cbbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5111283,"id":"Q5111283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bd3192ea12c0d640393e632ccb4fd99ec035e1c","datavalue":{"value":{"amount":"+0.7898600697517395","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":"Q655418$E3E3497E-95D5-4205-ABB7-E3F76AF7D1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce39e8aac244cc9131807d878325c5e2b09df46","datavalue":{"value":{"entity-type":"item","numeric-id":5894726,"id":"Q5894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ce1fb0bce1adf67e9ff181f0e86b7dfb842693","datavalue":{"value":{"amount":"+0.7792797088623047","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":"Q655418$B1B9A11F-0552-4A98-ACD1-C4E420227249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd09d9d5507b82aa0fa3251b7c2c96e7392e71e5","datavalue":{"value":{"entity-type":"item","numeric-id":2210872,"id":"Q2210872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a498be7de640f5059e160db5683ec1efbbd7bc3f","datavalue":{"value":{"amount":"+0.7721403241157532","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":"Q655418$9D17BBEC-0AC8-404D-8D93-35032B18F35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdbb167983b39d28d1730bcabc0f8fa8af8eea3","datavalue":{"value":{"entity-type":"item","numeric-id":1344844,"id":"Q1344844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff631d3508e39bbad54bad603eec6bbb132a0d9","datavalue":{"value":{"amount":"+0.7708762884140015","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":"Q655418$5581AA50-B73E-4F6C-A9A4-8D7149078F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07feede7c37e28000329043b5a16eeee818389d","datavalue":{"value":{"entity-type":"item","numeric-id":5410480,"id":"Q5410480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff631d3508e39bbad54bad603eec6bbb132a0d9","datavalue":{"value":{"amount":"+0.7708762884140015","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":"Q655418$1C2D3423-3443-4786-9B2E-1D3D2522ED0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:655418","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:655418"}}}}}