{"entities":{"Q1129268":{"pageid":1140017,"ns":120,"title":"Item:Q1129268","lastrevid":42900823,"modified":"2025-07-15T20:54:55Z","type":"item","id":"Q1129268","labels":{"en":{"language":"en","value":"Timed automata and recognizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190306"}},"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":"Q1129268$CB64D5F9-00FD-4000-8664-EF52282F1E00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"827a35ee65aad51b0d910782ddb69284a6565d22","datavalue":{"value":{"text":"Timed automata and recognizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1129268$C853E2EF-E012-413A-99F0-BCC13EAF11F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3fe1bc41d968102fdcd0584265415ed6e12b7be","datavalue":{"value":"0925.68275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129268$09060A96-57A5-4864-96BB-06C076D8A087","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e44d5d6264d81d6e4e7790fc6f7f6cab41be2d25","datavalue":{"value":"10.1016/S0020-0190(97)00217-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129268$20579AC3-F91D-4EA0-8862-F0714466A76B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c798d0d7c24b14a88ee7b3f09dbe07401187d8ae","datavalue":{"value":{"entity-type":"item","numeric-id":1129267,"id":"Q1129267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129268$F9651BD9-3F38-4FE7-94E7-27F312F2A65E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129268$6D7B8529-42FE-4E1B-94DB-F57BB57137FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1129268$D87B6E37-AC86-4D4E-A4C2-620E1BF3DB8B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129268$C0221E2E-64F5-4CAD-8854-54D595664822","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"579068bace24ecbd96f43ca58d5281a6373f82f6","datavalue":{"value":"1190306","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1129268$D3F6B0CF-F957-4732-81F7-F8612B96DF05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c3be9722da82c907052377e41b8fac3bc3634a5","datavalue":{"value":"Real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129268$8D48D866-F882-4A55-9B65-9EEBCCD7D53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be8eb270d4ed4b446b915ab174a0d0120cef86df","datavalue":{"value":"Formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129268$D59943F7-01B9-46CF-B3BE-673662CE462C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0710ba12b295bea2e2fc50f1eae9fd9848025d00","datavalue":{"value":"Timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1129268$2E3F00A3-15DC-44DE-8074-0F6D924C3369","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":"Q1129268$EBA18AAE-94D7-4D17-9BD0-CFE65F61D0B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129268$6CBF2725-A080-40E8-8A7D-CCF758658884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129268$5AFE1782-177D-4F21-85A0-5C79C69F05E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ea221513e9e68529819b1cadb7206298eb615b2","datavalue":{"value":{"entity-type":"item","numeric-id":5048956,"id":"Q5048956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129268$F291E882-DBDC-4C26-A449-21A9BD7F68CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f962b0e8ffe2f75d36e165252cb9b8d88b45bf32","datavalue":{"value":{"entity-type":"item","numeric-id":1129268,"id":"Q1129268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1129268$35C9F2D4-02D1-412C-ABA6-FBB5C479DD40","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1129268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1129268"}}}}}