{"entities":{"Q5403461":{"pageid":7433035,"ns":120,"title":"Item:Q5403461","lastrevid":75508603,"modified":"2026-04-19T07:38:30Z","type":"item","id":"Q5403461","labels":{"en":{"language":"en","value":"Simulation Refinement for Concurrency Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274292"}},"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":"Q5403461$4E78988C-1171-4535-86DC-49BC5B8DD75C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03c9fba3aef26c4317fd8941c518ca73a4b1822e","datavalue":{"value":{"text":"Simulation Refinement for Concurrency Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403461$387A2414-4CED-4F9C-ABC8-EE470D80419E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b43ef3ba8743554b6f319a8d56767c421f74ee2","datavalue":{"value":"1283.68207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403461$C9DAF567-BCAD-4B20-AF63-7BA7ADB31591","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$AAC2D3E1-2ED7-4598-A922-93477FFD593D","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":"Q5403461$185C67A9-1A2C-4EFC-958C-71E14A204D07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403461$E00F023A-8848-4EB1-A734-BAB0AD8A970B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403461$84F6C248-41B1-4DC3-B2AC-2AE8049DCC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403461$1482A5F8-EEC9-40CE-8ABC-412D1BC8FA05","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d6e7caf32649d2a7056969bc496078d668456ca","datavalue":{"value":"6274292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403461$AD32F718-3E4A-44A9-9371-53473BC08782","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403461$77AA9510-8DA4-4104-AFC4-D6987E01DBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403461$E067DF4C-B496-42D6-AE23-E27F96B25A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29285bdbfc7696cf08ae9d83dc80cad788f3cfa4","datavalue":{"value":"atomicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403461$8B7EE883-4181-4570-AA4F-BCFDFD395DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403461$F4B5813F-E44D-40A6-A820-DD9614C62E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5403461$146FF7D4-10AB-47D2-BF80-2954ED81BF27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$61F32158-F711-4AC4-92A2-BD7A8FBCFABA","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":"Q5403461$88970677-45BF-49EC-852E-9DE86D97C402","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3660dbe6c92936e0fa8e471bd115aeb723b7a5e4","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403461$D9731F4A-05F8-4160-B712-B245230E5FF2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b4dcb339674a8fffcf2452a09332c55ae3219b3","datavalue":{"value":"W4230510488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403461$2527BB41-71D5-49AF-A931-DAADFCE4860F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$8B1544C2-B8E5-4F65-B121-79FC24EFF389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$A262B664-2F48-4F38-8AF6-AAC17D3E6980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3b1d22fc7d2d540655d4f496af6db4fa168e68","datavalue":{"value":{"entity-type":"item","numeric-id":858913,"id":"Q858913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$B81BC586-A71D-4C0C-8E22-F7DFC40F566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"854d086da0f1bfdbdae85905649661f4505fceb9","datavalue":{"value":{"entity-type":"item","numeric-id":5312931,"id":"Q5312931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$32B2A56F-6CE8-4BE9-BCA0-D347316819DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699a0c6979b3b28a7c419b253aaf04eac2a4a50c","datavalue":{"value":{"entity-type":"item","numeric-id":865625,"id":"Q865625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$6F5054B5-D5CD-484F-9384-DD9617314547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61a080b074196bf11d4837ba9c75e22e80835817","datavalue":{"value":{"entity-type":"item","numeric-id":3713577,"id":"Q3713577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$9E6550DE-47A8-4256-86F2-5911F5100346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ee2ccc24aef242bd66c4ff8670e51eb780c02db","datavalue":{"value":{"entity-type":"item","numeric-id":1764428,"id":"Q1764428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$692EAAEC-275F-4CDB-9BBC-90445C079242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a61e18186660f507496a6592b43dddb3ee46382b","datavalue":{"value":{"entity-type":"item","numeric-id":1881266,"id":"Q1881266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$3E7BAAF7-22E1-4A0A-8017-EED6A7E7A3D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a735ec939b05a13b9d5b1c6aa87eda0dd6bd7d","datavalue":{"value":{"entity-type":"item","numeric-id":5277719,"id":"Q5277719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$7469A618-A2B2-4E88-9D5E-063CCED61FFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28ac0bc07aad125b8ddefb97e4ac504406d17b78","datavalue":{"value":{"entity-type":"item","numeric-id":2509154,"id":"Q2509154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$BE13AC18-DD24-4000-B464-4CB1F033E721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd854f986328af892adf8880b229e6bc2346685","datavalue":{"value":{"entity-type":"item","numeric-id":2491215,"id":"Q2491215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$09EFD89B-73A8-4F7A-B285-F4F20E3BED05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b86d3aaef46c4ba4341c2f060fa2871a2728b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":884994,"id":"Q884994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$42EF7EBD-C0D3-44D6-9EF1-24BA40244B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e54947be7d38ea67306ce14a0134a44f0c2e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2482021,"id":"Q2482021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$4EE96DE2-FD1E-4BFC-8892-AF3E691BA857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceadd664d54c8ad5ecba9795891b9eb907415754","datavalue":{"value":{"entity-type":"item","numeric-id":2475808,"id":"Q2475808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$DFB984C2-DA8B-4651-86EF-F2A2F749C8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$6418421E-6597-49E7-8FF8-81750989F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$02C4E27E-22F7-4B9C-A1D4-14398EEE3AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e279107c1bf5c9d2930df902614801cf2fa8b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1899913,"id":"Q1899913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403461$31F4BFE0-8F98-4CE7-B50F-316567D8B0A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c72a3eb28f7e629ce89e5c21976d399d0b227cfc","datavalue":{"value":"10.1016/J.ENTCS.2008.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403461$DA941486-E144-4384-9FB6-21B18FD5E9B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0b2bc9a6cc39ebe7247facdaa741662c7cb1c75","datavalue":{"value":{"entity-type":"item","numeric-id":541209,"id":"Q541209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","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":"Q5403461$0B9C070A-9238-4A12-B1E3-1A4A823394D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"062192654decac9c9356935c51030de414a3d5ff","datavalue":{"value":{"entity-type":"item","numeric-id":2863833,"id":"Q2863833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16da52a39202c64f2227582ef66ead8d236781c","datavalue":{"value":{"amount":"+0.9141333","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":"Q5403461$288C9DEA-FA38-41CE-A7ED-471ED45DC794","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":"eec76d8037910f0b78e71fdc965277dbda143f85","datavalue":{"value":{"amount":"+0.8873173","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":"Q5403461$C6400703-DC6E-490D-BC63-C80E86B685EB","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":"5ed74b73f37746cf36abe1e8a749d77cbdf84c15","datavalue":{"value":{"amount":"+0.88444453","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":"Q5403461$64E944F1-F571-4B89-BA83-6490AE8CF512","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":"cecf490d783cc525a8e33e2103b02a04b25dcfc9","datavalue":{"value":{"amount":"+0.878675","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":"Q5403461$BDCB0516-817F-493D-8783-3B71672ADD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef41768a15e6d50a4a7499dde4d3b4a4dc7df8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5392171,"id":"Q5392171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed96d024d4525634f169286aa6aba90a9c570309","datavalue":{"value":{"amount":"+0.8763985","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":"Q5403461$0925396A-7767-45F6-A466-4B5DF9B057B9","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":"9c1999f42e18184ada0b0a312df29918cb759227","datavalue":{"value":{"amount":"+0.87638426","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":"Q5403461$1063CF0F-EBCF-4381-8459-3712512E42F1","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":"7cbf1a9de1c70c3a39f9ed429f08894e4809db2a","datavalue":{"value":{"amount":"+0.8726939","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":"Q5403461$02EA319A-93E7-4707-9231-C5702DEEC02E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simulation Refinement for Concurrency Verification","badges":[]}}}}}