{"entities":{"Q1888200":{"pageid":1898942,"ns":120,"title":"Item:Q1888200","lastrevid":71067528,"modified":"2026-04-13T19:16:11Z","type":"item","id":"Q1888200","labels":{"en":{"language":"en","value":"Efficient verification of sequential and concurrent C programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2117714"}},"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":"Q1888200$78F2A79B-7C5E-4A86-81EF-6202C1CBBA9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58aad4d445d115463acced6d08f57c31b4d3a324","datavalue":{"value":{"text":"Efficient verification of sequential and concurrent C programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1888200$AED102EE-F0CF-46D6-8B23-717CCAA909E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6ac58666fc2ac646ea0bcaa3025614ab04927fb","datavalue":{"value":"1101.68677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888200$76B77916-BEDB-4444-B1CD-60D264DF68C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"566f77d8dd07fefd2faf3d15ad99fa413807958e","datavalue":{"value":"10.1023/B:FORM.0000040026.56959.91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888200$612C036F-ABEC-47A5-836B-3695C88FCAFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$6E83F966-B80A-4A84-971E-33F27C3419C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b93a7ab83eb4b01c8fa415c14a8ae5c22018daae","datavalue":{"value":{"entity-type":"item","numeric-id":1039849,"id":"Q1039849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$9F691C0D-E77D-4405-B0CF-22E02F481BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62f8d5b6a5033dca78d86b63dee11eed0e71ef4c","datavalue":{"value":{"entity-type":"item","numeric-id":246143,"id":"Q246143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$8067FFC0-C8DA-440B-9E33-D402EEABBF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$A0E888E8-9819-47B3-AFA5-3D2DD9C04544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c629429fa80ceb2f8147b4a851879081e83a346c","datavalue":{"value":{"entity-type":"item","numeric-id":457245,"id":"Q457245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$282B89C2-FD82-4044-9FF0-CB852AB27619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8dacfcf053d2b6145a7d8f294969b0cd4cf897e3","datavalue":{"value":{"entity-type":"item","numeric-id":436422,"id":"Q436422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$F9949BC4-7819-456C-BDD2-6B298D8C2650","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$3A13642D-7DE6-4AE3-B9E1-680F3C296DFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df3f0f81c599b7f3be622e55e11802c61c03707a","datavalue":{"value":{"time":"+2004-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1888200$186929AE-C87D-4B0F-AA89-7822E8B6AE92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888200$BA47629C-5101-4F3A-96D8-A829EBB617E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888200$20CF5735-74DD-41F5-9E2B-F9B07E788FAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3a9163f237d54d6221470e9185e514b1c671090","datavalue":{"value":"2117714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1888200$022A22EC-625E-44AC-B803-8CCA63980ADF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a20dfc4a8361d02631e3d55f19e8d573bbfeb14","datavalue":{"value":"Software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888200$6C279BE7-BABF-43BD-9386-EC32C7B00957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888200$429DCE77-88B0-477D-8F2B-C846A534A29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888200$F2844BFD-8072-48E4-B901-B58A56EC78D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888200$18BD7EE7-F913-4C9D-BE05-E1D0B253FA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1888200$B2DADCC2-846B-4D2C-A65B-1D1C3D65DFDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$369BE043-244F-4A62-91AD-E694ECD90F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$F3E8476F-7A90-45F9-9E83-5381AE5506FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8159bf0a919a0b8aef1e30e19d8f9c6cbe3ba79","datavalue":{"value":{"entity-type":"item","numeric-id":16793,"id":"Q16793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$0050F3C2-BD20-4F39-86C2-72DA10BB18FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1888200$6F10C7BD-50FE-4657-A97F-1B38643A692C","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":"Q1888200$28006952-520E-4BAE-8193-C8A377FAD1CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3579b92783ac4c94b33f26f3d5ad05becdee062","datavalue":{"value":{"entity-type":"item","numeric-id":3999717,"id":"Q3999717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96c252db7d743b0ce67169e87c43f8b7f382e4c","datavalue":{"value":{"amount":"+0.9474216","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":"Q1888200$05FAA81E-A5A5-4FAD-9F4E-B3C9E38A5F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d923660b529be4de0709e4de6b0b139c9cd0582","datavalue":{"value":{"entity-type":"item","numeric-id":837527,"id":"Q837527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96c252db7d743b0ce67169e87c43f8b7f382e4c","datavalue":{"value":{"amount":"+0.9474216","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":"Q1888200$D5A27798-9860-4F27-A543-6C2C00A1698A","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":"546c43084fca3544cabab2d5a73f2b7b5eefa17d","datavalue":{"value":{"amount":"+0.9329211","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":"Q1888200$535F015E-A04E-46CA-90DB-287C5981D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4769a291973affb112e7b96c8e0ea99fb548ee","datavalue":{"value":{"entity-type":"item","numeric-id":4344071,"id":"Q4344071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d75cafc9e3db3243236c1a54db66601d89f335ce","datavalue":{"value":{"amount":"+0.9253941","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":"Q1888200$8F3169B0-3587-49BF-B114-3010D0A284C6","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":"94eacdfe4198571ffc05128d4344f712ddc6260e","datavalue":{"value":{"amount":"+0.9176915","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":"Q1888200$AF142317-F491-486D-B9F8-EE8160236123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbd7d838ce55f130f4c9bfbe76f88f2c26453a63","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f45525c2fe10d6d940ccdcb1cda500565f4f8b","datavalue":{"value":{"amount":"+0.91157526","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":"Q1888200$1108A48D-3198-4E1D-841C-24F9E007C367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5042081f4a9359ce63ad7a8c723ccc9cfe640367","datavalue":{"value":{"entity-type":"item","numeric-id":4294559,"id":"Q4294559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33ae53d75c6e08c34b44d47ad2631f16d7c0cf9a","datavalue":{"value":{"amount":"+0.9069213","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":"Q1888200$CA978A13-CC0A-4707-B8A6-EF886553FCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b66b19dcb34d20e7302d9ed697daf5c94068fc","datavalue":{"value":{"entity-type":"item","numeric-id":5240132,"id":"Q5240132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7852546713bcbc3d47a42bd5610cab1af0e962","datavalue":{"value":{"amount":"+0.9045315","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":"Q1888200$EF3449BF-7AF7-4141-8AAB-DDD048280A7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient verification of sequential and concurrent C programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_verification_of_sequential_and_concurrent_C_programs"}}}}}