{"entities":{"Q2870197":{"pageid":2880917,"ns":120,"title":"Item:Q2870197","lastrevid":42359813,"modified":"2025-06-12T21:46:08Z","type":"item","id":"Q2870197","labels":{"en":{"language":"en","value":"Verification of fine-grain concurrent programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247492"}},"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":"Q2870197$75E97EAB-0314-4276-87E5-04A65F23CC91","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f43a906af98f949ccc13a35e0c56a8281bca550c","datavalue":{"value":"1279.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$300273D0-BD43-4F01-B87C-CD5CF1815F7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870197$D0873552-E318-4BB9-8D49-10AA800B1485","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2870197$68AEFF61-73F7-4535-A1D6-AEF45825F8B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$A22FC239-E575-461A-8D0B-988000695E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$C53BA4FE-614E-4D52-B576-45719F27D7FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abaf7f3b05c71f67d7642b0efb2ee25236e1bbe0","datavalue":{"value":"6247492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$8775EA1E-B49E-444A-85B0-ACD76E9D6E8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4bb237801a8ff6b29cea047f775fb3b1214f15e","datavalue":{"value":"fine-grain concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870197$D5C03A0E-A4ED-415F-851B-75B60CAA343B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8716d6197a9642b071041ee48858adff185b19a","datavalue":{"value":"flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870197$46CE2585-EAE1-4C5E-8F0B-E5BB9EE6BEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ba41a767cd779129955b82d8b9e9c4321390718","datavalue":{"value":"Floyd assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870197$D216CB45-F54C-4161-93F2-A1B006F3E3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870197$2DA7FFC9-45AA-4E66-90E4-0776F6DD40D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870197$98A69338-89D4-47E3-A70F-B04E1BF5A192","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":"Q2870197$8BE44335-C542-4CF2-B9A4-674351F9A219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4455e2694d5bd26261e202ec9bd77cf477b1878a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870197$386F0B29-87CF-49EE-926D-7BFC6506597E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be9e50e0927ccc0a314e63c4b8698d38188d1cee","datavalue":{"value":"W2147727237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$ABB35934-3E50-4FCB-A83F-2F4C2DE9EA1D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5a11da9eeeb3e3609e22f83eba38a65ce7ed94b8","datavalue":{"value":"Q126030093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$69EF911E-55E4-4063-88C0-81B04C7D6CEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2445b2bb417087ff0e3fb84e43851ba1f3b904b2","datavalue":{"value":"10.1016/J.ENTCS.2008.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870197$23391266-DCE0-493C-8B54-0F16702DDEC8","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":"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":"Q2870197$4D383D41-DD8B-424A-BA7E-0946DD47D446","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":"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":"Q2870197$5D4BC3DA-0767-43F9-B745-B5C649DEB16F","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":"8d98ee44a37ae0d6e7d2f985b799f7d6f6db740e","datavalue":{"value":{"amount":"+0.94253767","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":"Q2870197$E3FA4A8F-5514-4DE1-A2E6-99262AD8CE1B","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":"3529c545f98de16d00da6aed065860ed976243a5","datavalue":{"value":{"amount":"+0.93986213","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":"Q2870197$3D0F4BED-E7B9-4115-A862-2CCA025695F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d41ee4f28489e03ddc16a1d1d8777b5ebe5b024","datavalue":{"value":{"entity-type":"item","numeric-id":3460058,"id":"Q3460058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7a21299c150fcb577acca973e1d7da8d494761","datavalue":{"value":{"amount":"+0.9313398","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":"Q2870197$DF533746-B020-4189-A64C-93DE16843192","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":"57ecd3b8ae9a9c2b3e05c2aa98725daf9a8742ed","datavalue":{"value":{"amount":"+0.92928517","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":"Q2870197$44447AED-20BE-4B4E-AB6F-D9EC014EF111","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":"a03c731a9f41a9f047541e1cc6163b1639b01b2a","datavalue":{"value":{"amount":"+0.9285387","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":"Q2870197$10BC7DDE-02B2-45BD-BA25-ACDE10C4E9A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9038db14ed55c063400000ca5f77b749f4cc0a07","datavalue":{"value":{"text":"Verification of fine-grain concurrent programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870197$1297661B-2EF0-4E79-B83B-AD2C97FFE117","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870197"}}}}}