{"entities":{"Q3541689":{"pageid":5571593,"ns":120,"title":"Item:Q3541689","lastrevid":50510498,"modified":"2026-01-14T06:10:01Z","type":"item","id":"Q3541689","labels":{"en":{"language":"en","value":"Preservation of Proof Obligations from Java to the Java Virtual Machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374232"}},"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":"Q3541689$8C992253-D501-4674-B123-0127D036DBEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78af283b58976b69724ac6efb9c0ed3174c54e24","datavalue":{"value":{"text":"Preservation of Proof Obligations from Java to the Java Virtual Machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541689$53FDEF86-C790-4BAB-ADD3-E231C4B0AE00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c75c8ec8a94bdedf6590ea679c6ebf8eccc031e","datavalue":{"value":"1165.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$ADC56812-6F23-4059-AC54-B685F7F8A950","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb2792a67e80f094581a5bd706630c204ce3088b","datavalue":{"value":"10.1007/978-3-540-71070-7_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$D143E6A4-E140-4427-BCD9-064893D72673","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$CC193FCD-63F4-4F5F-9EAB-6706B2E2657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$9A696C37-9D64-400E-8ED3-1F81DC200A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bc6ce0c2681df9e4cde9cb8fae8c2fef76486a5","datavalue":{"value":{"entity-type":"item","numeric-id":3541688,"id":"Q3541688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$CF19C87C-CB21-4D26-8D33-56B5A8EEE85B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$84314DE0-82F0-4C90-960B-026C0ADB4BDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541689$6E2299F8-C5C0-4C5C-9BFF-4D57E6E3615E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$D6698A5D-6324-42AB-9002-1894B004BD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$936BAD66-1B6E-4905-8E13-93FE9334C66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$F4103A96-FC3B-499B-8769-4296967DC5B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85db51e4049c96dd03cb173ee8686146d1b38db2","datavalue":{"value":"5374232","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$EB284B7A-B400-4DE3-85B5-4D5B4DB1AD2A","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":"Q3541689$6A418F00-667B-48B6-A5F1-32626B2A9DFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b6097a855c8683ee19466603c75c1a3527c36cd","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541689$AB13726C-0596-427C-956E-1BA8F4613D22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e78ebe0da14d2a409b2b9f6312bd27399fd18e04","datavalue":{"value":"W1891086641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541689$6889B512-029F-4C88-B616-33D1D3D226F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afe89874af971b4afe3bfbf81c3a46d174d9beb","datavalue":{"value":{"entity-type":"item","numeric-id":3613391,"id":"Q3613391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$CDB875AF-9B8F-4978-962A-9DD7D0E70E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"547c836be3ce124d486806c652c781a695aff350","datavalue":{"value":{"entity-type":"item","numeric-id":5458410,"id":"Q5458410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$6A004502-88DD-4CC0-A573-6317576297E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$E2240A5C-CBB8-4D8B-9D86-AFED71B23ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$4B4367F2-268C-41BA-99A3-805930ADDEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9bebdc0893594f6211d098d55b6c8d27d04635d","datavalue":{"value":{"entity-type":"item","numeric-id":3452245,"id":"Q3452245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$FA7E9483-E6AE-401D-A670-CE642F539149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37390f2d88033b6fa056e221236b35b17117208","datavalue":{"value":{"entity-type":"item","numeric-id":877026,"id":"Q877026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541689$0F06858D-68E2-4E8C-8236-7B2F66560FDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0bf4587d42a407359a5791277408e51cf2d82b4","datavalue":{"value":{"entity-type":"item","numeric-id":5385607,"id":"Q5385607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87334e7fb49c71f3db6f53bd1c55be06e82232cf","datavalue":{"value":{"amount":"+0.754823625087738","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":"Q3541689$8B4BBEBA-3DD3-4CEF-A2AE-5B5F9D91DC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc642dbdc28b23eb9dd71b8412c41128d8900904","datavalue":{"value":{"entity-type":"item","numeric-id":4809043,"id":"Q4809043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730d9ebd4f63e1a8aef490b4ce5942e1e0057279","datavalue":{"value":{"amount":"+0.7542769312858582","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":"Q3541689$72D14504-6FC3-4D12-81DA-F69F57D6676F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad089df66f5e3ee461359c10c3b72ed06e617ec2","datavalue":{"value":{"entity-type":"item","numeric-id":2830040,"id":"Q2830040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44d6501c7770f0a527af49aac5a834f8e0b30f6c","datavalue":{"value":{"amount":"+0.7448248863220215","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":"Q3541689$60AD7F50-91C0-455E-A7BE-F47BD951FA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5993471eb0a3bbb168e66b0251c2e2070e8b720e","datavalue":{"value":{"entity-type":"item","numeric-id":1405990,"id":"Q1405990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f28f9e99d113ce16f7230ae6465233355332a8","datavalue":{"value":{"amount":"+0.7444888353347778","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":"Q3541689$F7581941-8CDD-45C8-B156-01C51EECBA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3b07360cba833e3b52bd12f75610c7bf1124fb","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e6b4198aeba1c779870f11894b404f2b93a7e45","datavalue":{"value":{"amount":"+0.7392073273658752","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":"Q3541689$7AF534C8-42E8-4566-86D2-51F7C086F901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3541689","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3541689"}}}}}