{"entities":{"Q987808":{"pageid":989656,"ns":120,"title":"Item:Q987808","lastrevid":51057641,"modified":"2026-01-16T10:36:11Z","type":"item","id":"Q987808","labels":{"en":{"language":"en","value":"A note on the expressibility problem for modal logics and star-free regular expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5771250"}},"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":"Q987808$44E7A7E5-DB62-4EEA-BB32-89281598C7D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17f0f0c5905a5e7fb9b5286edc3a19af6556053b","datavalue":{"value":{"text":"A note on the expressibility problem for modal logics and star-free regular expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q987808$8188187C-D504-46CE-85CD-6D0B1306CC52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"867a51de97f6306c288c5955f75308cb270edc63","datavalue":{"value":"1197.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$F998A96A-4F6D-492E-8239-650E510F1EF2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$EEE6436D-384E-4886-B78B-D8C0FCC9EC65","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":"Q987808$C0766B4F-B276-4340-979D-A75D22889F34","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ab1a23b33b6c3db0ddd484ed90ac34e13f69d9a","datavalue":{"value":{"time":"+2010-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q987808$0BC12B61-8561-49C0-80BE-3480C396469F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$3F84FFB2-66A5-42B4-A90D-CD827DA092F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$620481E8-0282-44E0-88BF-4F255E511767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$5013A94B-049C-4B08-945B-DA74AD136B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$15B21949-032E-4435-86CC-6257B19E047D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58d5596cc40bd570dffc906b232de0e89da10c20","datavalue":{"value":"5771250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$81B2A1C5-CFD0-4B91-8407-87BFFEA9584C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c71ea0a54982ef351f7981d7952b275f5753d5","datavalue":{"value":"expressibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q987808$1A2AB891-0219-4FF8-BE77-8C0F0EAF8B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q987808$790222C8-074B-48AD-8BD9-235F28CB47AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q987808$74F8A3D3-990B-4092-8C72-C7A96BAD7FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f93952de4082e68b559e96491b3daf67240302","datavalue":{"value":"star-free expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q987808$E899EFCF-A1E0-447B-9096-AABE4EBEED98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q987808$4839EDEC-FFE6-4285-9065-0E2FC6ED82D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q987808$20E511EE-BE1C-4EE2-B4EF-6ADAD9EB61B4","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":"Q987808$E2E70408-FB98-4642-9097-DAE1871CAFB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3614470fdee762378da46d2047406e694f48c377","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.01.012","type":"string"},"datatype":"url"},"type":"statement","id":"Q987808$E30C5941-5BDF-4622-AF6D-15E717E629E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d4083b2ef81f04dd3058c2057d378593d8f0a22","datavalue":{"value":"W1965837810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$B915D50A-4453-4995-8547-4FCD785356BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5549384f00be91893704f9c60426177f4bd66f7","datavalue":{"value":{"entity-type":"item","numeric-id":4507355,"id":"Q4507355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$0954A7D0-7121-4733-9254-9E11FC883D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26e339bad0c64d0a3b84e49b5e5c70c87e1ffc88","datavalue":{"value":{"entity-type":"item","numeric-id":696951,"id":"Q696951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$3C91D890-53E8-4182-AE2F-C28C89C989BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$636BCDEF-0488-45BB-BD8C-79C12D45FDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$93ED51C3-4D56-469E-83DB-E9DBBA2BAD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$EE580729-BBDF-4207-87FA-7B07F5FC106E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe605980bca344a6eaae0bbd18545de4b9a3b22","datavalue":{"value":{"entity-type":"item","numeric-id":3329437,"id":"Q3329437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$CAC3EC86-75E9-4D49-9312-F2C11ECD25D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed03fbfa5144b5e76de3e22b973a9f6913af6b65","datavalue":{"value":{"entity-type":"item","numeric-id":3155802,"id":"Q3155802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$7F69D35F-5995-4509-BD85-6B6BA690AB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39390db9a31789d322f6c191be94cd916b6f4aaf","datavalue":{"value":{"entity-type":"item","numeric-id":3378957,"id":"Q3378957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$E910E313-F842-47BA-8E67-B0CDD9BCD011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdb5fe976c9a1bae60d8dddd77f23703bd9693e8","datavalue":{"value":{"entity-type":"item","numeric-id":2272200,"id":"Q2272200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q987808$C56A4D0D-9A0C-46B3-BD7C-7C52CE09A4C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"330460f373d5e07ddc8dd19619826b2e17a3ccfa","datavalue":{"value":"10.1016/J.IPL.2009.01.012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q987808$5F0A083B-EDEC-42ED-BE37-D80DB837015E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"972f7cc27ac704a772eea497bfb1d81aba159f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4383462,"id":"Q4383462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b4642311f8f9cd52bfaba555af42ac7a440ab9","datavalue":{"value":{"amount":"+0.7644587159156799","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":"Q987808$BE378F9C-90A5-4616-846B-9CEB7816DA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"047202cae61ed0cf4ba2cd1e7950698aa42d0b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3491520,"id":"Q3491520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c1a6dab5325b2462ee65517fb1590667ced8f4a","datavalue":{"value":{"amount":"+0.7640725374221802","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":"Q987808$C60138D3-6D2F-4B01-9711-FF79CB4CFDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff1560088a5306487dc496aeaff2c54e80ff7093","datavalue":{"value":{"entity-type":"item","numeric-id":1575940,"id":"Q1575940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19884232c077c00b373c83e86ce541e398e8fc55","datavalue":{"value":{"amount":"+0.7613930702209473","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":"Q987808$AA9A47B0-DC20-416B-86BD-4FE07F85152D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99365dc4fbffc9094bfbe8727777bdd4e3241342","datavalue":{"value":{"entity-type":"item","numeric-id":3378957,"id":"Q3378957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19884232c077c00b373c83e86ce541e398e8fc55","datavalue":{"value":{"amount":"+0.7613930702209473","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":"Q987808$CC9AF345-817C-4341-A939-DBD1DCC8EE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb529d011f0c66e0211883fb24787434afed46b7","datavalue":{"value":{"entity-type":"item","numeric-id":3329437,"id":"Q3329437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30fefb2625800225d1bab43efda80f0b0efbeb77","datavalue":{"value":{"amount":"+0.7451335787773132","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":"Q987808$B7D4CD85-580F-44E5-8BB7-B73EB9483157","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:987808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:987808"}}}}}