{"entities":{"Q675222":{"pageid":677071,"ns":120,"title":"Item:Q675222","lastrevid":63630066,"modified":"2026-04-11T14:28:17Z","type":"item","id":"Q675222","labels":{"en":{"language":"en","value":"Computing the rabin index of a regular language of infinite words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 988048"}},"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":"Q675222$729483E9-3FB3-4F6C-A51F-30A8879101F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8805129c15f85bfca5efa657b97ac2e5535a260d","datavalue":{"value":{"text":"Computing the rabin index of a regular language of infinite words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q675222$2A25A607-1227-4372-A132-C86E68C24F01","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8ae530d8a1017f5f73816e18f75226259b0fac7e","datavalue":{"value":"0872.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675222$14FA7137-2C0E-48E5-833A-4905C6D68692","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675222$642CEC4D-B98D-435B-8D6E-F88FC4F19516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"989216809b09c2b4ccd5d359e73eb27c0900282c","datavalue":{"value":{"entity-type":"item","numeric-id":675221,"id":"Q675221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675222$7FB898C6-3AF3-4A08-AD46-2852C7C65033","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q675222$F6159BA5-0C87-47DE-9532-A4F08FA52ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edfa5e14945505ceb7fb76cbee084bcc0d972deb","datavalue":{"value":{"time":"+1997-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q675222$43C8CB69-2153-4CB4-B8A9-7FE2B87F9674","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675222$E8CC5F7E-B5EB-42C4-92FB-E963E3C55163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d5ce91541ac0a0ba39897219f3fae037f5ea6e4","datavalue":{"value":"988048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675222$004CBBA4-B56E-4E6F-B7D6-930DB37223D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a92e1e28f7b6723e8b30b7be538c5f1eb15d63c","datavalue":{"value":"deterministic Rabin automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q675222$E5CA4118-4B01-43FF-B289-91B123967266","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":"Q675222$FC17A10C-0191-4851-BC8D-7E8CCAF74DBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"658875e16fbc17206cfa8ae699ad07fec269dc5b","datavalue":{"value":"https://doi.org/10.1006/inco.1996.0082","type":"string"},"datatype":"url"},"type":"statement","id":"Q675222$DA7FEA02-168D-4D89-A790-75E576C8D22D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"69e52a7d3e0159fc6eb79bddedd1f406bccdafb2","datavalue":{"value":"W1974774490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675222$755782BB-BB73-47E6-9810-0C0E95FB3F90","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee8e98f808805eb00b352c73be91798dc1905e75","datavalue":{"value":"10.1006/INCO.1996.0082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q675222$E9F605B9-05C9-42E8-8DB7-2FF7D3FB21F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a335c529dc20a4137835917d65f778c3816c143","datavalue":{"value":{"entity-type":"item","numeric-id":4953338,"id":"Q4953338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6753f0b5907b9fc85143f0e97c60eae93d39b5c8","datavalue":{"value":{"amount":"+0.9035409688949584","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":"Q675222$F8D35A9D-FBBA-4BC0-A94D-8E3585CC06D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b856e8face7e7a1914748dade3e81d18c705a758","datavalue":{"value":{"entity-type":"item","numeric-id":5096738,"id":"Q5096738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"218e8ccbbb67b52d790721c1d50a9c3e606ce669","datavalue":{"value":{"amount":"+0.8298822641372681","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":"Q675222$0D085D51-FD0B-4730-93E3-D1041FCD38FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67ee692620609131ec98e84d656ea45a681df322","datavalue":{"value":{"entity-type":"item","numeric-id":5271087,"id":"Q5271087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f91fba997595dd2e87c6169aba3202c988238f1d","datavalue":{"value":{"amount":"+0.8095301389694214","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":"Q675222$128B6A64-5E7C-48D5-A393-BDB10724AC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94703cd0d0d4fab6807f19db1d49b466b5d2c716","datavalue":{"value":{"entity-type":"item","numeric-id":5278187,"id":"Q5278187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76c65ee3370d4f2c48bfafc4fae6cc759e46b55e","datavalue":{"value":{"amount":"+0.7660686373710632","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":"Q675222$7DCAE63B-98E1-4C4A-93D2-359800210592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d99486e358cb34c1ebd718d36e1e1028854dcf68","datavalue":{"value":{"entity-type":"item","numeric-id":1351952,"id":"Q1351952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38ba5a3a37234574eadf3f1b1d5ea1f70ecff6bf","datavalue":{"value":{"amount":"+0.7595100402832031","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":"Q675222$5853C7BA-D3DD-4091-A043-0CF9405134D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing the rabin index of a regular language of infinite words","badges":[]}}}}}