{"entities":{"Q1064076":{"pageid":1074828,"ns":120,"title":"Item:Q1064076","lastrevid":67040457,"modified":"2026-04-12T14:30:08Z","type":"item","id":"Q1064076","labels":{"en":{"language":"en","value":"Towards a formal proof system for \\(\\omega\\)-rational expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3919853"}},"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":"Q1064076$6A150B14-4EAD-488E-8939-87E90C76C74D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26bed17183fbaf426334458aaf38517cfe91014c","datavalue":{"value":{"text":"Towards a formal proof system for \\(\\omega\\)-rational expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1064076$DC61854E-7179-40B8-B45A-45F67B3DDEA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d8caa38ed8d3f0257ef3b1e844288864b49f37f","datavalue":{"value":"0575.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$6EDF1B24-8D2A-4C72-BD73-7F4DAA3E2B20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f54f6110ff58ada08d82b5e0c95a8400b4b443e6","datavalue":{"value":"10.1016/0020-0190(84)90079-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$02988074-E06A-40D8-BB55-E8C0BC6542FC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"83acb26c132edffe3503227fdedd09777c685939","datavalue":{"value":{"entity-type":"item","numeric-id":1060191,"id":"Q1060191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$56C955AD-5B54-4ABA-859D-465618AC0622","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$20DF3BC7-9E52-4159-91F9-DB0E6417D5E0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1064076$5E8D855C-6A47-413E-9767-6B29CB8A22C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ae6f534274695dd74ff0d51ad02355825189046","datavalue":{"value":"The authors aim to give a formal proof system for infinitary rational languages. Within a previous paper: ''A formal proof system for infinitary rational languages'' [INRIA Report 218 (1983)], the authors provide the whole formal proof system. They adopted a strategy consisting of two steps: the first is to restate the questions concerning the equality and the emptiness of the intersection of two infinitary languages in terms of some related finitary rational languages, and the second is to axiomatize the involved properties of finitary rational languages. The present paper contains only the first step.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064076$420685FD-6309-4E84-919B-82E8BECF30D4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f8adba7412db86d1b82f197f3acdb521456c3ee1","datavalue":{"value":{"entity-type":"item","numeric-id":800096,"id":"Q800096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$69BC9AF4-4439-44E2-8D36-5DD4083D71BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$5E8618FE-8B5D-4287-AA84-2F96159784AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$15F22121-3849-42A1-BA65-37F8D8F8DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$03D480FD-7D07-408A-9185-CB842F48F3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$3E5A69E3-EA5D-407D-B061-76D37C9E66E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"033656bd1ebbf351ae43d455519f6f6cf6d56a3c","datavalue":{"value":"3919853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$573CB3EC-3815-4450-8C58-EE4A25DDE5AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4e6f46747c286b7f72e4beb5b772af1c2f6cc7","datavalue":{"value":"omega-rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064076$6D138937-282B-4ECD-8E15-7BE631E35DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71d53c8625d2fc2302ad9b0d873e7f0b4054d2a0","datavalue":{"value":"equality testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064076$B44670E2-577E-47EB-B66E-DB2510B78F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52df7a2ee31190cda0a1a6d342a57673b1e2eb54","datavalue":{"value":"infinitary rational languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1064076$2229234D-9B28-49B8-93A4-D4BADB5D2D76","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":"Q1064076$F46C4D05-A574-4400-B2F9-DF714A149EEE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba99df0d67a4a2e3a40c3ed4ed50329aa6472e08","datavalue":{"value":"https://doi.org/10.1016/0020-0190(84)90079-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1064076$55C61399-59B4-42CD-AB51-71341A02B022","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1a11812411bd46a493757bbad69d352ccb8e8ae4","datavalue":{"value":"W2093462809","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1064076$21B9D6C8-E9C1-4052-B09C-8D416E3A9239","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cac2367f2bc84a0ef4268665ad04f3301a81090","datavalue":{"value":{"entity-type":"item","numeric-id":3325067,"id":"Q3325067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$0E203C1E-B95B-474B-92FB-1E9EA6947E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbf4dae9a78ba0faf4348899879d3cffee2a4636","datavalue":{"value":{"entity-type":"item","numeric-id":5618355,"id":"Q5618355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$90551C1C-30B3-4CB8-B412-DB63487E9605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c35a1a80c0da3d3f61672040176573b0342fc7b3","datavalue":{"value":{"entity-type":"item","numeric-id":3667927,"id":"Q3667927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$43C8EDCE-0346-495A-BA93-C3198C93F33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4e6307291c0eaaafa1a707cff68f54ad510aef","datavalue":{"value":{"entity-type":"item","numeric-id":3694724,"id":"Q3694724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$7769769A-DE8D-4EDB-9A56-D5B8E5DE6B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$ACC0F264-D7A5-4C6E-AA43-74D58DF884C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc05c8251052835015cae86712b180ed9382b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1256313,"id":"Q1256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$FF10F7B3-631B-4005-8B92-7BF717338C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$9F78EC0D-659B-4CE6-A406-E3BB21C6B813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f45038ab8e4e4836ac8e04a5fbfcb672edc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5588675,"id":"Q5588675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1064076$D4B5345F-A2A6-4C7A-9FCD-0A8733C60763","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b434f8d4b9cff2d577c29c21901b9e9d78b4e5","datavalue":{"value":{"entity-type":"item","numeric-id":3694724,"id":"Q3694724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a328c7f7ee8662d0cc4a1ebd431288d739937cb","datavalue":{"value":{"amount":"+0.9311222","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":"Q1064076$6256BAB7-236F-4C23-950E-DA4849142092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e849409d2dc92d1a7de81ab11634c28f3d952d62","datavalue":{"value":{"entity-type":"item","numeric-id":1119627,"id":"Q1119627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e964be5d8814a63fa574817c8d920438060cd91","datavalue":{"value":{"amount":"+0.8836582","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":"Q1064076$B847374A-3A13-4104-9032-00A231304507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b870f34c48d979297d96b9261a66f73906bd80e","datavalue":{"value":{"entity-type":"item","numeric-id":2844813,"id":"Q2844813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4cb73017490ab0ef8ba2c65fcbc4711416f909","datavalue":{"value":{"amount":"+0.8790747","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":"Q1064076$9D4397E4-575E-40CE-8848-A0CCAE8B3D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f19e6e014291f8fe3438ec97e9e4949c888ddc","datavalue":{"value":{"entity-type":"item","numeric-id":4440827,"id":"Q4440827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed2459a91abedb59d32d0671f0e7d251764ae494","datavalue":{"value":{"amount":"+0.87471765","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":"Q1064076$B5DED073-B01F-4EDC-8A16-488578490634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2495d7da67d86fa51c4848f81bce2e0763fbd583","datavalue":{"value":{"entity-type":"item","numeric-id":3975175,"id":"Q3975175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99c26cdfd5573181be1bf90f397a986aab690142","datavalue":{"value":{"amount":"+0.86817443","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":"Q1064076$143E7B31-68E0-4BCD-8D4E-ECF3B1620F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42f94021b8390bd794d54b93d5bd77a333b1a344","datavalue":{"value":{"entity-type":"item","numeric-id":1337603,"id":"Q1337603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1facb06fa0f96ebc84e03250b8c0625aca6f9cf2","datavalue":{"value":{"amount":"+0.8670394","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":"Q1064076$55C74311-CC34-41F9-968B-180361F19780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705e116050a0b7d8bac2dd51199a018f56175755","datavalue":{"value":{"entity-type":"item","numeric-id":1375747,"id":"Q1375747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"385b36ae66d53ab0a50841df29230dde3f154e2d","datavalue":{"value":{"amount":"+0.8579506","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":"Q1064076$CFE83298-18DA-4CCE-A092-A749EFB7A841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15228657d37a97a642337cdf95beff22b06dcd3b","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd266d15fc19031685e10d08c0b0438c280c52e","datavalue":{"value":{"amount":"+0.85641694","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":"Q1064076$CA463B3D-F96D-446A-9827-AFAC3A76CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703adb724ab299360fb30806591e423fa43d4d8d","datavalue":{"value":{"entity-type":"item","numeric-id":5111195,"id":"Q5111195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dc42ab10bc3e4b20031557546c36ecf806daca7","datavalue":{"value":{"amount":"+0.85425246","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":"Q1064076$9045932B-77A1-423C-B2DA-22291A95F322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"089e8f7dde8ddc1ba8b3337a9b1e8195c4af75c8","datavalue":{"value":{"entity-type":"item","numeric-id":5434510,"id":"Q5434510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d56bd466d574dc8e04887283bd33db3e6b5b056","datavalue":{"value":{"amount":"+0.85252273","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":"Q1064076$3BD2639D-F671-4E01-9FC3-030DE9129F97","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards a formal proof system for \\(\\omega\\)-rational expressions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_a_formal_proof_system_for_%5C(%5Comega%5C)-rational_expressions"}}}}}