{"entities":{"Q5902547":{"pageid":8012210,"ns":120,"title":"Item:Q5902547","lastrevid":50871683,"modified":"2026-01-15T12:44:07Z","type":"item","id":"Q5902547","labels":{"en":{"language":"en","value":"Inductive proof outlines for monitors in Java."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655970"}},"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":"Q5902547$3CCD3269-40CD-4DF9-AB77-C8D5B661EC7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902547$00CA95E6-9682-41BD-93F1-1F8939CC5DFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7f98a58db3853d1c714c44cc5d42ab54d3ef0aa","datavalue":{"value":"1253.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$4C0CDC78-F3C1-45D1-811E-A5660A251FA7","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":"Q5902547$08619F3F-9D26-49FB-9252-E86901911AAE","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":"Q5902547$36A659CD-319F-4804-8FA4-9BE03948BF23","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":"Q5902547$B7469183-4771-4FF5-847A-BE4B93E83332","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":"Q5902547$DEB3E81C-3347-4E1E-8265-12991AA43FE1","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":"Q5902547$1A18D8E2-9D25-4B6E-AC3F-A1AF62AB184F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902547$FC3AF0C9-40F2-45D3-B645-3E2B0DCA9287","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$F62F23F1-226D-4419-A85F-DFA07F239AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$DECB35C1-1159-45C2-9B3F-DF355BDAF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$0563E17F-1C64-44D2-AFD2-7C2E6943DDB5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6f4523621a6fe5a305a0bf57f2159071ed2341e","datavalue":{"value":"5655970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$823A3588-F0B9-4FD6-B78F-0E86D0A801AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e27302aaf7544d0b74e2312b8d6f38cd1a37dec","datavalue":{"value":"object-orientation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902547$34F17603-3096-4976-BAF8-F90174CB2572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902547$883BEEA4-AD8D-4FBC-AC74-D349E48E5EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237a152bfe15117a282e6e47a60d17375fec1411","datavalue":{"value":"multithreading","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902547$BD62E4F7-8B27-415E-9487-BF8D072DE24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcbdf73ad579c2003ce739cd0d18214636fe7ee8","datavalue":{"value":"monitors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902547$C901FD60-8FC1-404C-8246-1006842FFB2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902547$1B96AFDA-39DF-429C-8AF7-EDBA5C71FF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8cbb01c051982c95152117b2640d772b16d4c4f","datavalue":{"value":"proof-outlines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902547$32FF69A8-6717-4D8C-BA8F-8DEE7F15535E","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":"Q5902547$D2032B86-D23E-482C-9AFF-1C74B31FEB20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902547$C160AD9C-C62A-4D9E-BFDF-8DA286F1CD55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$DD44F528-A4A1-404D-B685-A583FC6F7195","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902547$4E6CCD77-5660-4EFD-A39D-5AC0B188FA26","rank":"normal"}],"P1643":[{"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":"29d2b9d06e9a101dbc26dc8755eee470e8b75228","datavalue":{"value":{"amount":"+0.8254994750022888","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":"Q5902547$2C5B4317-9C5B-4FA5-9834-F82D126B32A6","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":"2a05cfe0b58654c62f703b657e7f222c4edd5972","datavalue":{"value":{"amount":"+0.7968644499778748","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":"Q5902547$DF938BD8-E3C2-4F69-B655-91D80A6DC6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a559c48a6534a54d7a04f8e324f02dc7e5d4e056","datavalue":{"value":{"entity-type":"item","numeric-id":1004057,"id":"Q1004057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3a3fe8c05011fa300f25ad5affe923fbe80ede1","datavalue":{"value":{"amount":"+0.778717577457428","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":"Q5902547$D74B476A-467C-452C-ABB4-6865F7FABE4B","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":"c2c8623bab37fbfac9d8c13c6902637bc7bbcba2","datavalue":{"value":{"amount":"+0.7701102495193481","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":"Q5902547$44A9EB37-7987-4093-9CF2-0F1E81D8AD31","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":"9f7b83414c1684dbc1222cb659d2f094a4c8b668","datavalue":{"value":{"amount":"+0.7666009664535522","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":"Q5902547$52E4492E-5ED5-4FCF-8B9A-7469DFDD08FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902547"}}}}}