{"entities":{"Q2731097":{"pageid":2741836,"ns":120,"title":"Item:Q2731097","lastrevid":41941680,"modified":"2025-05-19T07:45:47Z","type":"item","id":"Q2731097","labels":{"en":{"language":"en","value":"Kleene algebra and modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1625542"}},"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":"Q2731097$3CC19AAC-2297-493B-837C-70D7691918B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af7a11125675dc662639b1c50ce63a587388b6dc","datavalue":{"value":"1006.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731097$57C0DB61-35B9-4699-B3FA-F7531D716D3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731097$7608832D-4DEF-4FBD-90B3-16860120FCE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b9a31d1239ba34237427d8bb3517c194d569b08d","datavalue":{"value":{"time":"+2003-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2731097$162B4881-1580-423A-84BF-2FE751B84D73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731097$BED82F1D-D581-4967-A3CA-79A0273CB0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731097$FD98E15E-347D-4893-9612-A15EC12538A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94fbd52553e9c7cf777a061ecaaa248bff0b34bf","datavalue":{"value":"1625542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2731097$C86DB24E-1EF0-4C83-8025-A7D7CF678ED8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731097$8E9CA7F8-EE64-482D-AAB9-A6685121C277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731097$D35E0B58-58E6-43E3-85C2-62614F9DAE9F","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":"Q2731097$EBA723F9-D042-4B7D-9660-4C2699195ECB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42aada9006079f0b7f459e2176bde046fd5c9451","datavalue":{"value":{"text":"Kleene algebra and modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2731097$240F002B-9250-4CB1-9314-1CF51C2DC21B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"964000dc2d9692dc68ce702d63d2f3c18dceeebd","datavalue":{"value":{"entity-type":"item","numeric-id":6769037,"id":"Q6769037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731097$1FEB965D-376E-4C47-B786-FA1DCFFAC825","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e7cd69c76b82fd7631fa05aeab0f85b34ff7d117","datavalue":{"value":"In the paper it is shown that every Kleene algebra with countable generators is isomorphic to some subalgebra of the Lindenbaum-Tarski algebra for a certain modal logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2731097$AF5E9E16-B334-4740-852D-B08359A8FD7C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f208232473f4aae48c7d08bbf9174b554375046e","datavalue":{"value":{"entity-type":"item","numeric-id":1610612,"id":"Q1610612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2731097$56A4D069-B993-4C13-B070-E302B4471F9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2731097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2731097"}}}}}