{"entities":{"Q6135768":{"pageid":13270075,"ns":120,"title":"Item:Q6135768","lastrevid":58705950,"modified":"2026-04-06T10:01:59Z","type":"item","id":"Q6135768","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7731929"}},"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":"Q6135768$7BA1BD40-62D6-4D39-8337-D5E653DC0D81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82b1b744ece9c7e2a025b6f03ab954d3ff7eeb47","datavalue":{"value":{"entity-type":"item","numeric-id":582907,"id":"Q582907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$01D8F210-2E47-4290-B9F5-73FFBF3C0A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$F7707080-C0B8-4B02-90E1-72388180051D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1b7666770f35571057e67aecf4ce96423667a54c","datavalue":{"value":{"time":"+2023-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6135768$E141B3E8-7190-4565-AA87-AD0ED0315098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9f3c14c1b2c1b12700605f81d9a13324173571a","datavalue":{"value":"https://arxiv.org/abs/2105.14261","type":"string"},"datatype":"url"},"type":"statement","id":"Q6135768$FE580605-BFA7-41F2-8B80-E551A04B54A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135768$70E8585F-0A8D-45D0-9742-2725748E131C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135768$E970EE66-EE9A-4B32-ADB0-EC53F48D7319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a1c77aec6c0121da295b646bdae740987b07922","datavalue":{"value":"7731929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6135768$17E72D89-01C6-40F7-BC65-108F932CB41E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1c8b748fdc019215a99133528e70491a123618d","datavalue":{"value":"computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$D4140C63-3859-4A4B-8DDE-417CDFBB56A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$95B2B0C8-23F2-4701-9761-36D6C39AD105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52862bf577eba59e2b36d75922fcb2ab5640edf0","datavalue":{"value":"compact sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$AF6AF0C4-0730-41D2-A51D-A37AFACD65B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"058f068d384d887665ba66b6cd39bd0441dba7ca","datavalue":{"value":"signed-digit representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$3618CECB-0AEB-4E24-834E-9D38F75ADF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f4e377a7dbc33b2fd74fd87aba44d727033e8b","datavalue":{"value":"Gray code representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$C0A5B9AB-F118-4A05-9D33-C7A49F2EFDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df67629ca1d438e29419cc9fed60903bec78b3e8","datavalue":{"value":"iterative function systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$760532BE-5D42-4431-BAFA-C2D6C771F1DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$94FB52CD-9406-4B39-8FB6-8819DC4986DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$57148A7C-655D-431C-9B70-E5C5F25FBE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$D33E7658-FDAA-4317-80D3-19ADF7AB0687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"920cb1b4ac9b01d41fdbadd7d1457883a55fb3c3","datavalue":{"value":"co-inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$B193484F-9A86-41EC-BA68-D37FEA065D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6135768$8CCDFFD1-52A2-4421-B160-F53585AA0EA3","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":"Q6135768$05DC0BE4-51F7-447A-9944-1D1967575F14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b6a23082bddb50572b09dfeacb47466c62033","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$EDD45045-E9F6-4675-964E-A51D2DA47B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63933023c2b92e8f26e17359d374c320ae00c929","datavalue":{"value":{"entity-type":"item","numeric-id":5278412,"id":"Q5278412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$A1369D79-FF50-4619-A3AC-B22905882646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918f2ab1b9ec59829674d3c94f9d64972bb8ff93","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$DB296830-B5A1-4497-B0C1-942636714700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c6305c0bd1610e43fbce2edb114486765afdf8","datavalue":{"value":{"entity-type":"item","numeric-id":5221791,"id":"Q5221791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$6EED677D-12AD-44C7-AEF7-D06F8333BEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cce8df566ab07a52d7e8b19ab30936b67bbf97f","datavalue":{"value":{"entity-type":"item","numeric-id":2974666,"id":"Q2974666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$9975B1C8-4CB5-4606-A620-EE2DF6A39567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8be793d43ccbcec7fd4c624e4436431c592807","datavalue":{"value":{"entity-type":"item","numeric-id":2220485,"id":"Q2220485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$BEF5A559-CE33-441B-94BB-827CFD3D84D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$76B91C75-5D9F-410C-B001-15FBF2E0AA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5fcbceeee9b607f3b8d5e4275e1fcddda82061","datavalue":{"value":{"entity-type":"item","numeric-id":4813225,"id":"Q4813225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$72C287E9-4ED6-41C2-AD86-D9B7A4591AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcf6893c63dabb8b8f94071f9c457088f68923","datavalue":{"value":{"entity-type":"item","numeric-id":1917075,"id":"Q1917075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$E62FE03B-B812-4460-A207-4E79DB8B12C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b24c55fd9aae0a53fe4df2d340bc389c3aed8af","datavalue":{"value":{"entity-type":"item","numeric-id":1274807,"id":"Q1274807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$82585ADA-86BF-429A-A057-6C59B8D03CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$77D8A01F-2CE7-4615-AC1F-8E147FA178B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb1812a83c3a4aee25d6a67b2527c143aea9ae4","datavalue":{"value":{"entity-type":"item","numeric-id":4435471,"id":"Q4435471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$76768E77-84A3-4D7A-9310-66FC06EB00F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$A5F1E515-3554-412C-8A14-FB489EBF4504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312dcbdb4361e8755d36bb4d2280c7a2a7cea28b","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$4D043025-4FC8-44E2-8EAE-D4EF953DF639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af89c59f1f5f834f23b332093d0e5bf56a577458","datavalue":{"value":{"entity-type":"item","numeric-id":3090883,"id":"Q3090883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$836562F9-9774-4BC4-829E-9906B1A5E87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$7A050EDC-C888-40C2-A619-C060C94E3EA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$64E1D5AC-2EBB-46FC-9970-B361F4A0C2C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b78de251f3bbca473cb32479b0b224386a4c88d4","datavalue":{"value":{"entity-type":"item","numeric-id":5156773,"id":"Q5156773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$C25FEEBC-7BBC-4BD3-9607-F183B112C403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845e004f1af40a576624071e73fa924df0213321","datavalue":{"value":{"entity-type":"item","numeric-id":1607300,"id":"Q1607300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$01BCF322-FC76-4AD5-A82F-B3E285A4B335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ad4a0b48c7762c125e969a36828b2f79db21820","datavalue":{"value":{"entity-type":"item","numeric-id":5316565,"id":"Q5316565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6135768$BA889047-8AEB-4858-8105-C6C139D46C56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6135768","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6135768"}}}}}