{"entities":{"Q1856152":{"pageid":1866894,"ns":120,"title":"Item:Q1856152","lastrevid":43374624,"modified":"2025-07-25T05:49:28Z","type":"item","id":"Q1856152","labels":{"en":{"language":"en","value":"VSE: Formal methods meet industrial needs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1862270"}},"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":"Q1856152$A73DE219-A152-49A4-A84B-EFB42AA2CB3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1975461a194f0d85079d7b56f9bdec47b3ecde95","datavalue":{"value":{"text":"VSE: Formal methods meet industrial needs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1856152$DBD5A4A0-24D5-4EE5-A4A3-9615920B4EE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8a259691b533174e556e482a96e7b13291e3e89","datavalue":{"value":"1060.68673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856152$479828B4-10F0-4605-8E89-A166F2EA75C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5dbcfab01bc8a329499434eec2cf9301b09edd82","datavalue":{"value":{"entity-type":"item","numeric-id":841685,"id":"Q841685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$D4EEE7EC-F357-4DA2-9674-DC7BD1003994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$484DCC16-B268-4F01-80BA-BECE4C280972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b798d8810c162ba005a509dfe3919670651ec364","datavalue":{"value":{"entity-type":"item","numeric-id":1856146,"id":"Q1856146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$4071B23F-FEB6-4187-9FF3-B08A3494A2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f59f2b238bcce2cb167eae8f1644fc8816001400","datavalue":{"value":{"entity-type":"item","numeric-id":681468,"id":"Q681468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$6F888ADD-E910-44DB-B8C4-BA361017BD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8d3cec040dfa66c80e7ad54c91ebb9e8f2031a8","datavalue":{"value":{"entity-type":"item","numeric-id":1856147,"id":"Q1856147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$7EA8CA1E-3F4E-427B-B467-97B6B3339FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd598425370b4985d32bc384815931fbce8a5f2b","datavalue":{"value":{"entity-type":"item","numeric-id":1856148,"id":"Q1856148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$1E82757A-8337-4758-95A2-464FA6614797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15e486d32bb4e02e637c42fa3bc0f8812e77532d","datavalue":{"value":{"entity-type":"item","numeric-id":1856149,"id":"Q1856149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$40CC17E3-DD94-4D26-9CD9-3D24089E1F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2422a0b62e3707bb3240434019be862d55c00f2","datavalue":{"value":{"entity-type":"item","numeric-id":1856150,"id":"Q1856150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$B94C4EA0-261F-474E-83DA-CCF4193C7B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35072d16d4915d7e86e458054738e1a2b6a20d22","datavalue":{"value":{"entity-type":"item","numeric-id":1856151,"id":"Q1856151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$0EFCAE68-B2D2-4305-8314-9375AFD39843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e1846ce75b2b308fd593b292d943abd351ca6751","datavalue":{"value":{"entity-type":"item","numeric-id":225063,"id":"Q225063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1856152$216407BB-1E3A-470A-A036-311D7CB7EC03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeee03ff93cd4d2bc8e8bd2001afc62b5646464f","datavalue":{"value":{"time":"+2003-02-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":"Q1856152$6160C7A1-89CE-47FE-9870-CBB159B08F72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856152$C3E3C335-C328-4332-82E6-70B4B5C593ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8f4c9bae5d2cd92386a5442d68cce1b4f329560","datavalue":{"value":"1862270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856152$2492D1E6-27A0-4D2C-80A1-71755945242B","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":"Q1856152$43893DB3-2D00-4194-826E-553325370873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21f0c5c0f79295c6e8cdccd61f788591864ea938","datavalue":{"value":"https://doi.org/10.1007/s100099900022","type":"string"},"datatype":"url"},"type":"statement","id":"Q1856152$47D73D7E-AF0B-40C0-BFA9-C101F039B1CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee443ebcc3f7f67af8675b43b68650c50cb7fdb","datavalue":{"value":"W2021659888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856152$D44BD967-8C05-4B4F-AF8F-4D5BC20759EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6532649f987cf32ef61460961dac549a0bc6e25e","datavalue":{"value":"10.1007/S100099900022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1856152$B17E598A-B6CB-4882-BA6A-47679C83EB15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1856152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1856152"}}}}}