{"entities":{"Q5045475":{"pageid":7075052,"ns":120,"title":"Item:Q5045475","lastrevid":54435671,"modified":"2026-01-26T19:49:30Z","type":"item","id":"Q5045475","labels":{"en":{"language":"en","value":"Complexity analysis for \\textbf{Java} with \\textsf{AProVE}"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7612670"}},"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":"Q5045475$93316061-A742-4231-97F8-2FE5A9EB249F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c3d040618e75936148ae65fc3d391edc8409167","datavalue":{"value":{"text":"Complexity Analysis for Java with AProVE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5045475$FA287CAE-BE01-40C5-B957-081542019686","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e211d6471a96c2fdec026fb2fb9aaf50d1235b38","datavalue":{"value":"1498.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045475$5CEB56BB-A640-499C-B8BA-8CF41EB9ABAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be2eae0b7bed4e164b17dbd5351b07e96fbce1e7","datavalue":{"value":"10.1007/978-3-319-66845-1_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045475$631BB4D8-6640-4D40-A75B-7D1EAA9E31EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ceff39412d9c06c1d2cd592800cc7acbcd40d91","datavalue":{"value":{"entity-type":"item","numeric-id":1647967,"id":"Q1647967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045475$5EBD14DB-2770-488E-9AC2-1FEEDF7FFD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5045475$6D82297D-68A7-4272-BFDD-8DC587E5C231","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":"Q5045475$2BACA32A-4365-4F08-8B79-9D6851ACE392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96420cb12347695a963e770401ec584dde3a55d6","datavalue":{"value":{"time":"+2022-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5045475$04825654-7353-4FC1-BF05-97F3AD64031B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045475$019F4014-D14B-4691-8ACC-8B58C099A61D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c284a512efcaed2fe8ca39b035ea6726354efea","datavalue":{"value":"7612670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045475$EED720D7-448E-45D3-A3F5-45C57BDF0652","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":"Q5045475$2DFD90A4-5D0F-4444-A4E4-01456B952530","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ecbd36c6032ee5e475fe32ae3ae22c7a8825947","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66845-1_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5045475$53DFB2BA-904F-414F-A254-4358282A9A65","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"385149059977f0980c5a926b9fe3f73df73227a3","datavalue":{"value":"W2748531242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5045475$749D6A40-8F71-481F-B068-6417852C41C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc1b6a1c9029c3ad5ca754749e0fc55f78ae6b52","datavalue":{"value":{"entity-type":"item","numeric-id":2362493,"id":"Q2362493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca8eaeb4cebb6b17ff60c73a7da775e13a5f2cf","datavalue":{"value":{"amount":"+0.8605713844299316","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":"Q5045475$D89673B3-C67F-4D1E-A4A2-9112AEFE9D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4158cea25c12969a4e5e602560ef98cee1218ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3192189,"id":"Q3192189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eaa1286266b649ce49b241c93aa9e1057d73b66","datavalue":{"value":{"amount":"+0.8040426969528198","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":"Q5045475$26611EE0-BBB9-4015-BBFB-F2910069403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f056de6083db7c1bcc5be81def3768c6d2f2e9f8","datavalue":{"value":{"entity-type":"item","numeric-id":5389079,"id":"Q5389079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4154e44589c18c2cf2df9c434441159511f7e62","datavalue":{"value":{"amount":"+0.7535178661346436","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":"Q5045475$84CBC754-7A96-4EBE-8A3E-283EC651FAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129504732a95b622055aa15d1df2d553e7bc39eb","datavalue":{"value":{"entity-type":"item","numeric-id":1687548,"id":"Q1687548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5149a81d38155e7d5395c3cf0674e2728137a12e","datavalue":{"value":{"amount":"+0.7398650050163269","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":"Q5045475$4E259751-53A8-4069-97E8-6BD0E915BEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a65de170ed7221695048af1bed30ea3804d15","datavalue":{"value":{"entity-type":"item","numeric-id":5389149,"id":"Q5389149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93ceff1a6bb55cd2e24b552b10025bbee5e7771","datavalue":{"value":{"amount":"+0.7326136827468872","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":"Q5045475$3F6F0D35-4EEB-4662-A4BD-68AFC933CAC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5045475","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5045475"}}}}}