{"entities":{"Q1183589":{"pageid":1194338,"ns":120,"title":"Item:Q1183589","lastrevid":70204959,"modified":"2026-04-13T13:09:11Z","type":"item","id":"Q1183589","labels":{"en":{"language":"en","value":"Algorithms for determining relative inclusion star height and inclusion star height"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33407"}},"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":"Q1183589$33B52E7F-053D-4675-A440-248651D05018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"324a7dcfc835af089931c0c6ebe40d2eca72122a","datavalue":{"value":{"text":"Algorithms for determining relative inclusion star height and inclusion star height","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183589$955A23B8-35B0-4A04-B1D6-F967B76F0347","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5fa02488e355af838a1de80c6ef4d1ce3d16bf1","datavalue":{"value":"0755.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183589$E3377BB9-2901-4BDC-A43E-7808E2667368","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ee256da7465ae51d6d226c017a584aed7183ee8","datavalue":{"value":"10.1016/0304-3975(91)90269-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183589$54DB7A7E-ABFE-40F8-A0AB-7419FA89A716","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d09bfc325e139ec71aad77822c04fab70aefa08","datavalue":{"value":{"entity-type":"item","numeric-id":808717,"id":"Q808717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$47FF0BD2-36D1-4D76-BE24-55A455C66E64","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":"Q1183589$34E8A8A3-C887-4448-AEB4-3B6F1516677C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183589$C8398177-00DB-4DA4-A6E5-8C152341DC74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"db42ee270b6ac444574e2d524eb7dc8eb0721d7b","datavalue":{"value":"The notion of relative star height of regular languages was introduced by the author [Inf. Comput. 78, 2, 124-169 (1988; Zbl 0668.68081)]. He also showed the existence of an algorithm for determining relative star height, which solves, as a special case, the star height problem for regular languages. The present paper is a continuation of the earlier work, and introduces the notion of inclusion star height and relative inclusion star height, and shows the existence of an algorithm for determining relative inclusion star height. This implies, as a special case, the existence of an algorithm for determining inclusion star height of given regular languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183589$6E1824A3-2486-49AA-A751-74F5B1F30B53","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a9fe589b6a50c4cc9da51bba6b47c6e6be0f84d4","datavalue":{"value":{"entity-type":"item","numeric-id":1171886,"id":"Q1171886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$E8C45EA7-654C-4A03-8C3C-8649AE153174","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183589$2C936383-63D2-4F18-908A-3F2B9DBB1E0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b87d9436f7940d9d96b6436860613d0ecb3bc417","datavalue":{"value":"33407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183589$ADCBE9E6-3965-4903-8840-0C10E1EEFB7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75fe26778afa927493499b50f0c6e240cecbfb62","datavalue":{"value":"relative star height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183589$9E8A40BB-D7B0-4FEB-B2E8-F40ECA3753B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b1bd3a09c5eb4c9c7a31a4dfc6a027e48a11d7a","datavalue":{"value":"star height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183589$E7734AFB-52C9-410D-B125-5B3486F0E52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e27d4b13375b2a1a332558634fb29995876c050e","datavalue":{"value":"relative inclusion star height","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183589$032C6C04-C46A-4689-897E-78CC8A0AD131","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":"Q1183589$A7350D50-1DA7-4445-BF83-56A19CD95311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df49ad4b59e55a8ca79f984c7fdbc7929f4f8319","datavalue":{"value":"https://doi.org/10.1016/0304-3975(91)90269-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183589$B19F25D0-C41C-4E52-9390-FC8F172110D8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dca4bcc304db7f7a1bc17121b17fb4334514e025","datavalue":{"value":"W2092604732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183589$3F5F99D0-48ED-45C6-A4D2-54C0D4E66F6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"277dffc5bf84bae13d0225808374b37e4cec9f65","datavalue":{"value":{"entity-type":"item","numeric-id":760212,"id":"Q760212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$6214ECB5-11B8-4282-A7AC-1761FFEC4F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0bbf3a7a712378cf892898f2c61acc63f13de0","datavalue":{"value":{"entity-type":"item","numeric-id":5544298,"id":"Q5544298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$C378A1DC-7B88-4069-8460-E6C3E3E6D526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1501f28144a73bd4bf177a87e0faba1c238eb1af","datavalue":{"value":{"entity-type":"item","numeric-id":2555472,"id":"Q2555472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$940F936B-101E-4C16-A088-43F6CBAD6AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c92005eb76d0c59f02e889b76cd47e57f2e52d2e","datavalue":{"value":{"entity-type":"item","numeric-id":5623619,"id":"Q5623619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$FD3EA902-640D-41D7-9D7E-10F8D07C6854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"784c1e191df9cf625478495cc0ea12a30e2e5b9c","datavalue":{"value":{"entity-type":"item","numeric-id":2555471,"id":"Q2555471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$A0B7D4D8-DAFB-4407-B348-FA5BDF2C2C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcd84f8efb2ef2168afd29ef72a6a5daf9a55cf","datavalue":{"value":{"entity-type":"item","numeric-id":5609399,"id":"Q5609399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$0B42AE06-36FC-40AF-8BCD-7F68149408AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc18d91dfbadafffb926bcea387bf2c2268f53f","datavalue":{"value":{"entity-type":"item","numeric-id":2531871,"id":"Q2531871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$00BCB537-8B87-4A71-8980-60241D875EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7561d63cc1ed975cf5fbe56193dbf7616e1f47f0","datavalue":{"value":{"entity-type":"item","numeric-id":1132636,"id":"Q1132636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$2EC4840A-0B1F-4DEE-B9F1-5AF83B2256A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45c55685aeb3eee476841187e535c18086c49af","datavalue":{"value":{"entity-type":"item","numeric-id":1050772,"id":"Q1050772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$1A19CCBE-258E-480F-9261-90EF9BE18D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c169753fab75a1298e5cdb50a7da3fd23896c8a2","datavalue":{"value":{"entity-type":"item","numeric-id":3339308,"id":"Q3339308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$0449ECA1-A03A-4136-BDF1-F10FE755472C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e81175c00e72f9b59073a1a05834cb48effe32a1","datavalue":{"value":{"entity-type":"item","numeric-id":1052828,"id":"Q1052828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$B14A24C9-5F17-4BD3-B1A8-BD6C109B4BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a4061650e279890b4b5973c9e523511622605e","datavalue":{"value":{"entity-type":"item","numeric-id":908702,"id":"Q908702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$3E716D5B-A401-42BE-94AE-2BB784CD08C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e771f9d0ae93390472a77d30eacf2cd3712d708","datavalue":{"value":{"entity-type":"item","numeric-id":1118420,"id":"Q1118420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$C0AE9533-8ED9-4BEC-8204-B8F27EB6B645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c079daa2afef3ebb62ee14c4d2f40cd4677747a","datavalue":{"value":{"entity-type":"item","numeric-id":4090268,"id":"Q4090268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$2983EE91-B36C-40F8-901F-CB7347FF2AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1aa8793a8f2dcf649ddfa0bc18a274dd164b9e0","datavalue":{"value":{"entity-type":"item","numeric-id":4192987,"id":"Q4192987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$93730F94-8AB1-4F50-A897-109CF174C56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e41955d449b79927f4e6ff154b4ff1bb3de94ee","datavalue":{"value":{"entity-type":"item","numeric-id":4401426,"id":"Q4401426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$22183F43-FFCC-4300-B83F-5CD3FD305B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef049281a235577a601f59e0d5ff2f99ce76124","datavalue":{"value":{"entity-type":"item","numeric-id":5551181,"id":"Q5551181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$FDFD3DE4-2176-4AF3-8462-187DA10381C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5957211adc2d28ce78a15f85320bfb7030a784b","datavalue":{"value":{"entity-type":"item","numeric-id":3026370,"id":"Q3026370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183589$AE98A8F0-E500-43DC-A7B6-B5AC09A8FE28","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21a70150cc5852450c5b34ccd55d82f495a3498b","datavalue":{"value":{"entity-type":"item","numeric-id":1118420,"id":"Q1118420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cd94fc0f9e13972ba668a54fe17e01f9c12338","datavalue":{"value":{"amount":"+0.9138308763504028","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":"Q1183589$34D50FBF-3369-4A16-8931-94F64C4FF92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d79555f748394a1beeb35b7ab0c9de53955f721","datavalue":{"value":{"entity-type":"item","numeric-id":3359768,"id":"Q3359768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f25ce5bbd5c8c671c6a59fcc8449edb09f8d276","datavalue":{"value":{"amount":"+0.8913353681564331","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":"Q1183589$9B6744E1-D38B-4D32-B758-618482EC6658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf548d683675ab33048701d0b7997d124009ba0","datavalue":{"value":{"entity-type":"item","numeric-id":3067630,"id":"Q3067630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6681e0208eb578583e4dd279e9c0e1d931c72b06","datavalue":{"value":{"amount":"+0.8626101613044739","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":"Q1183589$C583FB11-7FAA-4AAF-A7F5-9E1749CD156C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542972047f16140625676e0193a93e2eeb32cdd7","datavalue":{"value":{"entity-type":"item","numeric-id":3088026,"id":"Q3088026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00a6c9e133e1be9ab26323955fa35e59eaa7b98a","datavalue":{"value":{"amount":"+0.8453395366668701","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":"Q1183589$E4EB6DC3-050F-4F85-A2F2-A3A7483117AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4322880033794ae987f841d9cd841ab04a2b33","datavalue":{"value":{"entity-type":"item","numeric-id":3339308,"id":"Q3339308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea65bbce044a30c636bba2d0be032c8a37e75dec","datavalue":{"value":{"amount":"+0.8168466091156006","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":"Q1183589$1A765BD7-B6E1-4B66-A308-F24DCE0FE813","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithms for determining relative inclusion star height and inclusion star height","badges":[]}}}}}