{"entities":{"Q2843723":{"pageid":2854443,"ns":120,"title":"Item:Q2843723","lastrevid":51806510,"modified":"2026-01-20T03:40:18Z","type":"item","id":"Q2843723","labels":{"en":{"language":"en","value":"A coalgebraic approach to Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6201201"}},"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":"Q2843723$90116245-5DE9-47B1-BB9A-85642DE23971","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"959194a051351e7198087195beedd8a1c78a4a1d","datavalue":{"value":"1270.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843723$16F76688-2C47-4CA9-8D58-8ACDA734337F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de68fabe0331b50e2c0babeac4b29f27d03cc1ad","datavalue":{"value":{"entity-type":"item","numeric-id":361801,"id":"Q361801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843723$A936A7DF-2823-4CFB-B275-849B213E5359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42ac1d097672349450783a9de9be1c3a85df316e","datavalue":{"value":{"entity-type":"item","numeric-id":543592,"id":"Q543592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2843723$37C03CD7-7132-4CFA-B6C2-86817CE73EF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a565cc81fb7567e9566348616c108775dbcfb5a","datavalue":{"value":{"time":"+2013-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2843723$71023844-6304-43E9-A1EB-A3CEAEE77A93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41b9c4140d02db3d5969c42aa84c99658060296e","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104806340","type":"string"},"datatype":"url"},"type":"statement","id":"Q2843723$53852088-7C4D-4307-96DC-05061439E228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843723$52462B91-B40E-4E71-9F59-736B3413C254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843723$F5229C9D-0778-4A85-800E-395F5E506BD4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187853bffc70d66664b455aa9a1fd2e1533dcfed","datavalue":{"value":"6201201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2843723$E89D56D2-B6D7-4B55-B557-4C97E45C77F6","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":"Q2843723$D3C68B91-E8A4-4F57-92D1-93C05B97EA1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e2c8072bf385de83583d9c9ee39a39a92a25ffc","datavalue":{"value":{"text":"A coalgebraic approach to Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2843723$D5B8ADF9-F15A-4818-9B50-540DA6E3DD38","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9de6c61eb2680b481a8fdd1b55225f8fd489e22","datavalue":{"value":{"entity-type":"item","numeric-id":703519,"id":"Q703519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86a55ace7121e9eaa11cab3dce3d993318d7b974","datavalue":{"value":{"amount":"+0.9998364448547364","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":"Q2843723$A7EF7AE9-9494-4AE3-A226-45CAEFAA6159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2337f63657bead5b56d0f24eceaf33426fdbcf75","datavalue":{"value":{"entity-type":"item","numeric-id":3299849,"id":"Q3299849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc0ccaade73e95da2e02f9ea890ff8ed10473585","datavalue":{"value":{"amount":"+0.8978915214538574","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":"Q2843723$FB37696D-7614-4DF5-8349-B8070105197C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73694831dfdedc726b1da0e2a3f40f29fb4b339a","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888e40d7bd14d797f229c1b8406229b4765b9c66","datavalue":{"value":{"amount":"+0.810880720615387","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":"Q2843723$7FC2B908-DDEA-40EE-BC47-CC800E0093C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e185cb3788129a86496b6b33cbf65d270bfb21f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e3647ad520279fa537a0c49a412baaef25652dc","datavalue":{"value":{"amount":"+0.7962023019790649","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":"Q2843723$A55E4B6F-38E2-4DE7-9CB8-F92923760725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4853f164b553f98159f4e07cfdd909d2f626e73c","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"240caefa803364422a6aecc537b7cd05f6a48e82","datavalue":{"value":{"amount":"+0.794930100440979","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":"Q2843723$DFB29241-C7AB-41E3-9A57-C15151749509","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2843723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2843723"}}}}}