{"entities":{"Q703519":{"pageid":705368,"ns":120,"title":"Item:Q703519","lastrevid":63744870,"modified":"2026-04-11T15:15:20Z","type":"item","id":"Q703519","labels":{"en":{"language":"en","value":"A coalgebraic approach to Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126095"}},"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":"Q703519$8ACA742D-761A-4F95-8565-F2DEDB44EBE0","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":"Q703519$314F76CD-139B-4102-8593-FA686B8F5CCB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4a014e6b92753227bd37ceadd3981be0edc9771","datavalue":{"value":"1071.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703519$700886CD-3F34-45DF-9426-918C4E43A5A6","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":"Q703519$C94398E5-84A2-44DF-A2B2-3D65E8EDED07","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":"Q703519$436054FE-5069-4082-8290-F558A8CE4F7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$50659F14-CF62-4A34-9DB8-499C704FD92C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703519$767C3C7D-91F9-4437-94B6-6B2059374942","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"768bcf260e5d40ed494485b7e2e3c21fcd49e0eb","datavalue":{"value":"https://arxiv.org/abs/cs/0405097","type":"string"},"datatype":"url"},"type":"statement","id":"Q703519$CB418AC0-60FC-4E5F-AFBB-BFBBCC7A4663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703519$B5898324-C28D-4995-9036-8C04878229E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703519$CE02C6E5-0EFF-458C-98A9-10B89C344C5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d81819ab37f1f797f8748166e3ea6cada6ac53f5","datavalue":{"value":"2126095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703519$87B10BEB-047B-4FE5-AD09-105F75714415","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q703519$2A5D92D5-7C1C-4A28-8100-9F2E7102CB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb3f8c41ffc75609512af38971a1b7fbdaab60a2","datavalue":{"value":"Coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q703519$6E88EB7E-1894-46C9-9416-3DBA3262532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703519$00704F3B-BF71-471E-9289-F9A60C180609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q703519$84994E37-E063-4E78-B8AE-D4F1BFDD2FE4","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":"Q703519$774736A3-7194-4A82-94B2-29BB8BCA4C01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b7326ff6b88a9a1c6f5cd3c48bd8cd85659524","datavalue":{"value":"W2102823559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703519$789AEDB7-97CF-46AA-BE2A-D186ADFEB22E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$7D1014A1-5194-4784-921E-2B089FECD1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$212FF490-2D60-4125-B0DB-41F16AC3313A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$DF0F89F2-8CAC-4906-87A8-E9C22B233BF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbefee8ac70a32a00150a28c30ad99d87aa7464","datavalue":{"value":{"entity-type":"item","numeric-id":2536436,"id":"Q2536436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$A0E9963B-5209-4783-8FB1-6D29C3F6B56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01b358e960c9fa8ab3d484400993238ee2020554","datavalue":{"value":{"entity-type":"item","numeric-id":5839933,"id":"Q5839933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$F884894E-4D6B-4686-B433-3CA8A1E69B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$523F697E-4A0F-4036-B181-BDC046C283F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a99fd685bcf30f349d06a773c6816df3cf4f339a","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$A22D7294-1FA6-46B4-9C36-AA5236FDF2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8525cdd12dc8a205f20af2cd22c19a69d38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5693581,"id":"Q5693581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$26ADC7F9-3FB2-42F7-890C-22430CE1C2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$6A2E3F38-4822-47F6-8372-44C6ED43085A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132520da273c8089c5e3b2d11624d67e61c411b0","datavalue":{"value":{"entity-type":"item","numeric-id":4251915,"id":"Q4251915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$F695E39D-A106-4CB1-BCF4-CFBF6F71C3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2080ce41dbb2abc15ff7cf44f0da56f791068775","datavalue":{"value":{"entity-type":"item","numeric-id":4943550,"id":"Q4943550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$FC4B76C2-AD0F-440D-8148-0DCF9024DE20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$1C1851D5-1B46-468F-9AAF-271FB8C58684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703519$6F924D49-A546-42AC-999C-51880B0073A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ebf54b20754b49b066c699a4d740ce28d004156","datavalue":{"value":"10.1016/J.TCS.2004.07.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703519$9A7A6C78-051E-4371-9ADB-9D2C6DF84306","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68af87d76112d1eeab2cfa31410eb2dbe30e15f9","datavalue":{"value":{"entity-type":"item","numeric-id":2843723,"id":"Q2843723"},"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":"Q703519$FA2D462D-DF97-4662-AC61-2B77944ABC35","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":"631fbf3417ab8d81495d4ab68a8e1f6c95b53d8b","datavalue":{"value":{"amount":"+0.896662175655365","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":"Q703519$058100AC-B243-416A-AE84-49D8F2672E65","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":"4eee16b405a74931a517af77c3f262633e7613e5","datavalue":{"value":{"amount":"+0.8124336004257202","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":"Q703519$CFFE0738-B567-4A35-904E-AB22FD9DF188","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":"4bc84c4e5b4114008faeebb41a2cc51223cf2eeb","datavalue":{"value":{"amount":"+0.7953913807868958","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":"Q703519$1D72DA2C-90FC-4C4D-A203-F55B9F18B623","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":"a3342c3a516599aea888f22b58d30b980cf48dcd","datavalue":{"value":{"amount":"+0.7940796613693237","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":"Q703519$503A2703-67C3-4F58-A923-BBB52522EAFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A coalgebraic approach to Kleene algebra with tests","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_coalgebraic_approach_to_Kleene_algebra_with_tests"}}}}}