{"entities":{"Q3558240":{"pageid":5588144,"ns":120,"title":"Item:Q3558240","lastrevid":49559179,"modified":"2026-01-07T19:14:26Z","type":"item","id":"Q3558240","labels":{"en":{"language":"en","value":"Verifying a Compiler for Java Threads"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5703417"}},"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":"Q3558240$FDC06FB3-53F7-4606-A949-BA97860AC8C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48a0200878d103c190e267260d2811a5e8e049d","datavalue":{"value":{"text":"Verifying a Compiler for Java Threads","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3558240$BB7D5251-CBD4-43E9-ADC1-F99812B69CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f740f696c713fdc315dfb9609af871489de626b","datavalue":{"value":"1260.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558240$A54D36E8-0C9F-42DA-9B96-A59BF570BFF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8acf6aca898ed034c02ea1b2fa3d00a87efcaf1","datavalue":{"value":"10.1007/978-3-642-11957-6_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558240$2267C6C3-6390-4872-8F92-8398C69A44F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558240$B72C4D6B-31FD-4CB3-A9F6-B356652ED1F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0d489a41f5ce9c5a7b74a3f4e524032b8d5d571","datavalue":{"value":{"time":"+2010-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3558240$F0736978-9D24-4CA0-9F1C-7A46E98F6A2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558240$4AA04F4A-8B18-4B3B-AC17-D4C1EF5DF470","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ace897e3839ea34de6ceee5fb0a6899e0b69aee6","datavalue":{"value":"5703417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558240$D5A252D8-11DD-4A48-8F34-EE2C1D81C4D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558240$CA7DCAE2-1E0E-49C3-B503-D1DF8A0960B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86d9d04762f0ea93e67dde51002faadad043987d","datavalue":{"value":{"entity-type":"item","numeric-id":40252,"id":"Q40252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558240$7273B5DB-5400-414C-9F0B-422FFA1198E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"576d547b8badbddab59552f9c4439132c6b4cabf","datavalue":{"value":{"entity-type":"item","numeric-id":40307,"id":"Q40307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558240$FAC16071-DC3B-4032-BDB6-7DE153426405","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18da065d50ce37e447f1f6708524421ab8f031f","datavalue":{"value":{"entity-type":"item","numeric-id":1663232,"id":"Q1663232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3558240$473D33D8-B97D-4B91-A40C-223E978E291F","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":"Q3558240$FC530D94-7A33-49CA-94DB-75F0B227D524","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed7c402b0a7f19fb903f790b1cfd168612c5ad35","datavalue":{"value":"https://doi.org/10.1007/978-3-642-11957-6_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3558240$78DD2FB8-589F-463E-89B4-7BF22B6BAAB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0e2cf902ebd136729cc3cfb13790b882e7809bc","datavalue":{"value":"W1521087854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3558240$A0FAFA70-7EEF-4E15-B54C-F2019A62FEE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb9215e52f3915ac4a21cd6de68357f55b79d3c","datavalue":{"value":{"entity-type":"item","numeric-id":4472236,"id":"Q4472236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be63abfb4185861612e538db039109ace07485a3","datavalue":{"value":{"amount":"+0.90780747","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":"Q3558240$559552FB-4EB3-407B-9886-397074FD59DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c36ffdb04228d59cad95c8e70edeefa3fecbfdd","datavalue":{"value":{"entity-type":"item","numeric-id":5447372,"id":"Q5447372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a83b821489402e4228d353543ccb464dfaab921","datavalue":{"value":{"amount":"+0.90084994","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":"Q3558240$F817641C-8523-4593-8EE6-573833759DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d72965f66c7251a7bdda15c26dd0f326374eef7","datavalue":{"value":{"entity-type":"item","numeric-id":2794361,"id":"Q2794361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97a86c38f4617b29ec33a5aae33edbf2483a183","datavalue":{"value":{"amount":"+0.90067244","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":"Q3558240$11CF4B9C-E37B-4C9F-A13E-268E1EEAF968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3983aa0de6536bdc69b46baa1d53410a7969e8f","datavalue":{"value":{"entity-type":"item","numeric-id":1663233,"id":"Q1663233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0f132650126749058b612573eb769e2a4485cd","datavalue":{"value":{"amount":"+0.8904369","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":"Q3558240$410CBDBA-AFAB-425D-9A44-89BCB829FD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b66b72403db77920db535092c10eb2b8f4a2148","datavalue":{"value":{"entity-type":"item","numeric-id":4738214,"id":"Q4738214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd7326adc83e9accd5de7a724b9baaa811899f4e","datavalue":{"value":{"amount":"+0.88633704","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":"Q3558240$04071C59-E1C5-4127-A18D-EC2DACBA3983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c7cca977a6f65382d66bf40adb510cb63a15ec","datavalue":{"value":{"entity-type":"item","numeric-id":1770359,"id":"Q1770359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a3f0075de8ab4f75b3325781cba146a12f774aa","datavalue":{"value":{"amount":"+0.8643378","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":"Q3558240$5991153E-A584-4E0D-95B2-A5A9A38959EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5960fbc019f7f37c9b3e9ab0e7b8f4b4c9604828","datavalue":{"value":{"entity-type":"item","numeric-id":3617715,"id":"Q3617715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cebed68b0a49ce82a4e1a2a88a5b5828ba42a18","datavalue":{"value":{"amount":"+0.8568476","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":"Q3558240$87F01216-7777-4871-BC8A-9E42F3794DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef10785ba3147b129147c393779f9863b9a70a","datavalue":{"value":{"entity-type":"item","numeric-id":5506391,"id":"Q5506391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c6532ab99da7490b57576e9d56614fcdeb6154","datavalue":{"value":{"amount":"+0.855191","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":"Q3558240$858CDCE3-1A2A-4969-BE1E-FCFB97A317A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3558240","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3558240"}}}}}