{"entities":{"Q5384434":{"pageid":7414008,"ns":120,"title":"Item:Q5384434","lastrevid":96224489,"modified":"2026-06-05T10:43:24Z","type":"item","id":"Q5384434","labels":{"en":{"language":"en","value":"Descriptional complexity of the forever operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7072173"}},"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":"Q5384434$67DBCD2C-CB3F-4691-B211-8A17C427CA4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5518a6c0c8ac9d3c06bf54b6419be9b138d525ab","datavalue":{"value":{"text":"Descriptional Complexity of the Forever Operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5384434$12CFB695-892A-425A-A6B2-462BAD046EFE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03d233f0cbde9d624cc07cda786cdd5cb0525f1","datavalue":{"value":"1415.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384434$B9155451-778B-4DCA-B3F5-F5FBC4B770A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"afae76c3219532085a0587faca7e5e97f6575c21","datavalue":{"value":"10.1142/S0129054119400069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384434$C5F4C4F6-CED4-4059-B03A-AE5CAF267A60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed4e9a3ccb867fb213c5ce8e8a9263280fb0a315","datavalue":{"value":{"entity-type":"item","numeric-id":1616973,"id":"Q1616973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$FA3C0E27-8D08-495B-B671-00AEFBA35C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c7c5967ae26e9b631724c0e0067976453948e02","datavalue":{"value":{"entity-type":"item","numeric-id":443741,"id":"Q443741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$C1714CA2-C2CA-4759-B9A6-4575EEB02508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3cf3a8f719a16960b8b0bea39408c5a17552fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2112185,"id":"Q2112185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$F63C7CE4-0915-42BA-88D2-3EFC3962027E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$1FB5421E-7402-4D48-9896-DDECBDC945F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b038ab3d812bc338c16538e2f01ef9ff79db1970","datavalue":{"value":{"time":"+2019-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384434$C05CED5C-1A1E-4EE4-94AC-CC56C918C2BD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384434$0548D677-E6FA-4AF7-9C8D-4920E4B9F950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd2798aef2a2f39e2bca9f471e58247210e18141","datavalue":{"value":"7072173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384434$4FBD4576-8E25-45F4-A245-23FFB0F0CF89","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$C5AB216E-3E3F-4683-B4A0-EB6A41CABD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d15d4d1c932002e4df509f369e19dcc520236b","datavalue":{"value":"forever operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$F88AFD9D-CF27-4221-A4A2-5817BDB502AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$EFE37E46-6F4C-4FE3-B3E6-86FD28097525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6abde220793268065a5dcbf29c614de31957d669","datavalue":{"value":"nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$F31058BC-C1AB-44C2-A351-4B5A2246D7A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1a8a3bd691f25c751986f7efff3496604d91e1f","datavalue":{"value":"Boolean automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$4412D912-D982-48B9-A539-D36EA3937A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b652dfdd2be497b8baa5a4b0d7ab237adb2d7c52","datavalue":{"value":"minimal automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$926A5397-8A05-484B-8E4D-513EE9266CEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45bbcd71f19875513691d983e9af7a563ccd1ce7","datavalue":{"value":"trade-off","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384434$05E5EB0F-1A45-449E-8B82-2AFA6A8A4018","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":"Q5384434$2F8D354A-F7C9-430C-93EF-0FA8A8C4F37A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47cebc04b7eb71cacd961bf04ae46d43cff618b","datavalue":{"value":{"entity-type":"item","numeric-id":1199879,"id":"Q1199879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$41A98BE3-FC8E-401E-AC0A-2CF3758B0662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a495650446a1c7ce1a332fcd70539b341b56e0e","datavalue":{"value":{"entity-type":"item","numeric-id":2423779,"id":"Q2423779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$9A9A680F-6031-48FA-8764-C41C0C179F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde72294f9f87329d9d2f379a8b4fd31501f7561","datavalue":{"value":{"entity-type":"item","numeric-id":2829972,"id":"Q2829972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$8CFDFA03-4065-489F-A1FC-11E9306E69BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5533d056fe8b5f03876ad0811b874f1e1fe1c396","datavalue":{"value":{"entity-type":"item","numeric-id":600253,"id":"Q600253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$28FFD1EC-80D5-430A-9B24-F3C1A42B8B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"541bdb3584bf37c4e8fce40fdddd3928343a6b73","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$89DD4F8D-612E-4DB1-AC46-69D2B65F32F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba0b3a24ba5221ac6373408024df26588e70119","datavalue":{"value":{"entity-type":"item","numeric-id":3477972,"id":"Q3477972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$20AAAE15-AB52-4062-ACDA-3F586A2C0EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21903b6014864aa4aeb9312cb0a70a134ad47f05","datavalue":{"value":{"entity-type":"item","numeric-id":4590910,"id":"Q4590910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$1A3A35EF-A691-4046-AEAE-94272C978CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f6b3962d0b7810403b7eee71ced0a053db5765","datavalue":{"value":{"entity-type":"item","numeric-id":671381,"id":"Q671381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$87AAF5C1-4618-47F4-B5C0-3434F5D7D1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08736a159dc9a32543f11c4de5e11fab3f8da0e","datavalue":{"value":{"entity-type":"item","numeric-id":2907501,"id":"Q2907501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$E9F539B2-2CBA-4D16-8807-BF0BB10586F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899cecbbc44a042a21e531c43a22bd6af743a33f","datavalue":{"value":{"entity-type":"item","numeric-id":2909101,"id":"Q2909101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$5EE87583-12EE-4032-8853-DDBDDAA22EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5998689ab44651e98658e9c5576f460285f482fc","datavalue":{"value":{"entity-type":"item","numeric-id":553320,"id":"Q553320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$74685F95-5FCF-412C-867B-BB1379329753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148d1dc8b8ba6a0d973fcd1bdb81eb794f530e1b","datavalue":{"value":{"entity-type":"item","numeric-id":5492888,"id":"Q5492888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$E79E3735-42E9-4E09-97A3-5AA6669F7D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc7e4c4c2074757c9618c20d8f480539d7172f07","datavalue":{"value":{"entity-type":"item","numeric-id":4083667,"id":"Q4083667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$C5BA1054-A5E8-4627-A499-9FFFB21BF461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735238b3e7c7f03ab1fec1b4302c31439ded9b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5554980,"id":"Q5554980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$E2A4F13D-6287-46EB-A6AB-C02616AD98C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c745de6da02d2b989411ace16a713d0d8c986929","datavalue":{"value":{"entity-type":"item","numeric-id":5628039,"id":"Q5628039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$B6F9BA5C-5DE0-4555-B8DF-22C2BED252FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71af02a11f0cbe069e4ea9beb45ae622432bd444","datavalue":{"value":{"entity-type":"item","numeric-id":5638224,"id":"Q5638224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$998F5680-3220-428A-A11C-1A93FBC59DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8107b480decc678c92b78dee11f4a9915c90692b","datavalue":{"value":{"entity-type":"item","numeric-id":5541339,"id":"Q5541339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$88AEE141-4C8A-46CE-A473-2ECCB8152598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea79bf0b8998e59df4aaa18289fafa2fe7f354f5","datavalue":{"value":{"entity-type":"item","numeric-id":3392275,"id":"Q3392275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$5B307D79-A98F-4B02-8DA6-DF977945CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7a64c5e0b7f38338dbf0b8f85f8938558c1406","datavalue":{"value":{"entity-type":"item","numeric-id":5586363,"id":"Q5586363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$99C29AD9-2316-494A-BB60-E20D881A997C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd892181c3e615e393cab5bfa821f8fa2f710cad","datavalue":{"value":{"entity-type":"item","numeric-id":1318694,"id":"Q1318694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384434$B3112644-C82F-4BAE-9ED4-473F29E71058","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc1978f2c772d8666a371f45ecb913067ef96263","datavalue":{"value":"https://doi.org/10.1142/s0129054119400069","type":"string"},"datatype":"url"},"type":"statement","id":"Q5384434$50AA68DE-8222-4B97-A965-A7A661D377A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"84651b2537b5644e503d5881a78419a2fa574e19","datavalue":{"value":"W2920638727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384434$2B83F602-D705-4032-81DE-CA1F9A2AFC53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d88724a4e0beef3a695ef1459d1c015c15a5622","datavalue":{"value":{"entity-type":"item","numeric-id":2408805,"id":"Q2408805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc71a9fb58e6e54fb756d62ab6d32604e3cf93cd","datavalue":{"value":{"amount":"+0.880446195602417","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":"Q5384434$592064C0-3353-4D47-989E-3DC163F793BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"558a6c527816492b2138d8b4c25c244d6c728910","datavalue":{"value":{"entity-type":"item","numeric-id":5696955,"id":"Q5696955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d6070ae469c26af06c392aa8e0efae206a8a1f","datavalue":{"value":{"amount":"+0.8133443593978882","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":"Q5384434$EC4D32A3-FC3D-4100-8C5B-30EBCBD7A077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f36a5fb6986212d8f24ee7654c43fab17bf10e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2179337,"id":"Q2179337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42af8541b419fbb4a4b17190ac40a596f63ae846","datavalue":{"value":{"amount":"+0.774922251701355","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":"Q5384434$C9DD8600-C4F3-44E4-9CC1-5D5FF1524A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75edbdbc506268755f076b73c0e757d89cca0ba6","datavalue":{"value":{"entity-type":"item","numeric-id":5175897,"id":"Q5175897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60455f170d653eb2074c30921749165b87fffd84","datavalue":{"value":{"amount":"+0.7730602025985718","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":"Q5384434$17173F00-0138-489B-94E5-515923CFAC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3734645a4b3757df4561170333c831637729b6b1","datavalue":{"value":{"entity-type":"item","numeric-id":5178448,"id":"Q5178448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee78740d8b1e82c69d4de8ce027392a56ea62b8b","datavalue":{"value":{"amount":"+0.7701439261436462","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":"Q5384434$256B8758-D62D-4D9F-8379-2FD7AD5C97F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Descriptional complexity of the forever operator","badges":[]}}}}}