{"entities":{"Q4992397":{"pageid":7021974,"ns":120,"title":"Item:Q4992397","lastrevid":58390029,"modified":"2026-04-05T00:27:15Z","type":"item","id":"Q4992397","labels":{"en":{"language":"en","value":"A weak HOAS approach to the POPLmark challenge"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7356677"}},"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":"Q4992397$67C653D3-505F-4448-A46F-6C2EFF14A7F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48fbce93e6c299e74cb65077e974cdca4866bc2e","datavalue":{"value":"1464.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$92812677-EC2D-48EE-BD65-E35BBBFEA60E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d71615fb71a3a07e792b53a1795eab8ac6d26f1d","datavalue":{"value":{"entity-type":"item","numeric-id":817856,"id":"Q817856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992397$9E0B5EFE-97AB-47D8-86D9-31FBD5631A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8432f88f23f21535a388b135123ce41d5ada4709","datavalue":{"value":{"entity-type":"item","numeric-id":897933,"id":"Q897933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992397$41CBCFE4-571E-4509-9052-B154A2FBAE8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c88d88066583fc52827d04eea5cbbec889a8f6a1","datavalue":{"value":{"time":"+2021-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992397$A3814AFC-AFA4-4E87-AC9D-2C35120958BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a967914337ffcb7e01fab67e14434e2703f7be15","datavalue":{"value":"https://arxiv.org/abs/1303.7332","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992397$A938F8F9-60C1-4F59-A947-C848017CBFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"4d24d9cb764697fe3f24149144e22c4e676d4e5d","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2012.11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992397$97F27E97-CF9F-4BAE-A27E-A5A27664FED6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$959BC9DC-A896-468D-92B4-917C02DBDFE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$F2F9B32B-B83E-4626-8D32-D4E9D143C03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$CB23FCE6-D215-4575-8D0F-32BF9B4DB2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$51635AF2-4B9E-4408-B94C-B29654449C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$C13ECAF4-CCC0-4024-B348-A0D2FF18ACE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd47c534f7134b2104659058963966ceb53db71c","datavalue":{"value":"7356677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992397$B96E42D5-B078-4B92-9ADB-859109B79C44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992397$C2911807-683C-4932-B863-27793607B7FA","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":"Q4992397$8F15DE09-A3AD-4BB4-9483-CE98E0E452F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc23719a4c51797bff536a8269e1f58408b22ed","datavalue":{"value":{"entity-type":"item","numeric-id":897934,"id":"Q897934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e91fa80682475d566aee7a9ef18df98df95bd399","datavalue":{"value":{"amount":"+0.8201502561569214","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":"Q4992397$9E762A34-19DB-461D-A643-60CC1B53D567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a73d709232c759ceb44a34d554217041ef9d76","datavalue":{"value":{"entity-type":"item","numeric-id":1945915,"id":"Q1945915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"080db74fdaa13292b20b27d53ad8e89515bc89c4","datavalue":{"value":{"amount":"+0.7956709265708923","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":"Q4992397$CF7A7839-E872-4E79-8912-D991192E2D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830883c821c59e8ea357fc4abf509bdbccc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1945919,"id":"Q1945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90cc3ea8a2a5025aab2ad838719daadc84787c7b","datavalue":{"value":{"amount":"+0.7631136775016785","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":"Q4992397$E6709CD0-8935-4146-B85E-EC595C5EEEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f7a6493a8dbc04e7dbf14f2f531038e9beeb7","datavalue":{"value":{"entity-type":"item","numeric-id":5111317,"id":"Q5111317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f2c7a6d48b96f18673c7b3a3d3046024727b627","datavalue":{"value":{"amount":"+0.7532197833061218","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":"Q4992397$AAC86945-5E5B-4450-AF8E-64B9AF8B260B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bffbd39784e4f9e8d33d904a9020c22324e6e2","datavalue":{"value":{"entity-type":"item","numeric-id":1945917,"id":"Q1945917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02dada3a3a20779a0db46a2e2e712a14a5dfcb43","datavalue":{"value":{"amount":"+0.7512856125831604","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":"Q4992397$44047351-5459-4204-A675-760F3445238D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4992397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4992397"}}}}}