{"entities":{"Q2942855":{"pageid":2953575,"ns":120,"title":"Item:Q2942855","lastrevid":52343150,"modified":"2026-01-22T09:45:27Z","type":"item","id":"Q2942855","labels":{"en":{"language":"en","value":"Towards a program logic for JavaScript"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6481235"}},"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":"Q2942855$C8B4AC4A-2F1E-4D06-B533-CEB077EB096E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d893f1ac80f3d5977346a200306755db3d44bc4a","datavalue":{"value":{"text":"Towards a program logic for JavaScript","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2942855$53538D1C-E9DE-47AE-B3BF-C1AE0B2F55FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9f273006e57d7f016b38b190f7942407e31ee1f","datavalue":{"value":"1321.68193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$3502BCEA-ECB0-4263-8C5D-90701E612006","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"014a8c037437d77861dca02bebd028b1e2d3473f","datavalue":{"value":"10.1145/2103656.2103663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$2FA94E8B-1419-41E4-8829-7976C0943247","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0eb51f415e5d6830c006f29bf0f051478fa880","datavalue":{"value":{"entity-type":"item","numeric-id":283752,"id":"Q283752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942855$D4A0F150-6AF9-434D-9039-89F7165EE9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06281a59b54d9e6bce8118186b0dd383e1fcfccb","datavalue":{"value":{"entity-type":"item","numeric-id":1650956,"id":"Q1650956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942855$1C77919D-EE79-4661-BBB3-BD151B33EC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dbfb712b702f9ce6c0cd8821f79d5ac612e3b53","datavalue":{"value":{"entity-type":"item","numeric-id":1857301,"id":"Q1857301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942855$6FA5ED67-FA43-4F25-8008-A77E9A584A64","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b2e3947a47402cf435bd22e833e203adf92b612a","datavalue":{"value":{"entity-type":"item","numeric-id":2942852,"id":"Q2942852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942855$A985AAEE-6442-432D-816C-29EC42592EDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dc3af13f56c9757ccde8db0e7a8779bcfa3e4e2","datavalue":{"value":{"time":"+2015-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2942855$810CDAB4-1257-4454-AC6B-F001FB7A04A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$62B650E8-7B70-46F8-B97F-790512BBEDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$F7DFBFB8-0571-4B96-A5F4-3FA81EFA434A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$3AF0B481-5E9D-42EC-AE4F-AB16E5612E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb3685facee6981d0664afe5afbdc986c78292cb","datavalue":{"value":"68M11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$07AAC89D-E9C8-4C98-B160-625F1C7913DA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d185bf7a6e0e8df0fbc0c0a22debb4610d703c5c","datavalue":{"value":"6481235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$606CAB1A-C04B-4885-8799-826708DDF465","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bc57e698714c5779c775cc6b3add83a07cce744","datavalue":{"value":"JavaScript","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942855$81CE2613-24C6-42AF-B1A1-F25E38BDD82F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"938358769b4f58ad078254388a41b1d2ec82e622","datavalue":{"value":"separation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942855$F91B9B5D-45A7-4597-9790-2917507BA402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe906f4d109549c7340062fc696143290c97a3c4","datavalue":{"value":"web","type":"string"},"datatype":"string"},"type":"statement","id":"Q2942855$F9B1B243-74F6-48E6-BB6B-21EF64BC5E9F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7bc336a04abac5e6bda0357450bee9fb5911ab2a","datavalue":{"value":"Q29031288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$196F5C2C-B23E-4217-9381-28C3B6E4F074","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"44bad889325630fa1fe7bc3b0aa9ed968ecf47fa","datavalue":{"value":{"entity-type":"item","numeric-id":18937,"id":"Q18937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2942855$7118D8D0-72DC-487C-BC49-9D0BA8297708","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":"Q2942855$734F95EE-46EC-4CB4-89CE-F8661C504EB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7f2513a351074f0c69fc6a32e68312c6a0e8b3f1","datavalue":{"value":"https://doi.org/10.1145/2103656.2103663","type":"string"},"datatype":"url"},"type":"statement","id":"Q2942855$8650C041-3DEE-4EE9-925C-497C7A1821E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d35ec42e81eac0c21c91077b623e7adbed5ca5c5","datavalue":{"value":"W4242904834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2942855$DDA5FE93-EDC0-4212-BF54-0690944873CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1affe53f8cac23c13b5d6dacb2793ed25660a9","datavalue":{"value":{"entity-type":"item","numeric-id":5316579,"id":"Q5316579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a3d0db03a442bfc95ebcc58249a2a0afee55104","datavalue":{"value":{"amount":"+0.7712129950523376","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":"Q2942855$41B8D76C-43B6-4155-939C-7E6DA67C86C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d84b3deae8e27260aadf6ad07fc78993a88e9e0","datavalue":{"value":{"entity-type":"item","numeric-id":5408408,"id":"Q5408408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae98b2d66eb1587c66bc712d5a0f427b37f24b8f","datavalue":{"value":{"amount":"+0.7394040822982788","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":"Q2942855$A5C48500-6CB5-4538-A886-36C4E1740E97","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":"aa3059020e6f3b354418c5ebfc4be6329f7e4dc7","datavalue":{"value":{"amount":"+0.7219414114952087","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":"Q2942855$7834825E-F6F5-4773-8D7E-52D07703112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55ee0bb573696c8e4fd5c4fc75ecc0f154f2f635","datavalue":{"value":{"entity-type":"item","numeric-id":2848694,"id":"Q2848694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76431f8ac68d94d6687b219750b8d6011050cfc3","datavalue":{"value":{"amount":"+0.7126674056053162","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":"Q2942855$FFFA3514-0E30-40D8-B760-F73081E5B219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e745efe4bfc99d9cd714a349c7d054b202f11f","datavalue":{"value":{"entity-type":"item","numeric-id":3179307,"id":"Q3179307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41a748aa4631cf2f463c8d5a37db92b1ff18919a","datavalue":{"value":{"amount":"+0.7058593034744263","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":"Q2942855$32D9F99A-9264-4B4D-8C11-DF60BFB6B41E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2942855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2942855"}}}}}