{"entities":{"Q6072199":{"pageid":13206507,"ns":120,"title":"Item:Q6072199","lastrevid":56882169,"modified":"2026-03-24T10:27:50Z","type":"item","id":"Q6072199","labels":{"en":{"language":"en","value":"Recursion-free modular arithmetic in the lambda-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7749678"}},"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":"Q6072199$A98A7565-32A0-41C4-977E-FAD72E8C63D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"016d73ca847cc58546f6f618a4265367d3e9f9d5","datavalue":{"value":{"text":"Recursion-free modular arithmetic in the lambda-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6072199$86B6BA98-A51D-4490-9FD1-BEB76A2CAF46","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e3e357c57dae7902749af52a7576ed62de73a7b6","datavalue":{"value":"1529.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072199$AC5B42BB-7217-4EB9-AC49-6D282C197642","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9deae1c3f3a33813b2ac3d1686ac6a97769774c","datavalue":{"value":{"entity-type":"item","numeric-id":6072198,"id":"Q6072198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$E1878201-29AB-40A5-A8FC-3ECDF1F5862E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$83704CD0-58AD-4B89-9425-77B7D507DBCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"814c982951c312d9e571bab059f6a40e9b74e991","datavalue":{"value":{"time":"+2023-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6072199$7942E389-B7E6-4C00-83E0-70E7DC2A31E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072199$863BCF78-A2CB-4808-B4E3-D19E9143E8F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d378cce227c7b42080ac926dafdc42e6c1d7067","datavalue":{"value":"7749678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072199$DA84D16C-740D-4DAD-B9F5-B580EB22B61A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072199$023628B7-2E85-45EA-BA65-F6804923665D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc762cb60189ccde3e1dbd9dbec8730eb74b9048","datavalue":{"value":"numeral systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072199$9968A6B6-0060-4F39-8BD2-7F60EB30F45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53ca57c0d6f4612bcf8319e61973a78cc37ede1","datavalue":{"value":"modular arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072199$D144F3FF-F2F1-48B2-8FCD-11671E637415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6072199$2B2C2BDF-BA57-4007-818B-AA8A2C1F4EE2","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":"Q6072199$B2B5EF17-478C-49BA-894A-71AB3675DCF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a39a9ba90c02c29176731556a3899e891bfef78","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2023.106408","type":"string"},"datatype":"url"},"type":"statement","id":"Q6072199$4FE6540B-35A3-448A-A78A-E0C23D08D4A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b8627ca51223d435b240668048ed7d8e9c2d8e2f","datavalue":{"value":"W4377103995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072199$CA156823-3D20-462D-9D47-149CF89898DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$F9135A88-5B6E-4088-AFC9-ED3259716A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d4e815be84d42d86ea6cbde35e54f09e60e2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4939701,"id":"Q4939701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$0655563E-7A04-478B-9232-E0845BDB95CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fb06ea50f650367438af101c1e2074e9f5d41d","datavalue":{"value":{"entity-type":"item","numeric-id":5714284,"id":"Q5714284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$0B5BDB17-0AC5-41CB-895A-8A47B309330E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b316e8e9c4c825116ce405d03b4f1ef25bf83d94","datavalue":{"value":{"entity-type":"item","numeric-id":1903129,"id":"Q1903129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$44DC558C-0580-4D0A-9065-34B456BEBD55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00f9703c80e1a9f4f5e6ceffe0e275d16b17729a","datavalue":{"value":"10.1016/J.IPL.2023.106408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6072199$481E0775-8974-4AC3-A968-7E8DC0C6282C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6437449001dcd2004228e0d42eab1c88ccb8ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":1903129,"id":"Q1903129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffa1641aa4f9b28b9076e5275687c9434bda0fef","datavalue":{"value":{"amount":"+0.7366685271263123","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":"Q6072199$0EC7398F-D374-4659-B327-AAE161F5E80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9092eb72c06c1682e8219337618c30975e0fda34","datavalue":{"value":{"entity-type":"item","numeric-id":2713367,"id":"Q2713367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8414fdecef8c556e05f23b43b2b84146c107012","datavalue":{"value":{"amount":"+0.7361794710159302","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":"Q6072199$C66E6577-11D5-421D-A9D8-B26CDFA9ABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75bf3b577a617e495357b03622e60a1a043ab80","datavalue":{"value":{"entity-type":"item","numeric-id":2331071,"id":"Q2331071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f9c1a4fe9b0ff8707605375051f30879e0ac7a","datavalue":{"value":{"amount":"+0.734530508518219","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":"Q6072199$27BF4492-B993-419D-9BE9-87E1BCD3EE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82542edeed70615bf8e37cf6b0027a69d72e20fd","datavalue":{"value":{"entity-type":"item","numeric-id":3150178,"id":"Q3150178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"413fc329322bef335b16517936a0f1900c30e908","datavalue":{"value":{"amount":"+0.7212042212486267","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":"Q6072199$D2C236E2-EAD2-439D-BE65-7FB1E34057BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d379272fd586084fcc0dfe56e611e00c99324d56","datavalue":{"value":{"entity-type":"item","numeric-id":5895465,"id":"Q5895465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c8985096c21a2708368856de4ff5b167216434","datavalue":{"value":{"amount":"+0.7050402760505676","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":"Q6072199$FDC99E9F-2FFC-4F81-AD1B-747B0FAF3D42","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6072199$8A8289DB-288A-412C-BF01-1EFB040E85ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6072199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6072199"}}}}}