{"entities":{"Q5385607":{"pageid":7415181,"ns":120,"title":"Item:Q5385607","lastrevid":92232194,"modified":"2026-06-05T01:12:12Z","type":"item","id":"Q5385607","labels":{"en":{"language":"en","value":"A Bytecode Logic for JML and Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5271811"}},"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":"Q5385607$E5E32D24-5510-4BFC-964A-19D4805A314D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecdb97afb0adfad1f39628d41a71e8eff080a794","datavalue":{"value":{"text":"A Bytecode Logic for JML and Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5385607$6291F2B9-4CA1-4B2F-B91F-A5F8EF6A94B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9168f0c1ac0ef709f2b4b14de643d6afd048646","datavalue":{"value":"1168.68357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385607$465190BB-A358-4C58-980A-649EB02126B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"926be50c95d0860ea721ae46bbdfd51e6a102609","datavalue":{"value":"10.1007/11924661_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385607$652333FA-40FA-4196-A748-9F59B7879259","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc276cb0285ab91fe37913260a1294cd4b610f4","datavalue":{"value":{"entity-type":"item","numeric-id":710671,"id":"Q710671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385607$74A0CC93-E496-4B9D-A2C7-A75A64D205A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02af282ac48548b384bd92269300a29e2bca8e17","datavalue":{"value":{"entity-type":"item","numeric-id":534711,"id":"Q534711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5385607$3609FC9E-481B-40D4-B439-2C312D00AF0F","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":"Q5385607$71DFB01C-EE99-4E39-ABDB-331DBD571484","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"93fa65317d5f6a1c57db571a35c69b79f79eaa4a","datavalue":{"value":{"time":"+2008-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5385607$323FE48C-05ED-44AF-A165-83776491A574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385607$DF14A9DE-265A-433D-A8DE-9DBBCA25CF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385607$EBFE2708-CBE2-4B4F-8F1A-0D1FC1F6E987","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"204bb6dd02064e41e6904b9ef9f0751f2681c278","datavalue":{"value":"5271811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385607$A5DCF827-0E77-4514-B1F3-F8456924AE5F","rank":"normal"}],"P1463":[{"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":"Q5385607$66BBE7C2-CB74-4738-A863-34F7BB208F87","rank":"normal"},{"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":"Q5385607$F366C382-2AD4-4571-8A1A-12D4A25584BE","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":"Q5385607$FC812F82-35CE-4580-939E-CDDB31E5E0F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9c272d9194fdb3fbd64fb9eeb6dd438c3f9a9e2b","datavalue":{"value":"https://doi.org/10.1007/11924661_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5385607$CC5EB7AA-1821-42E8-97F5-2B77213BF6A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f368c1326af1e66c524251e8df5d735d02b09d83","datavalue":{"value":"W1521881314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5385607$9DCFF7EC-FA8F-4EC7-AF11-ACBCD547CECD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38136609dda53c824d1ce6ee9928cd8e3cf11f1f","datavalue":{"value":{"amount":"+0.7808104753494263","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":"Q5385607$380C3E86-3E7A-46AA-94CE-02C871DC5EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1286846bf7c057630217765ddc24f6ebf9cbc452","datavalue":{"value":{"entity-type":"item","numeric-id":2764132,"id":"Q2764132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73968797613e137bfcc6e815b96a9280e9e7f727","datavalue":{"value":{"amount":"+0.779212236404419","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":"Q5385607$7FD3CAE2-A47F-4DDD-B544-0DA8AEE67B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af1a7f88ccf611b0db3e4f22e477109f6066aec","datavalue":{"value":{"entity-type":"item","numeric-id":1881665,"id":"Q1881665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6792ef8e870ec1c6aa71df649676219e1ef3b42e","datavalue":{"value":{"amount":"+0.7758974432945251","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":"Q5385607$AABF52EA-426E-40D0-A1B1-15225ADCC007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb36254aca9ce96e4bf6f89f2ebcd90cb9cd50c","datavalue":{"value":{"entity-type":"item","numeric-id":1874284,"id":"Q1874284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c3babcefc4d5d25efaa4e56c9ae0cd4a1d3e02","datavalue":{"value":{"amount":"+0.7708204388618469","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":"Q5385607$9BAADB65-5A35-4A17-9E53-2660184B140D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35f7a82e5cad8de157500cfb6b195e750d29cb7a","datavalue":{"value":{"entity-type":"item","numeric-id":2463560,"id":"Q2463560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb2d6fd4eb8f8b432207561104dc1b9a15c34b1","datavalue":{"value":{"amount":"+0.770532488822937","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":"Q5385607$0E55C3A0-6AF7-4B77-B474-8FD2B7222D98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Bytecode Logic for JML and Types","badges":[]}}}}}