{"entities":{"Q5305646":{"pageid":7335220,"ns":120,"title":"Item:Q5305646","lastrevid":50937293,"modified":"2026-01-15T20:16:17Z","type":"item","id":"Q5305646","labels":{"en":{"language":"en","value":"A compositional operational semantics for Java\\(_{\\text{MT}}\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5685996"}},"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":"Q5305646$80AB4A85-0C57-49F8-B2B2-C6AF9BD1B9A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19ae24441913cb26b5e3c3e3091d33de7d326442","datavalue":{"value":{"text":"Verification: Theory and Practice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5305646$6ABAC1BD-276B-4FF4-8F61-D15D19B2567C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0bc0787ef8658d8876dcc388c2161197e426c6ca","datavalue":{"value":"1274.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$28E28751-BA49-45C9-9632-AF3E5D5EBF76","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":"Q5305646$59CEEE31-1F52-4CB6-A5D5-97EA97F9F99B","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":"Q5305646$E9D81D9B-7DDF-4B7C-911E-17F57F332A89","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":"Q5305646$0C17B266-8AA6-4EE3-8AA4-3FB66FB6B364","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":"Q5305646$ABA75ACB-E623-43E9-9A69-4A2BBEA9DB9C","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":"Q5305646$9F49E47E-C565-43B1-A466-45801D297F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04667758ca402825b85eb8236fc52c2cb97a4477","datavalue":{"value":{"time":"+2010-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5305646$DBC88E77-AB98-4857-B3CE-3504C66F4143","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$5F7AB2EC-38CA-41FD-AE29-B51F55DB8DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$FDEC5A2D-BD21-4AB0-A24F-64DC3491617D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$C79CB6C0-DAEE-473C-A104-322215F35AEE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66b64f4d1ac09ac2b5fc8ee25c0f1b666e5f0067","datavalue":{"value":"5685996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$FA0C94CB-628C-47C2-A218-5647F5023AC9","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":"Q5305646$5CBBD835-5F9A-40B7-B765-ACD0BC5002D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05ebb71e054470a0072332415944e2f3b0e63b73","datavalue":{"value":"https://doi.org/10.1007/b12001","type":"string"},"datatype":"url"},"type":"statement","id":"Q5305646$436C503D-385F-4EAD-9298-E69FC6672E7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9b2172af60a018bd1bac6a0747828428d9e3f990","datavalue":{"value":"W2483649756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$D0F9CF77-CF1B-4161-BF43-515E05215489","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ff9106ae7b59b411fabd677cf1f3a1876f996e9","datavalue":{"value":"10.1007/B12001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5305646$DB266F33-80FD-4DAC-8CED-186CB0ADCEEC","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":"b971391059f5a2e6d7937a8f7433809e6808bb51","datavalue":{"value":{"amount":"+0.7958119511604309","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":"Q5305646$F68AD31E-EDA4-4311-914E-3FA4B58488F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92eae10ce6362351ae7e36a48dc5f4aecd87b257","datavalue":{"value":{"entity-type":"item","numeric-id":5897122,"id":"Q5897122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e24efae4ac1313aed141591847e9f37217561d7f","datavalue":{"value":{"amount":"+0.7854216694831848","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":"Q5305646$AE5D13E4-2D4C-493A-B49F-2553F10F3312","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":"bf08793bdf758a1590187e86bbbe04212170ab2e","datavalue":{"value":{"amount":"+0.7833080291748047","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":"Q5305646$36B3CA62-25C2-47AD-8F77-2B88C7DE8DB6","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":"1303d5a633ef803558716f8c4e86ff474e785371","datavalue":{"value":{"amount":"+0.7770031690597534","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":"Q5305646$2F34879E-132F-4301-9469-B646A63F2A4D","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":"c5ac4632e6243afdb18ef0748847fc9a8db58a60","datavalue":{"value":{"amount":"+0.7729324102401733","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":"Q5305646$A9B5D936-B465-4F0A-96DA-810D18108C3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5305646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5305646"}}}}}