{"entities":{"Q4967190":{"pageid":6996769,"ns":120,"title":"Item:Q4967190","lastrevid":53467490,"modified":"2026-01-25T00:23:46Z","type":"item","id":"Q4967190","labels":{"en":{"language":"en","value":"\\textsf{LCC}-program transformers through Brzozowski's equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7075893"}},"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":"Q4967190$DBDDE05A-06D5-450B-912F-4152755A4C65","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e7bf4e176f8edb9adea4591688297fc954af4d6","datavalue":{"value":"1409.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967190$20968513-7C68-4BCD-AD5D-AB9AED7501B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba1d8bfd6802af124b9a529aedfc36a0f98a16eb","datavalue":{"value":{"entity-type":"item","numeric-id":2938498,"id":"Q2938498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4967190$50C4EC3B-142A-4703-9A5C-C0454878699D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b2283e6142fc020fab81d606e8cffb613fc5a16","datavalue":{"value":{"time":"+2019-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4967190$DAC5ACF0-16A3-48A0-A02E-E08F182F2717","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdd77262250d97848336450a992318cbf261a754","datavalue":{"value":"http://bulletin.eatcs.org/index.php/beatcs/article/view/356/338","type":"string"},"datatype":"url"},"type":"statement","id":"Q4967190$5AF91B4A-2CBD-419A-932C-B9911F62BECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967190$5BC19847-5436-42F7-A29A-BB5E23BE399D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967190$60AC9031-CCE9-4E65-AF7E-D1EABF01C7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967190$BB3E96D0-06B3-48E0-836B-EFBF1A840718","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4d73dc71a8c8fb97f2c953f1a3c08df9833d20b","datavalue":{"value":"7075893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4967190$2664F5DD-4F36-49DB-869A-BEBB9F498A2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bdfa1adcbd1d8b64f923972e9c23ab43554ca70","datavalue":{"value":"Brzozowski's equational method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4967190$93C9FDB2-FCA3-4D8D-856C-E5AB993F4D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4967190$16B5E8DD-1D0E-428B-A65D-CC52CD633BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e8186d6f06fd6535a3362e7c64f8c6e0fd9420","datavalue":{"value":"logic of communication and change","type":"string"},"datatype":"string"},"type":"statement","id":"Q4967190$7E21F53A-CB07-45D2-B55C-3CEA67F93AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68f3a52e707bcf269a8c92250207410655202eef","datavalue":{"value":"program transformer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4967190$186DE115-0B84-4CB4-BCAE-542FD209CC12","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":"Q4967190$A89C569D-6530-480E-BA72-B09D9D3CA888","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48352d32cd2c877412dc5b763f8d96ceda8277ce","datavalue":{"value":{"entity-type":"item","numeric-id":2938499,"id":"Q2938499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f74118ff2d4774a6c3b526727a1435ebc7470127","datavalue":{"value":{"amount":"+0.8908368945121765","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":"Q4967190$A3907882-4B90-4652-ADB9-0403A2D7B7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b3baf1ff77f1d0c6421a44bb9de1dbd72394ac","datavalue":{"value":{"entity-type":"item","numeric-id":5869511,"id":"Q5869511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd6ba91f61400cfc37a1c5262707d119ac88ed6","datavalue":{"value":{"amount":"+0.8759283423423767","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":"Q4967190$3E84848D-9EA1-44FA-8BCC-E3044A81B6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc996f3615f0bbc9ddafde1d1db794048ca354b","datavalue":{"value":{"entity-type":"item","numeric-id":2897941,"id":"Q2897941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"164ffe0807bc3a96d275d621caa8bac7885da884","datavalue":{"value":{"amount":"+0.7015844583511353","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":"Q4967190$15DAB908-9BE0-457F-AC89-65B4C30FDFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0df1bb8cd34ae31682b4424b4d516b55496321","datavalue":{"value":{"entity-type":"item","numeric-id":3336694,"id":"Q3336694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a18393634b65108bbe4b86257babafa84710c6c","datavalue":{"value":{"amount":"+0.6960635781288147","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":"Q4967190$EFBC25B9-ED70-447F-969C-C209674D9AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd69893b09cd363e12307f0fab2a195914809fec","datavalue":{"value":{"entity-type":"item","numeric-id":1284702,"id":"Q1284702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8509ad580b33a9d97c9f7daf32aaa74d2c3e49","datavalue":{"value":{"amount":"+0.6957115530967712","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":"Q4967190$C3F98524-7D3C-4246-A371-3B0FCD257431","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4967190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4967190"}}}}}