{"entities":{"Q1097253":{"pageid":1108005,"ns":120,"title":"Item:Q1097253","lastrevid":66967410,"modified":"2026-04-12T14:03:01Z","type":"item","id":"Q1097253","labels":{"en":{"language":"en","value":"Needed reduction and spine strategies for the lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4033695"}},"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":"Q1097253$CCB17589-D619-4A80-B314-FA3CCA011255","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e11c86dd265e08fa6eed2a820aab28a7d1f628f1","datavalue":{"value":{"text":"Needed reduction and spine strategies for the lambda calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1097253$F7F61D8A-0786-4724-9F52-E4F9BF40B9FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cef57bead724c50959b3b138dfd9b8b8fe250eca","datavalue":{"value":"0635.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097253$AFA90CBB-E7CE-4CA7-9585-B7BF7C9432D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0187097a17b14f7422ff800349c183f8de5c989f","datavalue":{"value":"10.1016/0890-5401(87)90001-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097253$4B74C6B6-2633-4B0B-A3A3-D20CBB71FDA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$2200F8EA-15AA-412D-BECE-ABC2C60CA154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8a0f83b3a96f90d2c59dc38ce677f7e865be720","datavalue":{"value":{"entity-type":"item","numeric-id":1090669,"id":"Q1090669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$A057D2C2-559A-444B-8992-E1101AF7D787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca26fc215e519c9f5e5fec9062509fdc8c55ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":1090670,"id":"Q1090670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$79DBBDA1-94D7-4E9A-B522-BD87A52CE0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6741b206af4ec153c5c61303c48d28d7dd1242","datavalue":{"value":{"entity-type":"item","numeric-id":549184,"id":"Q549184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$258D0CC3-191D-44B6-AF29-1BAB22E50B86","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":"Q1097253$13F0ECB2-FC42-484E-BAC4-6F9616541758","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1097253$2F879FBC-FDE3-4809-B642-905417367394","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12a92f1aecf2ff51984ec701bf44736e76779c2a","datavalue":{"value":"https://ir.cwi.nl/pub/1726","type":"string"},"datatype":"url"},"type":"statement","id":"Q1097253$4E7FB5C5-1877-456E-A948-7CD22720E891","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e2dd559869612e8cfa3b4ad5f90742f862701b84","datavalue":{"value":"A redex R in a lambda-term M is called needed if in every reduction of M to normal form (some residual of) R is contracted. Among others the following results are proved: 1. R is needed in M iff R is contracted in the leftmost reduction path of M. 2. Let \\({\\mathcal R}: M_ 0\\to M_ 1\\to M_ 2\\to..\\). reduce redexes \\(R_ i: M_ i\\to M_{i+1}\\), and have the property that \\(\\forall i.\\exists j\\geq i\\). \\(R_ j\\) is needed in \\(M_ j\\). Then \\({\\mathcal R}\\) is normalizing, i.e., if \\(M_ 0\\) has a normal form, then \\({\\mathcal R}\\) is finite and terminates at that normal form. 3. Neededness is an undecidable property, but has several efficiently decidable approximations, various versions of the so-called spine redexes.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097253$4307ACB2-913F-49D3-8D33-CF9CE36D8074","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097253$420C05FE-B9CB-46B0-A971-8F5BCBBCC261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097253$E47EA100-203F-4BDF-B63D-460C7D9D17CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cc723df821ee5c295d5795c08c2ae5c6d2a6b43","datavalue":{"value":"4033695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097253$A864E7DF-C0CF-4573-9F51-40E811B77864","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19528520802b28182c3c8ef0a43fdabb06435608","datavalue":{"value":"needed redex","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097253$05566873-91DD-4915-A8CC-A06388D482E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017408597b701998d31dface8379f0a805c6b207","datavalue":{"value":"reduction to normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097253$7224EC91-8D20-456A-8A10-B4A261D71859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097253$5B0AE237-AEC7-410E-BF1D-F1B39FDEE491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24d201b7956e64c08be472130d0e7df012f8b938","datavalue":{"value":"spine redexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1097253$26A4E4F6-01B2-4EBD-9FC1-AF74FB373D1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ec92057eb24a10d8ab8463aec991e856e0def89","datavalue":{"value":{"entity-type":"item","numeric-id":17133,"id":"Q17133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$27249975-AE13-4080-8BD1-49A0801660AD","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":"Q1097253$5D6006E8-99F9-46F5-8D8F-BAE3036233F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c8462086b4f292f7a58c692a60bd5ea274037af","datavalue":{"value":"W2147478629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1097253$4F5CEF23-6114-4A59-AC77-2131930A609E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabf8cee824c9a4fda7f420caf89018796ca96d0","datavalue":{"value":{"entity-type":"item","numeric-id":3889024,"id":"Q3889024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$911DB71B-0BE5-4EE4-8A08-4527999CE9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98f21a4a0099d31e158836c7dcfba6aa43c852ab","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$F9588BA1-499E-41E8-8F40-453E7DECEFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea07f78aaa058ba88899018a79485b125d94e382","datavalue":{"value":{"entity-type":"item","numeric-id":3205213,"id":"Q3205213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$19DFDA38-98F3-4F0E-82FF-5AAB311283AF","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":"Q1097253$F59AED6D-459E-42C7-9238-BDE22E3BC92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691bce00b18e7f521304d2f3c3b9c3064e60bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1082802,"id":"Q1082802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$CAD4D2F6-0ABE-42DA-ACBC-FC85399DD898","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":"Q1097253$388B8DF9-D644-4315-9F86-11134F5170B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$C95A6BB8-9AD6-49BA-B245-C87A98DA9810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb7962d1820153a6357b92c54b2777c99d450762","datavalue":{"value":{"entity-type":"item","numeric-id":1825644,"id":"Q1825644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$FCAD602D-9B1E-4856-A983-B569160B5073","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":"Q1097253$0D0FCF57-4BBC-4E6E-949D-6BDF9D512F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$9096B207-EE49-42A9-A917-0E8182EC34C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d00685e690962496b9171a3355f96696227f14ef","datavalue":{"value":{"entity-type":"item","numeric-id":5528159,"id":"Q5528159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$50337C14-0DCC-4DB8-B18D-B98BE6267625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8324a41917d673f847221adc6e49ee75ed1314f5","datavalue":{"value":{"entity-type":"item","numeric-id":4101795,"id":"Q4101795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$7C565C40-861E-4175-99F7-001987A63BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$3EDD2B99-1AB2-47EE-BB4C-DB357EB23115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8470718175ec6109a436628221c5cffb3ba70aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4167525,"id":"Q4167525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$88E82EDA-B270-4248-83DA-7F8357519C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc652843da6299630628ccbfc6f02ce53dcf019","datavalue":{"value":{"entity-type":"item","numeric-id":3721784,"id":"Q3721784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1097253$6B8FECC9-E2B6-44C0-B8DC-072A338B258F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d37a044ccb139fb459fb405ce0cdc18876a40","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c57538373cc2c0d72f8701213728aaaf52a0ece","datavalue":{"value":{"amount":"+0.90274465","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":"Q1097253$FCB94BD7-B7A9-441A-A5D5-CF36E60CD3DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10f9da6dce677f6a3b83244494d7bb938356753e","datavalue":{"value":{"entity-type":"item","numeric-id":4521592,"id":"Q4521592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc89142bca95ec5f4cb21e276a3084a1233c2796","datavalue":{"value":{"amount":"+0.8757081","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":"Q1097253$42559390-F5DA-41E3-B95D-CABCF0C617C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09545e444b4adeba0a4e4f2c8c5c46e618c6b96b","datavalue":{"value":{"amount":"+0.8740468","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":"Q1097253$B71AD02A-8D73-4F9D-8775-1B8E3F2146F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4044ebd5eebc75240ed0de453aa1ad1d920bec","datavalue":{"value":{"amount":"+0.8739803","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":"Q1097253$CEED16DD-D540-42AC-8CB7-4A5B627521B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c088ac95ac906727b69fc2484e544561c6a0758c","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb60ef6bf268853ccf3aed1ce8ff5f1f11b4c9d","datavalue":{"value":{"amount":"+0.8733042","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":"Q1097253$5A020945-C671-454A-9770-B35A497F8C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d902661f385e7d94261ef29c3b8c45a866771e54","datavalue":{"value":{"entity-type":"item","numeric-id":5903814,"id":"Q5903814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb60ef6bf268853ccf3aed1ce8ff5f1f11b4c9d","datavalue":{"value":{"amount":"+0.8733042","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":"Q1097253$44E61410-CE99-4CBB-B3A7-1D5D7992D444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bb15c94939ecdec7943b5e0e481b49dd97ead2","datavalue":{"value":{"entity-type":"item","numeric-id":792994,"id":"Q792994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee4a5cb104f9738a37e97e27f6248c805d8277ca","datavalue":{"value":{"amount":"+0.8709577","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":"Q1097253$1F3842FB-7A5E-4613-85FB-A25C234ABCA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"212262fbb8f0bb6582f2227c8282019d3091622d","datavalue":{"value":{"entity-type":"item","numeric-id":1978706,"id":"Q1978706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8256c0b177be49a2f2ba32215af57fec2e2c15e","datavalue":{"value":{"amount":"+0.87094295","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":"Q1097253$56086759-2B26-4000-9BE6-ECFC3EA294D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83bc515640a4a3dc6637e8114205532f9a50ae5","datavalue":{"value":{"entity-type":"item","numeric-id":5224689,"id":"Q5224689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb783544a3cb208d6f7cc31386e6574ee0df765","datavalue":{"value":{"amount":"+0.87020993","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":"Q1097253$632E1A1A-0647-45CD-BCD1-E7BDFB1EB252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83043cfe6d55798b0b8c9e4fcba28fb686579fa8","datavalue":{"value":{"entity-type":"item","numeric-id":1129266,"id":"Q1129266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78d1f7dda51eb92eda295ee9c8dcae2e65bbf766","datavalue":{"value":{"amount":"+0.86991775","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":"Q1097253$0BB46765-67BD-4826-9F55-382FCE8D32A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Needed reduction and spine strategies for the lambda calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Needed_reduction_and_spine_strategies_for_the_lambda_calculus"}}}}}