{"entities":{"Q6587134":{"pageid":14198290,"ns":120,"title":"Item:Q6587134","lastrevid":42364919,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587134","labels":{"en":{"language":"en","value":"Completeness theorems for Kleene algebra with top"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896559"}},"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":"Q6587134$51BA8F7E-E584-411C-9A76-F97B78B0103E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5705f062a9cb464d6afcae7e2abccd7172efa131","datavalue":{"value":{"text":"Completeness theorems for Kleene algebra with top","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587134$0C45AB8B-20A8-49C5-B662-ED833F8B4C90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587134$C55134B6-C26D-4320-9B1A-4003472EDE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934907047e08f1c0fc56f1f125aeddb0d3310ef","datavalue":{"value":{"entity-type":"item","numeric-id":1617831,"id":"Q1617831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587134$5D4778F1-7D63-4EE0-BB93-2B46811727DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587134$8203D623-EACF-43D5-93AA-29609CE965D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587134$73F79D01-EB91-4047-A11E-014D01A27F5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f1a9db829e9dbe37ee1d83f80b77a4704a6348b","datavalue":{"value":"7896559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587134$BA04B969-740D-4004-8A13-19B3E80FDA88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587134$EB5A4859-AC0A-494E-92AF-A4601DCAFF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20ba4c07c67126a82e8a26383da0e943335823e2","datavalue":{"value":"hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587134$88EE1012-B41C-427D-BEE1-48F6176187E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587134$9BB8E3AA-77A6-4ECD-B87E-7922F814961C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7aeddb76e99d792c39ddbce23ae7f5a41f2baa4","datavalue":{"value":"closed languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587134$96B68EA9-3BF5-4EA8-B53D-F2B9FF52EC4F","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":"Q6587134$FF0AE4F0-2B80-4DF6-8E1E-83FC73317651","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee03b17c4119500db084e975c7002d9f6a15550c","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587134$DC1793BB-50F5-47F0-8EAB-70250D131CFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587134","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587134"}}}}}