{"entities":{"Q2942722":{"pageid":2953442,"ns":120,"title":"Item:Q2942722","lastrevid":44762427,"modified":"2025-11-25T21:28:47Z","type":"item","id":"Q2942722","labels":{"en":{"language":"en","value":"Automated logical verification based on trace abstractions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481004"}},"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":"Q2942722$1487C851-34C9-4F43-B6F4-1120D61EB28D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3e05af43826a2d60575cec172a38a3d70fe882a1","datavalue":{"value":{"text":"Automated logical verification based on trace abstractions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942722$EC04CC23-FEBE-4D57-B008-34644CFF1F36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b121d756793aba64da11c06115355c594260b3b4","datavalue":{"value":"1321.68347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$96D699C4-0C80-435D-9752-A4F4C9AF1A5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bc67fbc66e7fff0dcbc5af3f49b5c90d9ccc492","datavalue":{"value":"10.1145/248052.248069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$290A14CE-9783-4DC9-B5C7-5C989ACB3C00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfdd5324f28bd93fdc2104d928c33c15fc55056","datavalue":{"value":{"entity-type":"item","numeric-id":815003,"id":"Q815003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942722$72526513-DB6F-43B4-BECC-2418F12D0A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a56363933ab1b2b882d7fd10c13d60bce6295ff","datavalue":{"value":{"entity-type":"item","numeric-id":418795,"id":"Q418795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942722$286D527C-0676-4FF2-8664-8C57A30B8E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10f99066612be850a6fb8a8ed7a3ba8a115166f9","datavalue":{"value":{"entity-type":"item","numeric-id":2763545,"id":"Q2763545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942722$885A0E4B-7E25-4401-8BF7-60012529D868","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"020b3b1baf8ed02a711f0491313b782f736d1b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2942715,"id":"Q2942715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942722$A26EC80D-CCE9-40B4-8288-529744B36A8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942722$B6BA83E0-FACA-4554-8B15-D8913C05446B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$6C3732F9-5739-4D71-BE31-60862F3D3064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$23CDE934-D675-408F-BFD3-490C29D5CB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$69A0572C-3655-42BF-8376-18F61A9C78DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8784c5993e011413a617941a279f8a88e702dcb","datavalue":{"value":"6481004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$E5ED56D1-BCC4-42CD-BAF0-C94D5C3F23EB","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":"Q2942722$EFBB373F-B773-4C10-9797-A58514C639CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f236361d2e19e6ed7db3bd328ba49cd65e973438","datavalue":{"value":"https://doi.org/10.1145/248052.248069","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942722$8E8A5362-EAA8-47A1-AA96-2CFBAAF65E83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e8aa073c7363515a7eaf133c1643eb4ef12a1a6","datavalue":{"value":"W1976834823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942722$57542FA2-5BD9-4795-BECF-7C4C4649B68F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942722"}}}}}