{"entities":{"Q5277765":{"pageid":7307340,"ns":120,"title":"Item:Q5277765","lastrevid":41728865,"modified":"2025-05-07T16:04:41Z","type":"item","id":"Q5277765","labels":{"en":{"language":"en","value":"Kleene algebra with domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6744008"}},"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":"Q5277765$4E770F54-54B6-406D-BC02-A97C76C2EC9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f78bb2fce7034eebf6a05b037c1a8069be224c3","datavalue":{"value":{"text":"Kleene algebra with domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277765$9E9591BD-C4EF-42A1-A0A1-C6B97F34B258","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe7d54656ee13caffe381e5bac31a96f5dd4610d","datavalue":{"value":"1367.68205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277765$58BFA221-E5C9-4878-9F32-C8721E18CEF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6767e1bec650ab0f87f5d20f8ac26f3a10f720c4","datavalue":{"value":"10.1145/1183278.1183285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277765$347B2288-2863-44E7-B5F7-8A627ADCA5C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277765$C3326F23-28C9-4E93-9F61-F9135DD6853F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277765$946CD13B-544C-482A-B7C7-F015AB66118D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb27aad50a775f188aa99887f496d209cf025869","datavalue":{"value":{"entity-type":"item","numeric-id":299200,"id":"Q299200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277765$E5871A42-CE4D-4BD8-A567-7F251F935AA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277765$DEC31F0A-E99E-41B2-A4E5-8E23F873040F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277765$5AB42057-6D8D-463E-91D9-860BFB26B1D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"167dd8d03ffedc109d50c388426f4433ec45aba3","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/53987","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277765$0C318D88-1A67-4157-B9FB-84AD647C838C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277765$78BB5CE3-102B-4B66-A8F5-B77F3DAC1EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277765$D2E6FF39-6550-43CA-9A08-706DA3355202","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9387dd8ed8084c62b1a96f59bad7605f1103570c","datavalue":{"value":"6744008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277765$DF7F2450-C9AF-4580-9C6F-6517CA274218","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20611a722c01108667a19bc8d985e35de09fbbcf","datavalue":{"value":"idempotent semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$F2F9B3C9-0C44-4959-86C7-303E3B28D3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$F1782B55-E248-4798-A1BA-BFC80FA21D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0857698d3081b9ebabc9e79e8e0ec4f1c5c65dba","datavalue":{"value":"codomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$7562824B-0815-45E2-A2B0-19FE2D7DB52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$A3C1FEF1-751A-498B-9CB4-FE342A85CC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca82b8126faca2bdab3ffa77f0c22600be2e10e6","datavalue":{"value":"equational reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$1A6D5866-44CC-4B1D-9D4A-0ED949DF6491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f34ef52508016d4f5681f181c82287bfe02c463","datavalue":{"value":"image and preimage operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$161AEBBC-0A38-4850-AD2A-F2905FCC7ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a8442e44c197c3116a3805a9a89e00f3ba2ecfd","datavalue":{"value":"program development and analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$2054FA1E-FE50-4F3C-82DC-B8636DC852AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"392ba241d73ce3ebb13573eabf58e6499157c763","datavalue":{"value":"state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277765$42F8FCC5-4B94-4F20-B5AD-A00557B2AE2D","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":"Q5277765$69F3DBDC-E5C9-4B3C-A489-DDBCF74E7D74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7df53996464bdd27430659dbfecae3da71ecda99","datavalue":{"value":"W2068047345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277765$C7DEC539-704C-440F-BBD2-09BC3828A6CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ec07531bc2cce3513e3774b4caf45db23b09cd6","datavalue":{"value":{"entity-type":"item","numeric-id":903368,"id":"Q903368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f56721baad42969b596de9d3e1e0f18819a3f6a","datavalue":{"value":{"amount":"+0.94187504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$362221E7-83DE-4083-9CE4-AC30B0845319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a957b6c28a5dff15b6735747b3947f86495cae6c","datavalue":{"value":{"entity-type":"item","numeric-id":6174424,"id":"Q6174424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49dc8d0d4995f56e3133f11f54bc4afe7b93cb62","datavalue":{"value":{"amount":"+0.93456954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$4D28CD85-F31F-4259-8D21-FB346893D0EB","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":"0270fe1be9e25078466a76dd6070d8d195d0b9be","datavalue":{"value":{"amount":"+0.9343933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$3DA5C5C2-B39D-454D-AAF7-D024D7B6A527","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":"933b8b76fd8a024ed5348a2432f0c08436956d19","datavalue":{"value":{"amount":"+0.9140314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$196BE3B5-43DA-4CA8-A776-D41EC1B1B13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15027f4ccce390c3981b96c750fe982409ef55a","datavalue":{"value":{"entity-type":"item","numeric-id":5712435,"id":"Q5712435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dd545ac1a4822e7899b6fbfb63d620f4af5de8d","datavalue":{"value":{"amount":"+0.9135529","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$44410CE6-39D0-4670-8D02-24985763A521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"650a5191431c389f4b50414a67244057acd8c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":2289074,"id":"Q2289074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b524a4a0417650db54e0cf754d84251c6f697159","datavalue":{"value":{"amount":"+0.9113128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$17B75610-8C33-499A-87C5-F4ADE4D0BA6B","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":"5ea3ac63fb1fd52c6e8d7b3e099f5fa37acca6af","datavalue":{"value":{"amount":"+0.90786827","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$3011F69D-15ED-4C85-86C2-B1AE4CE08F80","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":"0fffd82057cf580fb777c8749031ee24405cb63e","datavalue":{"value":{"amount":"+0.906447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$82868E07-A4B5-4E0D-AE50-689AD1234E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e5af88672658cb1d859e58acdd2fd31423022d","datavalue":{"value":{"entity-type":"item","numeric-id":2362883,"id":"Q2362883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1768c6ff6e6c7505329a12dfc9f4307f17ba0d6f","datavalue":{"value":{"amount":"+0.90271205","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$D8612948-DF80-449A-BB42-CC7ABD7DD95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a703a46a96d5c29ae45506f580711e5df060ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2958536,"id":"Q2958536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68c70e74734ad7b7e1813e9c7fc70ee54378e312","datavalue":{"value":{"amount":"+0.89545923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5277765$9AD358D3-66CC-4A45-B19A-CDC5DEAF15D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277765","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277765"}}}}}