{"entities":{"Q6315511":{"pageid":13451345,"ns":120,"title":"Item:Q6315511","lastrevid":102867410,"modified":"2026-06-06T05:47:13Z","type":"item","id":"Q6315511","labels":{"en":{"language":"en","value":"Safety Verification of Nonlinear Autonomous System via Occupation Measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 900373712"}},"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":"Q6315511$16FDD01A-DD1C-48EB-9B71-069E1E2D4914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b783351c35e120ec0bb7c5359bc3eabb3a21294c","datavalue":{"value":{"time":"+2019-03-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":"Q6315511$C7CD9E7D-2D59-42C0-B513-E8FC690B2D17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e984afcb2d6e6e3db93631ce8d0e6d1aacbf34e","datavalue":{"value":{"entity-type":"item","numeric-id":2444040,"id":"Q2444040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6315511$E74FE2B6-C9E1-4B88-A9CA-EAB57CEDC267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1245e989145a3728cfdd1ae5ceeb3dad59daaed","datavalue":{"value":{"entity-type":"item","numeric-id":6201593,"id":"Q6201593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6315511$8E7241B8-564B-4789-B13B-81F487A71E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1aa0e310d79913861f2a69c3dd4af6a1b3faf74","datavalue":{"value":{"entity-type":"item","numeric-id":286272,"id":"Q286272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6315511$7058FDDA-2657-4F62-BE5C-271C2D05133A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ac3d2c17c9e6d5c42b22bdb5a552f012d66e7fd","datavalue":{"value":"900373712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6315511$7F4FB25F-C4BB-4DF3-8B72-A7CB660E3734","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":"Q6315511$B49FBD47-FAC1-4D97-891F-C5D4A8F213A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safety Verification of Nonlinear Autonomous System via Occupation Measures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Safety_Verification_of_Nonlinear_Autonomous_System_via_Occupation_Measures"}}}}}