{"entities":{"Q4637683":{"pageid":6667264,"ns":120,"title":"Item:Q4637683","lastrevid":90553451,"modified":"2026-06-04T20:40:38Z","type":"item","id":"Q4637683","labels":{"en":{"language":"en","value":"Weighted omega-restricted one counter automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6864537"}},"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":"Q4637683$6DE7A223-0356-4C78-9E1A-DDB55B618CB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ffe98620af24455900181a4a4d0aaf44c4f5167c","datavalue":{"value":"1390.68386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637683$B60FE403-B660-4280-B485-E680B56F44F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c11bd7dfb483ae0a1bfaa0e2f6f12e9733db0f0f","datavalue":{"value":"10.23638/LMCS-14(1:21)2018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637683$28DD23CC-FAD3-4AC5-B19D-5764D636A428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88888d4c8b884868b6c5323b4729f3c04ab0a31","datavalue":{"value":{"time":"+2018-04-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4637683$7546F96C-096B-4223-B04B-D1DF75613041","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"721b9b2824ca56c53f0a4ee2b6dd6ac51c3105ed","datavalue":{"value":"https://arxiv.org/abs/1701.08703","type":"string"},"datatype":"url"},"type":"statement","id":"Q4637683$BBD01F2E-7403-43BA-86BB-07FFAA55E5A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637683$E1B0679E-E78D-43CA-85E1-5A88377D8539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637683$FF6E8216-5F0D-4293-AEE9-73E1592E165A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637683$0AA35E8A-BF8F-4974-AB06-3248F4994E14","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1caf24964dd9829feed258d1c6135807f1f0a828","datavalue":{"value":"6864537","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4637683$A1166FE7-F5A8-4385-9603-9C3184E76DE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4c333ef77b7d5f2a32fb13155905a9f49b798dc","datavalue":{"value":"weighted pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637683$59D79701-2A9C-40AB-84C4-4BF042201CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c433861b0436e61a62c8894786eb3d4fc2335ba","datavalue":{"value":"algebraic series","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637683$992EF0E1-DBBF-48CB-BD5B-0021374BC7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4fb9f9c08878e2496a3a9a5c6b5eeb96d1d79d0","datavalue":{"value":"weighted context-free grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637683$DEC4D680-F3A7-4229-90F9-8CFFF8E8467D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3590eb8b47f26c41d61639b5166afe44752133e","datavalue":{"value":"formal power series","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637683$54724973-EABB-4BAB-A6E7-0709B1A2AB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f5800237852f8d1399075941a98a63abbc93d80","datavalue":{"value":"complete semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4637683$6F08AAD4-FADA-4C54-8E2E-4BBFFC5A3E36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637683$0F020E2D-9825-4E59-8D88-DA39BA26E52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ce11f4b3a69e8357fb668d5048be9658c17e247","datavalue":{"value":{"entity-type":"item","numeric-id":672828,"id":"Q672828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4637683$1CBF5D4F-B952-40C0-BF3A-AEB96D5F0726","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":"Q4637683$539B78E2-FF27-4DEF-AF9B-4F1E2AF71527","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f6f9e07b639a285dce84d44e128cbe014989fa","datavalue":{"value":{"entity-type":"item","numeric-id":5016362,"id":"Q5016362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f798172d125a7315780494f5ff4a6387862337","datavalue":{"value":{"amount":"+0.8755980134010315","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":"Q4637683$8278BD4C-BBE5-4AF9-8FC0-1D63D000A660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b937668d06737af79d865b05b9e520543a09dcd8","datavalue":{"value":{"entity-type":"item","numeric-id":6114867,"id":"Q6114867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de89c1d7ebabd4976efc6314c0d62ec830d7f96","datavalue":{"value":{"amount":"+0.8754274249076843","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":"Q4637683$10A939B8-2F99-44BD-B0C8-CC0EBB3D6C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc989a40745f4b07a055de166b812d18f6923184","datavalue":{"value":{"entity-type":"item","numeric-id":5875673,"id":"Q5875673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f944d8cab3dfc043ddfb3ba7465ceda3b8ea5f","datavalue":{"value":{"amount":"+0.7728516459465027","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":"Q4637683$E369E2AB-F759-4B00-8797-92C39808A1F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100112b0a52ebc6fe4c53feed80b7029e7d42aba","datavalue":{"value":{"entity-type":"item","numeric-id":2672253,"id":"Q2672253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f6bd717c4acbfb29cba0fcfdc39a4d71499d17b","datavalue":{"value":{"amount":"+0.7639865875244141","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":"Q4637683$B29186CD-F59A-47A2-B293-92D735BB85DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3c3c17047ed28829e58a22a46545b657ef17124","datavalue":{"value":{"entity-type":"item","numeric-id":5894889,"id":"Q5894889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2835e5837d4fcc4860bd3676d55912172bcd61e1","datavalue":{"value":{"amount":"+0.7637478709220886","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":"Q4637683$1A5D710B-1477-47E1-B948-1C792F25726D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Weighted omega-restricted one counter automata","badges":[]}}}}}