{"entities":{"Q3546313":{"pageid":5576217,"ns":120,"title":"Item:Q3546313","lastrevid":49517602,"modified":"2026-01-07T11:01:41Z","type":"item","id":"Q3546313","labels":{"en":{"language":"en","value":"Alpha-structural recursion and induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5426563"}},"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":"Q3546313$55ABCE79-C759-4E33-908D-8052B62E3D02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b61d70fcf1f5f166ddebcd9ea39bf86322e9aa97","datavalue":{"value":{"text":"Alpha-structural recursion and induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3546313$B21375E0-602D-4306-A5EB-D715927CBBF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdeb5404c33d7dbf3610b460fc4e3742cab9cb25","datavalue":{"value":"1326.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$3C92874F-EBBA-4251-8512-F7EA64DEE9C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12edd56acb87355ec86d0608964f8509a082201b","datavalue":{"value":"10.1145/1147954.1147961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$CA67B24C-8D1C-4F44-ADB4-C1925CD6DC63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fde72a2d81cbfd58c1a2329aed776df473214803","datavalue":{"value":{"entity-type":"item","numeric-id":530842,"id":"Q530842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546313$2D45D85B-8694-4823-B380-DB49C720DC98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3546313$67CC83CC-3039-49EC-8BDC-B9DCF2147255","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5e585f09c3e724b05f201668ef36e38cb4b3cf3a","datavalue":{"value":{"time":"+2008-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3546313$A82FC5FE-65BB-4F34-A3E4-103285C41887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$0CD644C0-F783-4E32-A80A-FC8FE906F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$D754D8F9-340B-4254-B443-7E5293DFC724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$813D60B7-1BFE-45A3-8F3A-C1752F50DA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$D2CA82D3-EB36-4DD9-8ABC-DE6A4F61B2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$5AE4CED4-49DD-4248-AFA6-481CB0A89237","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b0edb25a92c14b27a8ebbfd548028b0140cd14e","datavalue":{"value":"5426563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$431E8D81-7CB3-4C62-AA03-1F6CA063375D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543bf8400f98f9e945a1fb4a6d773856ebd6d9fc","datavalue":{"value":"abstract syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546313$B14324CC-C0EC-4F6E-9D60-FAD2EC7A1E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1076d7aaede6ca2cd144bb11a6f7107114a777bb","datavalue":{"value":"binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546313$0A97EBB7-6E04-4659-A0C3-4CFFEE7B2E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546313$38360AE2-F64F-4C68-9250-1C7662E21E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527015b819629f50d5bdba50abd49fc7ff5c544a","datavalue":{"value":"names","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546313$119B3F68-D8B0-415C-B2E8-9D6F5D2C4E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3546313$74C822E1-96AE-48D4-BEC1-B2D050A32990","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":"Q3546313$379B90AF-6807-4E88-8A81-C5CA2E3C397F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"421face65d6f6e36b8957580014fa529103891c0","datavalue":{"value":"https://doi.org/10.1145/1147954.1147961","type":"string"},"datatype":"url"},"type":"statement","id":"Q3546313$641562C5-364E-4556-B46C-F0A0A6B8AB7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dd3c0336d1f5987aaac9b91b243444c5407d4c5","datavalue":{"value":"W1993375565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3546313$A3A41D52-A7D2-4885-B6B6-558B6762D9C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26b9805fb26f615a046c647f48f7fbb5d782850e","datavalue":{"value":{"entity-type":"item","numeric-id":5477644,"id":"Q5477644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1b0f5131f6edf38fbc720148e9ca9874075db37","datavalue":{"value":{"amount":"+0.99999994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$CA6A1EC1-30B5-41CB-B008-467584896708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abf5ace6955f8d6b99a9767bbc92970fa25cfda","datavalue":{"value":{"entity-type":"item","numeric-id":1744410,"id":"Q1744410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d716e356679ed2742688a8341489b89b2083ead4","datavalue":{"value":{"amount":"+0.8974086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$EDA58223-5ED2-4DDD-9EF6-B56E9E318EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3a66355419372373e528730b4767cb35f230ea","datavalue":{"value":{"entity-type":"item","numeric-id":4942633,"id":"Q4942633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4924bb3f82c5422551172c490be1ebb3276458e3","datavalue":{"value":{"amount":"+0.875682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$774D7763-36AE-46C0-966A-FD39DD741634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7281a0001283fdab7726ccf6d153f33d8d948966","datavalue":{"value":{"entity-type":"item","numeric-id":4218093,"id":"Q4218093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae118efd4d219e5e3fa58ba4b41f4d0b74cdcebf","datavalue":{"value":{"amount":"+0.8756819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$D601B813-C039-4F81-A90F-3739EA5A532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b06f89c41d640daf3bd74f8f8e1b37397c2e2ac","datavalue":{"value":{"entity-type":"item","numeric-id":1412830,"id":"Q1412830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d71bb6e4e13526a50ad3157954ad8e58ed7ec4","datavalue":{"value":{"amount":"+0.8732073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$4C28EAC7-B14B-4AD1-BD87-3B60E73C9108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c5c7cc65fa7605d234cc789f21aa130bbc4dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5157f46ad13a81a0336cb2252ea960fa41b83d8","datavalue":{"value":{"amount":"+0.87110734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$6B93A000-DB63-41B3-9983-691143C28291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a9cb1b719bdefedb6d2fd80a527ce4ff1182d96","datavalue":{"value":{"entity-type":"item","numeric-id":3325711,"id":"Q3325711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c76f4b197ff28141fdb0519d74d3b5507196cb0","datavalue":{"value":{"amount":"+0.8694676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$88286325-3965-4E15-ABEA-E101DA4A47BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec1f642314305fda430872fabf19b330c6630590","datavalue":{"value":{"entity-type":"item","numeric-id":4302839,"id":"Q4302839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20f0412f1247fb19b003a442be8393bb836a6fb","datavalue":{"value":{"amount":"+0.86848766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$822A40ED-0E20-4C00-87EF-2F844B5A50F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019f99791d45383943057206d50336b34a1727ce","datavalue":{"value":{"entity-type":"item","numeric-id":2981950,"id":"Q2981950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133a056e179a256ab1182b1fb01d97e13669e8ac","datavalue":{"value":{"amount":"+0.86511457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$C3F61803-8335-4022-8B02-AA01C0E185CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14293c7b748a769cc6d7418d6a62065437805595","datavalue":{"value":{"entity-type":"item","numeric-id":5273440,"id":"Q5273440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b53b54000eb58ef32e566383e5edb47b1d4919ff","datavalue":{"value":{"amount":"+0.86432755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3546313$DDA3E1D7-60A2-4ECD-A56E-4498F145998F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3546313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3546313"}}}}}