{"entities":{"Q6647302":{"pageid":14258457,"ns":120,"title":"Item:Q6647302","lastrevid":95931248,"modified":"2026-06-05T10:03:15Z","type":"item","id":"Q6647302","labels":{"en":{"language":"en","value":"Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7952862"}},"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":"Q6647302$4EB11281-1694-4DDC-8A06-B741F8FF9893","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"817fb1da9e721f942041d35b9af9753a7f135d00","datavalue":{"value":{"text":"Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6647302$056190A1-D654-4352-833F-2930181B57C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9227c97274221a0c4aa691e79d886deb373b96e7","datavalue":{"value":{"entity-type":"item","numeric-id":6647301,"id":"Q6647301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$F7EDAFCD-3992-4278-AD05-10AED2CA940C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809041de86ee9cb36549c7a4467a0d3c1c42deac","datavalue":{"value":{"time":"+2024-12-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":"Q6647302$05B98003-5F3D-4267-AD94-AD79510C5A11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647302$666E6978-AB87-4616-BA45-2128338754D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647302$862A29CD-B349-4E1F-A5EE-1440A4C61476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647302$D1F8A543-C4F5-48F7-82D9-2917B9287DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647302$2A0D9710-4A13-448C-9D05-3616086041D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aa92e8539b6fbfb75626217ddf2d61f8f10f53a","datavalue":{"value":"7952862","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647302$AB6AD168-78FB-43AD-8EB5-9D1EC26DD092","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":"Q6647302$602EC3DE-7032-42C2-8309-0B1928CBF16B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"26dd6261532997edf79743ffaa3bbbae1e6fba9e","datavalue":{"value":{"entity-type":"item","numeric-id":6070807,"id":"Q6070807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$92C71865-85A2-4B58-8866-D71A2FD7D973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$9F311A66-50B9-472B-A58E-D32FB756A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889056687b91f2d1b9937cc8b254cb64cdca7b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2963900,"id":"Q2963900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$8609265B-251B-4993-AE16-93C5BD8D8E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"795b80bcc45636783a7e3a0cd8702bd151d2a5e4","datavalue":{"value":{"entity-type":"item","numeric-id":1424767,"id":"Q1424767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$9A92E476-32D6-4C47-B3D4-D2EA9C5F4066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d583fc00d1fe73786a69f9291791be750d1c45cd","datavalue":{"value":{"entity-type":"item","numeric-id":1246271,"id":"Q1246271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$EF011F20-C1EB-4AB5-8FD3-E524C3D75EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a058fc6e8406a2b9dca3a9cafde2b45591ef997","datavalue":{"value":{"entity-type":"item","numeric-id":3514890,"id":"Q3514890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$08DD6200-84D7-4418-8843-1A6FB3F15710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c11fde44696795cac33cdd0d688fb5f169e5740","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$22A3FDCC-4BB0-41F9-8242-1C220454F8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e284b4ae70d31e0721de73715c939d658fe3ce58","datavalue":{"value":{"entity-type":"item","numeric-id":1090469,"id":"Q1090469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$54F4585E-8C7D-4AB1-856D-31AAE15109B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6dcabdc80f81e1eab923a8ca5e25a62efaec93b","datavalue":{"value":{"entity-type":"item","numeric-id":2986817,"id":"Q2986817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$27C9BC3A-3CF9-4B42-91E0-810DE71666A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd8212d1e6f4937780f720da0b507691399bd2db","datavalue":{"value":{"entity-type":"item","numeric-id":5370859,"id":"Q5370859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$7956F120-DAD5-4E3D-A6BE-61F2E36E06E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e00578bad80a34483e52f8ce9687dcb6d88fcf9","datavalue":{"value":{"entity-type":"item","numeric-id":2324003,"id":"Q2324003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$8DC5CB17-263E-4201-9D8F-BFBE432AF39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"381d30406a5db177bd61df587b5b0cf10aa2d35b","datavalue":{"value":{"entity-type":"item","numeric-id":4592714,"id":"Q4592714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$F50DD161-1E54-481F-893A-1D22E04F2A79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01c773e0d3540df5fca229976874b52f328ee7f6","datavalue":{"value":{"entity-type":"item","numeric-id":3384904,"id":"Q3384904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$8DB9CF04-BED2-45FA-AB3F-D79CB32D5F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b51d40ac128d3b8f56437d853da9c099079feae2","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$B336B3DD-9555-4420-854D-A5D319E586EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"308f96b618d77a0bec731b2273df8f7efc0dae2f","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$77D2C470-E916-4C97-8EB5-BCDD14580273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c93c64c72ec02da95173e8a18fc60dccb0e2ee0","datavalue":{"value":{"entity-type":"item","numeric-id":476196,"id":"Q476196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$E54929ED-0622-404E-ACBF-5E694BE66BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44f01f82b19f90331cfd390537d19adf974f07fe","datavalue":{"value":{"entity-type":"item","numeric-id":1589483,"id":"Q1589483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$ABBF72E0-3F48-4E4C-94FD-5FCB1B12CE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e97dc7d4351d91c9f8a96a2f7ad5628b843ac4ce","datavalue":{"value":{"entity-type":"item","numeric-id":1603704,"id":"Q1603704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$CEB2666E-46A7-4D68-AE66-69582671C4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d64794bab5e453242923fdf7012c2074f72fd8","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$74C70565-B756-4632-85B4-935CC13B02B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027d70fa3d5c4eb64bce68bb1b5cacf3e5818999","datavalue":{"value":{"entity-type":"item","numeric-id":1886326,"id":"Q1886326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$1EF6CC2E-778F-45E7-922E-B138F22D501B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcccba79861386df19c84997945862e47e9786d2","datavalue":{"value":{"entity-type":"item","numeric-id":5941060,"id":"Q5941060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$8D24F7AB-86A8-4D36-83F0-1950A305C57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d44484491b105b4eba9052e7ca901f22afe79de5","datavalue":{"value":{"entity-type":"item","numeric-id":5311496,"id":"Q5311496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$E9A85409-DFA2-4A20-874E-9040FC8EE710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa47853501e7e7c7ca7cdf715849aa4b5c1127de","datavalue":{"value":{"entity-type":"item","numeric-id":5020661,"id":"Q5020661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6647302$5A6E6B04-20D6-425F-995A-8FA4B073DD0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a7cb3c56e54d2d853027b06b48a0c9af36605401","datavalue":{"value":"10.4204/EPTCS.344.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6647302$AAF1EC32-1B83-4D64-BAC1-D07B867B703F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844001343b1aafc8257ab150df1241ac2335a609","datavalue":{"value":{"entity-type":"item","numeric-id":5370859,"id":"Q5370859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2418e285ac7530a9e560fcbf12278883567955a5","datavalue":{"value":{"amount":"+0.7634484767913818","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":"Q6647302$49DA3338-4951-43D8-BE7A-89DC277575D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25725d158d517dbaf96863bed85e834fd2f35940","datavalue":{"value":{"entity-type":"item","numeric-id":6654513,"id":"Q6654513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33021dcfbd580c6a11b89ff0f6bcc3791c098979","datavalue":{"value":{"amount":"+0.7601720094680786","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":"Q6647302$08ED3797-5FB5-47DA-A423-03CE28A703BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f34b64a349c4606601cddb539d3c1e869aecca7","datavalue":{"value":{"entity-type":"item","numeric-id":5261537,"id":"Q5261537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb7932a3c894a41204d3b5efb4fb4bd08ff5dfa9","datavalue":{"value":{"amount":"+0.7561460733413696","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":"Q6647302$E0D90062-3E95-4E1C-974B-D50996CF04A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e4b9b282f293860ccc43a6ced7a444b3ee8dac","datavalue":{"value":{"entity-type":"item","numeric-id":2963900,"id":"Q2963900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b95a5712e09293311bf327d0223fc8af5c328de","datavalue":{"value":{"amount":"+0.7481379508972168","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":"Q6647302$A7C55CF1-51A2-4905-96AF-7319A6FE38ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6ccb1191a94d96960c35877220f461aed7f4efc","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6b374df95847ff7a15cdc1eb29cb047599d3b3","datavalue":{"value":{"amount":"+0.737093985080719","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":"Q6647302$B6D2E16C-31BF-4A4F-A4AE-54F17F5BD427","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reducing higher-order recursion scheme equivalence to coinductive higher-order constrained Horn clauses","badges":[]}}}}}