{"entities":{"Q5291078":{"pageid":7320652,"ns":120,"title":"Item:Q5291078","lastrevid":49826809,"modified":"2026-01-11T02:38:37Z","type":"item","id":"Q5291078","labels":{"en":{"language":"en","value":"Verifying concurrent systems with symbolic execution. Temporal reasoning is symbolic execution with a little induction."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5022045"}},"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":"Q5291078$37A5F483-260C-4BF4-85BB-589839DD6F2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b748ed50a1bb62858f6e45f2e9ea9c5e747ddf8","datavalue":{"value":"1100.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291078$DAF6479C-3944-44A6-9E8D-71D1700BCF8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a92feac844b59c0d76f08d958576484ab564ecf6","datavalue":{"value":{"entity-type":"item","numeric-id":3146298,"id":"Q3146298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5291078$98B2B692-879A-42F2-8FA4-00D6BF0D11F2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9597f413246d561c71f53debbfd7d35f070a971f","datavalue":{"value":{"time":"+2006-05-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5291078$62C2FD61-427E-401D-88C0-41AC6BDFCCCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a3e8822a894e05aafbb081a336f758a58b54e560","datavalue":{"value":"http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-5074-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5291078$F01A28ED-6D75-4126-9D7F-68D6749DAB26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291078$352E95B2-2EEF-477C-A9C3-E9DD6FA1042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291078$54ACE7C5-FD8F-4B33-AD97-0B0BE0689E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291078$22CADC88-6F0B-4A01-835A-29E62F36A6AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ff53c8997c5f5815e678ef473e4a62ccbc3c8463","datavalue":{"value":"5022045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5291078$3686F3AC-F897-451B-9C3D-4A1338E5DAE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5291078$A5BC4EDB-8478-483A-B25B-9EE36E550B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5291078$714912FC-EDC0-405B-BA21-1759E749465E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5291078$33015CB4-019D-413A-8E34-E8ED98D5CCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69dd490da9b67dc4fe4c624a05791d0c4fa27f2e","datavalue":{"value":"symbolic execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q5291078$9C1EEF21-2AEB-4F47-8E03-8AE492C844A5","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":"Q5291078$9EB74E73-C96F-4EFD-8C94-0B9C5D125B75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d34e7639bff3fc9b509f4c86eb6e0cdd3d83ab1","datavalue":{"value":{"entity-type":"item","numeric-id":3568235,"id":"Q3568235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed3dce294b974333e1ec7f91a402fc59933a7bf","datavalue":{"value":{"amount":"+0.9285553693771362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5291078$9339AD25-3879-4EBD-AE98-80EC4BBD44F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddfcafce1dcfb3fb16e0edfc66d6647482b188ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146300,"id":"Q3146300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f790ce417a9ab42f9fee3d8881c8bea84290cb5","datavalue":{"value":{"amount":"+0.9221974611282348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5291078$3A69A600-8220-4596-BBA5-A733EC370DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94845cb0192c44f2f405da435c6139e86c20e67c","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f608b9511d4b036e4ea2171ffbfd81edaa1522","datavalue":{"value":{"amount":"+0.7980518341064453","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5291078$DF3BAA13-AD3F-4764-853B-ABC2CD9405B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0533b2e0b71a4d593002aebfdba937e2b8de6467","datavalue":{"value":{"entity-type":"item","numeric-id":4472258,"id":"Q4472258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e4d66dbb5e8c77e3fab5642a6f1fcd750181c2","datavalue":{"value":{"amount":"+0.7726325392723083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5291078$89AD1CA1-8AED-4496-88EF-DFD00058A06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdfdfff84e69ff3874b18810867ff7e1c9ff158","datavalue":{"value":{"amount":"+0.7723987698554993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5291078$50E3B506-661B-44DD-BE30-D4F076B00941","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5291078","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5291078"}}}}}