{"entities":{"Q5266964":{"pageid":7296540,"ns":120,"title":"Item:Q5266964","lastrevid":29317852,"modified":"2024-03-05T18:32:45Z","type":"item","id":"Q5266964","labels":{"en":{"language":"en","value":"Computational techniques for hybrid system verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6732702"}},"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":"Q5266964$13BED1A1-B597-488A-B480-3325C030AF37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"439d76e98e137907e25ead10c10ca6fcd5126c30","datavalue":{"value":{"text":"Computational techniques for hybrid system verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5266964$0C32F211-0653-4329-A448-D00F69405A92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13e94e9ba1faebd4521ffaad18b61d15a73ce093","datavalue":{"value":"1364.93457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$E2A2B4EE-DC79-441B-A99E-D2521FD05744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7d957ed806f40841ef948c0ff56a85c4731ca55","datavalue":{"value":"10.1109/TAC.2002.806655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$221581F6-7966-4483-9B73-2316F98F6D5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d409a3d061c19420a17b390bf34d172ba106f589","datavalue":{"value":{"entity-type":"item","numeric-id":4246809,"id":"Q4246809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5266964$3E7F059C-5221-4353-A1C0-F67181615906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"007c640166b8b4c657092183a4f8e4ca51db5394","datavalue":{"value":{"entity-type":"item","numeric-id":1051359,"id":"Q1051359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5266964$86FD38C1-EE6D-47A7-95B6-65A1EA85F792","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":"Q5266964$E3DF152E-352F-40C8-8F92-161E48C955FD","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":"Q5266964$90657190-48DB-4ED5-BED1-9706A2D194F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$40D37BC1-9F17-46BF-97C3-A614E561FFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$44FC864F-BBF9-4665-B345-62A52FEACE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$329A5789-6297-4D0E-9A79-648D45550097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$5D2487BC-3C3D-4C03-BC3E-1CA021583900","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32e8e2655e26573c77bfa3d8936f95314ba99145","datavalue":{"value":"6732702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5266964$814B6510-2FB4-465B-9633-7DDE17E33DC9","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":"Q5266964$1FCA9A80-CA4D-4AF7-B5CE-2BFDC3F54BF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5266964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5266964"}}}}}