{"entities":{"Q6159946":{"pageid":13294807,"ns":120,"title":"Item:Q6159946","lastrevid":58737741,"modified":"2026-04-06T13:07:31Z","type":"item","id":"Q6159946","labels":{"en":{"language":"en","value":"Abstract clones for abstract syntax"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700635"}},"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":"Q6159946$E9FECFE5-6AEB-4F42-AEDF-86D75F7CA928","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48ab7c6c95f3e689739b9606767b4c1ebf902340","datavalue":{"value":{"entity-type":"item","numeric-id":5145622,"id":"Q5145622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159946$B1BAF45C-EF76-44E6-A30E-9FD20918E50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e1319ac13ebf7c072597f26b2696124d56a6b22","datavalue":{"value":{"entity-type":"item","numeric-id":2134831,"id":"Q2134831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159946$3FA6314B-17B3-478A-B2F8-ACFD0AEC6225","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159946$16B87B5C-0809-4647-8695-BFB354FABD59","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9e593608e19f17cde74c9749fda1ba1b046052d","datavalue":{"value":"https://arxiv.org/abs/2105.00969","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159946$07ABA374-420F-4BF6-8EC4-F915FF7D7421","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159946$C8C0E7CE-1AC6-4D59-BE50-3C8F6B429EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159946$D94F8DEA-8A1C-4E1F-969B-9E411DDFDC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159946$B09E8B57-E09B-44B5-962E-8D5476496E7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2ce85042f8cbd1455c203df117c94b0c9ddfd8c","datavalue":{"value":"7700635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159946$BFC772B9-D0BD-4989-8C83-0BB13E4A506A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a8c979b5dd35545c1130670fcfc072d0be9a91","datavalue":{"value":"simple type theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$B7848CB8-D760-43EE-B69F-AB8D4AF51093","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d70f795d5203fb236f43e31f57fdbdd87dccf319","datavalue":{"value":"abstract clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$26E20F0F-CDD7-4299-918C-453EA894A64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588aaf4769151742a4fc7f20cc1126567153bf34","datavalue":{"value":"second-order abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$6A289A3E-E343-4162-BF3E-2C953D2E02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$2F518E86-6862-4EA3-8AA2-48F6F2C78570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017465942dbd8ba7ebab45a45af0183e273a4234","datavalue":{"value":"variable binding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$79586629-B055-40F7-9A1A-814EFA4F7353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e230deab86b759c7a9e477b6f36eb01e4e4db2f","datavalue":{"value":"presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$3E0552EF-0023-40EC-8BB2-16836299CE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$1C503E88-2981-4769-AA1B-D49FBBA99BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$D3A405DA-F1D2-477D-ADD5-D5368CDB1CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159946$8951F818-6D15-4511-83B2-93944F72CCE0","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":"Q6159946$A0F3792E-0D16-4123-9DAA-9D0FE7EAE013","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d77e66580cf363de88042e85082ea327ce395c00","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159946$B3D3FD84-E8CB-4D2C-80DC-E8459B49746A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2297eb8442881cd6208ce70d13682d01272971","datavalue":{"value":{"entity-type":"item","numeric-id":5145623,"id":"Q5145623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12fb14c46549aefeebac548b45f1573cafc5d5ba","datavalue":{"value":{"amount":"+0.743399977684021","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":"Q6159946$AC7DD1D3-C70E-4F69-A241-A58503A19F2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705b7c3185e1d0adc959ab1f66170dc53fdcec2a","datavalue":{"value":{"entity-type":"item","numeric-id":3000622,"id":"Q3000622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d104c6a9b604fc53918e8896a5a2c9764f2aaed","datavalue":{"value":{"amount":"+0.7244888544082642","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":"Q6159946$5A0F141A-895F-4DC2-8300-5A10B417897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e895053976f5f33a85cdb118f485bdac6ddbf456","datavalue":{"value":{"entity-type":"item","numeric-id":2763648,"id":"Q2763648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e336c6b0578ed2fcc6e1bd5a986991bec1ee5d6b","datavalue":{"value":{"amount":"+0.719708263874054","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":"Q6159946$4E813790-27E2-48B1-A242-1E0CA126EE86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"030520f7e830a87853a89f727920484d07ead10b","datavalue":{"value":{"entity-type":"item","numeric-id":2804939,"id":"Q2804939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64cc17fb03e4871d72242a612249027909ace4eb","datavalue":{"value":{"amount":"+0.7162020802497864","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":"Q6159946$39FFB4B9-9D3B-46BC-B6FE-32D1587AC60A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de14ffc87ae9579150588c68efa3e67f7336822c","datavalue":{"value":{"entity-type":"item","numeric-id":2841274,"id":"Q2841274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ac3ecad6bc98f08cd19c9bdc91d4457cd995e3","datavalue":{"value":{"amount":"+0.7140907049179077","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":"Q6159946$30303620-BBCF-4F62-A62B-CCB611DDE7EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159946"}}}}}