{"entities":{"Q755306":{"pageid":757155,"ns":120,"title":"Item:Q755306","lastrevid":64132710,"modified":"2026-04-11T17:51:25Z","type":"item","id":"Q755306","labels":{"en":{"language":"en","value":"Identifying tests for asynchronous automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3650004"}},"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":"Q755306$E2BD2EE0-3537-4048-9D84-D6966D308CEA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"642c4b2a6d77803d6686a3f80e42b9a93e80d286","datavalue":{"value":{"text":"Identifying tests for asynchronous automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q755306$F1AFEEE0-ED0B-434C-9FE6-64B0DBFDF744","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8991aebd73e0744cb61977b90e77d977bbb4536e","datavalue":{"value":"0417.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755306$AB452D09-A9EA-4D05-9FC6-DF95A138CFCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"571746aed12baac7d0758493f8668df24a751c39","datavalue":{"value":{"entity-type":"item","numeric-id":755305,"id":"Q755305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755306$13E35A19-AF1D-438F-845D-24C0E2E8725E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edfad1d3cf2d3066734f1e6c315add4263d52f13","datavalue":{"value":{"entity-type":"item","numeric-id":1647687,"id":"Q1647687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755306$075105F6-8460-478F-A16B-9383CB153850","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755306$89030E2C-9BEB-4967-85BC-CB2B45888EEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q755306$8AB41149-D951-4948-857C-C56D1541830A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755306$90B1FBC7-9B24-461E-883B-FE31CA64B323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10b85655aba2fdb6347555277df2ffd39ea1a82a","datavalue":{"value":"94C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755306$CDB03E1F-2EEB-4B7E-9BE6-B2D24F7439F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2cd8234608cacc611f42aa75cab9d65d7f358272","datavalue":{"value":"3650004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755306$8A03B96D-F694-446D-B572-3F8B02C206C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02146ddecab204e77c3246cfe73f74b855a53dbf","datavalue":{"value":"diagnostics","type":"string"},"datatype":"string"},"type":"statement","id":"Q755306$3EADE1FA-71A5-4585-B3E6-428C76958C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e46eec8b99b037c5c7227605f2dd242231e982f3","datavalue":{"value":"asynchronous potential automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q755306$A2962D0E-AA7A-4F36-B122-32F915AC04CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9acf55ac207e0d77270c04dcc6b316db0ec53bf0","datavalue":{"value":"design of digital devices","type":"string"},"datatype":"string"},"type":"statement","id":"Q755306$38CC5195-D574-4DB7-B775-A8E30411D307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"460c02f93f51e81774341417ba77fdb33ca8f6e4","datavalue":{"value":"identifying tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q755306$342BE3DA-B4D8-4560-A4B4-075299C8D880","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":"Q755306$7299F502-C45D-4AB6-AB1A-D283B5C493C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Identifying tests for asynchronous automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Identifying_tests_for_asynchronous_automata"}}}}}