{"entities":{"Q4993334":{"pageid":7022911,"ns":120,"title":"Item:Q4993334","lastrevid":91075451,"modified":"2026-06-04T22:11:36Z","type":"item","id":"Q4993334","labels":{"en":{"language":"en","value":"Strict ideal completions of the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7359404"}},"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":"Q4993334$855F9728-485F-4221-A128-7CBC26D95DCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"225f90dbfe70908839df84248cf0f0783c56b2a3","datavalue":{"value":"1462.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993334$2E69F599-8A56-4F49-ACD2-94B0B3905AFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4136daa22cf2091db4454b4ad389b74934d06947","datavalue":{"value":{"entity-type":"item","numeric-id":667428,"id":"Q667428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993334$62BA996D-F649-40C4-958E-829532CA170F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19226134edc7102663c447aa756e808a7a8d2948","datavalue":{"value":{"time":"+2021-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4993334$13FE7690-62A7-47AB-A0FF-595AFDE0EB33","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7b8344d6c701f027c16f8fe357af0e1f196e827","datavalue":{"value":"https://arxiv.org/abs/1805.06736","type":"string"},"datatype":"url"},"type":"statement","id":"Q4993334$02192853-EBCC-4ACB-B8B0-38B39B579887","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993334$1C31AD88-1135-45C3-BB64-001A3FAA140B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993334$3728B246-40BF-4F0C-B2F0-F2EA1A71F307","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"068fd8044f6d7a309c7e3a3a912588f1a5466007","datavalue":{"value":"7359404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993334$79BD1425-09A1-48DF-8CCF-EE01201A02E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993334$3AD07AA4-A1D3-4CF1-BAAE-474C4230AD29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f56d129a8b4b3522bb15ffbeec4fec64edc5f5f","datavalue":{"value":"infinitary rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993334$6A3D04B4-6888-4F5B-8AF9-328D4E048CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8442a7a4aa9bde166792df560549f38929af659e","datavalue":{"value":"B\u00f6hm trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993334$5850648D-5802-427D-87D6-58627B270AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8288cce6bc17692a42d6652ed487015e7a0bcfc7","datavalue":{"value":"meaningless terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993334$0A4AC770-9E47-4B4B-BCA2-D55D7A04DE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4993334$B785E2F2-151D-4530-AD39-406CEE32C372","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":"Q4993334$27E6D2BC-83FD-43E7-8544-7FF8D9EBA2CB","rank":"normal"}],"P223":[{"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":"Q4993334$61E98A50-D6CA-4F5B-9396-029A2CA80F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b164eab697ac3242b5a7167e810b22bee245c97a","datavalue":{"value":{"entity-type":"item","numeric-id":5389135,"id":"Q5389135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993334$02585BDE-2DB4-46D4-BBBE-87615D87F5CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88979e839602fdcb6309d187c38d620ae698eb81","datavalue":{"value":{"entity-type":"item","numeric-id":5389136,"id":"Q5389136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993334$4AC38629-E1FF-492C-BF4A-481F2247E47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb858ae18c11ca1b60d56eab91f118e2e5f73d50","datavalue":{"value":{"entity-type":"item","numeric-id":5111897,"id":"Q5111897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993334$23AB92BC-6FEC-4476-8BE4-F4BBAB5694DE","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":"Q4993334$A8B45FCC-3CF0-41E7-9C8B-F2F03B605DF9","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":"Q4993334$210BBAF0-133B-4997-A313-3A86D7B44D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb49d5ba8660e6f6ecb70d742d62a3c8fa7128ba","datavalue":{"value":{"entity-type":"item","numeric-id":1050334,"id":"Q1050334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993334$832BFB71-6B85-4AD6-9FEC-BA7614FC9F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66a2cf49d0d4f35545ed8a54dea9552efcf9034a","datavalue":{"value":{"entity-type":"item","numeric-id":672047,"id":"Q672047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4993334$6A4245EC-D132-4CE1-8AF3-BA9A063AFB7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1dc32aae1002eb2b03e343895085f02c75f8313","datavalue":{"value":"10.4230/LIPICS.FSCD.2018.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4993334$4D910E09-D86C-47A0-9A7A-28A1083C7F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca705c0f44e20001b68a5bcb053a9a4c4c4f7356","datavalue":{"value":{"entity-type":"item","numeric-id":5901570,"id":"Q5901570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f4e62648cab1fd5214e0240e1d87c8bd2f4fd5","datavalue":{"value":{"amount":"+0.8125902414321899","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":"Q4993334$8FB72CE4-903F-4825-ACE8-055BFD0F630A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b0161e8fae7dbb8e64397139e77536b7c0df96","datavalue":{"value":{"entity-type":"item","numeric-id":5269002,"id":"Q5269002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460681578472ee14b0763d964158734ae57236f9","datavalue":{"value":{"amount":"+0.8107792139053345","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":"Q4993334$9B209325-E86F-4CBF-96DB-464A36832804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01e5990c72c20b2ffd15922238cdcf2caddf8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4635902,"id":"Q4635902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1b2399d429ccf7a45a32e875a25cff789618d1","datavalue":{"value":{"amount":"+0.7846611142158508","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":"Q4993334$AAEE2BED-6AAF-4751-A694-46BD85FCE337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b00f7c522a703614e059b491fd76476df84017f","datavalue":{"value":{"entity-type":"item","numeric-id":1392145,"id":"Q1392145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b32a6ec667159563dc658039279e1d0ec4d57c4","datavalue":{"value":{"amount":"+0.784421443939209","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":"Q4993334$334DFA86-985B-4795-BE0E-B9837494D84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d704b2b1d5a571b853de9a9438c0421a6582ffa","datavalue":{"value":{"entity-type":"item","numeric-id":2986823,"id":"Q2986823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4649cadc92ecb0e97c95a2832e2bf5e60f5e74c6","datavalue":{"value":{"amount":"+0.7836103439331055","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":"Q4993334$9F5F5ED1-AC79-4ABA-ABD4-9D67CD791F0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strict ideal completions of the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strict_ideal_completions_of_the_lambda_calculus"}}}}}