{"entities":{"Q2147184":{"pageid":2157927,"ns":120,"title":"Item:Q2147184","lastrevid":73434933,"modified":"2026-04-14T15:58:14Z","type":"item","id":"Q2147184","labels":{"en":{"language":"en","value":"A formal semantics of the GraalVM intermediate representation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7546598"}},"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":"Q2147184$9886837E-783A-4555-90DC-686544EB4C82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"58ca13b616f33035dd7882eeb57b70fabae4331e","datavalue":{"value":{"text":"A formal semantics of the GraalVM intermediate representation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2147184$516821F5-1EA2-4D81-8E82-AA70C1F43561","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9012c3f695d18785e8f61a34ef51b6df5b68add","datavalue":{"value":"1497.68104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$9D4151BE-658F-4656-8639-3D2055A0CB06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa9357f71a049e7efc6c400801e5426dfb94a5bf","datavalue":{"value":"10.1007/978-3-030-88885-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$D73E1E3F-0893-4731-9F5C-F8AF17362D07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8aab48e475607a3508151e2e65d25134245c970b","datavalue":{"value":{"entity-type":"item","numeric-id":2147183,"id":"Q2147183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$C0497E5F-DA5B-41B2-BD69-0EF9DBC85572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54ca7c95027a815330d525f0dad937fdbc00ba33","datavalue":{"value":{"entity-type":"item","numeric-id":172106,"id":"Q172106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$0906F397-FAB4-45DF-81D5-CB62C489BF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$6F804215-3538-454E-BC36-22F64280BD3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffa612dd361e50848b97ee1c8010430ebd9d5009","datavalue":{"value":{"time":"+2022-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2147184$58DBFBD5-5F2A-432E-9E76-1C0804EEF953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d050a6324d972e567ec41fc160da37ac01afd98","datavalue":{"value":"https://arxiv.org/abs/2107.01815","type":"string"},"datatype":"url"},"type":"statement","id":"Q2147184$0B5B8CE1-95F5-42BF-B89D-500FBA9A9A64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$98FA9A94-49BD-4EA8-8E1F-B5799841722B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$288D0F1E-2885-449E-8A65-DAE491C0A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$4A37B88C-1002-4BB1-996A-C5625C5360E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa899d4450c0a428a60389f0055dd48b6a1a4fb0","datavalue":{"value":"7546598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$4CFB881F-3452-47D7-B454-E6E64C2AC3CB","rank":"normal"}],"P1463":[{"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":"Q2147184$CBB84BA2-DFB8-4AB1-BFD7-184A3796248B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8693d6594a71b0b5c477ef6fe219a510b51255c5","datavalue":{"value":{"entity-type":"item","numeric-id":25201,"id":"Q25201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$583C7D7E-706F-489C-BB03-6248E1140BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3a7f5df06b272bd42f74baffc8ceda01dfacc5a","datavalue":{"value":{"entity-type":"item","numeric-id":17043,"id":"Q17043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$32BC29C1-4D86-4A8F-B9F5-38685CE364B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"533959f24a509b955614f607e46b8aa4cec190ef","datavalue":{"value":{"entity-type":"item","numeric-id":20799,"id":"Q20799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$269616EF-C093-4D28-BCB7-585001AF6966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$F873B07A-09CD-4B5F-8106-56CE27DE1440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4be2b2ae33d263fd71938ab4bdb583a42e1c2261","datavalue":{"value":{"entity-type":"item","numeric-id":51583,"id":"Q51583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$51DC9857-51EB-4025-BCB1-EBC8E275B8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$9B0697B6-D4D7-4738-A84F-8141799F0184","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":"Q2147184$677695C0-ED95-4995-B35A-BAA5F646C5F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0f1aa6f6fbc674ddb3fbace0f8fd5008a78968f","datavalue":{"value":"W3209237303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2147184$DF23A2C9-01A5-4F87-A849-E4CE39A67691","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb9a0a1c19bc1af63280d500ceeb8213a388dee2","datavalue":{"value":{"entity-type":"item","numeric-id":5200023,"id":"Q5200023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$D4A49164-D12B-49BC-8341-23EF886FABFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"427a050d6a10876443a15cfe34d5c026b05dff9e","datavalue":{"value":{"entity-type":"item","numeric-id":3761672,"id":"Q3761672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$F0228083-DB2C-41DF-B724-0B8D374E08EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1e46bde366c9665559a7c22a84b5c9d3a328b4","datavalue":{"value":{"entity-type":"item","numeric-id":5408415,"id":"Q5408415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$AA99F9CE-5DE3-4316-B188-D5F663BEB834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f5a183d299d94efe3f022f8b60768693e16508","datavalue":{"value":{"entity-type":"item","numeric-id":1663233,"id":"Q1663233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$BC11F695-DC0E-4EEF-896A-CE43C1060787","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":"Q2147184$0D888FAE-C90B-471A-8B7E-BE349366F72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c4d40b22666ac31f4eb490193ee881d1816bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2147184$34007320-5AF0-4303-8CB6-895AF5261029","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3a32158bf22a71e594bb9ecc7310a694da434f","datavalue":{"value":{"entity-type":"item","numeric-id":2942893,"id":"Q2942893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"234945cb24d9ca96ca40095ddd3e4a41b9e41e7a","datavalue":{"value":{"amount":"+0.7089150547981262","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":"Q2147184$FB3806FB-92D4-44DE-A5AA-FDF123BD64D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"810e2e4a6f0c0331e3ce66a2f3a9b81ccfcacdf3","datavalue":{"value":{"entity-type":"item","numeric-id":5898173,"id":"Q5898173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab69a586ab214344f23f1b23a95773cdb50ebc5","datavalue":{"value":{"amount":"+0.7012904286384583","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":"Q2147184$8AEA7FDF-4833-455A-A747-66411C8C1153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ac9877adaee71e230a9341d2961a8b594231ac","datavalue":{"value":{"entity-type":"item","numeric-id":5901599,"id":"Q5901599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00132cac60e8f3b0d8fa375edbf0fcf258a256e5","datavalue":{"value":{"amount":"+0.6794910430908203","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":"Q2147184$4B359EA9-013C-4E8D-B82F-C5770827B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942ceaa5eda66717426d7a216e16362634e072a3","datavalue":{"value":{"entity-type":"item","numeric-id":5747662,"id":"Q5747662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"438212bb9b2fdd261dd40fde125ce0f70c7999cf","datavalue":{"value":{"amount":"+0.6741806864738464","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":"Q2147184$E9E414B0-E4F1-482C-B696-4EE5245A7B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84c8ed2161cd174af0ae1420f6a3bbb051879e33","datavalue":{"value":{"entity-type":"item","numeric-id":5348941,"id":"Q5348941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0939c36ede340ac71332c99c0cfa5a75486295ce","datavalue":{"value":{"amount":"+0.6419427990913391","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":"Q2147184$DE496AEE-84F7-41B5-9047-D11559CD804E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal semantics of the GraalVM intermediate representation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_semantics_of_the_GraalVM_intermediate_representation"}}}}}