{"entities":{"Q59890117":{"pageid":59774226,"ns":0,"title":"Q59890117","lastrevid":2090008708,"modified":"2024-02-29T12:09:02Z","type":"item","id":"Q59890117","labels":{"en":{"language":"en","value":"MPI Correctness Checking with Marmot"},"nl":{"language":"nl","value":"MPI Correctness Checking with Marmot"}},"descriptions":{"nl":{"language":"nl","value":"wetenschappelijk artikel"},"fr":{"language":"fr","value":"article scientifique"},"uk":{"language":"uk","value":"\u043d\u0430\u0443\u043a\u043e\u0432\u0430 \u0441\u0442\u0430\u0442\u0442\u044f"}},"aliases":{},"claims":{"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"e16225f537beae3b95f3c3f02a507198e8e8503d","datavalue":{"value":"10.1007/978-3-540-68564-7_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59890117$38838207-9F6C-41F6-B85F-E02608795F15","rank":"normal"}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q59890117$1A73A66D-FBA9-4276-A968-088F1232F719","rank":"normal"}],"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"61f8c27145a988fad8d79fe57879476d221f002c","datavalue":{"value":{"text":"MPI Correctness Checking with Marmot","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q59890117$1FF5689F-8AB5-4C4A-B732-EB141226193B","rank":"normal"}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"a7d0836b3bd9c24999b9fd773bffd5804e7588bc","datavalue":{"value":"61-78","type":"string"},"datatype":"string"},"type":"statement","id":"Q59890117$BCC21321-55F4-4618-9973-8D761DC35089","rank":"normal"}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"820b6c6f605b175a46df3af1cfe755f70cb30f56","datavalue":{"value":"Bettina Krammer","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59890117$828DC0C3-9C6E-48F5-8694-5DE22DDEB6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"66bfd80e158973eb109b8d0a24db419fc2e1c001","datavalue":{"value":"Tobias Hilbrich","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59890117$D3B9D898-33AC-408B-8117-F9C69DAAFE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"b100c10491a96bc102bb2a20001ad2972cbea4a0","datavalue":{"value":"Valentin Himmler","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59890117$B4AAFF2D-CA0C-42BF-BA9D-15D6D7006129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"4cd5b8efcf8a7e174420631d3142ca7aaac892bf","datavalue":{"value":"Blasius Czink","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"cbff8d4b3b7b35f905ef3147a7a6cb88845a774f","datavalue":{"value":"4","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59890117$F42D881F-2D3A-4DED-B997-55D878C45C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"0a80528bc63e6b28187304000a78c50656aae063","datavalue":{"value":"Matthias S. M\u00fcller","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"32387bd293902a2430b5bb680033d36ecea00dd0","datavalue":{"value":"6","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q59890117$097B472E-2EC5-4A0B-B279-A2B897ACDAE5","rank":"normal"}],"P50":[{"mainsnak":{"snaktype":"value","property":"P50","hash":"89cfe242b547b47971b14885c7642da55aaf0a9f","datavalue":{"value":{"entity-type":"item","numeric-id":59866998,"id":"Q59866998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1932":[{"snaktype":"value","property":"P1932","hash":"fecba8e6675c54649aaaf328c9b619c2e3b7d858","datavalue":{"value":"Kiril Dichev","type":"string"},"datatype":"string"}],"P1545":[{"snaktype":"value","property":"P1545","hash":"ea4583c18f699186700d21642b477a2dc1d345c8","datavalue":{"value":"5","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1932","P1545"],"id":"Q59890117$9038C1B8-E196-4D39-B0F9-4FE8149FCD1E","rank":"normal"}],"P8978":[{"mainsnak":{"snaktype":"value","property":"P8978","hash":"2e5bedf4c8bd0e3cc70fc0eb970df2e0c9ecfcce","datavalue":{"value":"conf/ptw/KrammerHHCDM08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q59890117$EC5E9CE2-B392-4982-BEB7-77A0E087446E","rank":"normal","references":[{"hash":"d88fbec0cac4521f90a250c57f1a64d2343d70bf","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"bbb16bcda319d1e785962e87a501c58b95f0519d","datavalue":{"value":{"entity-type":"item","numeric-id":105160373,"id":"Q105160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P813":[{"snaktype":"value","property":"P813","hash":"c86a671b50b0f3f6bb9776680e9ffd2db39c1bc1","datavalue":{"value":{"time":"+2021-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P813"]}]}]},"sitelinks":{}}}}