{"entities":{"Q2980331":{"pageid":2991056,"ns":120,"title":"Item:Q2980331","lastrevid":45187693,"modified":"2025-12-01T20:39:15Z","type":"item","id":"Q2980331","labels":{"en":{"language":"en","value":"Formal Verification of Stochastic Max-Plus-Linear Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6711047"}},"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":"Q2980331$BE431B9D-E12D-4697-A432-4D9AA6D774E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"706e85d3c9c3ab59f0045436dabe43a6d9a50a8b","datavalue":{"value":{"text":"Formal Verification of Stochastic Max-Plus-Linear Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2980331$8027488B-C51A-4A86-9152-436D2241E819","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9abcabc5ece6e992db1ed6474a51466dd6a4788a","datavalue":{"value":"1359.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980331$D16E17D9-2A92-4867-A549-AD3BE2769BED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af3a92d9f5dea3ebe140a80238dd25b86789223a","datavalue":{"value":"10.1109/TAC.2015.2502781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980331$6FBE5280-E268-4AB8-A3AE-96D6EB64164F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a1f91e571b8e79a9601e7de65c49892f6d9269a","datavalue":{"value":{"entity-type":"item","numeric-id":523134,"id":"Q523134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980331$4FB65244-E1D6-4222-BD5D-D849C88042FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45a9df9d04667a8fd302be31955ea3ec5aed5bdf","datavalue":{"value":{"entity-type":"item","numeric-id":262434,"id":"Q262434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980331$723EEBC0-A91E-48B5-85E5-3C91C01E5579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2980331$C587D79A-2988-4A12-8125-D9F5FA27E06C","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":"Q2980331$3D2B407A-E8D7-49E5-B795-43C21907447D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b023c8677c794ce977cd50940cc1189b39bfea4","datavalue":{"value":{"time":"+2017-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2980331$9D5E2C5E-CFC4-4C8D-807C-F6FA4498F526","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980331$0C49DF6C-A6AC-4FCB-8A62-CCE59BC5AA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980331$E79AC9F8-1F0D-459D-B132-736DA722A7AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34b2674e2f4ee29a92a17be381db223fb5787f18","datavalue":{"value":"6711047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2980331$A80EFC05-35AA-49E7-9904-C2640C73E534","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":"Q2980331$6A4D07E4-4A61-40DD-BD85-73AEE91894DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2980331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2980331"}}}}}