{"entities":{"Q5208870":{"pageid":7238441,"ns":120,"title":"Item:Q5208870","lastrevid":41189517,"modified":"2025-04-18T21:36:52Z","type":"item","id":"Q5208870","labels":{"en":{"language":"en","value":"Computing with Infinite Terms and Infinite Reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7155166"}},"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":"Q5208870$0FAC0EFA-3592-4116-9BF2-D76CA9C5C242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7980a5caa2c284d0e5d12d10d1472c97cb64e5e2","datavalue":{"value":{"text":"Computing with Infinite Terms and Infinite Reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5208870$DDCA9931-7FF0-4465-ACE3-2496BF74C26B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32a384d63695eaa8931211d50336d042399fcef0","datavalue":{"value":"1436.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208870$EFAEF831-2841-4E93-919C-EC2482E6AA5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"600c59cba199042c7d6c174a513309c2a7a4f7d2","datavalue":{"value":"10.3233/FI-2019-1866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208870$D53818A0-3B7B-4E05-BF24-05453E3C2914","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":"Q5208870$9C9DE975-9A10-4F2D-B4FB-5F20AE6D2591","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":"Q5208870$6B84CEED-1519-4A80-BEF5-F76FC28017A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5208870$169CB6B5-9E7F-4326-90A5-5BB4D5952832","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5208870$BFCE060C-3AF8-4D3B-94A3-52BA3AC7E71C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208870$E6812F50-40CB-4BB3-A488-59DAEBB3FA68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32fd71dae68b31e94e7fa3c140415c8c31b589f1","datavalue":{"value":"7155166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208870$C99DF7A8-D58D-46E4-88CB-D74C18806114","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51709807060a92d3933fc4d53293a6a68ad4085c","datavalue":{"value":"infinitary term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208870$C8D0574E-96C2-43CF-8EE5-E1D9D5F605CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208870$CB926E24-AFA1-471A-8813-E9C86B9D25EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dc9256367987434c2752a09ffd4ee7c51e5c71","datavalue":{"value":"descendants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208870$C5233D6F-B7A8-4B54-A9E2-1FF2A88A048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ae1a225f382a0f8338c83c40f32c6b9c87171ce","datavalue":{"value":"origins","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208870$30F8FE79-BCFB-4334-87F8-492D771C6AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed85d8ce56f2fa73062a672f4f5f6d76b6f2cd4","datavalue":{"value":"needed reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5208870$6F1202E9-3B4A-40F0-BAC8-71001D25EB44","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":"Q5208870$8B6473A4-3968-4352-9308-7EE0DFCE805C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50251c43878aa541cff47dfa508e2d8a26c35230","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1866","type":"string"},"datatype":"url"},"type":"statement","id":"Q5208870$541726C0-53EC-4C99-BEB9-F7E333306057","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77f84e5115271666aaffc7bede37033f75d7c8f8","datavalue":{"value":"W2981592591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5208870$9B36F40D-5190-4772-89F1-2470DF00B5E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae29bd780743e18e6944de60c6d55a1cbd7e096","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fadbb7a4e34b12ed31375d20f051d13ae65018f","datavalue":{"value":{"amount":"+0.90047044","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":"Q5208870$8E12FC10-7F96-42C2-B41A-38FF56652E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e74f174908b43a7d1020f3a2a0df59b9a2fff1","datavalue":{"value":{"entity-type":"item","numeric-id":299410,"id":"Q299410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30f4737e83fa8e3126ea0f393a6e90c17a7b3ec","datavalue":{"value":{"amount":"+0.89447075","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":"Q5208870$006147A6-1C82-4D12-B6D4-B77AE8332EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41aaa57fe30511832972547fc629c35640b6da70","datavalue":{"value":{"entity-type":"item","numeric-id":5881271,"id":"Q5881271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c507dbe8ebae93ebe02d7b67117e8850092f0d","datavalue":{"value":{"amount":"+0.8864861","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":"Q5208870$2DC9A712-6724-43D4-983C-FFAA19134BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e361e38977787cf16bbc51fd0c1b8fdcbb76d9b0","datavalue":{"value":{"entity-type":"item","numeric-id":672337,"id":"Q672337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c226cf5c81a0eb82364f7da990fd081e79528b8e","datavalue":{"value":{"amount":"+0.88184625","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":"Q5208870$40ACEDED-B93D-4B92-A700-384663DC0932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be3328584119ca71ae4edbac24ede97940615c07","datavalue":{"value":{"entity-type":"item","numeric-id":1001344,"id":"Q1001344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d85f8e0fb2ffd531fa83a2ca059bbc60a99195","datavalue":{"value":{"amount":"+0.8726057","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":"Q5208870$03ABA33C-0436-4ADE-8DB9-B482E79C6A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f193b98f434c6410236726f766338a6b215d4051","datavalue":{"value":{"entity-type":"item","numeric-id":2945558,"id":"Q2945558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad376444254c121b7cad5ed6dce276b0ec834ef","datavalue":{"value":{"amount":"+0.87061346","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":"Q5208870$AD41ABE0-0EF4-4E52-BEB9-F88464BC93E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf52cae5728330ca40972524265a765760d242b8","datavalue":{"value":{"entity-type":"item","numeric-id":5504298,"id":"Q5504298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6b63d91ea8460af10092c80c45dcbddde02276","datavalue":{"value":{"amount":"+0.8696276","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":"Q5208870$C3B05464-06C4-4214-9874-F704A2929674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1771f37b2ea6714692813cc9251edb90a02ad66","datavalue":{"value":{"entity-type":"item","numeric-id":2364653,"id":"Q2364653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb13e8baa93b18d6adecdaaff5e65966e0c5658c","datavalue":{"value":{"amount":"+0.8612984","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":"Q5208870$C02AB8E2-F0A8-4408-9EF6-20C786FC45CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75ec33acb7b55be819500ab623c4b176570b9079","datavalue":{"value":{"entity-type":"item","numeric-id":550248,"id":"Q550248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f19dfed39b31af2aeb47e7ea0656d2ccab75078","datavalue":{"value":{"amount":"+0.86123264","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":"Q5208870$A0E875B9-D303-40CB-B0D6-798D79379356","rank":"normal"},{"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":"3f19dfed39b31af2aeb47e7ea0656d2ccab75078","datavalue":{"value":{"amount":"+0.86123264","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":"Q5208870$3401DA1E-635E-4EAA-9B5C-A0D68797F001","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5208870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5208870"}}}}}