{"entities":{"Q4177543":{"pageid":6207144,"ns":120,"title":"Item:Q4177543","lastrevid":34619284,"modified":"2024-06-12T22:59:42Z","type":"item","id":"Q4177543","labels":{"en":{"language":"en","value":"Standard and Normal Reductions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3613011"}},"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":"Q4177543$93D164E6-9B25-4A2D-87CF-59D1C239D95D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63dbe679ddeac9e9021cc95916563a011005a100","datavalue":{"value":"0395.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177543$BC43230F-03E9-441F-AF5E-1B5E68F7DAC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d241b86f1572bf1afe10d2309eb04d5502c808a2","datavalue":{"value":"10.2307/1998843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177543$7557A8B6-68DD-4BEC-ADE8-A863BEFBF1F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4177543$6FB8C56B-DE9A-47EE-9A3D-06FD5D781F6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177543$F6CBD91E-E435-41AF-9368-0ECA327D290F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"899df5a42ddb6dd8b3ab4bc50107f8c8c8960782","datavalue":{"value":"3613011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177543$7202342C-BC20-4799-9B1C-564082055C86","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ccdddb55e4069db6a27408895e7b4f13c9735b","datavalue":{"value":"Combinatory Weak","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177543$06A26DA8-1937-4F5F-A542-A551A9C7BEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c5e808bbd46e92a8fa20dc9a4e3991de76a5187","datavalue":{"value":"Lambda-Beta-Eta Calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177543$F0D04CE0-3A4E-4D65-833A-F275B462A2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b401d52f0fa78c09aebdd03213cb22c48f9147b","datavalue":{"value":"Normal Reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177543$854B2EBF-E4DC-43EC-A601-1A29CCF66306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4787af1b811f3a9fbe6e6653360990bdc309de8b","datavalue":{"value":"Standard Reduction Sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4177543$ACBE4176-1422-4700-8A21-939B806A953A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71b94e5145912d87d2d80056670122ccbbb4d420","datavalue":{"value":{"entity-type":"item","numeric-id":1839241,"id":"Q1839241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$7B16FBEE-7DEC-4A86-9978-6EFBC6DFC6EB","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":"Q4177543$FEEC0C2E-D7B1-4738-958A-9C7EA65B45D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99cf352c6ec97d826276c3a2da48073186962bfb","datavalue":{"value":"https://doi.org/10.2307/1998843","type":"string"},"datatype":"url"},"type":"statement","id":"Q4177543$A5940214-9658-4390-BF47-61F7A1CCD887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25c9c5d69e917ec4cbe625e3303b1ca8dd131c50","datavalue":{"value":"W4255311557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4177543$BE0ABAC5-FD70-4CF0-9FA9-FEBABCF63BC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7fcbfbe0259e310207a108afb8074736b5bcae5","datavalue":{"value":{"text":"Standard and Normal Reductions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4177543$5EED617D-B6A8-4CC9-8655-E9C9D9912F67","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ceec3d93554acc391104ecd2f53e1018983c15","datavalue":{"value":{"entity-type":"item","numeric-id":4085718,"id":"Q4085718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$967392F2-8DA6-484C-B889-22F6375A70B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107eec03b6587e73479808a48d1286903f6903fa","datavalue":{"value":{"entity-type":"item","numeric-id":5763294,"id":"Q5763294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$CAE16F9C-9BAA-4E5E-B66E-7A78AA92A4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ae542aa49195da2f0564220c3e6d6c6c5762344","datavalue":{"value":{"entity-type":"item","numeric-id":769601,"id":"Q769601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$35A3D90E-2DA5-4482-B7B6-67AFA8AE5346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77f473aa08523f9a9a313b9aaded66a723dd75c9","datavalue":{"value":{"entity-type":"item","numeric-id":2553958,"id":"Q2553958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$A529DEBC-A5A9-4361-9097-734EBB46F59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c964cc87f4cfb7b3c59df0140fa3c325afe73c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5590805,"id":"Q5590805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$FFB6B310-99F7-46C3-91D8-089BE66B1C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc70eeea8053efa47738cef86a5cc48495ebfbc","datavalue":{"value":{"entity-type":"item","numeric-id":4041549,"id":"Q4041549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$9CAFE119-493E-44C6-B25E-B7599465C120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3eab409243e4acf1f559d2cfabb53a8eb5ff26ea","datavalue":{"value":{"entity-type":"item","numeric-id":4133943,"id":"Q4133943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$60AA1456-C7C9-4BB6-B6F6-CCDA8B5211C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68a80d1e65c61c7146b7cc0db8785b867f59c04","datavalue":{"value":{"entity-type":"item","numeric-id":4168908,"id":"Q4168908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$9212879E-E111-472E-9F93-CF26F7D1F11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44abcddc39d6e09b3268b9b082d2594b8677707","datavalue":{"value":{"entity-type":"item","numeric-id":5686017,"id":"Q5686017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$C0F88EA2-086A-43D3-933B-D49C05E3FC45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130e64b7440a7fe977a3a281bd58e597f00179c8","datavalue":{"value":{"entity-type":"item","numeric-id":3884083,"id":"Q3884083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$857B18E6-CDCF-45A7-8BA6-4CA60DBA3A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d2fccc73100233403bdb6ac7b320f6aabe5e89","datavalue":{"value":{"entity-type":"item","numeric-id":1840346,"id":"Q1840346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4177543$6EAF4847-4A1E-490A-8556-39B61F283737","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4177543","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4177543"}}}}}