{"entities":{"Q5897122":{"pageid":7937765,"ns":120,"title":"Item:Q5897122","lastrevid":50900120,"modified":"2026-01-15T16:07:15Z","type":"item","id":"Q5897122","labels":{"en":{"language":"en","value":"A tool-supported proof system for multithreaded Java."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5668045"}},"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":"Q5897122$238E5685-3E97-4F59-8F56-AB116CEFB53C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd72f02aa0622ff6b1d6ba05406cc01476c61375","datavalue":{"value":{"text":"Formal Methods for Components and Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897122$664A6486-175F-4BBB-B53E-0B598F0F56BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5de881c0b2929b7629f843d8be34e1c1fbf600a","datavalue":{"value":"1254.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$18E09D60-7351-4694-878C-3B10DB21D2FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$52D30AA9-BF27-48D2-9C55-B1A5AA32689B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83abf2b01a4357b2f9d0924a417dea001e35cd1","datavalue":{"value":{"entity-type":"item","numeric-id":338622,"id":"Q338622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$023277B9-7B61-426C-957A-3F8D4DD3B49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$8F9F49CC-031D-4A0F-BD00-E26489926630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4a33e668865998ad06e8768f6451ffff95432cb","datavalue":{"value":{"entity-type":"item","numeric-id":967529,"id":"Q967529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$45418D0D-B5E1-440C-B88B-216C28842D80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$C65602B3-F627-47BA-A6EE-A788EEBFBAA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00de9f7ecd6f8efd38a07b132aa7063b53ae83d4","datavalue":{"value":{"time":"+2010-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":"Q5897122$5979268F-F67E-4856-87B9-E3E5DF39AB84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$6271EF24-C3E9-4A91-9519-BA7C52F3145F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$781635A3-36F1-4FFA-AFA5-3F37D550DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$72AC2D98-2190-4DA6-B488-55CB535EB22C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$6CFA33AF-EBCD-4872-8311-7FEF2C51F873","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50fd8b5eca6ddbdc5befaa9d5d545a89d279d393","datavalue":{"value":"5668045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$8C819EB8-CF07-429A-A048-B8A57A99D487","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$18EB7B8E-A510-4E54-B09F-D20F46560136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897122$D50B0120-2AAE-4D9F-B0EB-DA3638FF7CFC","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":"Q5897122$D9579974-56CC-4BB3-B78F-4D9B64C7FF65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"694ecc6121bc1698b5b8e2fefc119ba3501c5fba","datavalue":{"value":"https://doi.org/10.1007/b14033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897122$221AC79F-D4FD-4272-97B1-91C8EBEE524C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65095d1ea206916668ba018f05a3494387d29751","datavalue":{"value":"W4212909638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$882832E2-B735-4600-9EC5-7D298A49EFE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8116e892939797244d3d69c3fdabc51e0201333a","datavalue":{"value":"10.1007/B14033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$50FB0EF7-A4CE-469F-A93C-E910DA1B2727","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"03d0e0bdfed74b7b82ef993492d9a8ff115db0bb","datavalue":{"value":"conf/fmco/2002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897122$A5312191-81E3-4894-A783-1466FDFE75B2","rank":"normal"}],"P1643":[{"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":"fbd816dddc6737eb1e23c9031ad777b57424fa46","datavalue":{"value":{"amount":"+0.9555391669273376","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":"Q5897122$F78220F5-9904-46F8-9F90-3FD0FAC8207F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05551d2afc67ce25732910138ae29ba87abe4275","datavalue":{"value":{"entity-type":"item","numeric-id":5457270,"id":"Q5457270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4116376053399951dc5724e122df70691be12d7b","datavalue":{"value":{"amount":"+0.878008246421814","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":"Q5897122$58D0685C-1360-474F-B0E3-691F8069F3E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7434d201da81f6cc256c238b8ea8c53a300470d","datavalue":{"value":{"entity-type":"item","numeric-id":4536605,"id":"Q4536605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17eef61aeba5b1cb13383666e68d3546d651314","datavalue":{"value":{"amount":"+0.8709253072738647","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":"Q5897122$0C4F3118-ADF9-4A6E-BC0C-7E36B90B5E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a9085fff73a4e1486971bcf6d892241bd256580","datavalue":{"value":{"entity-type":"item","numeric-id":5428915,"id":"Q5428915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756e68ac3ba9861141a0fcc9c2dd81389181862e","datavalue":{"value":{"amount":"+0.8546047210693359","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":"Q5897122$5E271778-5882-4ED1-A99C-948B40490B47","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":"c70096279bcda93d94d090795842cfaef5337c93","datavalue":{"value":{"amount":"+0.845266580581665","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":"Q5897122$EE9AB8F5-AE51-4C60-8D86-FA23B39AC4D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5897122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5897122"}}}}}