{"entities":{"Q2819822":{"pageid":2830560,"ns":120,"title":"Item:Q2819822","lastrevid":58027422,"modified":"2026-04-03T12:30:27Z","type":"item","id":"Q2819822","labels":{"en":{"language":"en","value":"Symbolic algorithms for language equivalence and Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6631312"}},"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":"Q2819822$1BABD3ED-8704-45E0-9D3F-B7164A35111E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3da694a0dca39621abd305b415fb8ba272ab53c","datavalue":{"value":"1346.68120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819822$AAFAC6C6-5F7E-4D7D-A531-C1996BBD67D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec7d5e22b6acce24e6864c178906414b68f7f43a","datavalue":{"value":"10.1145/2676726.2677007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819822$43ADADFB-414B-4637-A783-BAD783993D09","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":"Q2819822$E970559C-7954-4093-9B6D-DA019A81510C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b9100613eb4830bb977ae5cf1435a6c53e940dc2","datavalue":{"value":{"entity-type":"item","numeric-id":2819782,"id":"Q2819782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819822$E1885544-C71F-44D7-8C90-B6FC1C1F63CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a917957632d8007b9f089349668ca3b6b937a8ba","datavalue":{"value":{"time":"+2016-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819822$E6EFCED5-EEB6-4F6B-99F7-3DB2C26F3446","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdab903172f01d589d83f6b3afc9876065e95b19","datavalue":{"value":"https://arxiv.org/abs/1407.3213","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819822$CF3FEC29-8F74-4140-9830-6E749C06A1E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819822$562208D9-AEC9-4998-B4A9-035A63D99C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819822$A376D5A3-3635-499D-9861-7DA83C3F0CE5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33c81202d015a2327aeb698419a51435ceb93555","datavalue":{"value":"6631312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819822$F90FBF18-ACCF-422E-B566-9EE0AA8E86BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d49e533c5f97e752d11a3a098ae794facca94b2","datavalue":{"value":"Antimirov' partial derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$DB935487-C756-4E48-B881-21E5D9F80FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6a0a073691266b0ecc66980e46d2aca401a95ab","datavalue":{"value":"BDD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$B280E1FB-BA0A-4689-BB3D-DE19499A356D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda86de3ee4e7c9902a8d526041721056eee9cf4","datavalue":{"value":"binary decision diagrams","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$D6EA440B-54E1-478C-A399-331B6ACDD575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf2c3cf6756b9ebab70484f6e5cad29d7d40d81","datavalue":{"value":"Brzozowski's derivatives","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$1D80C80D-85CB-4A40-B3F6-53AEEF088F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b0ac7b7b19f5b740253f1f5d2a3c902bc2ec70d","datavalue":{"value":"disjoint set forests","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$40583F1B-C8FE-49EB-A070-157C467E9FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"020c40bc318ccbc1940c51eeb36b7c4d18c89457","datavalue":{"value":"guarded string automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$EA694427-ADAF-4CC9-AF27-E02D319ADF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be7cb8bc967a77789fccd673dc2e9ee2b24301bb","datavalue":{"value":"KAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$1A541FC5-24A1-4554-98A7-26FBFF652DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$4486C66A-C2BB-4159-87C4-E10317941F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ef5786d28052f9ce03565247eadfd30f0feec6e","datavalue":{"value":"language equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$974782E5-83F0-43AC-A78E-60871FF855FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6310ae7fbf6e5cbf15b32d853e4d6f85f70b565d","datavalue":{"value":"symbolic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$A0811F0C-B9A6-49F4-82C5-3A4F562C0E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d5f9089df13c4e3075a5f07e0c4c012215921ca","datavalue":{"value":"union-find","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819822$57069953-C4BC-473D-98FE-E9A54459CC80","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":"Q2819822$780BF6E8-0081-45BE-BF13-DB337D74EF68","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fa30daf71325f263e131afadd8bfb5f4b5d392f0","datavalue":{"value":"Q131118406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819822$F0877E37-BA5E-4FB1-BE7B-2E2BB507ECF7","rank":"normal"}],"P1643":[{"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":"3d11043d9fab80c9c6bc3e4748d97776cfe9617a","datavalue":{"value":{"amount":"+0.8819497","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":"Q2819822$F4468F57-F73C-4970-A0DE-6D1F74529DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e8dee105db8c8231ccba17e0125b02b2f48ea38","datavalue":{"value":{"entity-type":"item","numeric-id":5756670,"id":"Q5756670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47145311e8a031b0762be34fef711e4754f326ff","datavalue":{"value":{"amount":"+0.8752027","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":"Q2819822$D2EA88AB-D157-4600-8301-0CF1136D0F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1080ce6d4921fe6890a9c4fc8dd0e56bc7eb3ae9","datavalue":{"value":{"entity-type":"item","numeric-id":3188268,"id":"Q3188268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa4b203afd3345e1599b0d84a1559b460b90b5b","datavalue":{"value":{"amount":"+0.8687","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":"Q2819822$B0357E9B-5CE2-465D-AC13-B218D8BA60BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbda0a55f39f6e070705d1ddb402c60c4c09636","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52250d2468383856fef1e17dc24b53f1a12ae41a","datavalue":{"value":{"amount":"+0.86735004","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":"Q2819822$8E3C4FAD-6D6B-4228-8566-B1B7347DEB49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41fe58a7b447be1b91fae0cf3c0b16ef2f92a5f","datavalue":{"value":{"entity-type":"item","numeric-id":5146514,"id":"Q5146514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35359918354df83f3b721dcc145fe7de33a81e71","datavalue":{"value":{"amount":"+0.86602587","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":"Q2819822$73D030DA-9489-447E-9947-6BB420BAE356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7812eb76b1792deb5a8564aaa9ca60d48a440a55","datavalue":{"value":{"entity-type":"item","numeric-id":4621165,"id":"Q4621165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e707d60f1e94cb4d5e588f17062f8d68d7cd0737","datavalue":{"value":{"amount":"+0.8658995","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":"Q2819822$55E057E3-E8E2-43CD-9794-C6696DABA375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe20d9ef61fb14bddcb7c3e8bde2dcea3a1f880","datavalue":{"value":{"entity-type":"item","numeric-id":5311161,"id":"Q5311161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d5406ecd1719953311d8421efb337a4604423f","datavalue":{"value":{"amount":"+0.8656877","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":"Q2819822$44E44D2D-633A-4347-8721-C1D4F2C570B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8dec66fca1aa58bdfaa779e0bc11c1d07a24052","datavalue":{"value":{"entity-type":"item","numeric-id":299194,"id":"Q299194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f116dc6885c3dd207be20e0947f22a65deefacd","datavalue":{"value":{"amount":"+0.86532366","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":"Q2819822$4E7BF883-F7BC-4B82-8AA3-790598FCB37A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e27f5f7d53a14b4bae49aa130de456e884a128","datavalue":{"value":{"entity-type":"item","numeric-id":4995358,"id":"Q4995358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eb49661c2cb5d3f79865accc52f9ecd3421bd6d","datavalue":{"value":{"amount":"+0.86504376","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":"Q2819822$3339E03E-527F-4604-9A0E-2A678664F9CE","rank":"normal"},{"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":"d829b220d09bdb8a90b69515d53688a81e6e1506","datavalue":{"value":{"amount":"+0.8628943","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":"Q2819822$CAAB1B45-3B66-41E6-AC6F-3E338B87AFB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a20c39b2867d61d3dc16f20c0f23fa79ea47bef7","datavalue":{"value":{"text":"Symbolic algorithms for language equivalence and Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819822$A689B60E-3944-4E71-AA7F-0D81D62C09BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2819822","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2819822"}}}}}