{"entities":{"Q4251915":{"pageid":6281516,"ns":120,"title":"Item:Q4251915","lastrevid":46803156,"modified":"2025-12-25T15:17:12Z","type":"item","id":"Q4251915","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1304993"}},"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":"Q4251915$24DF009E-10CE-4E9A-A993-491DF28BDEFF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcb90644065732ca44a5db17537adf03685e20fa","datavalue":{"value":"0940.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251915$BCF665EE-1CE5-49FC-8CC6-5058A420C70F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4251915$509290D9-25FD-4813-86FC-6925DC4AD99A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251915$F9BF6127-221B-4FAA-BA85-4E7C59E1449A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ff961693f135a2c79099477e40dc1180c21bf2f","datavalue":{"value":"1304993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4251915$0329237E-1351-4DB9-933F-9181AC1930F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8ab26526eb6012f223dcc6d0c0e0ffdcc6b9ab","datavalue":{"value":"deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251915$A0086614-D2C8-49AA-ACC8-49823BD461D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4251915$15AFDA88-0C09-49A7-8736-0547CCCEED07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaa4f2c1db3cb0f04ca81dea1f1e9fb956669c43","datavalue":{"value":{"entity-type":"item","numeric-id":919833,"id":"Q919833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4251915$CC50204E-0668-4D9E-B37A-804ABC9C93AF","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":"Q4251915$5D7B1220-46B2-4D41-B896-01E7CE3BFADB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"016017686a2205e3f6e7a6a4b31d39034c1f27c0","datavalue":{"value":{"entity-type":"item","numeric-id":3623006,"id":"Q3623006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410f9725d25c1fe7462cc4429d5499d5c13fac6c","datavalue":{"value":{"amount":"+0.8333108425140381","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":"Q4251915$BC4D5A6F-E46C-4C84-B0C5-16BA5157A1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132c4127d0f45f4441368c015bf9f611cfec84bc","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d553db4e11d4d5cbcc44c1da98832b5010c2eac5","datavalue":{"value":{"amount":"+0.8267880082130432","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":"Q4251915$56A1651C-0CB7-4777-A710-B2E048982B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"718c83b9f24d5958d5bfbd8b261d4d8fb8ef1f82","datavalue":{"value":{"entity-type":"item","numeric-id":2914678,"id":"Q2914678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eb474e2a102a93d7e7964232346e1fc680c271f","datavalue":{"value":{"amount":"+0.8211550116539001","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":"Q4251915$2D38BB41-28BD-41E9-B4E2-6DC43545452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93f66ec2d3e0799af4763b3c92023841c77d4d9","datavalue":{"value":{"entity-type":"item","numeric-id":1884876,"id":"Q1884876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f1ebdc857827983b42670f8559eade4f40dbc9","datavalue":{"value":{"amount":"+0.807527482509613","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":"Q4251915$0BFFCBB0-A3A6-4070-ADCB-B1CA8C1F65E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4251915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4251915"}}}}}