{"entities":{"Q287265":{"pageid":289032,"ns":120,"title":"Item:Q287265","lastrevid":52540964,"modified":"2026-01-22T22:19:22Z","type":"item","id":"Q287265","labels":{"en":{"language":"en","value":"Symbolic execution proofs for higher order store programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6585551"}},"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":"Q287265$B6D4B83D-8998-48F0-B29E-C590FDB3FF03","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"307598b3fcad7cdd0a5f93ca8d69b3dca3b4dd36","datavalue":{"value":{"text":"Symbolic execution proofs for higher order store programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q287265$D75ABEB6-A5C6-4CA1-ABDB-270E9C02F1BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d68d17f65a9bc743016e86c60a24980d04ad7aaf","datavalue":{"value":"1356.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$022A1755-0103-4B35-B06A-C48C119BC0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$A26FED3A-6433-4D2E-80A7-10E4CF69D1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$C7902AB5-5FFE-4154-8344-2AD0BF3409CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cefe5e31a972904492dc8b9bc0176fef0fec6ca","datavalue":{"value":{"entity-type":"item","numeric-id":287264,"id":"Q287264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$6454B8DA-222F-48D0-9456-DA039E4F316B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$BDFD8B91-DB22-4547-93C7-BF129D28F914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b626bb78b3e93b3076e6958296f7f25e2e74c3ab","datavalue":{"value":{"time":"+2016-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q287265$8D434584-298E-48EC-B32F-48BA5F002B01","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29ef6d087aeea279b786661cadd36e118fe584f4","datavalue":{"value":"http://sro.sussex.ac.uk/id/eprint/53364/2/paper.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q287265$C05AF9FA-04DE-4A3F-972B-7616CE2F791A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$B40ED31D-F452-4A3E-AD85-0FD2EE68E85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$A9766993-E459-4CEC-B492-658350D2C0A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$56A9F611-8DE4-43AA-A08C-399B1510ED76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b8324644dc0bc0db942f9f0a8b4641451810cca","datavalue":{"value":"6585551","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$69A6634D-7E92-48EF-B460-E7CAC9A524ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q287265$6A3D3A52-D715-4DF6-8845-70542A70E699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68515664bdea984739ce6b0255b4a5b0d5c9810","datavalue":{"value":"higher order store","type":"string"},"datatype":"string"},"type":"statement","id":"Q287265$D4FD7A60-5E17-4BBE-A244-FFF074C21A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23523bc459ca7227670798033aa82b4571fb3c14","datavalue":{"value":"recursion through the store","type":"string"},"datatype":"string"},"type":"statement","id":"Q287265$B7EDBB08-88F7-4661-9294-2F2BE3D106DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q287265$2A3E3A47-C902-49F1-A40E-E8B9E28BA9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5c8ba46ca3cfc960c989c4fc1677ad7c552dab4","datavalue":{"value":"automated verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q287265$575CC16F-81C2-40A2-9B90-FC84B215CE21","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"493c4272f3e5f72c11a4ab08cd3c037673ba4268","datavalue":{"value":{"entity-type":"item","numeric-id":21766,"id":"Q21766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$81E94196-EE90-4A42-91CD-8BED5140B4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5695ccde4f493ae427d2aaff82d404cadc0c8c9d","datavalue":{"value":{"entity-type":"item","numeric-id":23207,"id":"Q23207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$C23EC122-D6F4-4BC7-A873-F182FDED9204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3385954e206fa4a5bbcdde66dd867f18c8df62c","datavalue":{"value":{"entity-type":"item","numeric-id":25202,"id":"Q25202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$C87CC7BF-4C59-4DAE-9B6F-94B6B1AF23E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1637c3ce3f61a15997b947ec05e883d55623946c","datavalue":{"value":{"entity-type":"item","numeric-id":19722,"id":"Q19722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$43208A2A-6AB3-4426-8B24-9B6F36262BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e8f4bc80749df08a77abd16a1aae1cd89506eb7","datavalue":{"value":{"entity-type":"item","numeric-id":19723,"id":"Q19723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$54033CDF-8D68-4518-BEA6-820AB5C8CAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"101cc42e2ce1fda0eba4e4e50b6e4daaef6c81ea","datavalue":{"value":{"entity-type":"item","numeric-id":21765,"id":"Q21765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$32F17802-BE66-44EF-80EB-393542B1231B","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":"Q287265$3BB750E9-E57B-479C-96D2-81E2AA63F764","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"569e5ab7cf8a80b04f60f51a43ca6ae8703c8d0c","datavalue":{"value":"W2155062053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$1E2CA38D-5DB0-4E21-94A6-FC1B3CE8BD4E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e943725d0fbedf85b951a2a1524cf127b6f97ffc","datavalue":{"value":"Q113901253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$BE865541-8362-4090-9077-4BC48C66FE4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"625d0e546f584fff0965159489d2fe578acb6ad4","datavalue":{"value":{"entity-type":"item","numeric-id":436400,"id":"Q436400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$2C12ADD0-BBC7-4CB3-B89C-2A0DCE8D09F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8a0e6895d7265b1b90f97c095daa111dd9c47c","datavalue":{"value":{"entity-type":"item","numeric-id":1826634,"id":"Q1826634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$B4C0E894-D5B6-4F79-9275-00404308BABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$1CB5B3E3-FAB6-44D2-93A8-C04E1A258A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0850109990f76806e2b81468aba1becd49b2bda","datavalue":{"value":{"entity-type":"item","numeric-id":672055,"id":"Q672055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$CFF3340E-1746-428C-8BFC-0CFDBC346079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1da1cf5a701a96be6e2b4fe8962f9ab5cf74c40c","datavalue":{"value":{"entity-type":"item","numeric-id":5493374,"id":"Q5493374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$F31AAC84-4334-4CE1-AA41-5362435B5618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59ee6ee01b4b1694eb9e94a00a8a009dce26654e","datavalue":{"value":{"entity-type":"item","numeric-id":5316567,"id":"Q5316567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$92E2425D-3615-4181-BCAA-36E93A11C7F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4abdec551b3aac3670e5b25a7a3b50d9f3b50","datavalue":{"value":{"entity-type":"item","numeric-id":5408537,"id":"Q5408537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$DE1D1E9F-563C-4001-ADC6-8EB7A5993351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89cbfeceb159ddcc8072c7be622a29c89ba80036","datavalue":{"value":{"entity-type":"item","numeric-id":5310672,"id":"Q5310672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$DD4F5C0C-B566-4816-A921-A70D20603ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0092ca3b21f3f9cb157bf2001ff878cfeab4655","datavalue":{"value":{"entity-type":"item","numeric-id":5261525,"id":"Q5261525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$B498D150-89E1-4140-92B2-E9B7EBA048BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3343c3ecaf29b3d00ed730793fb135803dd0ca2f","datavalue":{"value":{"entity-type":"item","numeric-id":5176992,"id":"Q5176992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$606AA1AD-EFF7-4428-92D7-9B1A16078E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"742400e769c7ae8734fb2d95afc2ff4bb74d9e08","datavalue":{"value":{"entity-type":"item","numeric-id":2891407,"id":"Q2891407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$B86D3ED7-DD47-4D89-B2E6-95CC2FFFA49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44746fc6fa640058cc0d21d8fd2890a63f3a9527","datavalue":{"value":{"entity-type":"item","numeric-id":3088293,"id":"Q3088293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$6A732AB5-C16E-475F-A04D-480B0968F09B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dee6886b1b12e58b80eab37b36f8fad3afe11f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2936804,"id":"Q2936804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$11781061-CE93-4077-87F8-6B4C8519CAEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e24ed71623d6e24c8ca66fec437f2e2cbe4112f","datavalue":{"value":{"entity-type":"item","numeric-id":5899065,"id":"Q5899065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$3D664D94-9CB4-4969-A93B-93C255F91323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$4069B3DF-A4F8-4039-8C47-32C7E96E1190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"463e1954a865a473cacf2f48ac807c3750b13cea","datavalue":{"value":{"entity-type":"item","numeric-id":387994,"id":"Q387994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$76752137-7B94-40E2-95F6-A5C20602ECB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ef6a0f6a6f479906c8d4fdf70653827aae6928f","datavalue":{"value":{"entity-type":"item","numeric-id":5408443,"id":"Q5408443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$A6189970-F144-478E-90B9-713EC6FC7A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acde0c5acdec560094faaeeaf74535ff9bab476f","datavalue":{"value":{"entity-type":"item","numeric-id":5348933,"id":"Q5348933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$A1A7812F-54BF-46D7-8540-2BD3B8BCBF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"609bfdabefe5ab2c449f4319c98c79ecbc9910a9","datavalue":{"value":{"entity-type":"item","numeric-id":3613364,"id":"Q3613364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$264ED5FF-E7FA-432C-8A22-ECD6246532BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd4567de865d75ecbc281a71056a7cdb652c9b9","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$FA6E62CA-7D8F-4324-8175-2B553DA40431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3b5b6e8d4a0291e50d24f28bc658af862985da9","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$BE5DEC84-A2C2-48BD-A273-814092ED1F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fac7fae7f3ee4ff2db74dc04090924e9c5d5fa","datavalue":{"value":{"entity-type":"item","numeric-id":3557840,"id":"Q3557840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$75241AFF-BE81-445C-A1E5-A2C8E61BA422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54359d6eff91436c14adcd7f017908697aefbb74","datavalue":{"value":{"entity-type":"item","numeric-id":5276145,"id":"Q5276145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q287265$70C17295-A6F6-4840-89DB-0E2E4586F74C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cd9dc03c47fe5f1f4563fcfbf0344e54883f19e","datavalue":{"value":"10.1007/S10817-014-9319-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q287265$A49749E5-1EF6-4966-843E-AF61863B6CBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c852901a9bd117add63b5c013fa4c931aa0fc090","datavalue":{"value":{"entity-type":"item","numeric-id":3003346,"id":"Q3003346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb5935f5ff1bab22bb548012838b5934046184c","datavalue":{"value":{"amount":"+0.840071439743042","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":"Q287265$8D6E22DE-AA65-4C86-9FAC-9C66C39DBC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fe31271cb7989d6f2d8a09b1cc0aa1c2b6e3ab","datavalue":{"value":{"entity-type":"item","numeric-id":5716757,"id":"Q5716757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d4d8f192bc3e472d821678a61374235ccfd4ea","datavalue":{"value":{"amount":"+0.8299617767333984","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":"Q287265$EF19346C-8FC0-4B3C-8563-9457EB933B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bce9d63e1301379e45cca7d2d590ece7e7060a07","datavalue":{"value":{"entity-type":"item","numeric-id":2891407,"id":"Q2891407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a86eda0c126a1fc231ac075317c7a8d513428c3","datavalue":{"value":{"amount":"+0.8139929175376892","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":"Q287265$F2BF9740-27E0-4E5B-8852-C1680C4181F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd5bf6d404fc69d19155260a467e98471ba2c48","datavalue":{"value":{"entity-type":"item","numeric-id":3224687,"id":"Q3224687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105e2ffa67b81afc688daee916a55542c00c8243","datavalue":{"value":{"amount":"+0.8031181693077087","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":"Q287265$E41F701D-D4D8-46FB-9102-A1D2B426D222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fe8948a2efa99f04ff097351e554f04c02771d0","datavalue":{"value":{"entity-type":"item","numeric-id":3644765,"id":"Q3644765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af5792de965cd167b18d69aec030a429c83f2bef","datavalue":{"value":{"amount":"+0.8028907775878906","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":"Q287265$FEF75C82-12A2-4886-B391-812C1A94A229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:287265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:287265"}}}}}