{"entities":{"Q4964703":{"pageid":6994282,"ns":120,"title":"Item:Q4964703","lastrevid":58379481,"modified":"2026-04-04T23:23:14Z","type":"item","id":"Q4964703","labels":{"en":{"language":"en","value":"Dependently-typed formalisation of typed term graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317238"}},"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":"Q4964703$B6452C11-299A-4480-B983-F25F66637382","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d5e89a684a6a488a24dd3a1871fdde0b96c7e4e","datavalue":{"value":"1457.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964703$7C9685CA-5ECD-4D50-94DA-736B23CC1F31","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0d1feb73bc6dc1f21f46312ef6e54527d133b3","datavalue":{"value":{"entity-type":"item","numeric-id":406452,"id":"Q406452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4964703$FCF2690A-137B-4A33-8AF3-2832BC96F4D0","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":"Q4964703$A6476056-0435-4F8D-AA38-8A9D13AA0D3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10558be0a00062569fcfd0f3071e71a4cbbe7312","datavalue":{"value":"https://arxiv.org/abs/1102.2653","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964703$BD2FBC71-FE3F-4171-A3CE-860C8872F85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"02184fc7247b5671dd3884d7cf28b8fef052201f","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2011.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q4964703$0C11C636-62F5-4B5A-A5B7-BC537A799C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964703$1CB15565-77E4-4F11-9ACD-C70F521880CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964703$9B8B7B5B-BADE-4D93-87DC-E4DC20DD3011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964703$62B4CD0E-65A0-45E0-9129-36F3C965F1C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"293848feedafb450714b18bb698162efcd5422c4","datavalue":{"value":"7317238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4964703$3C27B39E-3093-46D3-9357-B0B39C5A2EC9","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":"Q4964703$589ABF9B-B627-4610-8772-0A0DE68597EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d645984c536a410e4f81a57132eed217282d5b","datavalue":{"value":{"entity-type":"item","numeric-id":2185888,"id":"Q2185888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12311046eb5f82b988ec70bb34abe69f571ca80d","datavalue":{"value":{"amount":"+0.8686265349388123","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":"Q4964703$AC6FCC3C-AFEA-44CC-86F0-93FC084D5D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cdcd388e89d00caee1fc23e4f3bb301c9a3516f","datavalue":{"value":{"entity-type":"item","numeric-id":3007580,"id":"Q3007580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9324081879d8f9b937aeab8cb6a6f1a46cb2b057","datavalue":{"value":{"amount":"+0.8270724415779114","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":"Q4964703$83249883-EE0F-457F-AA3E-9013BBB8E766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22285d37cd524461d433aca5df1ed89e3433145a","datavalue":{"value":{"entity-type":"item","numeric-id":4232785,"id":"Q4232785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0889304ab542e2b387a18b1482d38cc76a3b1b4b","datavalue":{"value":{"amount":"+0.7713573575019836","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":"Q4964703$06E17DA1-4D10-4D39-B335-8300E063667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60d330218efdb6e0dae35fc2343de58b9a5b8340","datavalue":{"value":{"entity-type":"item","numeric-id":3649136,"id":"Q3649136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b5458b116bdc82f200f02989bda1c81d599b6c","datavalue":{"value":{"amount":"+0.7111572623252869","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":"Q4964703$51CDDD4F-4F51-4973-BB14-A25D895DDA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f145aa3183c11f3ed76154d07cc5a82ee28a8ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3612438,"id":"Q3612438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7063da8f512580205219b2fd50d2d6b896d3e194","datavalue":{"value":{"amount":"+0.7094542384147644","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":"Q4964703$68EA9F89-9A6F-4385-BD72-9956BBC21BB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4964703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4964703"}}}}}