{"entities":{"Q1133523":{"pageid":1144272,"ns":120,"title":"Item:Q1133523","lastrevid":69848694,"modified":"2026-04-13T10:45:12Z","type":"item","id":"Q1133523","labels":{"en":{"language":"en","value":"Synthesis of totally self-checking asynchronous automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3655871"}},"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":"Q1133523$1B4A8A16-FF0D-4976-8B29-509E60EBB1DD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4852e60d000a14bd92d24e6cfe8b1f320e866916","datavalue":{"value":{"text":"Synthesis of totally self-checking asynchronous automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1133523$574F5047-FC17-4512-924D-818235F5484F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"902cf04b39ab2c865bd598cb32bae38d38fc18c6","datavalue":{"value":"0421.94034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133523$9B4A506D-874A-4C17-8623-EC98C199EAA9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2826653bae41fd8bed63bc90ad10e1479d79c72","datavalue":{"value":{"entity-type":"item","numeric-id":268669,"id":"Q268669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133523$652F82D0-7568-41E4-81D2-7796E77D52F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bd7c9bb6ed7a1d490f59243e30eb2dcdcf0bebb","datavalue":{"value":{"entity-type":"item","numeric-id":268670,"id":"Q268670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1133523$0AAE5897-E66F-462A-937B-65485D554BA3","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":"Q1133523$A87917C3-6D9F-438B-8E20-D7D42802BEC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1133523$5CBF6317-38F6-43BB-A895-CA552054CFE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133523$2DEFE1C8-3DAD-4467-AF5D-723DE5D776AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133523$E077B200-6940-44AE-8B8D-3457E913905B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f77b3e1fb9dfc17af0e8aa726f6f495be1d8354","datavalue":{"value":"3655871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1133523$940AB6B2-83D6-4258-B451-6EE4EC1B9297","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ff7ff0073e62e3b1c0e5a89b46244f0b792145","datavalue":{"value":"design of stable fail-safe asynchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1133523$351A4757-4A5F-4E39-9FD7-F17E5602F913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94a83c3ea173a5fc3f6369c2134114d037b51b28","datavalue":{"value":"detecting single faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q1133523$BEB679E1-B3B1-4767-91BF-C3D334549965","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":"Q1133523$C0EE732E-C380-4EAC-AD54-A8A9049C6C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of totally self-checking asynchronous automata","badges":[]}}}}}