{"entities":{"Q5747652":{"pageid":7777203,"ns":120,"title":"Item:Q5747652","lastrevid":51080192,"modified":"2026-01-16T13:36:06Z","type":"item","id":"Q5747652","labels":{"en":{"language":"en","value":"Reasoning with higher-order abstract syntax and contexts: a comparison"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785345"}},"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":"Q5747652$EC260CED-A088-47E7-BBDA-24F2E2A22F07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b61f19622d866c40f18c1a611dd716448ef261c","datavalue":{"value":{"text":"Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747652$1DEC12D7-5E3C-473A-83A2-978F07DA47AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f22598115e094b547ecd5494621cecae9cda834a","datavalue":{"value":"1291.68340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747652$685D4846-F6EC-4C27-8F10-3367437121AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39f17281308030501d217511d713ad07630156fe","datavalue":{"value":"10.1007/978-3-642-14052-5_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747652$739B8161-019F-4542-8942-8159E88694FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$5960F201-FC27-473B-B998-B29424E38041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3098c31aaa054039cc5414efb85f4a6bce38102","datavalue":{"value":{"entity-type":"item","numeric-id":590551,"id":"Q590551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$590E5B21-CD06-44D8-9AA5-B8F1C38C4306","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$8F0C2855-749A-4651-95F0-7FB77CFCD425","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747652$8181FAF9-B5F7-46D7-B5BB-86F74D196791","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747652$620B1D5C-7BED-4A7B-B02E-4763EB11E57B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fb719434d8dcc580108587cb6602bc41e301fb4","datavalue":{"value":"5785345","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747652$B96ACECD-83BF-40CA-B41B-17AA1B44A3FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$2DE700C1-3C55-4812-AAA5-73800869133A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f30e5dd378d1c8d431ca832dc781025a9796eb77","datavalue":{"value":{"entity-type":"item","numeric-id":21438,"id":"Q21438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$65FF24B2-8E2D-4829-A0FA-C6EAC7ABFE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be9a1fdbfd35f7a816de32e6d9d9a2a21796c942","datavalue":{"value":{"entity-type":"item","numeric-id":14061,"id":"Q14061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$AF92268E-6D03-4130-B0B4-79723D42341C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747652$F300D9A2-B373-4DCA-A47E-CE08D052CE8B","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":"Q5747652$CF50236D-E8A7-4C14-8675-635F406A6C2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ac442279974d451021d88f4d9b21f302e6449f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747652$B267193B-51BC-4E89-9045-CCC1A4E38EEC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ed53100ebfcc83c6bf3a0a3fd0c182a5685998f","datavalue":{"value":"W2139128755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747652$CB64ECFE-A456-4491-9147-8B1ACE6824AD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ded2d6bb2e54f16d6eb85052935f22a3514f6f64","datavalue":{"value":{"entity-type":"item","numeric-id":2871875,"id":"Q2871875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6147cd394996bd0e511796fc7bd67bde9b9f11","datavalue":{"value":{"amount":"+0.8537464737892151","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":"Q5747652$23A6EFCA-3057-4DD4-ACDC-9FCC8227021B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25b4dba984163c159f355dd15f31e142389408d0","datavalue":{"value":{"entity-type":"item","numeric-id":287277,"id":"Q287277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a313c6fd221cb7f3293a93314aed477500f79a49","datavalue":{"value":{"amount":"+0.8175243139266968","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":"Q5747652$EC523ECB-4F6F-44F6-A394-F170AF268A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e4b62f5370b77d06756e91b3947691666b6b32b","datavalue":{"value":{"amount":"+0.8137522339820862","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":"Q5747652$2E654E91-E823-479C-B8E0-C67A1158110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01440ea277965da5d581ffe22876ea4d78c39930","datavalue":{"value":{"entity-type":"item","numeric-id":4691183,"id":"Q4691183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d44fdd9c89b8fc30c86eada46871b97a85c0671","datavalue":{"value":{"amount":"+0.7991600632667542","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":"Q5747652$E5DA4F5B-C66B-4960-91F6-C5ED1526DBF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b47167d4bb944e79729d3ca171d41ed04cd2ec74","datavalue":{"value":{"entity-type":"item","numeric-id":438569,"id":"Q438569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b2e9899fb96b7557d68871fcaf2f2ef50dfbc8d","datavalue":{"value":{"amount":"+0.7938897013664246","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":"Q5747652$84F508F2-AD19-4D36-91B8-18BFC7DF4393","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747652","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747652"}}}}}