{"entities":{"Q550248":{"pageid":552015,"ns":120,"title":"Item:Q550248","lastrevid":62682111,"modified":"2026-04-11T07:44:49Z","type":"item","id":"Q550248","labels":{"en":{"language":"en","value":"Infinitary combinatory reduction systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5919039"}},"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":"Q550248$AF875098-5744-4C09-9B16-9EB592202F25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9955bdb44e529fcff4299fea84ba2f7c72c4631b","datavalue":{"value":{"text":"Infinitary combinatory reduction systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q550248$A60246A5-F172-4ACF-AC7C-AB2A0F0E4E00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea1b7167664e81ec75ab6ef4c7b4e584c1767b15","datavalue":{"value":"1235.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550248$78AB543A-3850-4D5C-8B3B-027E02B837B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d94ad8eaca8d42a872b0ff8ed0b890de4a90c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":550247,"id":"Q550247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$8A6541C0-7682-4AC2-834B-D60C25610AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe2ac1adf6437bcd26471c666316cf7844c005b","datavalue":{"value":{"entity-type":"item","numeric-id":306826,"id":"Q306826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$A776AFD4-B338-44E1-A732-1A526B0A9DCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$CF580D26-0014-4C13-AA4F-11905D889A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e83de025addf20ea5ebcef37a33b5699c76aba6","datavalue":{"value":{"time":"+2011-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q550248$E9A6C12B-B526-4718-B330-789B759FC8E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550248$E9B568FB-0453-41E9-BED6-CBB4E89B4A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550248$B2D59C7A-A298-4342-9725-FE20484B6C7B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"762c3a1cf527f35ffe304624e6bccd613911133d","datavalue":{"value":"5919039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550248$9F8191B3-649A-477A-8217-818E3CD3AFBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a97032ae79aad315618a7a484896779e7f49e7","datavalue":{"value":"higher-order term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q550248$17D093E7-FC95-46B0-9D54-78C569790202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"457614d5a4743b301792985aa911d4f459a43337","datavalue":{"value":"combinatory reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q550248$12519192-795D-4046-ADA8-07DD7D87BA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q550248$51480127-2494-469C-91C8-53A3B449653B","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":"Q550248$D5ECFE94-ED4E-4C54-9245-A935D13FC5E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5042fc0fc30dcd592fe2b2990e8456d525fbf2d0","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.01.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q550248$B76FB222-5B2E-42F1-B8D7-F6D2B9D7460F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10bdb9f8c4feebce2b50a2c7bf1c895d5e524417","datavalue":{"value":"W1994588735","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550248$CF25B430-73CE-44F7-B869-AA2E228DBFE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca528652bb2a8f9b2577cbdc5bd94d0c20f3219","datavalue":{"value":{"entity-type":"item","numeric-id":5703868,"id":"Q5703868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$576C95BF-0AED-4BA6-898A-F616B3B5F520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2e9d43bfb79d6e0478a065742aa748f3541821c","datavalue":{"value":{"entity-type":"item","numeric-id":5387840,"id":"Q5387840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$E7674232-FC6A-41C2-B9A9-46F4916CFE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110085e9c608d36ba8ac7bb6bde942280b7c12a0","datavalue":{"value":{"entity-type":"item","numeric-id":3575299,"id":"Q3575299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$91123E8C-4554-425A-9AB4-5B79D5D513DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"566543c1125c8b503b0127cfcac10f578be09c76","datavalue":{"value":{"entity-type":"item","numeric-id":3401138,"id":"Q3401138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$7CA95906-1A7E-4052-9294-C3C6E4A2539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96c97a21678f6c16e445652a5d03d8aa0696d62b","datavalue":{"value":{"entity-type":"item","numeric-id":4442948,"id":"Q4442948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$9FDD7EAA-59C7-4795-9969-0A52F0C74353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$E6CBAC47-68E2-4825-967D-47F8E3CB58F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797a00330d9239dad7fe9082133bd59fee594505","datavalue":{"value":{"entity-type":"item","numeric-id":1893727,"id":"Q1893727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$2DFB761F-9E3B-412C-9683-9E91128F8693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1a5e7f94427d670644e085b2be0d1c199024796","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$C946E49E-6E07-4DD8-9E16-60C415192920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2a65a3cce83aa45f1f72e5022668023aabcbb04","datavalue":{"value":{"entity-type":"item","numeric-id":3780427,"id":"Q3780427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$633A6E22-C666-4F86-97D2-339722821B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63ec78833f22bb9e0e2200040a0b3d2024fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$28C25C43-085D-427A-86E0-1008700463B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$B969625D-D918-480F-8DE1-07B22B41784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53659cbe4374fba43669a41966294053efdea479","datavalue":{"value":{"entity-type":"item","numeric-id":3728878,"id":"Q3728878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$10F58367-CF3E-4390-87DA-52E614F36253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$F226C28E-36CA-410F-B24F-968D5E681938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$70CCAAE7-FDCA-403C-B8DC-0612C02B6179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89b9780b195307f350a3baf785f9c51b86008c8","datavalue":{"value":{"entity-type":"item","numeric-id":4524793,"id":"Q4524793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$76E9D046-0FD3-4E31-A2D2-97622498D004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9d6753dc4e1a9f57aee982fc380473a55f93b3","datavalue":{"value":{"entity-type":"item","numeric-id":4938608,"id":"Q4938608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$DC9F776E-2647-4017-8A0C-E70BE5B18838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c008d349b841e122e886cf4cc8c64e7d94d116b","datavalue":{"value":{"entity-type":"item","numeric-id":5898167,"id":"Q5898167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$00C1AFC0-B0F7-4260-AC30-9B39BCBA1FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4ff1ef3058b24805e7369e6a141ca534ae33883","datavalue":{"value":{"entity-type":"item","numeric-id":2778888,"id":"Q2778888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$81F34325-215C-47E1-BAB6-010875BA85F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3671c04a28b3c6321772a8c859c51ac112c8b4d","datavalue":{"value":{"entity-type":"item","numeric-id":1127334,"id":"Q1127334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$D37686A5-72D5-44E6-9459-BA28F02F041E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d194f6b40926446f4820ed90d223bccba479f0e1","datavalue":{"value":{"entity-type":"item","numeric-id":2848117,"id":"Q2848117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$5A5BB95B-CCA2-4FCE-A42F-0A56E32F367D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebba86ed9edf4e56b67a148971a3ef285ab512b7","datavalue":{"value":{"entity-type":"item","numeric-id":4896520,"id":"Q4896520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$2ECC7DEB-06E1-45AA-8D7F-FA678F94205E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c3b89a09d0a3121a53d05d395c198853f4ccd7","datavalue":{"value":{"entity-type":"item","numeric-id":4256147,"id":"Q4256147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$3250ACCC-FBCC-4B64-8053-E51678F16BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633cf83c67ac473a486616e110e8d647c9885ab9","datavalue":{"value":{"entity-type":"item","numeric-id":5055875,"id":"Q5055875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$FA04CD19-A2A0-4B19-BED3-088940109698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$DB9359AC-29CB-4451-9CD7-CB3797B70A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9499807764686a045a6968f7ccb7af36da0ff8ba","datavalue":{"value":{"entity-type":"item","numeric-id":4205073,"id":"Q4205073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$3B68DD31-05A2-493C-8381-9F0A47AF91D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1918f5bb53459939633cf3c465067b1eaa7154","datavalue":{"value":{"entity-type":"item","numeric-id":3210897,"id":"Q3210897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$89EFB950-2BF8-48E1-A742-C4B7DA392C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a802643d47446f2ba0a2c18eb45ac08dd19cf51","datavalue":{"value":{"entity-type":"item","numeric-id":4259973,"id":"Q4259973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$D4060101-0012-4E53-908F-667ABBAFA922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1645d246d04d1b3de7e3bfde60c8a57f11cd4f4","datavalue":{"value":{"entity-type":"item","numeric-id":1874272,"id":"Q1874272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$99E46695-1C56-4184-9EE4-A1C46F764C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a4fe9d67174fd383e6ccfaad88dead59ec00dc","datavalue":{"value":{"entity-type":"item","numeric-id":5901570,"id":"Q5901570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$38673FB0-AF75-49BA-93AD-FEB1ABF90DD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7cdaaba88d8dfc7d9ef7b73cd9bafb86c7a4c07","datavalue":{"value":{"entity-type":"item","numeric-id":884993,"id":"Q884993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$4B2318B7-D324-472B-AFCD-B2DF70961072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b3d0fb48e37eaf47648033b59a1e10b100c957","datavalue":{"value":{"entity-type":"item","numeric-id":2496298,"id":"Q2496298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$885744B3-D2DC-406D-B12E-B79E7635560C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e732c53b12b893204d0ba7cbe2f395c7aeeaa6","datavalue":{"value":{"entity-type":"item","numeric-id":3012528,"id":"Q3012528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$9F9118AE-411A-4B22-9383-25A7C74E915E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd33c69769a270d35b1ff94094c997504c493fcc","datavalue":{"value":{"entity-type":"item","numeric-id":5472882,"id":"Q5472882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$FAAE6A60-8FFC-4B09-B01E-327ECA9728BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e5039dae357336c077d411be3733ff0cbac146","datavalue":{"value":{"entity-type":"item","numeric-id":4064160,"id":"Q4064160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$0342ED9C-13E0-41FC-AC9F-CDB03D8FAF90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$7C83C0AD-8DB0-4CDB-A4FB-82ECCCC225EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7b8847a36d076106e01f43c31a170940dd0b60","datavalue":{"value":{"entity-type":"item","numeric-id":1055184,"id":"Q1055184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$2C693E76-6657-43E5-8899-0488CAF9220E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356a0f0b42e72fda0f581b376bc9cf7570d77fd","datavalue":{"value":{"entity-type":"item","numeric-id":4170199,"id":"Q4170199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$B71FC6BC-63F3-487A-B9A2-C4407FFCD6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b73eb0b43cdfad05345e5b13521872ded05311d0","datavalue":{"value":{"entity-type":"item","numeric-id":4808745,"id":"Q4808745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$806F5A18-5164-4454-A181-065F96407649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68afa5639a324128bcfccbec0a324c3bc880bbc7","datavalue":{"value":{"entity-type":"item","numeric-id":673626,"id":"Q673626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q550248$29B6D305-B5C6-4027-8B57-02446F34B44A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f79cc313f812434291155f03c533ab2e2674e1df","datavalue":{"value":"10.1016/J.IC.2011.01.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q550248$5B55B967-9ECF-425A-8587-743155A5F7C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0821a595469763fb5d4d0995df4c5e7a0e1616f","datavalue":{"value":{"entity-type":"item","numeric-id":5703868,"id":"Q5703868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e79e90851a533a4ed1e353f0d64a4748a1a48ea9","datavalue":{"value":{"amount":"+0.9737781286239624","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":"Q550248$96695E2D-7D6A-420D-9D2E-0514F06BF8B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7efbe295023f85a518478030ca13aebe3c12e4","datavalue":{"value":{"entity-type":"item","numeric-id":3401138,"id":"Q3401138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff2626787d41ee0aa335f5414586474e53220bb9","datavalue":{"value":{"amount":"+0.9000223278999329","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":"Q550248$F739BE2D-944C-4BE5-8CF7-0DAFCFAF2741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbaf0d3e1af855baae00d620cb6996a42ba6672","datavalue":{"value":{"entity-type":"item","numeric-id":5387840,"id":"Q5387840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105cd16740502d78ba104611f95cb6a059c075a4","datavalue":{"value":{"amount":"+0.8663859367370605","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":"Q550248$2D728608-FC4B-41B0-A737-1783C7772E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c408f2d80d25f245c16731c0d7a89641589b1","datavalue":{"value":{"entity-type":"item","numeric-id":3575299,"id":"Q3575299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257631001b862b5938f4fd3efbea2cd684fd64a4","datavalue":{"value":{"amount":"+0.8567268252372742","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":"Q550248$BEC80AD5-8056-4E43-8DD7-C932671F687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb9403571a6dc3e95960e96e8bd313232891ec2","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538d107040444c24d15aef88dd59b7a84703b6a5","datavalue":{"value":{"amount":"+0.8479228019714355","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":"Q550248$EEC24807-61F6-4D80-BB03-C75D825D7645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinitary combinatory reduction systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Infinitary_combinatory_reduction_systems"}}}}}