{"entities":{"Q2894274":{"pageid":2904999,"ns":120,"title":"Item:Q2894274","lastrevid":44710515,"modified":"2025-11-25T10:58:14Z","type":"item","id":"Q2894274","labels":{"en":{"language":"en","value":"Java Memory Model-Aware Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6051088"}},"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":"Q2894274$EA3C9B14-0B28-4823-9728-A449EDBBFDC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"adbf9ebfd2328631ed685eb19e4237fb3d5bfb2f","datavalue":{"value":{"text":"Java Memory Model-Aware Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2894274$493EE18C-0517-4982-BBE9-7DE099005E11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fc66997a5c7b9d8c27d31b7a2da41c135a4e5ec","datavalue":{"value":"1352.68054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894274$BAE5FE1C-5DD0-4DF3-B8CB-FD6E2C180F30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a035a58c6b7852b15a738ea357e508c4de3a5784","datavalue":{"value":"10.1007/978-3-642-28756-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894274$F634D4DF-3188-4704-9EEB-808DDADD48BA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9aaffcaa9b4e6047ee11502abe110c9cb2730ed5","datavalue":{"value":{"entity-type":"item","numeric-id":2894273,"id":"Q2894273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894274$4E7EB68B-4A0B-47DE-A476-91F6A0634ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5e3684b1f0785261e574b26cdbadab66f850893","datavalue":{"value":{"entity-type":"item","numeric-id":845243,"id":"Q845243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894274$4FEF8D74-1A6D-41A7-92B8-5CE951E60B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f026f4210344de1e950f088c725b08979f750e14","datavalue":{"value":{"entity-type":"item","numeric-id":751847,"id":"Q751847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894274$98CCB7F0-9AAB-4FF6-8D61-A1BC62F46819","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2894274$394DD375-C7D4-4261-A0AD-4737365358D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f01ce0deea26f8c7917713e0a65a223f09cb75c0","datavalue":{"value":{"time":"+2012-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2894274$0B96B3F6-74EB-49CC-B969-ED32A5F45B08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894274$42F6A2A8-CC32-4D2A-ADEC-591B15D2642F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894274$A7B5B7A1-3774-4CE7-8DF1-EE993D728D88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4866cf5b22f21502751c04635c1cb337c033b112","datavalue":{"value":"6051088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894274$22DE505E-5A47-4008-9400-226DE4F74D83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894274$D8DF5DE3-3755-4B92-8F18-C6F960530A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7bfb1d07ef6259fbdb3f3b16eb17c2c8f86edaf","datavalue":{"value":"relaxed memory model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894274$DB8A6730-CB90-4C79-81AC-DCC650B601F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ae5de041c99406d1e76fab1615de027fc536c6","datavalue":{"value":"benign data races","type":"string"},"datatype":"string"},"type":"statement","id":"Q2894274$3D2EAE4E-A8B4-4CA6-AA3E-BB39C86017E2","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":"Q2894274$01A0578B-0162-4109-ACCE-D1F99541F9E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bf40a1b6f366f7c76157cade8b227dd9365c77e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28756-5_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q2894274$DDD0D981-A5C8-4EA1-A058-DB2AE4C765F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a3f9c92a8fa2653e528d6bc830b2e541ca0ba4b","datavalue":{"value":"W2109174298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2894274$91CEC84B-9B71-49B7-9848-7A6F6B51EC6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db442536ae6e62ff9ab4d3a185c91390ceb7fc7","datavalue":{"value":{"entity-type":"item","numeric-id":2892748,"id":"Q2892748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c1f21c2ffd185a24ed63a89259e441fb6eec875","datavalue":{"value":{"amount":"+0.9415497","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":"Q2894274$D456BBAC-8B5C-4F83-B41B-A2B912EC92F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de01c215cf4f50be3d7010f8851fc15145abf901","datavalue":{"value":{"entity-type":"item","numeric-id":1941888,"id":"Q1941888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87c09d18c66cc655e2501ee06a016f1634d79e39","datavalue":{"value":{"amount":"+0.90635943","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":"Q2894274$02459CA0-B66C-40FE-95BA-59232026EB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b57255c83ee5eff21ef14be0b88cc7ae23c5622f","datavalue":{"value":{"entity-type":"item","numeric-id":4413677,"id":"Q4413677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34a0da6d1563bcf49b239a2c31b54391183c067b","datavalue":{"value":{"amount":"+0.9045738","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":"Q2894274$9F011A7D-8FB3-4D4F-82B7-0096E276E4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2012ab69fcb2b12b7e639732dac8615eb9b5b26d","datavalue":{"value":{"entity-type":"item","numeric-id":2722012,"id":"Q2722012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bdc85529fb5df5879c384779e068dab3d492ea4","datavalue":{"value":{"amount":"+0.903318","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":"Q2894274$3EE6CA95-12B0-4489-86F2-CB105521FC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7d0a1a06330f2971ad030396652994a00128f4","datavalue":{"value":{"entity-type":"item","numeric-id":5276162,"id":"Q5276162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2796ba1eb0c4a63059b4be2a8123ce3f4778229","datavalue":{"value":{"amount":"+0.8960369","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":"Q2894274$7BC9CB28-ECDB-436F-9271-D8D7A0E6A652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdaf851ce2ff096fbf60f5028fa060d02cd0d3b2","datavalue":{"value":{"entity-type":"item","numeric-id":2753764,"id":"Q2753764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b51256bae00755492fb3519fd3f828cae13392","datavalue":{"value":{"amount":"+0.8919199","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":"Q2894274$8DB8E990-9586-4B0D-8E13-9EF397D38244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"931c69edb82621504d9a470ff7512c72b953d9f5","datavalue":{"value":{"entity-type":"item","numeric-id":4738485,"id":"Q4738485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c054a87ea61c90a1f830e6f127ddacf953ae69d1","datavalue":{"value":{"amount":"+0.8886734","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":"Q2894274$B1F318B1-E8DE-44BC-9EB0-2615132F3EF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2894274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2894274"}}}}}