{"entities":{"Q4964711":{"pageid":6994290,"ns":120,"title":"Item:Q4964711","lastrevid":58379436,"modified":"2026-04-04T23:22:59Z","type":"item","id":"Q4964711","labels":{"en":{"language":"en","value":"Stateless HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317246"}},"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":"Q4964711$7A957D70-0C3E-43F6-BE80-7DC396AC548B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f230f6a08b7f4b1df86b6fa6db7de0046a703dfc","datavalue":{"value":"1457.68300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964711$4249FDC2-740B-4E77-A5DE-4D001045979C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c24cc198e7b26916e61ffb256f7b2af313e3e7ee","datavalue":{"value":{"entity-type":"item","numeric-id":865657,"id":"Q865657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964711$09929C9A-CC1A-4493-96BB-DDF935213DDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e013eff0176c277e28c34bb2d5686f71705cd92d","datavalue":{"value":{"time":"+2021-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4964711$EC5975E9-B8CF-4BBF-AC07-721D8685710B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"78c46b5d776cb4704643d558d3f0cfee64e44fc5","datavalue":{"value":"https://arxiv.org/abs/1103.3322","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964711$BBCD034F-F683-4A61-BCED-4FF05FF6034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6bac14fdfac45376ee7261d740271a8f33039469","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TYPES2009.4","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964711$A9878F60-B174-4819-915A-715811EB66B2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964711$6CF5E9A4-F8C4-4B66-824D-D1E90232141D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"afab54d9a2c12826e385817b718b7b5ffc676ee0","datavalue":{"value":"7317246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964711$5DB6B1A4-DF28-40D6-A0E5-78CEF5F46859","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964711$66A52284-21B6-4254-A397-4000379F07F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964711$124A57E7-79DB-4713-8BCB-C1AEEB0F52CD","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":"Q4964711$0183017A-9712-442C-BE50-E3EF8AC59D43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d9d91864fd36c9cf69a0a0271de5d035ba5751","datavalue":{"value":{"entity-type":"item","numeric-id":2879260,"id":"Q2879260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"391219c313ffd9fdb8e32bced19950d677073974","datavalue":{"value":{"amount":"+0.8114402890205383","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":"Q4964711$FB8F1C01-04AA-4692-8486-126988B948CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1cab783396284eb004b42756f108087b79277b8","datavalue":{"value":{"entity-type":"item","numeric-id":3613408,"id":"Q3613408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ad334c0b3f36713c99107a5de0626a3f6e75c33","datavalue":{"value":{"amount":"+0.755904495716095","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":"Q4964711$A6249B3D-59B5-44AB-B556-E4D9BF67F184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5240345605b6df958dc529fb8dc1a54b30d31b3","datavalue":{"value":{"entity-type":"item","numeric-id":3183517,"id":"Q3183517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7f1b90665ebc12929c6dea3ddfbffe215cc1bda","datavalue":{"value":{"amount":"+0.7530152797698975","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":"Q4964711$AB66DBA7-30AC-45CD-9961-588D16AC15AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f486f15bb96c9d702825bb4445acddcc63515c3a","datavalue":{"value":{"entity-type":"item","numeric-id":287358,"id":"Q287358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c386aff9f9974048454f0a104cb634ef82a54871","datavalue":{"value":{"amount":"+0.7506594061851501","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":"Q4964711$A4B9B9B6-FB06-4417-ADF3-D47536E74EAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6b33a9f213e3f67729583300a9e1f98b54e7d","datavalue":{"value":{"entity-type":"item","numeric-id":287361,"id":"Q287361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14279424412c0fe3121ce6398e980548eeb6147","datavalue":{"value":{"amount":"+0.7346495389938354","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":"Q4964711$178B4DAE-DB61-48CB-8B49-BE07DA82783B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964711","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964711"}}}}}