{"entities":{"Q2215841":{"pageid":2226584,"ns":120,"title":"Item:Q2215841","lastrevid":53889626,"modified":"2026-01-25T21:34:13Z","type":"item","id":"Q2215841","labels":{"en":{"language":"en","value":"From LP formulas of the form \\(F(t)\\) to \\(-\\omega \\)-regular expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7285400"}},"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":"Q2215841$D3935FCF-7374-48AA-89B7-1535091415D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e24133b353c213f969520295a5cfda51e7aa78d","datavalue":{"value":{"text":"From LP formulas of the form \\(F(t)\\) to \\(-\\omega \\)-regular expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2215841$194B7B8B-8432-4B17-BF47-5EB9F1C3504E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cada259761ab71f1110fc996981a4e63021e8f46","datavalue":{"value":"1477.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215841$D4AA7148-97BD-4BB9-B1F2-1B3054896F20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$8EBE37B9-131D-4C3B-AAB2-A75440EE20A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c20a4c36a7fcb7496648edd7b1f2c80441e1493b","datavalue":{"value":{"time":"+2020-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2215841$149F34FD-A959-4E78-B79B-0B1894A7ADF8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215841$358DC2C7-C6A5-4F87-B756-90005B5FDFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215841$DC724731-C79D-4E81-8560-B21F3895D6AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99c771d158f4b12045b5709675efffb555609490","datavalue":{"value":"7285400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215841$4901CCCF-223C-498A-96D9-A047ED2F500D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7aae743ff3fdaf7079c881ec36819eefcb53155","datavalue":{"value":"logic LP","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215841$09B3FED5-F861-48FD-BEE0-15E17E841BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aaff3931ae2cf72f8197a85e799d3d1a26eba63","datavalue":{"value":"left-infinite word","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215841$2DD1320C-5493-495C-8C85-3E6702A327B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eac64dedab8ae0a8c333f29f8129e0db0afaee0","datavalue":{"value":"right-bounded formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215841$6D6D0158-B007-46D1-8295-AFD18E599131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d05c71b3088e47b36e7e7d04103365aebf3a08a","datavalue":{"value":"\\(-\\omega \\)-regular expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215841$329CAF08-31E3-400B-A57A-7662A5B32EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4da8342532d1f11700b6c5871dfb13296cbf39e8","datavalue":{"value":"prefix-closed set of left-infinite words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2215841$DE6382E5-D495-4649-88A4-2E04D6A98F25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b856f185edb2a579a72c40fa0c8e1f739df71b9","datavalue":{"value":{"entity-type":"item","numeric-id":1127547,"id":"Q1127547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$E4E8B376-91DA-4C50-A85F-4FECE10F8812","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":"Q2215841$C8B07D02-AC3C-4495-9D02-B1E2B343AD56","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4b71281710292f57e1f5ebce6c52cb9467a1f7d","datavalue":{"value":"https://doi.org/10.1007/s10559-020-00286-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2215841$592D5E09-C3C3-4D20-A7C8-8F7C1260BB5E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52797a6ee63a12371961e302e534d642da79a2c1","datavalue":{"value":"W3090925833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215841$B644C0CD-E8A1-45CC-9062-C96B6AAD8F51","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"473fef64e318644ebcb38705edd87d3998952cda","datavalue":{"value":{"entity-type":"item","numeric-id":1616245,"id":"Q1616245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$EC0E1FF5-3107-463F-86D2-48F5744144A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a97f3bf299c0728ec10d203fc9ca00db63dedf7d","datavalue":{"value":{"entity-type":"item","numeric-id":2287411,"id":"Q2287411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$EF1620B2-2D6A-4EAD-8DAD-0B7348135382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a15cdb95dd7ddcfa67e5dc2559ce2629e10a355","datavalue":{"value":{"entity-type":"item","numeric-id":1395897,"id":"Q1395897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$4EDE04CF-76C1-4FF7-9495-FA19A2738983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d444e4e792f32ef2d7c34f2f25e672c2051356b","datavalue":{"value":{"entity-type":"item","numeric-id":731330,"id":"Q731330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$D567EF5D-BEEC-41E4-8BEF-B305CDA6FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969ebef599760463c9d7f88e35a5bc4427a80a60","datavalue":{"value":{"entity-type":"item","numeric-id":805240,"id":"Q805240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2215841$17120A05-2C65-4393-9E11-72A1719281EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7527ba4bb2f81aff1f7079a6a668a3d7a241e9c4","datavalue":{"value":"10.1007/S10559-020-00286-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2215841$A58FAA0D-A22B-4059-97E3-8ECD88F42922","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d4b1e86637c5c86900ae23da31def7ad8b417be","datavalue":{"value":{"entity-type":"item","numeric-id":1616245,"id":"Q1616245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09388c26368793fad0505b60f9863e1edca186d4","datavalue":{"value":{"amount":"+0.7921739816665649","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":"Q2215841$D2DB88AF-3F56-44A3-9B93-6DAF0328B5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"deb909634ea76a70bde1545ecb531165665460cb","datavalue":{"value":{"entity-type":"item","numeric-id":681718,"id":"Q681718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9dc8101fbb9a5994f7f6f96afe8f279f920547","datavalue":{"value":{"amount":"+0.7744745016098022","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":"Q2215841$2EAA6655-2BB5-41B0-8BAD-C5418730959D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d4d761e916559290cf9c477590f6214bdd0647","datavalue":{"value":{"entity-type":"item","numeric-id":1385765,"id":"Q1385765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abee0a1b9216c39cb76b67a8c1023270f28896b2","datavalue":{"value":{"amount":"+0.7571107149124146","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":"Q2215841$613C21D1-759F-4013-89F3-A6FD68AB4B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"565121846bdb8ab0c39285c4d4e61e7107bab56c","datavalue":{"value":{"entity-type":"item","numeric-id":800737,"id":"Q800737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abee0a1b9216c39cb76b67a8c1023270f28896b2","datavalue":{"value":{"amount":"+0.7571107149124146","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":"Q2215841$9D2DC927-7501-47A0-BB5A-6507CE259DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813f411c3246b0cc092b0fb2988d49865ca688ca","datavalue":{"value":{"entity-type":"item","numeric-id":2058685,"id":"Q2058685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e88e9aae9b04404891b997c891e71b15140d3d","datavalue":{"value":{"amount":"+0.7476298809051514","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":"Q2215841$B45133A6-B77B-4A32-8072-89AC285B8F31","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2215841","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2215841"}}}}}