{"entities":{"Q837527":{"pageid":839375,"ns":120,"title":"Item:Q837527","lastrevid":64714392,"modified":"2026-04-11T21:44:25Z","type":"item","id":"Q837527","labels":{"en":{"language":"en","value":"Verification of sequential and concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5602955"}},"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":"Q837527$9D60E227-EB96-4BB1-AF70-7805A59917A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7295acf1059f99822ee758ab64a0dc9acfe23acd","datavalue":{"value":{"text":"Verification of sequential and concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q837527$7CA7B0AE-DB3E-4BE6-8D0C-BB03719C9E82","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c1a9d2f4705b974f157bf6ff597bcaf6ccbfb6e","datavalue":{"value":"1183.68361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837527$73DAF64B-5870-48F9-AAD4-3A85AE634397","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af90f20378a107e8477f7239dd1fce8abfd22154","datavalue":{"value":"10.1007/978-1-84882-745-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837527$FD3F253F-BD84-45DC-8611-228E67AC3712","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837527$993CBFFD-5FA0-402E-9516-0E6CCF97CFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837527$91B3D5DF-D8F3-4DD6-B734-95C372DBDCB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837527$F97C5635-FACC-4C55-B89C-439377783AA3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea55fa9123ea51f6ee4c733595d5dafa5f40d823","datavalue":{"value":{"entity-type":"item","numeric-id":161377,"id":"Q161377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837527$C3C7117C-39B7-4C9E-B17F-72E0178CFD60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b166ae75e722a83b8bddd2a19323f18c1176021","datavalue":{"value":{"time":"+2009-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q837527$18C354DD-9F17-446B-97B7-0B8DD2D57653","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa30a059a0936341c561781c1d19668607d624de","datavalue":{"value":"https://ir.cwi.nl/pub/14569","type":"string"},"datatype":"url"},"type":"statement","id":"Q837527$56B1B7C1-6C3A-496E-844C-D5A728D28F8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837527$1C03460C-0ED4-4640-B7EE-5C0BAC0F6D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837527$39CEE298-1DCC-4B10-8D56-768C88177005","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5927143441dcf196185ba37744b3077de7017ba9","datavalue":{"value":"5602955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837527$D53E0FDA-9AED-4377-8BD2-55585D9354B8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837527$A055E8B2-6B19-4575-AC28-2C85342F83CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q837527$941E3F00-8950-4FBC-AC82-4B7C216D10C4","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":"Q837527$D8FDE175-3079-439A-82B9-37717E49AE00","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c2c44923bf3b3f6cb7ca58feae333880132ce3d","datavalue":{"value":"W2569787747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q837527$F7B23AB7-9803-475A-8F22-F6E115C9BA95","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":"bbab897a6d3e720dc80b67e0eef4e13e205a07dd","datavalue":{"value":{"amount":"+0.9999999","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":"Q837527$826BBCF0-BBFA-4EC1-A327-D4B01F80D498","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":"231207901d04b8440197543d62e69a3ec3df3c42","datavalue":{"value":{"amount":"+0.9757981","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":"Q837527$F39E5893-E85F-4964-82AA-4A7F5D10FAF0","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":"c995138435b042d90a21d4a7122a5a1b9f7f896a","datavalue":{"value":{"amount":"+0.9672244","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":"Q837527$A83B494C-885C-49EE-878F-2622F12FDCA4","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":"63cd021fa7fe487fe895acfe76137a648493770d","datavalue":{"value":{"amount":"+0.9552754","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":"Q837527$B1CB401F-BB23-43EB-8698-51047D36FA44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ebbee7b7abce6bc9db7943aebd0d1ded4c399e","datavalue":{"value":{"entity-type":"item","numeric-id":1888200,"id":"Q1888200"},"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":"Q837527$DAFE5D1F-794E-4B6D-92BD-00F2B1FC865C","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":"b8f36e9d6e0cb5fde0591a24a4218a2c274b9cd3","datavalue":{"value":{"amount":"+0.9463557","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":"Q837527$3E99D0E9-40F3-459F-8FB4-09044B8DF9A3","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":"3e8eaede9ba90f697519a2d1d311ffb8e316ef89","datavalue":{"value":{"amount":"+0.9269244","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":"Q837527$E9BC14A7-3CCA-429D-B72E-F8943BEA5624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb906b7819af3215c442ea0a6017f05602f2584e","datavalue":{"value":{"entity-type":"item","numeric-id":2351261,"id":"Q2351261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e85e0fb6eea54ae82e188204b57839e61957287","datavalue":{"value":{"amount":"+0.9259261","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":"Q837527$EB252643-CF38-49EC-AFB7-2BCB93205E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0eeac74170c557f5157139e63c41eaf8479d332","datavalue":{"value":{"amount":"+0.9230031","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":"Q837527$2F4CF253-B7B3-4CBA-B380-E750F8A19856","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of sequential and concurrent programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verification_of_sequential_and_concurrent_programs"}}}}}