{"entities":{"Q4808824":{"pageid":6838404,"ns":120,"title":"Item:Q4808824","lastrevid":74540358,"modified":"2026-04-14T23:14:19Z","type":"item","id":"Q4808824","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090132"}},"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":"Q4808824$962FC143-A795-4EFB-AF5D-06EFC521AF8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad60b12689f819389453bb916b2719936e613ece","datavalue":{"value":"1064.68543","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808824$708835E4-1310-43E6-9964-40BB78A31D77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"922ae95e156193bf43196b5e76a08bd2cb8e81fc","datavalue":{"value":{"entity-type":"item","numeric-id":2752049,"id":"Q2752049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808824$B2809D40-5548-4EC0-8507-CB7B4E7BB7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808824$FE413869-2B26-43E9-B10B-B71FA1606D12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-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":"Q4808824$DF86B7D6-5665-42D6-9F1B-34BB09B2D0C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db4673be10cc654f12930c04ec6882ee6e2c6dec","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2391/23910089.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808824$185E3E38-197D-4ABE-8852-B80076A182B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808824$E4AC30CC-2471-4D5F-BDA7-F9AA77CE29BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808824$E080FA11-A1CA-46CA-A7E9-AB4E271693DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808824$C415FE56-9A16-4682-9292-C907FBBB7A1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1da9ac094bfd7e022fe332f5bb18845281d2451","datavalue":{"value":"2090132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808824$353C0BDC-FC97-4FA2-AA95-B7E15E0EF39E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808824$74BEDA60-C6CF-4949-872A-E673ADBF77F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808824$F735B3F9-D3C9-4D36-B678-4D9873B94BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808824$0D9612C9-0E28-498E-959D-46B9CE4D336B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4289e523c968275011f07b0ddb3e2dca16831f0b","datavalue":{"value":"auxiliary variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808824$BB87425A-E31D-4EF6-B31A-EC1D388C3E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73726f805dc1edf70c39fc6c6a87bf6a1a269b24","datavalue":{"value":"side effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808824$32555B7D-7314-4F55-AB0B-9CDDCE0BBFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56ff167eef77a76c86e97c3825458a55fcac4139","datavalue":{"value":"dynamic binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808824$009AE3C6-673E-4023-BD2D-7B644179C0A7","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":"Q4808824$0EBF4F78-F891-4FCC-9BD4-080270E9880C","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":"Q4808824$AF03404B-D0D8-43C8-9549-FC15A06AB195","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":"Q4808824$C0FFE432-53E3-4E8C-AB86-238CAB81BCE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff65630b99019d89f30e1a1675eb234adb5b6ea8","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecaf35d079dd669fd0990f04772ad260571808f","datavalue":{"value":{"amount":"+0.8267565965652466","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":"Q4808824$4D24CF38-3BF3-492A-916E-FB1F96FB391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c13034916854b58b7bf44dfbcff8d0f3f380639","datavalue":{"value":{"entity-type":"item","numeric-id":3521994,"id":"Q3521994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecaf35d079dd669fd0990f04772ad260571808f","datavalue":{"value":{"amount":"+0.8267565965652466","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":"Q4808824$F6FAEE7C-3C1F-4C00-9219-67A24BC1846E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa65c7f32f6ba0869650b0738f3e526afcb5338b","datavalue":{"value":{"entity-type":"item","numeric-id":5902541,"id":"Q5902541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7886c70c7e9d70046ab481c347a35f3b51e96809","datavalue":{"value":{"amount":"+0.7745132446289062","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":"Q4808824$CAA10E81-B94E-404B-91B0-4904C9849F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b6aaebf68c59600c5656aefd5570e3997509162","datavalue":{"value":{"entity-type":"item","numeric-id":2026792,"id":"Q2026792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17cdc9801988d3c950b43190bb0da17a1158fc5","datavalue":{"value":{"amount":"+0.7466517090797424","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":"Q4808824$D73BF898-0D85-45D6-8973-C0E97FF0CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fd5c2832aabbf4b304824c9b3020a0ed9253b4e","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2090e3a9e140aace0cc6a9ddaba9048f050aacec","datavalue":{"value":{"amount":"+0.7442209720611572","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":"Q4808824$261FA886-C739-438B-AA63-4703012AC27A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2090132","badges":[]}}}}}