{"entities":{"Q3752371":{"pageid":5782277,"ns":120,"title":"Item:Q3752371","lastrevid":51739880,"modified":"2026-01-19T18:52:48Z","type":"item","id":"Q3752371","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3989329"}},"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":"Q3752371$619CA260-8CE5-418A-99C0-6C584200A8AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"295102274584d32bf224c3f4489bb81237c6e0d9","datavalue":{"value":"0612.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752371$F75AEACF-4983-4148-9ED1-6415E5A32882","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"42b8368f24265b0f90c1cb4219fbf585be5cccff","datavalue":{"value":{"entity-type":"item","numeric-id":1327864,"id":"Q1327864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3752371$BCD83242-B45A-412E-8100-084FA9906E32","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3752371$F51CBC7E-C535-4763-B1BE-8F333609B964","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752371$9A907D13-A0B2-4A82-BC34-E904D1AA174A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752371$B83B5787-AC57-4F3B-AB64-461FCF5FAFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752371$85D54AFA-04BD-48A9-847D-5CA434E620CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752371$71BD43AF-2CD6-416F-BE26-39E9D21F1EC0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94013a74e755fca453a4492528501a5ce35963fe","datavalue":{"value":"3989329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3752371$0FFFB638-B0A2-425C-A1D6-C31FF327565F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bbfcfc14216ce1d5a81d470a946e7dce343b4f4","datavalue":{"value":"omega-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752371$D5E08ED0-5426-476E-BF21-02E3CA30C504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752371$A5DC6113-691A-4CBE-979C-E4C3A9DA6830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"084d422b2355bcd4baecd68e21246e987c8a427d","datavalue":{"value":"finite-state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3752371$D670B8B5-AFF7-4CCD-9CA6-FE1C44E4C712","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":"Q3752371$0C66E034-A3B5-4772-AB36-98F39FD19F02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"966adb994955da9f349c4202300d037d092b0ae1","datavalue":{"value":{"amount":"+0.8354370594024658","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":"Q3752371$0815A633-B7CC-45E8-987A-01818CB86587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c94ea7b9391bbd3b1c52cef5f7d589e405251c","datavalue":{"value":{"entity-type":"item","numeric-id":805240,"id":"Q805240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13d0b0a0f5382a54ca8fde91f9f6cc1065b297b2","datavalue":{"value":{"amount":"+0.8347588181495667","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":"Q3752371$C6EAF128-CE3A-4A26-9004-2F4DA2AC1D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2779bf5b8c808de163adfa0dc48d10eeb2cbfa5b","datavalue":{"value":{"entity-type":"item","numeric-id":3502632,"id":"Q3502632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2d345b70c2aeb5ab26a8410cd13fc8dd0d173a3","datavalue":{"value":{"amount":"+0.8222079277038574","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":"Q3752371$20FA63CE-88EB-46DF-A8EC-5B8C748F218B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7e9f245eb4225131cc0caee62dec45b6bd3a214","datavalue":{"value":{"entity-type":"item","numeric-id":5485967,"id":"Q5485967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56bf0426ac02c4be48ce6e511ab01908d8ccc12d","datavalue":{"value":{"amount":"+0.7923678755760193","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":"Q3752371$3C864B35-3968-44DE-A341-9320D15A47A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813708190e215a58a1cbf823d748ee65352b3d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4028163,"id":"Q4028163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13875db968aae71e0656b96bec503fa00d0484d2","datavalue":{"value":{"amount":"+0.7887594103813171","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":"Q3752371$5031D570-65E4-46CB-9FB1-BD3D519998B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3752371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3752371"}}}}}