{"entities":{"Q1171883":{"pageid":1182632,"ns":120,"title":"Item:Q1171883","lastrevid":69795423,"modified":"2026-04-13T09:26:36Z","type":"item","id":"Q1171883","labels":{"en":{"language":"en","value":"Designing a checking test for a linear finite automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3788006"}},"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":"Q1171883$B1E7F3AC-0FC7-4C52-9462-21EEA3E1741D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c407202a3ca4760f323bc0598ab3ec1f10e1f816","datavalue":{"value":{"text":"Designing a checking test for a linear finite automaton","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1171883$295FE760-1CFF-401B-AFB6-FACEECC74DF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9bcdb0ddc307b675385549e63c5b7e4e583c6de","datavalue":{"value":"0499.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171883$ED29C93D-6A14-4F74-B92D-F64AECB6E2DD","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":"Q1171883$4A57F845-1A40-4BC9-85D2-C22F3F98EEA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1171883$9A2B5C6E-E7B1-459F-8BCB-C315AE1F455E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171883$89D94AF5-B692-4E33-A4B1-0A80D1DB4937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171883$9DED1383-FCFE-4C8D-86D9-4AC2828874B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"867be9053b2a8253e243efea728a419f2833b4d1","datavalue":{"value":"3788006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171883$DFEA6941-4DA2-4757-AF8B-9FFDFE295977","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd25a5715230757e80b56d8f7cc5e95e1391b898","datavalue":{"value":"technical diagnostics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171883$8D691A83-E553-4718-A869-286D27484FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3796d9014eba1db3374310ac96e13a38675abe66","datavalue":{"value":"linear observable finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171883$70A02BCE-24DA-424C-9B2C-DABA7AF4504F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5caa2e09f87866b25288c2661da3caa84a18c6f7","datavalue":{"value":"binary field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171883$088BEBF0-8821-49E0-BBAC-BFF92DE602CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eb5325c131e9c9cb6366f5b49129260f65a60ec","datavalue":{"value":"length of the test which detects single constant faults","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171883$477D2992-8D74-4E74-966B-386DF65C7F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11fbc10c0c3b062bf67a2ebb21610e052fbf34a6","datavalue":{"value":{"entity-type":"item","numeric-id":747487,"id":"Q747487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171883$08182B18-5F0C-44C9-A1CA-C754356E8B05","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":"Q1171883$E25B0907-1896-4443-8F69-BD84A7120DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Designing a checking test for a linear finite automaton","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Designing_a_checking_test_for_a_linear_finite_automaton"}}}}}