{"entities":{"Q6940460":{"pageid":21146367,"ns":120,"title":"Item:Q6940460","lastrevid":84102656,"modified":"2026-05-10T03:13:53Z","type":"item","id":"Q6940460","labels":{"en":{"language":"en","value":"Abstract representation of binders in OCaml using the Bindlib library"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082588"}},"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":"Q6940460$3B068675-ED19-48F7-A59F-05D728F939F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a57bb29ee4beb6aea27965df125ffdfc059258b4","datavalue":{"value":{"text":"Abstract representation of binders in OCaml using the Bindlib library","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940460$245AA5B1-DBDC-42AF-856B-B9B7B62BC313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f07c10c51d54c17f1b36d9f270adb1ac379c2bee","datavalue":{"value":"1570.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940460$A1DF3BF8-11AE-4670-81C9-51C31B0A122A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c462b796e7aae073a9953276f580196610bb28f","datavalue":{"value":"10.4204/EPTCS.274.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940460$49A56E6B-262C-4331-83F9-BB4F51D6D502","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cd10ff308af95ba6da41556256420bdd6b06fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2802493,"id":"Q2802493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$70B1C935-831D-42EC-9560-7108EE99EBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d839fd7cc47e26695d7e86daac1e29277216273","datavalue":{"value":{"entity-type":"item","numeric-id":1382181,"id":"Q1382181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$530CFE7B-75DF-48D1-ACAD-DA2BD664FBE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940460$512A560B-ABA6-426A-B512-F4751144DF6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940460$43AF45CC-B99B-4EF4-9493-664498BDC3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940460$19C7E0C7-8F73-4D05-9965-3426E7E48DE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61ee8f99acf5945decdf4697e12f6bd7b307294f","datavalue":{"value":"8082588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940460$88BFC748-EA30-4920-9366-A6F452D722CF","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"55caab8c5bb050f39298bb24e71802196fa28463","datavalue":{"value":{"entity-type":"item","numeric-id":56978,"id":"Q56978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$DB46F630-4108-4025-884C-931C7C7D6FFF","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":"Q6940460$0313B0F8-F69D-48BF-BAEB-7B5A5250B6E6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$3A1CBD96-6992-4619-9817-F6F8D3EA75C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$BD86380C-099A-496F-8927-4F98F872B054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367ef177c9ab91da57ee385240218ffe15eeadc2","datavalue":{"value":{"entity-type":"item","numeric-id":5178760,"id":"Q5178760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$E5592775-6AA9-463E-B638-745CC7E85DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ce3da52eafd9adc89e62fe46c921f7d614a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":1945918,"id":"Q1945918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$F7EDD911-F49A-4A32-99DA-439534F06499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"604a7aad6b86a8c98c7c2c0335adbf058365c733","datavalue":{"value":{"entity-type":"item","numeric-id":3518270,"id":"Q3518270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$EA012F86-B68D-423D-AB45-93D60CCF72A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d434966473eea1b46469590e756fbfa4aaa54d1","datavalue":{"value":{"entity-type":"item","numeric-id":5261281,"id":"Q5261281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940460$B1DE46CC-91C2-4FA2-9309-5FA85943C3A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract representation of binders in OCaml using the Bindlib library","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_representation_of_binders_in_OCaml_using_the_Bindlib_library"}}}}}