{"entities":{"Q1082091":{"pageid":1092843,"ns":120,"title":"Item:Q1082091","lastrevid":42864053,"modified":"2025-07-15T12:37:11Z","type":"item","id":"Q1082091","labels":{"en":{"language":"en","value":"The greatest fixed-points and rational omega-tree languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972222"}},"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":"Q1082091$F67732E3-9468-4AB2-8005-266B4AB833A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5c58ac71e7e496a95ded056b985087d66a7d64a6","datavalue":{"value":{"text":"The greatest fixed-points and rational omega-tree languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1082091$7A99F22D-288F-4A71-8B05-90783DA0540C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf4025db1debf88ed613a6f95b84f2f50db01702","datavalue":{"value":"0602.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082091$FDC42BF3-BCDA-4166-83ED-9B1622071DF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ebffcfa4895d7a44d7556fb91b00b6c7cb84f2f","datavalue":{"value":"10.1016/0304-3975(86)90123-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082091$746BF464-AFDD-4531-8205-52DDE7C63B5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eae9e9e2bcb0b4d1a7490122f456e3c72f7ac9b4","datavalue":{"value":{"entity-type":"item","numeric-id":800092,"id":"Q800092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$6C6F01C7-8C3A-4DC3-BF32-F0BCF0FD5F75","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":"Q1082091$62EDF36A-FE11-45DA-B62A-273B37D2F475","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1082091$DE14237D-65A6-4A87-BCDE-C686EF0DB9FC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54fea7f6ae2e6a25e6c8cc3d856eb050903f88b5","datavalue":{"value":"Rational omega-tree languages are defined by extending the notion of rational (or regular) expressions for languages, and their properties are investigated. They are characterized by means of greatest fixed-points of certain functions, and are shown to be precisely the omega-tree languages recognized by Rabin's ''special automata''. A simple normal form for rational omega-tree languages is also presented.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082091$F9E8BE52-589E-49E9-949A-85541F5044AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082091$7C942C8D-CFBA-4689-80C0-132A259FFBA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"291930062ebf7b9bbab0489aa869382780fc5445","datavalue":{"value":"3972222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082091$602F7F94-D3E8-40E6-9240-E3FBF7C3F6D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cd1a005429fa11da6e194d03b62a403ad927922","datavalue":{"value":"Rabin's ''special automata''","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082091$B49B00DD-A33A-414C-AAA8-E7E618BA6876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1082091$B3EFF979-66E9-41E7-BFD5-E2372FF4568A","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":"Q1082091$B12E9644-3558-4437-8014-9A1F6364262A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d782f77e4d7fb5aadff6f8cf923fc38180cb7bc","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90123-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1082091$DDF01D34-4D64-4487-BC32-942C8381415E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"043f47e1b0159d4791c5c25096f096b9649158fb","datavalue":{"value":"W2067751623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1082091$9B478081-21A8-498B-BC9A-E9B3337D4FC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$0A3EDA85-C593-43F2-AF8E-03DFAFE5B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de0c47aac54d255781a3e64af689d25e678b8dc","datavalue":{"value":{"entity-type":"item","numeric-id":1098322,"id":"Q1098322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$12379CFC-552E-4596-9BFF-9C4BA08BAA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2bf8ce9aac73bf50a8b75ec97283321f86bf552","datavalue":{"value":{"entity-type":"item","numeric-id":4168046,"id":"Q4168046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$9D1A2C44-D70E-4D83-ABC8-46A9B1A7F16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c2f03ddf184e0a48ae79021ba37eed12ad78ce","datavalue":{"value":{"entity-type":"item","numeric-id":3857704,"id":"Q3857704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$5FA2B434-7CC4-4232-B198-585F4C847759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aab5e826a06709df7744e462439cd582c8f15b4","datavalue":{"value":{"entity-type":"item","numeric-id":3823145,"id":"Q3823145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$4D41F1C2-2437-4597-8170-3FBD301867D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$3CEBA07B-00D3-41F6-893C-55051DAB5CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$D2AF9A14-3697-4CD5-8FF3-573DC5630060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300e1e7990d1f1904b1034a2731e332147efe257","datavalue":{"value":{"entity-type":"item","numeric-id":5616162,"id":"Q5616162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$DB4AC2DF-CAB9-413C-B389-1D34D0C41B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f24dde664dec592aaf2efc66afcadf834211d90","datavalue":{"value":{"entity-type":"item","numeric-id":4055589,"id":"Q4055589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$8BF558F6-A253-4C10-9069-3979C7AD0CC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3827186477a7d381cac7f7da7e9d4143139fcfe2","datavalue":{"value":{"entity-type":"item","numeric-id":1053464,"id":"Q1053464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$98612497-B523-478C-A83F-89B670841424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$180D067E-6A19-4630-9916-8EA1404CB783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$F95E2744-076A-4248-828B-EAC0836095AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7987c723bc87e61f5e6111bdbdc616bcc428be","datavalue":{"value":{"entity-type":"item","numeric-id":3953824,"id":"Q3953824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1082091$F001FA93-BD23-4C3F-B50A-E27694C66975","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5660be752c5b8358eaaa636d4f92bba3284c7f","datavalue":{"value":{"entity-type":"item","numeric-id":3753512,"id":"Q3753512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccbf0f18ad09aa7204b3303e7a9cb447ad3785f7","datavalue":{"value":{"amount":"+0.895689","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":"Q1082091$CD383CE9-4FB2-4052-9BCA-8062D1A1C91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59113fcbed1a11b4e3c784c1f076a74cc0ed73aa","datavalue":{"value":{"entity-type":"item","numeric-id":1066675,"id":"Q1066675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e03fbde82669ae723e053975b52e8ccc170c10","datavalue":{"value":{"amount":"+0.8884527","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":"Q1082091$F2122061-C3BE-41C6-9ADA-215CE8EE5CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af1de0b6705830a9f8d103da723692404cbea225","datavalue":{"value":{"entity-type":"item","numeric-id":1822509,"id":"Q1822509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9872ef5d82b6bfe65759eefeeab3fff7e7890f","datavalue":{"value":{"amount":"+0.88162804","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":"Q1082091$25410BAA-0032-4F7F-9982-2F326EE296EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26db43a7ee3f0f7d263490fc184fa4f63bcd2301","datavalue":{"value":{"entity-type":"item","numeric-id":671988,"id":"Q671988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d799aa5bbd43e336045893e8ccd3440a627ead9","datavalue":{"value":{"amount":"+0.8735113","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":"Q1082091$21D94481-5656-4011-81BD-2FC38DA2F330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdb8dffc9b44d3c5d3fa6c71cefa0e3a10be205c","datavalue":{"value":{"entity-type":"item","numeric-id":5485977,"id":"Q5485977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d69678b21062e5dcb48bda8849946bc7cfe35691","datavalue":{"value":{"amount":"+0.87249094","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":"Q1082091$8B9C02B6-9820-4DCE-949F-4B28EE076655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc488362e7f1c21d35fe0df0fa7b224a41a5aa15","datavalue":{"value":{"entity-type":"item","numeric-id":1095674,"id":"Q1095674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfb5043b42c442a1a4af0db2fb44af62ddf222b","datavalue":{"value":{"amount":"+0.8714137","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":"Q1082091$446FCD2F-8FE4-4B46-8865-FC3BC50CF172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f29a9038d2a9f3b93224b48a54f42ef282d8b0d9","datavalue":{"value":{"entity-type":"item","numeric-id":794179,"id":"Q794179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18482c053f6c9803f55b31d38c8cdbf88f19ff95","datavalue":{"value":{"amount":"+0.87008995","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":"Q1082091$748C397B-A4B2-493B-AA93-EFCDF328E22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e66518b10dedbf3e9692ab77947c8a72453c264","datavalue":{"value":{"entity-type":"item","numeric-id":1123638,"id":"Q1123638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0413df93b7308353535cfa314432321f02ce1ff","datavalue":{"value":{"amount":"+0.8699205","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":"Q1082091$C2CA7748-AF4D-4588-BC92-8BAB9381C91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5578f51d7b948ed4ace859038fe7467118f8bcf8","datavalue":{"value":{"entity-type":"item","numeric-id":4596616,"id":"Q4596616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48ed26eeffd4d3039757b7ad1f1bfad34b8dd5ee","datavalue":{"value":{"amount":"+0.8689997","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":"Q1082091$22BA70C3-7A6E-4FBC-BB3A-E99744D6D79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1568f639f0091a88505d44f5f6f7f13533c384","datavalue":{"value":{"entity-type":"item","numeric-id":673632,"id":"Q673632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f8f81d89afceb1c4dc0e7065c26e29e087a3bac","datavalue":{"value":{"amount":"+0.8688575","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":"Q1082091$2FB522EE-45B3-4DA4-9F14-B86308F8356B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1082091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1082091"}}}}}