{"entities":{"Q1327385":{"pageid":1338135,"ns":120,"title":"Item:Q1327385","lastrevid":70152714,"modified":"2026-04-13T12:48:09Z","type":"item","id":"Q1327385","labels":{"en":{"language":"en","value":"A completeness theorem for Kleene algebras and the algebra of regular events"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 590746"}},"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":"Q1327385$9135A90D-EC2C-4D00-9D5B-463F4C34E1AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"15c9a34a0d1f828f835fbbc87d1a4c6bacfd3015","datavalue":{"value":{"text":"A completeness theorem for Kleene algebras and the algebra of regular events","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1327385$53B672F5-1D6B-4125-92AC-AFBD93F4E8DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f80e5d1391514bdd4769e81eb6c3262e01e3110","datavalue":{"value":"0806.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$1C610B59-18E0-4C60-AF05-C162CC1EDD70","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":"Q1327385$860459C3-C4EC-4A8A-A0EC-140F2D2F9EBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327385$8FEC224E-A5F3-4103-9BBC-1462CA08EAF6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"133b71b0fc92d3601506c5d1957ecbd2cc63c2ae","datavalue":{"value":{"time":"+1994-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1327385$4FAC854B-1046-4B7E-955C-5F96C4258CD8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$FB868A8B-586B-4DDC-9613-FDC9AF9A2893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$F9BB0C2B-84F1-4605-AED8-5253DA162DCA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ccc248f8003c0cf67b4d08963bb8ce6c5731a444","datavalue":{"value":"590746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$D3556261-183F-4A32-A282-205599EE4DDA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65dc9a7c531e0b527cd5311bba2cc447db22d111","datavalue":{"value":"algebra of regular events","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327385$6E9AB814-7AF5-40C7-AA8E-C672E9D5A3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f379a97d970dfd270edaad8cb1039422cab0805","datavalue":{"value":"finitary axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327385$86EE41AB-EAA0-45AC-9586-B87BD8DA0058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4558db164c7f575bb520b3fb6e24a7b3ff697af","datavalue":{"value":"Kleene algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1327385$F8FBA87C-C18D-492C-8572-8B0EE9983CB1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"0e3fddc56d9b911968674076a1739459f5f0e38d","datavalue":{"value":"Q56140181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$2EE6852A-2360-4EF7-96B0-C2C99ED4E69B","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":"Q1327385$B4FA8104-235B-46D6-91A6-BEC7C4E33450","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8107c6dc87dc5163c717be61d067f14a84019063","datavalue":{"value":"https://doi.org/10.1006/inco.1994.1037","type":"string"},"datatype":"url"},"type":"statement","id":"Q1327385$F53136DB-86AD-482D-966D-73C8F1060127","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8b5a384dbab9bf352a1dfaf44bb97fc471b92d1","datavalue":{"value":"W2163152086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$97D97D9F-7445-47A6-9CC5-490B23805620","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"b398a119a551ea0a0c7d58b45a7e0a9a204e54b7","datavalue":{"value":"journals/iandc/Kozen94","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$9E96F37E-A2A7-484A-A172-6A1765487619","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8fe8e97fb71f6bcffd4020ae6f17bcd8a3cca70","datavalue":{"value":"10.1006/INCO.1994.1037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1327385$AF9B0F42-FDD4-4B27-8696-EFD9317FE48B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b562989f15c24c4d4f40d9abd5f9cb2fee4dcfa","datavalue":{"value":{"entity-type":"item","numeric-id":5009432,"id":"Q5009432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efde32327b80d0c1734726717d917711426c922b","datavalue":{"value":{"amount":"+0.7967026829719543","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":"Q1327385$834A12E2-CA0F-4B74-9DD6-490A7857B0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfaaf3dc169a4e7d773afb329a56b6b2e585a6db","datavalue":{"value":{"entity-type":"item","numeric-id":4279247,"id":"Q4279247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20259bc612d104297721e6dd3731fd2b8aa3087c","datavalue":{"value":{"amount":"+0.7921846508979797","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":"Q1327385$315E4240-75D8-4011-9096-E8BA83B6830C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e377286c0e68a6604ff3575e0f799968c00d5380","datavalue":{"value":{"entity-type":"item","numeric-id":2352506,"id":"Q2352506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20259bc612d104297721e6dd3731fd2b8aa3087c","datavalue":{"value":{"amount":"+0.7921846508979797","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":"Q1327385$54154192-955E-4F83-B34E-C874D0D2D19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad8cc0af6c222b679b8de3ae7ead77cb196ab65f","datavalue":{"value":{"entity-type":"item","numeric-id":5472890,"id":"Q5472890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee0fb52a763fc88ce7f9aa28556ca872591dd5aa","datavalue":{"value":{"amount":"+0.7885943055152893","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":"Q1327385$9DE66735-969A-4774-952B-C1553724968F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ae3bd9cb47d32405ee5921caf546e3313f09be","datavalue":{"value":{"entity-type":"item","numeric-id":3217622,"id":"Q3217622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615081e5b0e14f108b42942e6bdcef1adf22a04f","datavalue":{"value":{"amount":"+0.7883006930351257","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":"Q1327385$E11C5F53-4980-4A0E-8DD6-54D1154AC91F","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1327385$77CAA48A-CA73-45B3-AAB9-DCDEF92E2C5C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A completeness theorem for Kleene algebras and the algebra of regular events","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_completeness_theorem_for_Kleene_algebras_and_the_algebra_of_regular_events"}}}}}