{"entities":{"Q5267079":{"pageid":7296655,"ns":120,"title":"Item:Q5267079","lastrevid":36901449,"modified":"2024-07-30T07:33:01Z","type":"item","id":"Q5267079","labels":{"en":{"language":"en","value":"Polynomial-time verification of diagnosability of partially observed discrete-event systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6732810"}},"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":"Q5267079$37099A91-6C38-4570-ADDA-E42998170640","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7e2c191bd269c4cffc12a70b206b676c5d93c7b","datavalue":{"value":{"text":"Polynomial-time verification of diagnosability of partially observed discrete-event systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5267079$0540EE5A-F77D-422A-8C48-2FE34122E900","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac204ea1e04ff6a362e76f4d322373268b750350","datavalue":{"value":"1364.93176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267079$D84EAAB5-43EB-4BC8-8B18-BE863B83C46A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15ed694ec5a65b53135b408096bc41b0aed58472","datavalue":{"value":"10.1109/TAC.2002.802763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267079$6E7E4F77-6722-42FF-8869-F0AFF0BF70E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84bb20acec7ae9fdcef83956bb9eb1f1343ecce2","datavalue":{"value":{"entity-type":"item","numeric-id":839006,"id":"Q839006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267079$FECA309B-FF10-4475-8E3B-AA198870D559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267079$D7DC2A19-4D92-4A67-9395-80EC7F574A7A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"231075b9dab1b13e4c64992ef81666085035687e","datavalue":{"value":{"entity-type":"item","numeric-id":123639,"id":"Q123639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5267079$9A8348D5-F7FD-4F55-827F-9B11397BA928","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45ab5f4056988d923c86758a1a35479e5313b50c","datavalue":{"value":{"time":"+2017-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5267079$03272ADA-38BF-482D-A09E-064042E86AAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f47b8551cfcd2e27e18ae083a8521741e193efcd","datavalue":{"value":"93B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267079$8C712AD4-6577-416B-B12E-7E8160EE272C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267079$EEDAF5FF-74FC-4022-9064-0F885700804F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d95ed0287e338870a560814cb9205fa49d37fed1","datavalue":{"value":"6732810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267079$203C1395-0216-44B6-967F-00A939EA589D","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":"Q5267079$B706C579-6610-4D50-B280-61DD0AD69DB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9833aec3055fb0dc2f3651e94948ad9dd67c9f72","datavalue":{"value":"https://doi.org/10.1109/tac.2002.802763","type":"string"},"datatype":"url"},"type":"statement","id":"Q5267079$F782994A-8DF2-4DB9-9F74-34373C539009","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0eb45fa0126de3865399eb9a9603c9a6370b1f60","datavalue":{"value":"W2117558445","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5267079$2CD00D2B-49FF-439B-94AC-B23152C6D8D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5267079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5267079"}}}}}