{"entities":{"Q3146300":{"pageid":3157016,"ns":120,"title":"Item:Q3146300","lastrevid":45548125,"modified":"2025-12-10T13:00:34Z","type":"item","id":"Q3146300","labels":{"en":{"language":"en","value":"Verifying Concurrent Systems with Symbolic Execution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1799539"}},"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":"Q3146300$45753421-7634-4BA5-A194-12793E7BC6EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98a7f39c4345b4f0e879c6a69cecec5c53047871","datavalue":{"value":{"text":"Verifying Concurrent Systems with Symbolic Execution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3146300$8F4D0272-0FE1-4049-8520-0500C1F3F0A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0c5bf91b269f4b6d895bdb3ad52575093a2c8255","datavalue":{"value":"1001.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$AE4D923F-E9FB-40C7-94BF-1B126BCAEB83","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":"Q3146300$534C69B7-3587-447A-9D21-873B3240BE5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3584221b34357f2ffec5551e602dff825719c37","datavalue":{"value":{"entity-type":"item","numeric-id":3146299,"id":"Q3146299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146300$7A2BF241-6DAD-4A2C-832C-C221B0423990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dfedb9e8f39a520fe833d6538db6dc39854cff4","datavalue":{"value":{"entity-type":"item","numeric-id":539222,"id":"Q539222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146300$B94AD630-C0FD-46E4-8034-E748172458B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146300$B6F583BF-A2C2-43BA-8E78-F520ECF9760B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adede6c64659911153b51575ccac2c91c8eb7fc6","datavalue":{"value":{"time":"+2002-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":"Q3146300$5F557831-B23C-43A3-8CBB-DFA0DFB59573","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3149eefd0992aaa125fde1cb7aa93b533e2bc0c","datavalue":{"value":"https://semanticscholar.org/paper/7834bb7bb3a73da5950c52dfeb0c1f9016646d8e","type":"string"},"datatype":"url"},"type":"statement","id":"Q3146300$1832384F-CFFA-42E7-8203-024AA573A39D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$D99190C7-0677-475B-A11C-D14149B6EEC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$C43E4674-55B5-4E1C-8C9E-587665598DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$575EDD24-B364-4BD3-A343-8040A9EA063C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"388e40102dd0ab0205ecfbc41118885bf23d24a6","datavalue":{"value":"1799539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$77448BB1-FA59-4FA8-BF85-3D2394078049","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146300$E487F453-AD73-4106-AD0D-C6DCA7F58F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7969b88a94c5d7a9e53fb137212c8b9240260f51","datavalue":{"value":"temporal formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146300$6B0A0C41-9B07-49F9-AB3D-102DE20E56E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a7b19bbe93bbb6b0c4a06b7379f5542c9b34ea7","datavalue":{"value":"interval temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3146300$3FAFEB00-2380-4A8D-A2C0-D4D40EC5042F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8867cc230123c9cdf6c24d64516128716c50086d","datavalue":{"value":{"entity-type":"item","numeric-id":14336,"id":"Q14336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146300$8433E5AD-CDFC-405A-9E4C-C2CB9EEB0E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146300$E6D2C092-CCCF-4CFA-8F17-36A14E189A19","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":"Q3146300$CC8311A7-B3DF-420F-ABE9-47164C43D842","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6394291fd85bcf42112eec6934b810d459d4488b","datavalue":{"value":"W2009570820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$3BD832BC-4CEE-4288-BF02-FEEF74C40BD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73b9a82b54a29d26e63808eba56ae8711b74df8f","datavalue":{"value":"10.1093/LOGCOM/12.4.549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3146300$1640B3A7-4C98-4C31-A921-EDF1CD8BA803","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3146300$BCCAEC98-6AAF-453A-ABBA-ECFEEB6C30E3","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":"d285e4e509d0dcb3c2337bf843e4b174fb176063","datavalue":{"value":{"amount":"+0.9755938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$289C23A4-F9E0-4229-A3FE-3E916FC97803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5f6a24f9e65045fa853b6710fc2d5a4a91e166d","datavalue":{"value":{"entity-type":"item","numeric-id":5175776,"id":"Q5175776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf0a53b749e6ec5be2fb192ae75fe9fac9497cd","datavalue":{"value":{"amount":"+0.9303417","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$686C4971-C73C-4878-A17E-2A124CD91317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"553f25ded1742282c834251bb52ebea61fe8937f","datavalue":{"value":{"entity-type":"item","numeric-id":3031902,"id":"Q3031902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12a59cc7bea0d148b2228a5b49160e7814aa456a","datavalue":{"value":{"amount":"+0.92444646","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$EE989BF0-2166-44AF-9517-AEDD1672EA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852eb63c97a10fe2089a9bbd6eb4d8fa4677be2d","datavalue":{"value":{"entity-type":"item","numeric-id":5326292,"id":"Q5326292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec0b37d19753aec701859b8a216543bcf0439cc","datavalue":{"value":{"amount":"+0.9134369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$DB508220-7A94-44A8-98E2-3C4B4C8117A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbfd8dcf5967273fb60329a2298af49471aabe18","datavalue":{"value":{"entity-type":"item","numeric-id":2277847,"id":"Q2277847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6cedc0b13f06730c0befa61552a398d0936a62","datavalue":{"value":{"amount":"+0.91341907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$00DCD01B-C28A-475C-86F8-A562356FA079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e035fc28d7d87e05f75a6c27e06d2ade0e4c6c2","datavalue":{"value":{"entity-type":"item","numeric-id":2870197,"id":"Q2870197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd96060e1f141c76a90eef7f1f079597ecb56f88","datavalue":{"value":{"amount":"+0.9127196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$58D0FC75-899D-4CE7-A869-20D5C1897D09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df99384cc35d618ead3e73a7511b5f128f6aff49","datavalue":{"value":{"entity-type":"item","numeric-id":2277249,"id":"Q2277249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965b0b5014e9a843f60ece886d764ab60ed57b3e","datavalue":{"value":{"amount":"+0.9094236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3146300$FEE763B2-9A91-485D-B30B-0EF17091530D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3146300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3146300"}}}}}