{"entities":{"Q864512":{"pageid":866360,"ns":120,"title":"Item:Q864512","lastrevid":64934955,"modified":"2026-04-11T23:12:55Z","type":"item","id":"Q864512","labels":{"en":{"language":"en","value":"Model checking a cache coherence protocol of a Java DSM implementation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5123665"}},"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":"Q864512$70FA50A0-DD7A-494B-B1EA-7A0342ECDFF2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b30bedc77f3dd4b72ee839f1b597ec7554c7e14","datavalue":{"value":{"text":"Model checking a cache coherence protocol of a Java DSM implementation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q864512$B9F5A479-6D5E-4350-830F-1C5AD5FA4FD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cdfdcbcabbde0fdc3799d1106ccb326d20a6c4a","datavalue":{"value":"1106.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864512$34F5EDAE-CC39-4CA8-8184-92B379B79E19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"752576cfbef9e9507e7fc1038f6ecdc08f2ba1bb","datavalue":{"value":{"entity-type":"item","numeric-id":201215,"id":"Q201215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$FB2EE13C-45C4-446A-8021-C8BEAA3CDE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c32e779327a172d8fee49ae8a67ccf4bc19ac6b","datavalue":{"value":{"entity-type":"item","numeric-id":864510,"id":"Q864510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$E2EB97AF-6B0D-4FA2-8FF7-31FFE02DB991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3040adc7d1e4649a1a093187118033b64a55fb98","datavalue":{"value":{"entity-type":"item","numeric-id":864511,"id":"Q864511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$3B56D95A-92B8-48F0-B33D-158AD35F8E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$19D1073D-46F4-451A-AD95-E1033EFF7BEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$8311DFC2-7E69-43D6-9802-7596825E2C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04c4eacc187712207be9323f3a2e3dcadf2d0f65","datavalue":{"value":{"time":"+2007-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q864512$FBB38688-B011-4559-87E2-362152453323","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864512$96F24A45-7C01-4506-9964-4360A39CE2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864512$CCA836C2-23D3-4582-B6D5-71C0B711C7BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3da4467a5256cdb59e10337bcbd0cce0a47ab09","datavalue":{"value":"5123665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864512$65799220-8A02-4524-A701-5164C9898973","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q864512$E9A3B976-D107-49BE-ACEE-8909BDD51723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q864512$D69970A0-56DF-4CD3-8C20-22F3F8075BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21f545cf2fa12f9d190b95f402d5ecc223d26df2","datavalue":{"value":"cache coherence protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q864512$C1B24902-ACE3-4ED8-B576-359F54690CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4dedb3b50655241439a4e333218096f71d93ec9","datavalue":{"value":"Java memory model","type":"string"},"datatype":"string"},"type":"statement","id":"Q864512$D6A6CABC-6713-4810-B58C-D2543A921C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e99829f8488e21da70152261ff81176f341bae","datavalue":{"value":"\\(\\mu\\)CRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q864512$A76101FB-67C6-4AB7-B8E5-C2255B96729B","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":"Q864512$3BC8F81B-3E48-446F-B12A-27D4D8B35575","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7cb83ef544173dfc75042edee2fb45a041e0406","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2006.08.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q864512$7F2C158D-9B83-4BE9-A507-3197DFAC3D2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21452c7555cae0142f05830f7e8ac4bfbbce10f8","datavalue":{"value":"W2112832542","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864512$7FB65652-8DCF-4CA6-BC6B-20C34E64E2D4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$EC7E7CB1-A706-47D8-A24D-1F6C845F7BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb58696d54cab57db8bedcaf16585e21c96e4b7a","datavalue":{"value":{"entity-type":"item","numeric-id":2576590,"id":"Q2576590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$82D86B8F-E93D-4DDF-BA9E-B1410CF15AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$B614F2D7-D03F-43DD-819D-48C05B4C86B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b274d4515b920a6eb9a634af0501d4e3fb5526","datavalue":{"value":{"entity-type":"item","numeric-id":2845494,"id":"Q2845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$5406D55A-086F-4494-A739-635AAF98642A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c0a0458a7286df44d15d215f70c6462868988b4","datavalue":{"value":{"entity-type":"item","numeric-id":1126523,"id":"Q1126523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$3B1C84EB-5454-4BA0-9AEE-40AE6638FBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82889a8aaead4f7b83d3113f27cd04ae3da7df58","datavalue":{"value":{"entity-type":"item","numeric-id":2754073,"id":"Q2754073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$86429052-34BD-4751-8A62-BB2615E2225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"472cf19de10139786f8a962564dd8595fa33649b","datavalue":{"value":{"entity-type":"item","numeric-id":3122694,"id":"Q3122694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$CBDF16EC-0340-4DF2-8E2E-3D0C2345FD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ae7717ee846def71c4121d7b92687d6700384e","datavalue":{"value":{"entity-type":"item","numeric-id":1400154,"id":"Q1400154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$84F94F17-D162-4D3E-8412-13DF7E280131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12773d3f7af80842ad6150da90dfaf1db162137f","datavalue":{"value":{"entity-type":"item","numeric-id":5946027,"id":"Q5946027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$98EF0858-B714-42B1-92D5-005DF8D622AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f23409092776b502b163449a38cb0814b6d9453","datavalue":{"value":{"entity-type":"item","numeric-id":2760254,"id":"Q2760254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$031E377B-836F-47D0-A8FE-A1F45B049353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8d80a98a94be82f3859f1a1c1c55a08c7745fa","datavalue":{"value":{"entity-type":"item","numeric-id":4818798,"id":"Q4818798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$2492589F-A0BB-45F5-8A3B-FC39EB47C5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066eb8cdc8433f36244b58d272d4a6e6c9cc7f21","datavalue":{"value":{"entity-type":"item","numeric-id":3853114,"id":"Q3853114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$EFBCF0BA-9CDD-4E95-B1CE-D1B92631C8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74d97644f1b02a0f2e6d1000c97a5212800d7859","datavalue":{"value":{"entity-type":"item","numeric-id":2785427,"id":"Q2785427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$E627947A-6D37-4B5C-B360-912A97BD265F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad737a5c5987d428a8ca90278b0e43f2eaa2b701","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$039EACE9-C6DB-4274-8B8E-3648F09CD9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3c377f1c37e4f87475f65bbab256ef4fae8db6","datavalue":{"value":{"entity-type":"item","numeric-id":4738200,"id":"Q4738200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$FE28851D-C49A-4152-B2DB-D325B99030FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e0a5ea99878fcbdbb6bb9b18eb9fce9101e415","datavalue":{"value":{"entity-type":"item","numeric-id":1166926,"id":"Q1166926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$CA1AA7D4-59F1-46E3-9E4E-0CC7797F42DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3cf540cd03eb06813c781139dfcaba5bbd6fa3b","datavalue":{"value":{"entity-type":"item","numeric-id":2763961,"id":"Q2763961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q864512$7C448DC1-2933-4085-9414-2DCA64EB38A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc9d70e0229ecf3d5aac362ca905a0254eda40b6","datavalue":{"value":"10.1016/J.JLAP.2006.08.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q864512$F60000C4-99A7-4FF9-BE59-CDA68BB2D129","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea5b36ab0bd8dd700f54db3787958cf0de80117","datavalue":{"value":{"entity-type":"item","numeric-id":1870224,"id":"Q1870224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0434021fd3bfce4eac4c3607a491221915da7a98","datavalue":{"value":{"amount":"+0.7537749409675598","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q864512$9B2A7B34-D4FB-4DF6-9955-62AE9CE6172E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c896f87c7eccba3bd31c18bafef31ba2df9b947f","datavalue":{"value":{"entity-type":"item","numeric-id":4799663,"id":"Q4799663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"389308013c2b65f3db4d194145688d4cb1c468df","datavalue":{"value":{"amount":"+0.7449700832366943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q864512$06747DEF-D72C-4604-99A0-54D6B7BCA8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a4e4514ad0898f78b9ddc3350d378a29c78aa27","datavalue":{"value":{"entity-type":"item","numeric-id":4778616,"id":"Q4778616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff20c29dd386fb01325e5c79e8c30555a8951cdf","datavalue":{"value":{"amount":"+0.7319063544273376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q864512$F03A0C0E-FC8D-4601-81C3-12F187F2B9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"416a62604e8eb441703dac52618af58b7aa30740","datavalue":{"value":{"entity-type":"item","numeric-id":4738200,"id":"Q4738200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51ec9b9e63748c87270d28caaee88afbb3ffc457","datavalue":{"value":{"amount":"+0.7214730381965637","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q864512$1668F628-8F3B-42F0-B79E-06931CC8A048","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":"16786e680229646e38943660cc811d5067de4f9b","datavalue":{"value":{"amount":"+0.720765233039856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q864512$8173D442-21C6-4111-970E-D808635F31B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking a cache coherence protocol of a Java DSM implementation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_a_cache_coherence_protocol_of_a_Java_DSM_implementation"}}}}}